PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
Cantor's theorem (Theorem)

Let $X$ be any set and $\P(X)$ its power set. Then there is no bijection between $X$ and $\P(X)$ Moreover, the cardinality of $\P(X)$ is strictly greater than that of $X$ that is, $|X|<|\P(X)|$




"Cantor's theorem" is owned by Wkbj79. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: Cantor's diagonal argument, König's theorem


Attachments:
proof of Cantor's theorem (Proof) by Wkbj79
Log in to rate this entry.
(view current ratings)

Cross-references: strictly, cardinality, bijection, power set
There are 8 references to this entry.

This is version 5 of Cantor's theorem, born on 2002-06-05, modified 2007-08-08.
Object id is 3051, canonical name is CantorsTheorem.
Accessed 11140 times total.

Classification:
AMS MSC03E17 (Mathematical logic and foundations :: Set theory :: Cardinal characteristics of the continuum)
 03E10 (Mathematical logic and foundations :: Set theory :: Ordinal and cardinal numbers)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)