En el área matemática de la teoría del orden, cada conjunto parcialmente ordenadoP 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 x ≤ y se mantiene en Popsi y solo si los y ≤ x 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
Naturalmente, hay una gran cantidad de ejemplos para conceptos que son duales:
Distributividad de retículos, es decir, las redes para las que las condiciones ∀ x, y, z: x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) son exactamente aquellas condiciones para las que la declaración dual ∀ x, y, z:x ∨ (y ∧ z) = (x ∨ y) ∧ (x ∨ z)[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.
dualidad, teoría, orden, área, matemática, teoría, orden, cada, conjunto, parcialmente, ordenado, lugar, conjunto, parcialmente, ordenado, dual, también, denominado, opuesto, menudo, denota, este, orden, dual, define, como, conjunto, orden, inverso, decir, man. En el area matematica de la teoria del orden cada conjunto parcialmente ordenado P da lugar a un conjunto parcialmente ordenado dual tambien 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 x y se mantiene en Pop si y solo si los y x se mantiene en P Es facil ver que esta construccion que se puede representar dando la vuelta al diagrama de Hasse de P dara un conjunto parcialmente ordenado En un sentido mas amplio tambien 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 reticula perimetral distributiva y su dual La importancia de esta simple definicion proviene del hecho de que cada definicion y teorema de la teoria del orden puede transferirse facilmente al orden dual Formalmente este hecho es definido en el principio de dualidad para conjuntos ordenados Si un enunciado dado es valido para todos los conjuntos parcialmente ordenados entonces su declaracion dual obtenida invirtiendo la direccion de todas las relaciones de orden y mediante la dualizacion de todas las definiciones teoricas de orden involucradas tambien es valida para todos los conjuntos parcialmente ordenados Si una declaracion o definicion es equivalente a su dual entonces se dice que es autodimensional Tengase en cuenta que la consideracion de ordenes duales es tan fundamental que a menudo ocurre implicitamente cuando se escribe para la orden dual de sin dar ninguna definicion previa de este simbolo nuevo Indice 1 Ejemplos 2 Vease tambien 3 Referencias 4 BibliografiaEjemplos EditarNaturalmente hay una gran cantidad de ejemplos para conceptos que son duales Elemento mayor y menor Elemento maximal y minimal Elemento supremo e infimo supremo e infimo Seccion final Ideales y filtros Operador clausura y operador nucleo Los ejemplos de nociones que son autoduales incluyen Ser un reticulo completo Monotonicidad de funciones Distributividad de reticulos es decir las redes para las que las condiciones x y z x y z x y x z son exactamente aquellas condiciones para las que la declaracion dual x y z x y z x y x z 1 Condicion de algebra booleana Condicion de isomorfismo de orden Como los ordenes parciales son antisimetricos los unicos que son autoduales son las relaciones de equivalencia Vease tambien EditarRelacion de conversion Anexo Lista de elementos de algebra booleana Grafo transpuestoReferencias Editar Los cuantificadores son esenciales para elementos individuales x y z la primera ecuacion puede no cumplirse pero la segunda si debe cumplirse vease por ejemplo el reticulo N5 Bibliografia EditarDavey B A Priestley H A 2002 Introduction to Lattices and Order 2nd edicion Cambridge University Press ISBN 978 0 521 78451 1 Datos Q554403 Obtenido de https es wikipedia org w index php title Dualidad teoria del orden amp oldid 120221597, wikipedia, wiki, leyendo, leer, libro, biblioteca,
