stringtranslate.com

Isomorfismo de orden

En el campo matemático de la teoría del orden , un isomorfismo de orden es un tipo especial de función monótona que constituye una noción adecuada de isomorfismo para conjuntos parcialmente ordenados (posets). Siempre que dos posets sean isomorfos en orden, pueden considerarse "esencialmente iguales" en el sentido de que cualquiera de los órdenes puede obtenerse del otro simplemente renombrando los elementos. Dos nociones estrictamente más débiles que se relacionan con los isomorfismos de orden son las incrustaciones de orden y las conexiones de Galois . [1]

Definición

Formalmente, dados dos conjuntos parciales y , un isomorfismo de orden de a es una función biyectiva de a con la propiedad de que, para cada y en , si y solo si . Es decir, es una incrustación de orden biyectiva . [2]

También es posible definir un isomorfismo de orden como una incrustación de orden sobreyectiva . Las dos suposiciones de que cubre todos los elementos de y de que preserva los ordenamientos son suficientes para asegurar que también es biunívoco, pues si entonces (por la suposición de que preserva el orden) se seguiría que y , lo que implica por la definición de un orden parcial que .

Otra caracterización de los isomorfismos de orden es que son exactamente las biyecciones monótonas que tienen una inversa monótona. [3]

Un isomorfismo de orden de un conjunto parcialmente ordenado a sí mismo se llama automorfismo de orden . [4]

Cuando se impone una estructura algebraica adicional a los conjuntos parciales y , una función de a debe satisfacer propiedades adicionales para ser considerada un isomorfismo. Por ejemplo, dados dos grupos parcialmente ordenados (po-grupos) y , un isomorfismo de po-grupos de a es un isomorfismo de orden que también es un isomorfismo de grupo , no simplemente una biyección que es una incrustación de orden . [5]

Ejemplos

Tipos de orden

Si es un isomorfismo de orden, entonces también lo es su función inversa . Además, si es un isomorfismo de orden de a y es un isomorfismo de orden de a , entonces la composición de funciones de y es en sí misma un isomorfismo de orden, de a . [10]

Se dice que dos conjuntos parcialmente ordenados son isomorfos en orden cuando existe un isomorfismo de orden de uno a otro. [11] Las funciones identidad, las inversas de funciones y las composiciones de funciones corresponden, respectivamente, a las tres características definitorias de una relación de equivalencia : reflexividad , simetría y transitividad . Por lo tanto, el isomorfismo de orden es una relación de equivalencia. La clase de conjuntos parcialmente ordenados puede ser particionada por ella en clases de equivalencia , familias de conjuntos parcialmente ordenados que son todos isomorfos entre sí. Estas clases de equivalencia se denominan tipos de orden .

Véase también

Notas

  1. ^ Bloch (2011); Ciesielski (1997).
  2. ^ Esta es la definición utilizada por Ciesielski (1997). Para Bloch (2011) y Schröder (2003) es consecuencia de una definición diferente.
  3. ^ Esta es la definición utilizada por Bloch (2011) y Schröder (2003).
  4. ^ Schröder (2003), pág. 13.
  5. ^ Esta definición es equivalente a la definición establecida en Fuchs (1963).
  6. ^ Véase el ejemplo 4 de Ciesielski (1997), pág. 39, para un ejemplo similar con números enteros en lugar de números reales.
  7. ^ Ciesielski (1997), ejemplo 1, p. 39.
  8. ^ Bhattacharjee, Meenaxi; Macpherson, Dugald; Möller, Rögnvaldur G.; Neumann, Peter M. (1997), "Números racionales", Notas sobre grupos de permutación infinitos , Textos y lecturas en matemáticas, vol. 12, Berlín: Springer-Verlag, págs. 77–86, doi :10.1007/978-93-80250-91-5_9, ISBN 81-85931-13-5, Sr.  1632579
  9. ^ Girgensohn, Roland (1996), "Construcción de funciones singulares mediante fracciones de Farey", Journal of Mathematical Analysis and Applications , 203 (1): 127–141, doi : 10.1006/jmaa.1996.0370 , MR  1412484
  10. ^ Ciesielski (1997); Schröder (2003).
  11. ^ Ciesielski (1997).

Referencias