|

楼主 |
发表于 2020-1-14 18:34
|
显示全部楼层
定理:闭间区[0,1]中点元素单列排列,只能是有限个点。
证明:
定理中的限个点,就是点的有限集合
摘自官科文献:
有限集定义2: 与自然数串的一个线段对等的集合,以及空集合,都叫做有限集合;
不是有限集合的集合叫做无限集合。
换句话说,有限集合(如果它不是空的)就是这样的集合,它的元素是可以“编号”的,也就是,可以把它的元素编上号码,写成:a0,a1,a2,a3,....,(an-1),an
我们只讨论 闭区间[0,1],记住!!!!
以下是面点师一个工作环节的数学模型:如图,在数轴上截取与闭区间[0,1]对应的线段,
由有限定义2得:在数轴上截取与闭区间[0,1]对应的线段(点0到点1),
该线段的两个端点为:第一个端点(前端)为点0,最后一个端点(后端)为点1,
我们在此线段上标识很多的点,由定义2得:这些点可编序列号:a0,a1,a2,a3,....,(an-1),an
则前端第一个点0对应的序列号:a0
后端最后一个点1对应的序列号:an
由定义得 这一串前序列号 就是一串自然数(见自然数定义,自然数列是序列号)。
所以 序列号 又是一串自然数:0,1,2,3,....,(n-1),n
由定义2得 上面自然数为有限集,既这一串自然数为 (n+1)个。
因为单个序列号和单个自然数为有限元素(理由:每个序列号和自然数是不能分割的。见自然数定义)。
所以自然数n为有限元素,得( n+1)为有限元素。
得:上面自然数串共 (n+1)个,减去首尾两个:(n+1)-2= (n-1)=有限个,
假如从 第一个元素点0开始排列元限点元素:0,1,2,3,....
上面排列就是无限排列,===== 见定理2,不是有限集合的集合叫做无限集合。
有限有最后一个元素an,无限没最后一个元素,当然没最后点元素an
所以上面无限集 不是[0,1],也不是线段(点0到点1)。
限就是 你从“[0”无限:[0,1,2,3,....
没有最后的“1]”。证明了 这个无限不属 [0,1]
定理证毕。 |
|