Subconjunto de Q isomorfo a L3(N)

Sebastian Zapata Rendón

November 6, 2017

Deseamos encontrar un isomorfismo entre un subconjunto del poset (Q, ≤) con el orden estándar de Q, y
(L3 (N), l ) que es el conjunto de las sucesiones de números naturales de longitud a lo más 3, dotado con el
orden lexicográfico. Exhibamos primero el subconjunto de Q:
2m − 1 2m+1 − 1 2m − 1 2s − 1
Sea F = {n + + ( − ) s | n, m, s ∈ N y m = 0 → s = 0} ⊆ Q
2m 2m+1 2m 2
Para entender el por que F efectivamente cumple la propiedad buscada, primero que todo examinemos como
son los elementos de L3 (N). Para distinguir de forma más precisa las sucesiones según su longitud usaremos
tuplas, con lo cual F = ((N) ∪ (N × N) ∪ (N × N × N)) (esto si no incluimos la sucesión vacı́a en L3 (N), el caso
en que se incluya se verá más adelante). Con esta distinción de los elementos de L3 (N), se hace muy sencillo
entender el motivo de la escogencia de F . Definamos entonces:

g : L3 (N) −→ F tal que:

g((n)) = n
2m+1 − 1
g((n, m)) = n +
2m+1
2m+1 − 1 2m+2 − 1 2m+1 − 1 2s+1 − 1
g((n, m, s)) = n + + ( m+2 − (m+1) ) s+1
2m+1 2 2 2

La sobreyectividad de g se cumple de manera trivial por la forma de los elementos de F . Para ver que g
es inyectiva, notemos que los elementos de F se pueden escribir de forma única con la expresión general de
estos, pues cada combinación permitida de n, m, s genera un número único, con lo cual g serı́a inyectiva, para
visualizar esto con mayor facilidad veamos como es F :

1
 ../../../Pictures/puntos2.png

Intuitivamente, las tuplas de 1 entrada son enviadas a los cı́rculos azules, las 2-tuplas a los rectángulos
naranjas y las 3-tuplas a los triángulos verdes. De forma mas formal, sabemos que esta asociación es posible
ya que cada conjunto de tuplas tiene el mismo cardinal que el número de figuras correspondiente. Ahora, sean
x, y ∈ L3 (N), tales que x ≤l y, tenemos que:
Si x, y difieren en alguna entrada, entonces al comparar la primera en la cual difieren y teniendo en cuenta
que los términos de F son crecientes a medida que los n, m, s crecen, concluimos fácilmente que g(x) ≤ g(y).
Si existe z ∈ L3 (N) tal que y = x a z entonces notemos que por la definición de g, g(x) ≤ g(y), con lo cual
g preserva orden.
Cabe notar que en L3 (N) los puntos lı́mites son todas la 1-tuplas y 2-tuplas, menos el (0) y el (00) (y
la sucesión vacı́a si se tiene en cuenta), y estos efectivamente son enviados a los cı́rculos azules y rectángulos
naranjas para garantizar que entre estos si hayan infinitos términos y por tanto sus respectivas imágenes también
sean puntos lı́mite. De todo lo anterior concluimos que efectivamente F ∼
= L3 (N).
Nota: si consideramos que la sucesión vacı́a () ∈ L3 (N), entonces () es el mı́nimo de este conjunto ya que
para toda otra sucesión y ∈ L3 (N), y = () a y. Luego basta tomar el conjunto F ∪{−1}, y hacer que g(()) = −1,
con lo cual se garantiza también el isomorfismo.