0
$\begingroup$

Does there exist a strictly increasing injective function $f \colon \omega _1 \mapsto \mathbb{R}$, where $\omega _1$ denotes the first uncountable ordinal?

$\endgroup$
0

1 Answer 1

2
$\begingroup$

No. If so, there is some rational between $f(\alpha)$ and $f(\alpha+1)$ for each $\alpha\in\omega_1$, and so uncountably many rationals, as these rationals must be distinct.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .