Constructing Cantorian counterexamples (Q1362586)

Cantor's well-known theorem on the power set follows from each of the two propositions: (i) There is no surjective mapping of a set \(A\) onto its power set \({\mathfrak P} (A)\). (ii) There is no injective mapping of \({\mathfrak P} (A)\) into \(A\). The author constructs a proof of (ii) which is in some sense more constructive than the usual proofs. As a strengthening of the non-injectivity he further proves: If \({\mathfrak P} (A) \to A\) is a mapping, then there exist subsets \(B,C\) of \(A\) with \(f(B)= f(C)\), and where \(B\) is a proper subset of \(C\).