If we assume $\mathbb R$ is a totally ordered set, given two irrational numbers $a$ and $b$, by the density of irrational numbers in $\mathbb R$, we can find an irrationals $c$ between, and at the same time we find at least two rational $r_1$ and $r_2$ that has $a\leq r_1< c< r_2< b$ so the collection $A$ of intervals $i_\lambda$ between a and all irrational numbers in [a,b] for all irrational numbers in $[a,b]$, $\lambda \in \Lambda$, is total ordered. There is a map $\phi\colon A\rightarrow Q$ which maps i to a rational, my question: is this an injective map? or not, and why? any reference recommendation is welcomed.
Detail：we find this collection $A$ is totally ordered set under relation $<$ (not only has a minimal $\{b\}$ but a maximal $[a,b]$) and there is a map $\psi\colon A\rightarrow [a,b]\cap {\mathbb Q}^c$, by mapping an interval to its right end, and this is bijection. Also there is a bijection from $A$ and the induced $B$ contains $i'_\lambda$'s which are just $i_\lambda - \cup_{\beta<\lambda} i_\beta$. By axiom of choice we may have a map for $B$ ($B$ is disjoint now) to a representative rational $r$ such that there again exists a bijection between $B$ and a subset of $[a,b]\cap \mathbb Q$，so it is concluded that the number of irrationals in this closed interval $[a,b]$ is no larger than number of rationals in $[a,b]$. Can you help me find what is doing wrong here?
No comments:
Post a Comment