Dualidad (teoría del orden)

término en el área matemática de la teoría del orden

En el área matemática de la teoría del orden, cada conjunto parcialmente ordenado P da lugar a un conjunto parcialmente ordenado dual (también denominado opuesto) que a menudo se denota por Pop o Pd. Este orden dual Pop se define como el conjunto con el orden inverso, es decir, los xy se mantiene en Pop si y solo si los yx se mantiene en P. Es fácil ver que esta construcción, que se puede representar dando la vuelta al diagrama de Hasse de P, dará un conjunto parcialmente ordenado. En un sentido más amplio, también se dice que dos conjuntos parcialmente ordenados son duales si son doblemente isomorfos, es decir, si un conjunto parcialmente ordenado es ordernadamente isomorfo al dual del otro.

Una retícula perimetral distributiva, y su dual

La importancia de esta simple definición proviene del hecho de que cada definición y teorema de la teoría del orden puede transferirse fácilmente al orden dual. Formalmente, este hecho es definido en el principio de dualidad para conjuntos ordenados:

Si un enunciado dado es válido para todos los conjuntos parcialmente ordenados, entonces su declaración dual, obtenida invirtiendo la dirección de todas las relaciones de orden y mediante la dualización de todas las definiciones teóricas de orden involucradas, también es válida para todos los conjuntos parcialmente ordenados.

Si una declaración o definición es equivalente a su dual, entonces se dice que es autodimensional. Téngase en cuenta que la consideración de órdenes duales es tan fundamental que a menudo ocurre implícitamente cuando se escribe ≥ para la orden dual de ≤ sin dar ninguna definición previa de este símbolo "nuevo".

Ejemplos

editar

Naturalmente, hay una gran cantidad de ejemplos para conceptos que son duales:

Los ejemplos de nociones que son autoduales incluyen:

Como los órdenes parciales son antisimétricos, los únicos que son autoduales son las relaciones de equivalencia.

Véase también

editar

Referencias

editar
  1. Los cuantificadores son esenciales: para elementos individuales x, y, z, la primera ecuación puede no cumplirse, pero la segunda si debe cumplirse; véase por ejemplo el retículo N5.

Bibliografía

editar