I proved that a club $C$ in $\kappa$ has the same cardinality as $\kappa$. Is it really true ? Thanks.
Asked
Active
Viewed 164 times
1 Answers
4
Every club is an unbounded set. If $\kappa$ is regular this means that every unbounded set has order type $\kappa$ and therefore of size $\kappa$.
If $\kappa$ is singular then it is not true, take $\{\aleph_\alpha\mid\alpha<\omega_1\}$ as a club of $\aleph_{\omega_1}$.
Asaf Karagila
 370,314
 41
 552
 949

I supposed of course that $\kappa$ is regular .... thanks. – Marc Moretti Apr 16 '12 at 15:01

@MarcMoretti: No problem. The proof of the claim "unbounded $\Rightarrow$ of order type $\kappa$" is simple. Suppose $A$ is unbounded in $\kappa$, write $A=\{a_i\mid i<\lambda\}$ and write $A_i = [a_i,a_{i+1})$ (the halfopen interval) then $\bigcup A_i = \kappa$ and for all $i$ we have $A_i<\kappa$. Therefore $\lambda=\kappa$, as wanted. – Asaf Karagila Apr 16 '12 at 19:15

ok. An other proof is this one : let $A\subset\kappa$ club. It is unbounded so its cardinality is greatest than the minimal cardinality of a cofinal subset of $\kappa$, say $cf(\kappa)$. So $cf(\kappa)\leqA\leq\kappa$. But $\kappa$ regular so $A=\kappa$ as wanted. In fact, this proof is ok for just unbounded subset of $\kappa$. Regards. – Marc Moretti Apr 18 '12 at 08:55

@Marc: Your proof is good, better than mine. As you noticed, indeed the proof only required unboundedness and not closure of any kind. – Asaf Karagila Apr 18 '12 at 08:59