|
|
定理 1 集合[0,1]是不可数的.
证明 假定集合[0,1]是可数的,枚举它们的元素为 A1,A2,A3,A4,… ,并把它们都表成十进制无限小数形式:
A1,A2,A3,A4,⋯ (1)
且
A1=0.P11P12P13P14⋯
A2=0.P21P22P23P24⋯
A3=0.P31P32P33P34⋯ (2)
A4=0.P41P42P43P44⋯
⋯
现在构造一数Q,且其小数形式为
Q=0.Q1Q2Q3Q4⋯,
我们逐步检查(2)式的对角线上的数
Pnn,0≤Pnn≤9,
若
Pnn≠5,
则令
Qn=5,
若
Pnn=5,
则令
Qn=4.
这样就有
4≤Qn≤5
并且Q与(2)中的任一数都不相同,但
Q∈[0,1]
这说明(1)未能枚举完[0,1]中的数,与题设矛盾,所以[0,1]是不可数的.
根据定理1,APB先生的主题帖《康托尔的“实数集不可数定理”是严重错误的》是严重错误的.欢迎APB先生能够论证定理1的证明有误. |
|