2
$\begingroup$

Alfred Tarski, in his paper "Ueber unerreichbare Kardinalzahlen" Fund. Math. 1938 proves the following ZFC theorem "if the cardinal of the set Y is equal to the cardinal of the set of subsets of Y that are not equipotent to Y, then the cardinal of Y is REGULAR." The proof of the paper is rather long and involved. Question: Is there another known simpler proof of this theorem ? Gérard Lang

$\endgroup$
5
  • $\begingroup$ How many theorems with rather long and involved proofs did Tarski's paper contain? $\endgroup$ Jan 19, 2011 at 19:09
  • $\begingroup$ This was already solved in the other question. $\endgroup$ Jan 19, 2011 at 19:42
  • $\begingroup$ Which other question? $\endgroup$ Jan 19, 2011 at 19:55
  • $\begingroup$ Oh I see, you mean mathoverflow.net/questions/52526/… $\endgroup$ Jan 19, 2011 at 19:58
  • $\begingroup$ Hi Stefan, yes, I would have suggested to move your answer there but it doesn't matter. $\endgroup$ Jan 19, 2011 at 20:00

1 Answer 1

5
$\begingroup$

Let me prove the contraposition: If $\kappa$ is not regular, then it has more than $\kappa$ subsets of size strictly less than $\kappa$.

Suppose $\kappa$ is not regular. Let $\lambda$ be the cofinality of $\kappa$. Note that the number of subsets of $\kappa$ of size $\lambda$ is $\kappa^\lambda$. It is therefore enough to show that $\kappa^\lambda$ is strictly larger than $\kappa$.

Choose a cofinal sequence $\{\alpha_\gamma:\gamma\in\lambda\}$ of ordinals in $\kappa$. Let $f:\kappa\to{}^\lambda\kappa$ be a function. We show that it is not onto. Define $g:\lambda\to\kappa$ be letting $g(\gamma)$ be the least element of $\kappa\setminus\{(f(\beta)(\gamma):\beta\in\alpha_\gamma\}.$ This exists since $\{(f(\beta)(\gamma):\beta\in\alpha_\gamma\}$ is of size striclty less than $\kappa$. Then $g$ does not appear in the range of $f$.

For suppose $g=f(\alpha)$ for some $\alpha\in\kappa$. Choose $\gamma\in\lambda$ such that $\alpha\in\alpha_\gamma$. Then $g(\gamma)\not\in\{f(\beta)(\gamma):\beta\in\alpha_\gamma\}$ and hence in particular, $g(\gamma)\not=f(\alpha)(\gamma)$, a contradiction.

This is, I believe, the usual proof of König's Theorem (not the tree-lemma) that you should find in any standard text book on set theory.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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