Estoy tratando de noquear a algunos de los posteriores ejercicios de Enderton Elementos de la Teoría de conjuntos. Este problema es el #17, que se encuentra en la página 227.
Un orden parcial $R$ se dice ser muy densa iff siempre $xRz$, $xRy$ $yRz$ algunos $y$. Suponga $(A,R)$ es un linealmente ordenado estructura con $A$ contables e $R$ denso. Mostrar que $(A,R)$ es isomorfo a $(B,<_Q)$ para algún subconjunto $B$$\mathbb{Q}$.
Yo tenía una idea, pero no estoy seguro de cómo comunicarlo formalmente, así que tengo la esperanza de conseguir un poco de ayuda en esto. En primer lugar, desde $A$ es contable, puedo enumerar como una secuencia, $A=\{a_0,a_1,a_2,\ldots\}$, incluso si este no es el real lineal de ordenación dictada por $R$. El texto sugiere que defina un poco de orden isomorfismo $f$ definiendo $f(a_i)$ por la recursividad en $i$.
Empecé por dejar a $f(a_0)=q_0$ para algunos arbitraria racional. Luego me mira a $a_1$ si $a_0Ra_1$, entonces yo les deje $q_0<f(a_1)$, y si $a_1Ra_0$, yo en lugar de elegir a $f(a_1)<q_0$. Esto continúa, así, por ejemplo, si $a_2Ra_1\land a_0Ra_2$, entonces yo les desea elegir a $f(a_2)$ tal que $q_0<f(a_2)<q_1$ y así sucesivamente.
Desde $\mathbb{Q}$ es densa, solo quiero elegir algunos racionales para conservar el orden como voy secuencialmente en $A$, y averiguar el orden de como me vaya. Esto es correcto? Si es así, ¿cuál es la manera rigurosa, esta idea? Estoy particularmente preocupado acerca de cómo $f$ puede responder donde el siguiente elemento $a_{i+1}$ podría estar en relación a la anterior $a_0,\ldots, a_i$, y cómo decidir qué elemento va a recoger. Gracias.