|
|
[推荐]非标准分析
下面引用由zighouse在 2012/12/15 08:15pm 发表的内容:
斗胆地问一句,怎么理解“无穷集合不是完成了的整体”? 定义3.1(自然数的标准序列) 将自然数按照从小到大的顺序排列,得到的序列
0,1,2,3,…, 11,…,n,n+1,…… (1)
叫做自然数的标准序列。
定义3.2(全能近似自然数集合序列) 根据式(1),可以提出以集合为元素的如下无穷序列
{0},{0,1},{0,1,2},…,{0,1,2,3,4,5,6,7,8,9,10,11},…… (2)
含有足够多自然数的集合叫做足够大自然数集合;序列(2)叫做全能近似自然数集合序列。
公理3.1(理想自然数集合) 全能近似自然数集合序列(2)有且只有一个理想性质的极限集合,这个集合叫做理想自然数集合。理想自然数集合可以表示为
{0,1,2,3,…,9,10,11,…,99,100,101,…… } (3)
这个集合是使用极限思想构造的;但它又是不能构造完毕的理想集合。依照习惯,可以用符号 表示这个集合。
显然,理想自然数集合是元素个数无限增加着的、具有动态性质的、且无上界的、人们不能写完其所有元素的、不能被人们构造完毕的理想集合。
定义3.3(有穷集合) 可以用自然数表示其元素个数的集合,叫做有穷集合。
定义3.4(无穷集合) 使用序列极限公理方法给出理想集合的元素个数,是这个序列中各个集合元素个数序列的极限。若这个极限是非正常理想实数 ,则称这个理想集合的元素个数为理想无穷大,并称具有这种性质的集合为无穷集合。
根据这个定义,理想自然数集合是一个无穷集合。由于无穷集合的元素个数是非正常理想实数 ,它与有穷集合之间有许多不同的性质(例如无穷集合可以与其真子集对等),所以我们又称无穷集合为一类非正常集合。
|
|