Conjunto parcialmente ordenado

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. Ésta formaliza el concepto intuitivo de orden, secuencia, o arreglo de los elementos del conjunto. Un tal orden no necesariamente debe ser total, es decir, no se necesita que se puedan comparar unos con otros todos los elementos del conjunto; esto sin embargo puede ocurrir en algunos casos (en otras palabras, el orden total es un caso particular del orden parcial).

Contenido
     

1 Definición formal 2 Ejemplos 3 Órdenes parciales estrictos y no estrictos 4 Número de órdenes parciales 5 Extensión lineal 6 Esquema de temas relacionados

Definición formal

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

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 éstos son más comunes que los parcialmente ordenados.

El conjunto de los enteros con su orden usual. De forma equivalente. Órdenes parciales estrictos y no estrictos En algunos contextos. Si aRb y bRc. . su conjunto de partes) ordenado por inclusión. Es decir. así pues. Ejemplos Conjunto de los subconjuntos de {x. el orden parcial anteriormente definido se denomina no estricto o reflexivo.. Si aRb. S ∪ {(a. entonces ¬(bRa) (asimetría). El conjunto de subconjuntos de un conjunto dado (i. El conjunto de subespacios de una topología. n} de los naturales. b. o la "clausura reflexiva" de R. Análogamente. Este orden es también total. El conjunto de naturales ordenado por la relación de divisibilidad..Usualmente se usa la notación de "≤" en lugar de "R" para el orden parcial. ordenado por inclusión. Algunos de los ejemplos más conocidos son los siguientes:  El conjunto de los naturales con su orden usual (la relación "menor o igual").. y c en X se tiene que:          ¬(aRa) (irreflexividad). asimétrica (y por lo tanto irreflexiva) y transitiva. y por lo tanto asimétrica. Un subconjunto finito {1. ordenado por inclusión..z}. 2. Este orden es además un orden total. Este orden es también total. ordenado por inclusión. Si R es un orden parcial no estricto. a) | a ∈ X} es el orden parcial estricto correspondiente.y. todo orden parcial estricto S tiene uno no estricto correspondiente. entonces S = R − {(a. a saber. para cualesquiera a. entonces aRc (transitividad). a) | a ∈ P}.e. El conjunto de subespacios de un espacio vectorial. un orden parcial estricto o irreflexivo es una relación binaria que es irreflexiva y transitiva.

A.D. tal que  . y el conjunto potencia de . Relación de orden parcial Sea un conjunto dado. en sí misma. Sea el conjunto Entonces es parcialmente ordenado. simplemente ordenado.A. un orden total es un orden parcial que cumple la comparabilidad. además de un orden parcial estricto. o simplemente orden en un conjunto X es una relación binaria sobre X que es antisimétrica. linealmente ordenado. Un conjunto dotado de un orden total se denomina conjunto totalmente ordenado. un G. La propiedad de totalidad de esta relación se puede también describir como que todo par de elementos son comparables bajo la relación. orden simple. orden lineal. un orden total. es decir. Por tanto. es. Número de órdenes parciales La secuencia A001035 de la OEIS da el número de órdenes parciales en un conjunto de n elementos. si se denota una tal relación por ≤. esto es. y total. b. y c en X:    Si a ≤ b y b ≤ a. transitiva. es una relación de orden parcial si y solo si al menos un par de elementos de se relacionan entre sí. definido por: Ejemplo. . a ≤ b o b ≤ a (totalidad o completitud).. lo siguiente vale para cualesquiera a.A. pues sean pero Nótese que las relaciones de orden total son un caso particular de las relaciones de orden parcial.D. y la clausura transitiva de un G. o cadena. Si a ≤ b y b ≤ c.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. Orden total En matemáticas. entonces a ≤ c (transitividad). entonces a = b (antisimetría).D.

Otros dos órdenes asociados son los complementos ≥ y >. >. para cualesquiera a. esto es. . funciones f tales que si a ≤ b entonces f(a) ≤ f(b). a < b ssi no b ≤ a (i. por lo tanto. y transitiva. Una función biyectiva entre dos conjuntos totalmente ordenados que respete los dos órdenes es un isomorfismo en esta categoría. a ≤ a para todo a ∈ X. a ≤ b ssi no b < a. Es tricotómico: exactamente una de a < b. Un orden total. llamada orden total estricto. Se puede definir o explicar el orden total de un conjunto usando cualquiera de las cuatro relaciones. la notación dejará en claro si se habla de un orden estricto o no. Se deduce que un conjunto totalmente ordenado es un retículo distributivo.. antisimétrica. siendo los morfismos funciones que respetan el orden. en ese caso. un orden total es también un orden parcial. y a = b es válida. completando así el conjunto {<. se puede definir un conjunto totalmente ordenado como un tipo particular de retículo. Se escribe entonces a ≤ b si y solo si a = a ∧ b. es decir. en el que se tiene {a ∨ b. ≤. Se puede trabajar a la inversa tomando < como una relación binaria transitiva y tricotómica. ≥}. b. b} para cualesquiera a. Los conjuntos totalmente ordenados forman una subcategoría completa de la categoría de conjuntos parcialmente ordenados. El orden total estricto tiene las siguientes propiedades. que puede definirse de dos maneras equivalentes:   a < b ssi a ≤ b y a ≠ b. i. Contenido        1 Orden total estricto 2 Ejemplos 3 Topología del orden 4 Completitud 5 Cadenas 6 Órdenes totales finitos 7 Esquema de temas relacionados Orden total estricto Para cada orden total (no estricto) ≤ hay asociada una relación asimétrica (y por tanto irreflexiva) <. < es la inversa del complemento de ≤). entonces. esto es.e. a ∧ b} = {a. un orden total no estricto ≤ se puede definir de dos maneras equivalentes:   a ≤ b ssi a < b o a = b. una relación binaria reflexiva.Nótese que la condición de totalidad implica reflexividad.e. Como alternativa. b < a. puede también definirse como un orden parcial que sea "total". y c en X:    Es transitivo: a < b y b < c implica a < c. que cumpla con la condición de totalidad. b. Es un preorden total.

e. Por ejemplo. a ≤ b o b ≤ a). Con éstos se puede definir una topología en cualquier conjunto ordenado. (−∞. con el orden usual de las relaciones < o >. cualquier conjunto de palabras con el orden alfabético usual está totalmente ordenado. Por ejemplo. Un conjunto X es conexo bajo la topología del orden si y solo si es completo y no tiene saltos (un salto es un par de puntos a y b en X con a < b. Topología del orden Para todo conjunto totalmente ordenado X. . se pueden definir los intervalos abiertos (a. La topología del orden sobre un orden total es completamente normal. Para evitar entonces confusión cuando se usa más de un orden sobre un conjunto se habla de la topología del orden inducida por un orden particular. son conjuntos bien ordenados. para todo par de elementos a y b en X. (a. Los racionales forman el mínimo conjunto totalmente ordenado sin cota superior ni inferior que además es denso. Sin embargo. enteros. el alfabeto con un espacio vacío (que se define menor que cualquier letra). el conjunto de los reales es completo. para todo conjunto B con la propiedad.Ejemplos        o o o o Las letras del alfabeto con el orden alfabético usual: A < B < C < X Cualquier subconjunto de un conjunto totalmente ordenado. si N es el conjunto de los naturales. Completitud Un conjunto X totalmente ordenado se dice completo si todo subconjunto no vacío con cota superior tiene supremo en el conjunto X. Si X es un conjunto y f una función inyectiva de X a un conjunto totalmente ordenado. que para cualesquiera a y b con a < b. Nótese que la definición formal de un conjunto ordenado como una pareja formada por un conjunto y un orden garantiza que la topología del orden sea única en cada conjunto ordenado. Cada uno de ellos es un caso único (módulo isomorfismo) y mínimo de conjunto totalmente ordenado con alguna propiedad (un conjunto totalmente ordenado A es el mínimo con cierta propiedad si. existe un c tal que a < c < b. Todo conjunto de números cardinales o números ordinales (más aún. en la práctica la distinción entre un conjunto con un orden definido en él y la pareja de conjunto y orden se obvia casi siempre. y < y > son las relaciones usuales de menor y mayor. hay un isomorfismo de orden entre A y un subconjunto de B): Los naturales forman el mínimo conjunto totalmente ordenado sin cota superior. El orden lexicográfico en el producto cartesiano de cualquier colección de conjuntos totalmente ordenados es en sí mismo un orden total. un número contable de veces. f induce un orden total en X tomando x < y si y solo si f(x) < f(y). ∞) = {x ∈ X | a < x} y (−∞. éstos son bien ordenados). la topología del orden. b) := {x ∈ X | a < x y x < b}. el orden del conjunto completo. Por ejemplo. visto como un subconjunto del producto cartesiano de un conjunto finito de símbolos. pero el de los racionales no. Los naturales. Los enteros forman el mínimo conjunto totalmente ordenado sin cota superior ni inferior. Los reales son el mínimo conjunto totalmente ordenado no acotado y conexo (véase más adelante la definición de la topología). se puede hablar de la topología del orden en N inducida por < y aquella inducida por > (en este caso resultan ser la misma. restringiendo a él. ∞) = X. tales que no hay un c en X que satisfaga a < c < b). es decir. pero en general no será así). b) = {x ∈ X | x < b}. Todo conjunto parcialmente ordenado X donde cualesquiera dos elementos se pueden comparar (i. racionales y los reales.

y y entonces entonces ) Reflexivo: Antisimétrico: Transitivo: Relaciones de orden En primer lugar damos la definición de relación de orden. Ejemplos típicos de relaciones de orden. los reales. según la definición. es: entonces si si (porque por definición. se puede demostrar que todo orden total finito es isomorfo a un segmento inicial de los naturales con el orden usual. La preferencia por el uso de "cadena" para referirse a los subconjuntos mencionados probablemente viene de la importancia que éstos tienen en el lema de Zorn. o porque todo buen orden es isomorfo a un ordinal. por esto es común listar los órdenes totales finitos con números naturales y ordenarlos según el orden de los naturales.  Ejemplo o o o es totalmente ordenado.X es completo si y solo si todo subconjunto acotado que sea cerrado en la topología del orden es compacto. Cadenas Aunque. es una relación de orden total si y solo si todos los elementos de se relacionan entre sí. En otras palabras. es decir. Relación de orden total Sea un conjunto dado. Sin embargo. y por lo tanto está bien ordenado. seguirían siendo un conjunto totalmente ordenado. . Sea por prueba directa. si se considera el conjunto de partes de los naturales parcialmente ordenado por inclusión. Órdenes totales finitos Un simple argumento de conteo basta para demostrar que todo conjunto finito totalmente ordenado (así como cualquier subconjunto) tiene un elemento mínimo. Definición 6. el término se usa en general para referirse a subconjuntos totalmente ordenados de un conjunto parcialmente ordenado. una cadena es exactamente lo mismo que un conjunto totalmente ordenado.1 Una relación es de orden si es reflexiva. por ejemplo. la desigualdad entre . la contención entre conjuntos. En efecto. antisimétrica y transitiva. de entre los ya estudiados anteriormente en esta asignatura o en cursos precedentes. un subconjunto totalmente ordenado de éste sería llamado cadena. un orden total en un conjunto con k elementos induce una biyección con los primeros k naturales. podemos citar la implicación lógica entre clases de equivalencia de proposiciones lógicas.

Otro ejemplo típico de orden total es el llamado `` orden léxico-gráfico''. Una relación R es de orden parcial o simplemente de Reflexiva. Por ejemplo si tomamos la relación de subconjunto propio entre conjuntos. Otra relación de orden muy importante es la relación de conjunto dado. o sea que dos conjuntos están relacionados si el primero es subconjunto del segundo pero no son el mismo conjunto. La relación entre los subconjuntos de un no es de orden porque no cumple la propiedad reflexiva. Las relaciones de orden se suelen llamar también de orden parcial. es decir.2 Una relación de orden se llama orden total si De todos los ejemplos citados anteriormente. el resto son sólo órdenes parciales. . Observamos que tomamos la cerradura reflexiva de la relación obtenemos la relación . en contraposición a lo que se llama orden total. y que funciona análogamente al orden en que están ordenadas la palabras en un diccionario (o los nombres en una guía de teléfonos). las relaciones de orden también se utilizan mucho en computación. Ver definiciones en 2. Una de las relaciones más importantes en matemáticas en la relación en los números reales.1 Relaciones sobre un Conjunto si cumple las propiedades Igual que las relaciones de equivalencia. Cuando todos los elementos están relacionados se llama . y si esto no es posible es que ambas palabras son iguales. como su nombre lo dice. Claramente cumple las propiedades antisimétrica y transitiva y al tomar la cerradura transitiva la convertimos en una relación de orden. si son iguales se comparan los segundos. la relación de divisibilidad entre números naturales. haciendo una analogía con una relación en general.números. que claramente se ve que es un orden total. Antisimétrica y Transitiva. en los elementos del conjunto. o entre monomios. se comparan los primeros símbolos. solamente las desigualdades entre números y la comparación de cardinales son órdenes totales. entonces se llama relación de orden estricto y en cierta forma se comporta como si fuera en lugar de menor o igual. podemos establecer que si una relación antirreflexiva se convierte en relación de orden al tomar su cerradura reflexiva. con una relación de orden se establece . y así sucesivamente hasta encontrar el primer símbolo en que ambas palabras difieran. o la comparación de cardinales entre clases de conjuntos equipotentes (con el mismo cardinal). Definición 6. Se llama porque no todos los elementos están necesariamente relacionados. que definimos a continuación. entre cadenas de caracteres.2. vectores de números.

veamos que a 6 b o b 6 a. y y divide z entonces y/x . pues si x divide a y. cuando dos elementos cualesquiera en una relación de orden siempre están relacionados. Por lo tanto la relación es una relación de orden. z/x son enteros.4 Probar que la relación de orden “menor o igual” definida en el conjunto Z de los números enteros es total. puede ocurrir que sean iguales o distintos. Ejemplo 7.También se define orden total. por lo que obtenemos que x divide a z. pues 2 divide a 8. a está relacionado con b o b está relacionado con a.c} no están relacionados.10) no está pues 4 no divide a 10. pero (4. En la siguiente sección se vará una forma de representar con un diagrama una relación de orden y se varán ejemplos de cómo quedan representadas las relaciones sobre los divisores. siendo x distinto de y no podemos tener que y divida a x finalmente.20.b} y {a.2. A = {1. todos los números enteros son comparables por la relación.8.8) está en la relación pues 2 divide a 8. Pues bien. En general la relación de divide a es siempre una relación de orden. vemos que es transitiva. Por ejemplo en cualquier conjunto de números reales la relación es de orden total. pero 8 no divide a 2 es antisimétrica. Considere el conjunto A de los divisores positivos de 40 y definios una relación R en A como x está relacionado con y si x divide a y. a = b ∨ a =6 b ⇐⇒ a = b ∨ b − a = 0 6 ⇐⇒ a = b ∨ b − a ∈ Z \ {0} ⇐⇒ a = b ∨ b − a ∈ Z − ∪Z + . Sin embargo. o lo que es lo mismo si y es un múltiplo de x.40} Entonces (2. pues dado un par cualesquiera de números a y b. pero esto implica que z/x es entero. En general se pueden clasificar de acuerdo a su descomposición en factores. pues el producto de dos enteros es entero.10.4. sean a y b dos enteros cualesquiera. en los conjuntos la relación de no es de orden total pues los conjuntos {a. Solución: En efecto. Como a y b están arbitrariamente elegidos. Ejemplo. pues todo número es divible por sí mimo no es simétrica. pues si se cumple que x divide y.5. La relación es reflexiva. es decir.

con − k ∈ Z + ∨ b − a = k. la relaci´on de orden “menor o igual” definida en el conjunto de los n´umeros enteros es total .⇐⇒ a = b ∨ ∃k ∈ Z − :b−a=k ∨ ∃k ∈ Z + :b−a=k ⇐⇒ a = b ∨ a − b = −k. con k ∈ Z + ⇐⇒ a = b ∨ b<a ∨ a<b ⇐⇒ a=b∨b<a ∨ a=b∨a<b ⇐⇒ b6a ∨ a6b Por tanto.