To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Conjunto parcialmente ordenado

De Wikipedia, la enciclopedia libre

En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado (o poset, del inglés partially ordered set) es un conjunto equipado con una relación binaria de orden parcial, que formaliza el concepto intuitivo de orden, secuencia, o arreglo de los elementos del conjunto. Tal orden no necesariamente debe ser total, es decir, no necesariamente deben poder compararse todos los elementos con todos los otros elementos del conjunto, sin embargo esto puede ocurrir en algunos casos (en otras palabras, el orden total es un caso particular del orden parcial).

Definición formal

Relación homogéneaRelación reflexivaRelación no reflexivaConjunto preordenadoRelación de dependenciaConjunto parcialmente ordenadoRelación de equivalenciaOrden totalAcotadoOrden total acotadoRelación binaria 101.svg
Acerca de esta imagen

Un orden parcial es una relación binaria R sobre un conjunto X que es reflexiva, antisimétrica, y transitiva, es decir, para cualquier a, b, y c en X se tiene que:[1]

  • aRa (reflexividad).
  • Si aRb y bRa, entonces a = b (antisimetría).
  • Si aRb y bRc, entonces aRc (transitividad).

Un conjunto con un orden parcial se denomina conjunto parcialmente ordenado o poset. A veces se usa la expresión conjunto ordenado para uno parcialmente ordenado, siempre que quede claro que no se hará referencia a otras clases de orden. En particular, a un conjunto totalmente ordenado también se lo llama ordenado a secas, en especial en campos donde estos son más comunes que los parcialmente ordenados.

Usualmente se usa la notación de "≤" en lugar de "R" para el orden total, ya que este cumple con la dicotomía.

Ejemplos

Conjunto de los subconjuntos de {x,y,z}, ordenado por inclusión.
Conjunto de los subconjuntos de {x,y,z}, ordenado por inclusión.

Algunos de los ejemplos más conocidos son los siguientes:

Órdenes parciales estrictos y no estrictos

En algunos contextos, el orden parcial anteriormente definido se denomina no estricto o reflexivo; así pues, un orden parcial estricto o irreflexivo es una relación binaria que es irreflexiva y transitiva, y por lo tanto asimétrica. De forma equivalente, asimétrica (y por lo tanto irreflexiva) y transitiva.

Es decir, para cualquier a, b, y c en X se tiene que:

  • ¬(aRa) (irreflexividad).
  • Si aRb, entonces ¬(bRa) (asimetría).
  • Si aRb y bRc, entonces aRc (transitividad).

Si R es un orden parcial no estricto, entonces S = R − {(a, a) | aX} es el orden parcial estricto correspondiente. Análogamente, todo orden parcial estricto S tiene uno no estricto correspondiente, a saber, S ∪ {(a, a) | aX}, o la "clausura reflexiva" de R.

Los órdenes parciales estrictos son útiles porque se corresponden más directamente con los grafos acíclicos dirigidos: todo orden parcial estricto es un G.A.D., y la clausura transitiva de un G.A.D. es, además de un orden parcial estricto, un G.A.D. en sí misma.

Número de órdenes parciales

La secuencia A001035 de la OEIS da el número de órdenes parciales en un conjunto de n elementos.

Extensión lineal

Un orden total T es una extensión lineal de un orden parcial P si, siempre que xPy, se tiene que xTy.

Esquema de temas relacionados

Teoría del orden
Bien ordenado
Orden total
Parcialmente ordenado
Preordenado
Conjunto
Relación binaria
Relación reflexiva
Relación transitiva
Relación antisimétrica
Relación total
Relación bien fundada


Referencias

  1. Richard Johnsonbaugh (2005). «3». Matemáticas discretas (1 edición). Pearson Educación. p. 121. ISBN 978-97-0260-637-6. 
Esta página se editó por última vez el 8 ene 2021 a las 08:34.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.