◀ ▲ ▶Branches / Set-theory / Proposition: Cardinals of a Set and Its Power Set
In comparing cardinal numbers we have set $|A| < |B|,$ if there is an injective, but no surjective function $f:A\to B$. This is motivated by a result by Georg Cantor (1845 - 1918) who realized that there is no surjective function between any set and its power set:
Proposition: Cardinals of a Set and Its Power Set
There is no surjective function between a given set $S,$ and its power set $\mathcal P(S).$
Table of Contents
Thank you to the contributors under CC BY-SA 4.0!
- Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001
- Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994