0
$\begingroup$

For any limit ordinal $\alpha$, $C$ is a c.u.b. set (closed unbounded set) in $\alpha$ iff $C$ is closed and unbounded in $\alpha$.

In Kunen's book, the Lemma of II 6.8 says:If $cf(\alpha) > \omega,$ then the intersection of any family of less than $cf(\alpha)$ c.u.b. subsets of $\alpha$ is c.u.b.

I think the his proof is a little complex. I prove it by this.

Prove: Let $C_\beta$ be c.u.b. in $\alpha$ for $\beta< \lambda$, where $\lambda and let $D=\bigcap_{\beta<\lambda} C_\beta$. Of course $D$ is closed in $\alpha$. We only need to show that $D$ is unbounded in $\alpha$. To see this, for any $\xi<\alpha$, we want to find a ordinal $\gamma$ in $D$ such that $\xi<\gamma.$ For the given $\xi$, for every $\beta<\lambda$, there is a $\gamma_\beta \in C_\beta$ such that $\xi<\gamma_\beta$ for every $C_\beta$ is unbounded in the $\alpha$. Let $\gamma=\bigcup\{\gamma_\beta: \beta<\lambda\}$. Since $\lambda we have $\gamma<\alpha$. For every $C_\beta$ is unbounded in $\alpha$, there is a ordinal in $C_\beta$ which is bigger than $\gamma$, by the transitive, we have $\gamma \in C_\beta$ for every $\beta$. Therefore $\gamma \in D$. This completes the proof.

However, I proof the lemma without applying the condition $cf(\alpha) > \omega$. I don't know where I am wrong. Could someone give some suggestions to me on this question? Thanks:)


In Kunen's argument, why does the $g^\omega(\xi)$ is in every $C_\beta$? It is said" for each $\beta$, $C_\beta$ is unbounded in $g^\omega(\xi)$, so $g^\omega(\xi)\in C_\beta$." I can't reach this point. Any help will be appreciated:P

1 Answers 1

3

If $\operatorname{cf}(\alpha)=\omega$, $D$ can be empty even if $\lambda=2$. Take $\alpha=\omega$: $\{2n:n\in\omega\}$ and $\{2n+1:n\in\omega\}$ are disjoint cub’s in $\omega$. If you want an uncountable example, take $\alpha=\omega_\omega$; $\{\omega_n:n\in\omega\}$ and $\{\omega_n+1:n\in\omega\}$ are disjoint cub’s. (The last sentence before Definition 6.7 even points this out.)

The specific error in your argument is the claim that $\gamma\in C_\beta$ for every $\beta$: the fact that $\gamma$ is less than some member of $C_\beta$ does not imply that $\gamma\in C_\beta$: $C_\beta$ is in general not a transitive set.

Added: In the textbook argument you have a strictly increasing sequence $\langle g^n(\xi):n\in\omega\rangle$ of ordinals less than $\alpha$; since $\operatorname{cf}(\alpha)>\omega$, $g^\omega(\xi)\triangleq\sup\{g^n(\xi):n\in\omega\}<\alpha$ as well. Moreover, $g^0(\xi)=\xi$, so $g^\omega(\xi)>\xi$. Now consider the cub $C_\beta$. Recall that $f_\beta(\xi)$ is the smallest member of $C_\beta$ larger than $\xi$ and that $g(\xi)=\sup\{f_\gamma(\xi):\gamma<\lambda\}\ge f_\beta(\xi)$, so at this point we have $\xi Then we repeat the process: $g^1(\xi)=g(g^0(\xi))=g(g(\xi))$, so $(1)$ becomes $g(\xi) In general we have

$g^n(\xi) for each $n\in\omega$, so we have an infinite chain

$\xi=g^0(\xi) where $f_\beta(g^n(\xi))\in C_\beta$ for each $n\in\omega$. Since the strictly increasing sequences $\langle f_\beta(g^n(\xi)):n\in\omega\rangle$ and $\langle g^n(\xi):n\in\omega\rangle$ are ‘interlocked’, they have the same supremum, and therefore $g^\omega(\xi)=\sup\{f_\beta(g^n(\xi)):n\in\omega\}$. Again, recall that $f_\beta(g^n(\xi))\in C_\beta$ for each $n\in\omega$, so $g^\omega$ is the limit from below of members of $C_\beta$: $C_\beta\cap g^\omega(\xi)$ is an unbounded subset of $g^\omega(\xi)$, and therefore, by the definition of cub, $g^\omega\in C_\beta$. And since $\beta<\lambda$ was arbitrary, $g^\omega\in D$.

  • 0
    @Brain: O...I see:) Now the lemma of c.u.b is very clear to me. Thanks Brain for your much help. Very grateful:)2012-01-14