Teoría del orden: órdenes parciales, retículos y aplicaciones

Definiciones básicas y axiomas

Un objeto principal es un conjunto parcialmente ordenado, o poset: un conjunto equipado con una relación que suele satisfacer tres axiomas básicos. A menudo se enuncian para una relación ≤, aunque pueden adaptarse a otros símbolos.

• Reflexividad: cada elemento está relacionado consigo mismo (x ≤ x).
• Antisimetría: si x ≤ y e y ≤ x, entonces x = y.
• Transitividad: si x ≤ y e y ≤ z, entonces x ≤ z.

Entre las variantes figuran los preórdenes (reflexivos y transitivos, pero no necesariamente antisimétricos), los órdenes estrictos (irreflexivos y transitivos) y los órdenes totales o lineales, en los que todo par de elementos es comparable.

Clases comunes y ejemplos

Muchas construcciones matemáticas familiares son posets. Algunos ejemplos son:

• Los números naturales con ≤, un orden total.
• El conjunto potencia de un conjunto dado con inclusión ⊆, un orden parcial y un ejemplo canónico de retículo.
• La relación de divisibilidad sobre los enteros positivos, que es un orden parcial pero no total.

Un retículo es un poset en el que cualesquiera dos elementos tienen una cota inferior mayor (meet) y una cota superior menor (join). Entre los retículos especiales se incluyen las álgebras booleanas que surgen de las operaciones con conjuntos y los retículos algebraicos que aparecen en la teoría de anillos y subgrupos.

Notas históricas

Las ideas de la teoría del orden surgieron de los esfuerzos de los siglos XIX y comienzos del XX por formalizar los sistemas numéricos y las estructuras algebraicas. Conceptos como retículos y cadenas aparecieron cuando los matemáticos abstraían rasgos comunes del álgebra y la inclusión de conjuntos. Con el tiempo, la teoría del orden se convirtió en un área distinta, vinculada con la teoría de conjuntos, el álgebra, la topología y la lógica.

Aplicaciones e importancia

Las nociones de la teoría del orden aparecen en todas partes dentro de las matemáticas y la informática. En álgebra, el retículo de subestructuras organiza subgrupos, ideales o subespacios. En topología, los órdenes de especialización codifican cierres de puntos. En informática, los órdenes parciales modelan historias causales, relaciones de dependencia, jerarquías de tipos y la teoría de dominios para la semántica denotacional. La economía y la teoría de la decisión usan órdenes de preferencia para representar elecciones.

Distinciones y hechos destacados

Entre los temas importantes están la diferencia entre órdenes parciales y totales, el papel de los diagramas de Hasse para visualizar posets finitos y los resultados de extensión que relacionan los órdenes parciales con los lineales: bajo supuestos suaves, un orden parcial puede extenderse a un orden total. Los principios de tipo Zorn y los argumentos de cadenas maximales son centrales en muchas demostraciones de existencia, mientras que las descomposiciones en cadenas y anticadenas y la teoría de la dimensión miden la complejidad de la comparabilidad. Para introducciones y lecturas complementarias, consulte una visión general de los órdenes parciales y textos estándar sobre teoría del orden.