Capitulo 1
Conjuntos parcial y totalmente
ordenados
1.1 Conjuntos isomorfos
Se dice que dos conjuntos ordenados son isomorfos si existe entre sus elementos una correspon-
dencia biunı́voca que preserva la relación de orden. En particular
Definición:
Un conjunto ordenado A es isomorfo a un conjunto ordenado B, lo que se denota por
A'B
si existe una función f : A → B inyectiva y sobreyectiva y que tiene la propiedad de que, para
cualquier elemento a, a0 ∈ A
a ≺ a0 si, y solo si, f (a) ≺ f (a0 )
La función f se dice aplicación isomorfa o isomorfismo de A en B.
Ejemplo:
Sea V = {1, 2, 6, 8} ordenado por x divide a y , y sea W = {a, b, c, d} ordenado por el
siguiente diagrama
Un diagrama de V será el siguiente
1
2 CAPITULO 1. CONJUNTOS PARCIAL Y TOTALMENTE ORDENADOS
Entonces V ' W porque la función f : V → W definida por
es un isomorfismo de V en W , es decir, establece una relación biunı́voca entre los elementos
preservando la relación de orden. Nótese que
g = {(1, d), (2, c), (6, a), (8, b)}
es también un isomorfismo de V en W .
Ejemplo:
Considérese los números naturales N = {1, 2, . . . } y los enteros negativos M = {−1, −2, . . . }
ordenados ambos por el orden natural x ≤ y . Entonces N no es isomorfo a M porque si
f : N → M es un isomorfismo, entonces para todo a ∈ N
1 a implicarı́a f (1) f (a)
para todo f (a) ∈ M . Como M carece de primer elemento, f no puede existir.
Ejemplo:
Los números naturales N = {1, 2, 3, . . . } es un conjunto isomorfo al de los números pares
N = {2, 4, 6, . . . } porque la función f : N → E definida por f (x) = 2x es un isomorfismo de N
en E. Los siguientes teoremas resultan directamente de la definición de conjuntos isomorfos.
Teorema:
Si A es totalmente ordenado y B ' A, B es totalmente ordenado.
Teorema:
Sea f : A → B un isomorfismo. Entonces a ∈ A es primer elemento (último, minimal o
maximal) si, y solamente si, f (a) es primer elemento (último, minimal o maximal) de B.
Teorema:
Si A es isomorfo a B, entonces A es equipotente a B.
Teorema:
La relación definida entre conjuntos ordenados por A ' B es una relación de equivalencia,
es decir
1.2. TIPOS ORDINADES 3
(1) A ' A para todo conjunto ordenado
(2) Si A ' B, es B ' A
(3) Si A ' B y B ' C, es A ' C
Observación:
La condición en la definición de que
a ≺ a0 si, y solo si, f (a) ≺ f (a0 )
es equivalente a las dos condiciones siguientes
(1) a ≺ a0 implica f (a) ≺ f (a0 ), (luego a a0 implica f (a) f (a0 ))
(2) a k a0 (no comparables) implica f (a) k f (a0 ).
Por lo tanto si los conjuntos son ordenados, solo (1) es necesaria.
1.2 Tipos ordinades
Según el teorema anterior, la relación definida entre conjuntos ordenados por
A'B
es una relación de equivalencia. Por tanto, según el teorema fundamental sobre relaciones de
equivalencia, todos los conjuntos parcialmente ordenados, y en particular, todos los conjuntos
totalmente ordenados, quedan repartidos por esta relación en clases disjuntas de conjuntos iso-
morfos.
Definición:
Sea A un conjunto totalmente ordenado y sea ξ la familia de conjuntos isomorfos al conjunto
A. ξ se llama entonces el tipo de orden de A o el tipo ordinal de A.
El tipo ordinal de cada uno de los conjuntos N, Z y Q, es decir los números naturales, enteros
y racionales, se denota respectivamente por ω, π y η.
Si ξ es el tipo ordinal de un conjunto ordenado A, entonces ξ ∗ el tipo de orden de A con el
orden inverso.
Ejemplo:
El tipo ordinal de E = {2, 4, 6, . . . } es ω porque E es isomorfo a N .
Ejemplo:
Nótese que N = {1, 2, 3, . . . } en el orden natural no es isomorfo a N en el orden inverso,
ası́ que ω 6= ω ∗ . Pero Z = {. . . , −2, −1, 0, 1, 2, . . . } en el orden natural es isomorfo a Z en el
orden inverso. Por tanto π = π ∗ .