6
$\begingroup$

This comes from a comment made by user bof in this thread.

Let $X$ be a set, define ${\cal P}_2(X) = \big\{\{a, b\}: a\neq b\in X\big\}$.

Consider the statement

${\sf (S)}$ If $X$ is an infinite set, then there is a bijection $\varphi: {\cal P}_2(X)\to X$.

Does ${\sf (S)}$ imply ${\sf (AC)}$?

$\endgroup$
13
$\begingroup$

Yes, the usual proof that $|X|^2=|X|$ for all $X$ implies AC works for (S) as well. In detail, let $A$ be any infinite set, let $H$ be its Hartogs number (the least ordinal that does not inject into $A$), and let $X=A\sqcup H$. A bijection $\mathcal{P}_2(X)\to X$ in particular restricts to an injection $i:A\times H\to X$. For each $a\in A$, by definition of $H$ there must be some $h\in H$ such that $i(a,h)\not\in A$. Define $j:A\to H$ by $j(a)=i(a,h)$ for the least such $h$. Then $j$ is an injection. Since $H$ is well-orderable, it follows that $A$ is well-orderable.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.