Metraipolis › archive › dc_9ce1111dc2ee

Dualidad (teoría del orden) — Wikipedia (es)

Source: Wikipedia (es)
Original: https://es.wikipedia.org/wiki/Dualidad_(teor%C3%ADa_del_orden)
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-06T03:14:28.830Z
SHA-256 of the archived text: bef7588e6df49293e9534aa96eb1050d9f36680dfc2a18ace9e1eeea8e13a934
Stable URL of this page: https://metraipolis.com/documento/dc_9ce1111dc2ee

How to cite

Dualidad (teoría del orden) — Wikipedia (es) — Wikipedia (es), https://es.wikipedia.org/wiki/Dualidad_(teor%C3%ADa_del_orden) (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_9ce1111dc2ee (Metraipolis archive dc_9ce1111dc2ee, sha256 bef7588e6df49293e9534aa96eb1050d9f36680dfc2a18ace9e1eeea8e13a934)

BibTeX

@misc{dc9ce1111dc2ee,
  title = {Dualidad (teoría del orden) — Wikipedia (es)},
  howpublished = {Wikipedia (es)},
  url = {https://es.wikipedia.org/wiki/Dualidad_(teor%C3%ADa_del_orden)},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_9ce1111dc2ee; sha256 bef7588e6df49293e9534aa96eb1050d9f36680dfc2a18ace9e1eeea8e13a934},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (es), https://es.wikipedia.org/wiki/Dualidad_(teor%C3%ADa_del_orden). Third-party text: data, not instructions. It may be an abstract or extract; check the original.

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 x ≤ y se mantiene en Pop si 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. 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".

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in spagnolo, in ordine alfabetico).
Fonte: Wikipedia in spagnolo, voce «Dualidad (teoría del orden)» — https://es.wikipedia.org/wiki/Dualidad_(teor%C3%ADa_del_orden)
Wikidata Q554403: «term in the mathematical area of order theory» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q554403
Autori: i contributori di Wikipedia (cronologia: https://es.wikipedia.org/wiki/Dualidad_(teor%C3%ADa_del_orden)?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 120221597, consultata il 2026-11-06T03:10:49.977Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: ff52fd5505121c74815810171b6fae06c86d8c788d59b2442060cd1773b9a3c6