N维实数平面与实数轴等势的构造
( 0 , 1 ) (0,1) (0,1)与实数域 R \mathbb{R} R等势
取映射: f ( x ) = tan ( ( x − 1 2 ) π ) f(x)=\tan((x-\frac{1}{2})\pi) f(x)=tan((x−21)π)
可知 f f f为 ( 0 , 1 ) (0,1) (0,1)至整个实数域 R \mathbb{R} R的一一映射
( 0 , 1 ) (0,1) (0,1)与 ( 0 , 1 ) × ( 0 , 1 ) (0,1)×(0,1) (0,1)×(0,1)等势
取 ( 0 , 1 ) × ( 0 , 1 ) (0,1)×(0,1) (0,1)×(0,1)中一个有序实数对 ( a , b ) (a, b) (a,b),其中
a a a 可表示为 0. a 1 a 2 . . . a n . . . 0.a_{1}a_{2}...a_{n}... 0.a1a2...an