Proving Cantor's theorem

You only proved that there is a function that is not a surjection $A \to \mathcal{P}(A)$, not that there is no function that is a surjection $A \to \mathcal{P}(A)$.


$\DeclareMathOperator{\card}{card}$No. Your answer is not correct. Between any two sets (both having two elements or more) there is a non-surjective map. Your task is to show that every set $A$ and every function from $A$ to $\mathcal P(A)$ is not surjective.

To clarify the point you're missing, the argument in your proof amounts to the following "proof":

"Theorem": There is no bijection between $\{0,1\}$ and $\{2,3\}$.

"Proof". Consider the function $f(0)=f(1)=2$. It is clearly not surjective, therefore it is not a bijection. And therefore $\card(\{0,1\})\neq\card(\{2,3\})$.


Your argument works when the set is finite, provided one relies on some simple facts about finite sets.

Infinite sets can behave differently. There can be two injections $f:A\to B$ and $g:B\to A$ that both fail to be surjective. That cannot happen with finite sets. (For example, Let $A$ be the interval $[-1,1]$ and let $B$ be the interval $(-1,1)$. Then for $x\in A$ let $f(x)=x/2$, and for $x\in B$ let $g(x)=x$. Both are injective; neither is surjective.

Or for $x\in\{1,2,3,4,5,\ldots\}$, let $f(x)=x^2$. Then $f$ is an injection from this set into itself that is not surjective, and yet a bijection from this set to itself exists (many such bijections exist).

A standard proof of Cantor's theorem (that is not a proof by contradiction, but contains a proof by contradiction within it) goes like this: Let $f$ be any injection from $A$ into the set of all subsets of $A$. Consider the set $$ C=\{x\in A: x\not\in f(x)\}. $$ Then prove by contradiction that there is no $x\in A$ such that $f(x)=C$. (I leave the details of this part as an exercise.)

Note: I did not say which function $f$ is. Therefore this applies to ALL functions from $A$ to the power-set of $A$ that are injective. So ALL of them fail to be surjective.