An ordinal between an ordinal and its cardinality

122 Views Asked by At

Suppose $\alpha, \beta$ are ordinals (the first is not a cardinal) and $|\alpha| \subset \beta \subseteq \alpha$. Then why $|\alpha| \sim \beta?$

I know Cantor–Bernstein theorem does the job but how?

Well, there is injective function from $|\alpha|$ into $\beta$ .

How can I show that there is injective function from $\beta$ into $|\alpha|$?

2

There are 2 best solutions below

0
On

Hint: There is an injective function from $\beta$ into $\alpha$, and $\alpha$ admits a bijection with $|\alpha|$.

2
On

Since $|\alpha|\sim\alpha$, so there is bijection $f:\alpha\to|\alpha|$. If $i:\beta\to\alpha$ is inclusion map, consider $f\circ i$.