|
本帖最后由 elim 于 2022-5-5 19:48 编辑
定理(Cantor) \(|\mathscr{P}(S)|>|S|\). 其中\(\mathscr{P}(S)\)是集合\(S\)的幂集(\(S\)的子集全体)
证明: 需证任意\(\,f:S\to\mathscr{P}(S)\)不是满射. 令\(A=\{x\in S: x\not\in f(x)\}\)
\(\qquad\)若\(f\)是满射,则有某\(\xi\in S\)使\(f(\xi)=A\in\mathscr{P}(S).\)。若\(\xi\in A,\)则
\(\qquad\)由\(A\)的定义, \(\xi\not\in f(\xi)= A,\)矛盾; 若 \(\xi\not\in A=f(\xi)\), 则由\(A\)的
\(\qquad\)定义又有 \(\xi\in A\) 的矛盾. 故\(f\) 取不到值\(A\)因而不是漫射.
这个定理说明有无穷多不同的无穷基数. |
|