En el campo matemático de la teoría del orden, un isomorfismo de órdenes es un tipo especial de función monótona que constituye una noción adecuada de isomorfismo para conjuntos parcialmente ordenados.[1] Dos conjuntos parcialmente ordenados isomorfos se pueden considerar esencialmente iguales: se puede recuperar el orden de uno a partir del del otro. Dos nociones estrictamente más débiles que se relacionan con los isomorfismos de órdenes son las inmersiones de órdenes y las conexiones de Galois.[2]
Formalmente, dados dos conjuntos parcialmente ordenados
y
, un isomorfismo de órdenes de
a
es una función biyectiva
de
en
con la propiedad de que, para cada
,
en
, se tiene
si y solo si
. Esto es, por definición, una inmersión de órdenes biyectiva.[3]
También es posible definir un isomorfismo de órdenes como una inmersión de órdenes sobreyectiva. Pues si
conserva ordenamientos, se puede asegurar que
es inyectiva: si
(es decir, si
y
) se seguiría que
y que
, luego por definición de orden parcial
. En particular, cuando el orden del dominio es lineal, toda función estrictamente creciente es inmersión de órdenes, luego toda función estrictamente creciente y sobreyectiva es isomorfismo.
Una tercera caracterización de los isomorfismos de orden es que son exactamente las biyecciones monótonas (crecientes) con inversa monótona.[4]
Un isomorfismo de orden de un conjunto parcialmente ordenado en sí mismo se denomina automorfismo de orden.[5]
Cuando se impone una estructura algebraica adicional a la de conjunto parcialmente ordenado para
y
, una función de
a
debe satisfacer propiedades adicionales para ser considerado como un isomorfismo. Por ejemplo, dados dos grupos parcialmente ordenados
y
, un isomorfismo de grupos parcialmente ordenados de
en
es un isomorfismo de órdenes que también es un isomorfismo de grupos.[6]
- La función identidad en cualquier conjunto parcialmente ordenado es siempre un automorfismo de orden.
- La negación es un isomorfismo de orden de
a
(dónde
es el conjunto de los números reales y
denota la comparación numérica usual), ya que −x ≥ −y si y solo si x ≤ y .[7]
- El intervalo abierto
(nuevamente, ordenado numéricamente) no tiene un isomorfismo de orden hacia o desde el intervalo cerrado
: el intervalo cerrado tiene un elemento mínimo, mientras que el intervalo abierto no, y los isomorfismos de orden preservan la existencia de elementos mínimos.[8]
- Por el teorema de isomorfía de Cantor, todo orden lineal, denso, numerable y no acotado es isomorfo al orden de los números racionales.[9] La función de signo de interrogación de Minkowski proporciona un isomorfismo de orden explícito entre los números algebraicos cuadráticos, los números racionales y los números racionales diádicos.[10]
Si
es un isomorfismo de orden, entonces también lo es su función inversa . Además, si
es un isomorfismo de orden de
en
y
es un isomorfismo de orden de
en
, entonces la composición de funciones de
con
es otro isomorfismo de orden, de
en
.[11]
Se dice que dos conjuntos parcialmente ordenados son isomorfos en cuanto al orden cuando existe un isomorfismo de orden entre uno y otro.[12] Las funciones identidad, inversas y composiciones se corresponden, respectivamente, con las tres características definitorias de una relación de equivalencia: reflexividad, simetría y transitividad. Por lo tanto, la relación de isomorfía es de equivalencia. La clase de los conjuntos parcialmente ordenados puede dividirse en clases de equivalencia, familias de conjuntos parcialmente ordenados que son todos isomorfos entre sí. Dichas clases de equivalencia se denominan tipos de orden.
Conjuntos bien ordenados
Todo conjunto bien ordenado es isomorfo en cuanto al orden a un único ordinal. Por ello se toma a los ordinales como representantes canónicos de los tipos de buenos órdenes. Se denota mediante
al ordinal que representa al tipo de orden de un conjunto bien ordenado
.[13] Así, ω representa el tipo de orden del conjunto de los números naturales,
.
Se pueden conseguir ejemplos más complejos teniendo en cuenta que todo subconjunto de un conjunto bien ordenado es bien ordenado. Por ejemplo, tomando
como el conjunto de aquellos ordinales pares menores que
, se tiene que:
![{\displaystyle V=\{0,2,4,\dots ,\omega ,\omega +2,\omega +4,\dots ,\omega \cdot 2,\omega \cdot 2+2,\omega \cdot 2+4,\omega \cdot 2+6\},}](//wikimedia.org/api/rest_v1/media/math/render/svg/e69839e722cf241a95e6112253c0c1a05f724487)
luego es fácil ver que
![{\displaystyle \operatorname {ord} (V)=\omega \cdot 2+4=\{0,1,2,\dots ,\omega ,\omega +1,\omega +2,\dots ,\omega \cdot 2,\omega \cdot 2+1,\omega \cdot 2+2,\omega \cdot 2+3\},}](//wikimedia.org/api/rest_v1/media/math/render/svg/7afa6e42858ce2086573061dea19f3bde477ddd4)
mediante el isomorfismo de órdenes
(ambos conjuntos están formados por dos enumeraciones infinitas seguidas de 4 elementos finales).
Teoría de Conjuntos Antonia Huertas Sanchez y María Manzano Arjona, Universidad de Atacama. Pág. 27 This definition is equivalent to the definition set forth in Fuchs (1963). See example 4 of Ciesielski (1997), p. 39., for a similar example with integers in place of real numbers. Bhattacharjee, Meenaxi; Macpherson, Dugald; Möller, Rögnvaldur G.; Neumann, Peter M. (1997), «Rational numbers», Notes on infinite permutation groups, Texts and Readings in Mathematics 12, Berlin: Springer-Verlag, pp. 77-86, ISBN 81-85931-13-5, doi:10.1007/978-93-80250-91-5_9.
- Bloch, Ethan D. (2011), Proofs and Fundamentals: A First Course in Abstract Mathematics, Undergraduate Texts in Mathematics (2nd edición), Springer, pp. 276-277, ISBN 9781441971265..
- Ciesielski, Krzysztof (1997), Set Theory for the Working Mathematician, London Mathematical Society Student Texts 39, Cambridge University Press, pp. 38-39, ISBN 9780521594653..
- Schröder, Bernd Siegfried Walter (2003), Ordered Sets: An Introduction, Springer, p. 11, ISBN 9780817641283..
- Fuchs, Laszlo (1963), Partially Ordered Algebraic Systems, Dover Publications; Reprint edition (March 5, 2014), pp. 2-3, ISBN 0486483878..