# Isomorfismo de órdenes

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. 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.

## Definición

Formalmente, dados dos conjuntos parcialmente ordenados $(S,\leq _{S})$ y $(T,\leq _{T})$, un isomorfismo de órdenes de $(S,\leq _{S})$ a $(T,\leq _{T})$ es una función biyectiva $f$ de $S$ en $T$ con la propiedad de que, para cada $x$, $y$ en $S$, se tiene $x\leq _{S}y$ si y solo si $f(x)\leq _{T}f(y)$. Esto es, por definición, una inmersión de órdenes biyectiva.
También es posible definir un isomorfismo de órdenes como una inmersión de órdenes sobreyectiva. Pues si $f$ conserva ordenamientos, se puede asegurar que $f$ es inyectiva: si $f(x)=f(y)$ (es decir, si $f(x)\leq f(y)$ y $f(y)\leq f(x)$) se seguiría que $x\leq y$ y que $y\leq x$, luego por definición de orden parcial $x=y$. 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.
Un isomorfismo de orden de un conjunto parcialmente ordenado en sí mismo se denomina automorfismo de orden.
Cuando se impone una estructura algebraica adicional a la de conjunto parcialmente ordenado para $(S,\leq _{S})$ y $(T,\leq _{T})$, una función de $(S,\leq _{S})$ a $(T,\leq _{T})$ debe satisfacer propiedades adicionales para ser considerado como un isomorfismo. Por ejemplo, dados dos grupos parcialmente ordenados $(G,\leq _{G})$ y $(H,\leq _{H})$, un isomorfismo de grupos parcialmente ordenados de $(G,\leq _{G})$ en $(H,\leq _{H})$ es un isomorfismo de órdenes que también es un isomorfismo de grupos.

## Ejemplos

* La función identidad en cualquier conjunto parcialmente ordenado es siempre un automorfismo de orden.
* La negación es un isomorfismo de orden de $(\mathbb {R} ,\leq )$ a $(\mathbb {R} ,\geq )$ (dónde $\mathbb {R}$ es el conjunto de los números reales y $\leq$ denota la comparación numérica usual), ya que −x ≥ −y si y solo si x ≤ y .
* El intervalo abierto $(0,1)$ (nuevamente, ordenado numéricamente) no tiene un isomorfismo de orden hacia o desde el intervalo cerrado $[0,1]$ : 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.
* 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. 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.

## Tipos de orden

Si $f$ es un isomorfismo de orden, entonces también lo es su función inversa . Además, si $f$ es un isomorfismo de orden de $(S,\leq _{S})$ en $(T,\leq _{T})$ y $g$ es un isomorfismo de orden de $(T,\leq _{T})$ en $(U,\leq _{U})$, entonces la composición de funciones de $f$ con $g$ es otro isomorfismo de orden, de $(S,\leq _{S})$ en $(U,\leq _{U})$.
Se dice que dos conjuntos parcialmente ordenados son isomorfos en cuanto al orden cuando existe un isomorfismo de orden entre uno y otro. 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 $\operatorname {ord} (V)$ al ordinal que representa al tipo de orden de un conjunto bien ordenado $V$. Así, ω representa el tipo de orden del conjunto de los números naturales, $\operatorname {ord} (\mathbb {N} )=\omega$.
Se pueden conseguir ejemplos más complejos teniendo en cuenta que todo subconjunto de un conjunto bien ordenado es bien ordenado. Por ejemplo, tomando $V$ como el conjunto de aquellos ordinales pares menores que $\omega \cdot 2+7$, se tiene que:
    $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\},$
luego es fácil ver que
    $\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\},$
mediante el isomorfismo de órdenes $\omega \cdot k+2n\mapsto \omega \cdot k+n$ (ambos conjuntos están formados por dos enumeraciones infinitas seguidas de 4 elementos finales).