Ak {ak1 , ak 2 , ak 3 ,},
An {a11 , a12 , a21 , a13 , a22 , a31 ,}.
n1
结论4: 有理数集是可数集.
定理1 (0,1)是不可数集,从而实数 集R是不可数集.
证 (反证法)
设 (0,1)是可数集,那么(0,1)可以与N有一一对应, 即(0,1)的元素可以排序,设为 x1, x2 ,, xn ,
闭区间:[a2 ,b2]=
a1
a1
, a1 b1 2
2
b1
,
b1
, ,
若 a1 b1 T , 2
若 a1 b1 T; 2
[a3 , b3 ]=
a2
a2
, a2 b2 2
2
b2
,
b2
, ,
若 a2 b2 T ,
若 a2
2 b2
T;
…….
2
由此得到两个柯西列{ a n },{ bn },且满足
必有收敛子列,
设
lim
k
x nk
因为{ xn}是基本数列,故
.
0,N ,n, m
N
:|
xn
xm
|
2
.
取 xm xnk ,其中k 充分大,满足nk N ,于是得到
|
xn
||
xn
xm
|
|
xm
|
2
2
,.
由极限定义知数列{ xn}收敛.
5、柯西收敛准则
高等数学方法与应用 确界定理
定理1(确界存在定理) (1)非空有下界的数集必有下确界; (2)非空有上界的数集必有上确界.
4、致密性定理
高等数学方法与应用