|
|
|
Revision difference : Cantor's theorem |
| Version 3 |
Version 2 |
|
Let $X$ be any set and $\P(X)$ its power set. Then
|
Let $X$ be any set and $\P(X)$ its power set. Cantor's theorem states that
|
|
there is no bijection between $X$ and $\P(X)$. Moreover, the cardinality of
|
there is no bijection between $X$ and $\P(X)$. Moreover the cardinality of
|
|
$\P(A)$ is strictly greater than that of $A$, that is, $|A|<|\P(A)|$.
|
$\P(A)$ is stricly greater than that of $A$, that is $|A|<|\P(A)|$.
|
|
|
|
|
