Conjunto parcialmente ordenado

En matemticas, especialmente en teora del orden, un conjunto parcialmente ordenado (o poset, del ingls partially ordered set) es un conjunto equipado con una relacin 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 Definicin formal 2 Ejemplos 3 rdenes parciales estrictos y no estrictos 4 Nmero de rdenes parciales 5 Extensin lineal 6 Esquema de temas relacionados

Definicin formal

Un orden parcial es una relacin binaria R sobre un conjunto X que es reflexiva, antisimtrica, y
transitiva, es decir, para cualesquiera a, b, y c en X se tiene que:

aRa (reflexividad). Si aRb y bRa, entonces a = b (antisimetra). 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 expresin 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 tambin se lo llama ordenado a secas, en especial en campos donde stos son ms comunes que los parcialmente ordenados.

Usualmente se usa la notacin de "" en lugar de "R" para el orden parcial.

Ejemplos

Conjunto de los subconjuntos de {x,y,z}, ordenado por inclusin. Algunos de los ejemplos ms conocidos son los siguientes:

El conjunto de los naturales con su orden usual (la relacin "menor o igual"). Este orden es adems un orden total. El conjunto de los enteros con su orden usual. Este orden es tambin total. Un subconjunto finito {1, 2,..., n} de los naturales. Este orden es tambin total. El conjunto de naturales ordenado por la relacin de divisibilidad. El conjunto de subconjuntos de un conjunto dado (i.e. su conjunto de partes) ordenado por inclusin. El conjunto de subespacios de un espacio vectorial, ordenado por inclusin. El conjunto de subespacios de una topologa, ordenado por inclusin. 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 relacin binaria que es irreflexiva y transitiva, y por lo tanto asimtrica. De forma equivalente, asimtrica (y por lo tanto irreflexiva) y transitiva. Es decir, para cualesquiera a, b, y c en X se tiene que:

(aRa) (irreflexividad). Si aRb, entonces (bRa) (asimetra). Si aRb y bRc, entonces aRc (transitividad). Si R es un orden parcial no estricto, entonces S = R {(a, a) | a X} es el orden parcial estricto correspondiente. Anlogamente, todo orden parcial estricto S tiene uno no estricto correspondiente, a saber, S {(a, a) | a P}, o la "clausura reflexiva" de R.

Los rdenes parciales estrictos son tiles porque se corresponden ms directamente con los grafos acclicos dirigidos: todo orden parcial estricto es un G.A.D., y la clausura transitiva de un G.A.D. es, adems de un orden parcial estricto, un G.A.D. en s misma. Nmero de rdenes parciales La secuencia A001035 de la OEIS da el nmero de rdenes parciales en un conjunto de n elementos.

Relacin de orden parcial

Sea un conjunto dado, es una relacin de orden parcial si y solo si al menos un par de elementos de se relacionan entre s, es decir, tal que

.
y el conjunto potencia de , definido por:

Ejemplo. Sea el conjunto

Entonces

es parcialmente ordenado, pues sean

pero

Ntese que las relaciones de orden total son un caso particular de las relaciones de orden parcial.

Orden total
En matemticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relacin binaria sobre X que es antisimtrica, transitiva, y total; esto es, si se denota una tal relacin por , lo siguiente vale para cualesquiera a, b, y c en X:

Si a b y b a, entonces a = b (antisimetra). Si a b y b c, entonces a c (transitividad). a b o b a (totalidad o completitud). La propiedad de totalidad de esta relacin se puede tambin describir como que todo par de elementos son comparables bajo la relacin. Por tanto, un orden total es un orden parcial que cumple la comparabilidad. Un conjunto dotado de un orden total se denomina conjunto totalmente ordenado, linealmente ordenado, simplemente ordenado, o cadena.

Ntese que la condicin de totalidad implica reflexividad, esto es, a a para todo a X; por lo tanto, un orden total es tambin un orden parcial, esto es, una relacin binaria reflexiva, antisimtrica, y transitiva. Un orden total, entonces, puede tambin definirse como un orden parcial que sea "total", i.e. que cumpla con la condicin de totalidad. Como alternativa, se puede definir un conjunto totalmente ordenado como un tipo particular de retculo, en el que se tiene {a b, a b} = {a, b} para cualesquiera a, b. Se escribe entonces a b si y solo si a = a b. Se deduce que un conjunto totalmente ordenado es un retculo distributivo. Los conjuntos totalmente ordenados forman una subcategora completa de la categora de conjuntos parcialmente ordenados, siendo los morfismos funciones que respetan el orden, es decir, funciones f tales que si a b entonces f(a) f(b). Una funcin biyectiva entre dos conjuntos totalmente ordenados que respete los dos rdenes es un isomorfismo en esta categora.

Contenido

1 Orden total estricto 2 Ejemplos 3 Topologa 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 relacin asimtrica (y por tanto irreflexiva) <, llamada orden total estricto, que puede definirse de dos maneras equivalentes:

a < b ssi a b y a b. a < b ssi no b a (i.e., < es la inversa del complemento de ). El orden total estricto tiene las siguientes propiedades, para cualesquiera a, b, y c en X:

Es transitivo: a < b y b < c implica a < c. Es tricotmico: exactamente una de a < b, b < a, y a = b es vlida. Es un preorden total. Se puede trabajar a la inversa tomando < como una relacin binaria transitiva y tricotmica; en ese caso, un orden total no estricto se puede definir de dos maneras equivalentes:

a b ssi a < b o a = b. a b ssi no b < a. Otros dos rdenes asociados son los complementos y >, completando as el conjunto {<, >, , }. Se puede definir o explicar el orden total de un conjunto usando cualquiera de las cuatro relaciones; la notacin dejar en claro si se habla de un orden estricto o no.

Ejemplos

o o o o

Las letras del alfabeto con el orden alfabtico usual: A < B < C < X Cualquier subconjunto de un conjunto totalmente ordenado, restringiendo a l, el orden del conjunto completo. Todo conjunto parcialmente ordenado X donde cualesquiera dos elementos se pueden comparar (i.e. para todo par de elementos a y b en X, a b o b a). Todo conjunto de nmeros cardinales o nmeros ordinales (ms an, stos son bien ordenados). Si X es un conjunto y f una funcin inyectiva de X a un conjunto totalmente ordenado, f induce un orden total en X tomando x < y si y solo si f(x) < f(y). El orden lexicogrfico en el producto cartesiano de cualquier coleccin de conjuntos totalmente ordenados es en s mismo un orden total. Por ejemplo, cualquier conjunto de palabras con el orden alfabtico usual est totalmente ordenado, visto como un subconjunto del producto cartesiano de un conjunto finito de smbolos, el alfabeto con un espacio vaco (que se define menor que cualquier letra), un nmero contable de veces. Los naturales, enteros, racionales y los reales, con el orden usual de las relaciones < o >, son conjuntos bien ordenados. Cada uno de ellos es un caso nico (mdulo isomorfismo) y mnimo de conjunto totalmente ordenado con alguna propiedad (un conjunto totalmente ordenado A es el mnimo con cierta propiedad si, para todo conjunto B con la propiedad, hay un isomorfismo de orden entre A y un subconjunto de B): Los naturales forman el mnimo conjunto totalmente ordenado sin cota superior. Los enteros forman el mnimo conjunto totalmente ordenado sin cota superior ni inferior. Los racionales forman el mnimo conjunto totalmente ordenado sin cota superior ni inferior que adems es denso, es decir, que para cualesquiera a y b con a < b, existe un c tal que a < c < b. Los reales son el mnimo conjunto totalmente ordenado no acotado y conexo (vase ms adelante la definicin de la topologa). Topologa del orden Para todo conjunto totalmente ordenado X, se pueden definir los intervalos abiertos (a, b) := {x X | a < x y x < b}, (, b) = {x X | x < b}, (a, ) = {x X | a < x} y (, ) = X. Con stos se puede definir una topologa en cualquier conjunto ordenado, la topologa del orden. Ntese que la definicin formal de un conjunto ordenado como una pareja formada por un conjunto y un orden garantiza que la topologa del orden sea nica en cada conjunto ordenado. Sin embargo, en la prctica la distincin entre un conjunto con un orden definido en l y la pareja de conjunto y orden se obvia casi siempre. Para evitar entonces confusin cuando se usa ms de un orden sobre un conjunto se habla de la topologa del orden inducida por un orden particular. Por ejemplo, si N es el conjunto de los naturales, y < y > son las relaciones usuales de menor y mayor, se puede hablar de la topologa del orden en N inducida por < y aquella inducida por > (en este caso resultan ser la misma, pero en general no ser as). La topologa del orden sobre un orden total es completamente normal. Completitud Un conjunto X totalmente ordenado se dice completo si todo subconjunto no vaco con cota superior tiene supremo en el conjunto X. Por ejemplo, el conjunto de los reales es completo, pero el de los racionales no. Un conjunto X es conexo bajo la topologa 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, tales que no hay un c en X que satisfaga a < c < b).

X es completo si y solo si todo subconjunto acotado que sea cerrado en la topologa del orden es compacto. Cadenas Aunque, segn la definicin, una cadena es exactamente lo mismo que un conjunto totalmente ordenado, el trmino se usa en general para referirse a subconjuntos totalmente ordenados de un conjunto parcialmente ordenado; los reales, por ejemplo, seguiran siendo un conjunto totalmente ordenado. Sin embargo, si se considera el conjunto de partes de los naturales parcialmente ordenado por inclusin, un subconjunto totalmente ordenado de ste sera llamado cadena. 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. rdenes totales finitos Un simple argumento de conteo basta para demostrar que todo conjunto finito totalmente ordenado (as como cualquier subconjunto) tiene un elemento mnimo, y por lo tanto est bien ordenado. Sea por prueba directa, o porque todo buen orden es isomorfo a un ordinal, se puede demostrar que todo orden total finito es isomorfo a un segmento inicial de los naturales con el orden usual. En otras palabras, un orden total en un conjunto con k elementos induce una biyeccin con los primeros k naturales; por esto es comn listar los rdenes totales finitos con nmeros naturales y ordenarlos segn el orden de los naturales.

Relacin de orden total

Sea un conjunto dado, es una relacin de orden total si y solo si todos los elementos de se relacionan entre s, es decir, .

Ejemplo
o o o

es totalmente ordenado. En efecto, es: entonces si si (porque por definicin, y y entonces entonces )

Reflexivo: Antisimtrico: Transitivo:

Relaciones de orden
En primer lugar damos la definicin de relacin de orden. Definicin 6.1 Una relacin es de orden si es reflexiva, antisimtrica y transitiva. Ejemplos tpicos de relaciones de orden, de entre los ya estudiados anteriormente en esta asignatura o en cursos precedentes, podemos citar la implicacin lgica entre clases de equivalencia de proposiciones lgicas, la contencin entre conjuntos, la desigualdad entre

nmeros, la relacin de divisibilidad entre nmeros naturales, o la comparacin de cardinales entre clases de conjuntos equipotentes (con el mismo cardinal). Las relaciones de orden se suelen llamar tambin de orden parcial, en contraposicin a lo que se llama orden total, que definimos a continuacin. Definicin 6.2 Una relacin de orden se llama orden total si

De todos los ejemplos citados anteriormente, solamente las desigualdades entre nmeros y la comparacin de cardinales son rdenes totales, el resto son slo rdenes parciales. Otro ejemplo tpico de orden total es el llamado `` orden lxico-grfico'', entre cadenas de caracteres, vectores de nmeros, o entre monomios, y que funciona anlogamente al orden en que estn ordenadas la palabras en un diccionario (o los nombres en una gua de telfonos), es decir, se comparan los primeros smbolos, si son iguales se comparan los segundos, y as sucesivamente hasta encontrar el primer smbolo en que ambas palabras difieran, y si esto no es posible es que ambas palabras son iguales.

Una relacin R es de orden parcial o simplemente de Reflexiva, Antisimtrica y Transitiva. Ver definiciones en 2.2.1 Relaciones sobre un Conjunto

si cumple las propiedades

Igual que las relaciones de equivalencia, las relaciones de orden tambin se utilizan mucho en computacin; con una relacin de orden se establece , como su nombre lo dice, en los elementos del conjunto. Se llama porque no todos los elementos estn necesariamente relacionados. Cuando todos los elementos estn relacionados se llama . Una de las relaciones ms importantes en matemticas en la relacin en los nmeros reales, que claramente se ve que es un orden total.

Otra relacin de orden muy importante es la relacin de conjunto dado. La relacin

entre los subconjuntos de un

no es de orden porque no cumple la propiedad reflexiva.

Observamos que tomamos la cerradura reflexiva de la relacin obtenemos la relacin , haciendo una analoga con una relacin en general, podemos establecer que si una relacin antirreflexiva se convierte en relacin de orden al tomar su cerradura reflexiva, entonces se llama relacin de orden estricto y en cierta forma se comporta como si fuera en lugar de menor o igual. Por ejemplo si tomamos la relacin de subconjunto propio entre conjuntos, o sea que dos conjuntos estn relacionados si el primero es subconjunto del segundo pero no son el mismo conjunto. Claramente cumple las propiedades antisimtrica y transitiva y al tomar la cerradura transitiva la convertimos en una relacin de orden.

Tambin se define orden total, cuando dos elementos cualesquiera en una relacin de orden siempre estn relacionados.

Por ejemplo en cualquier conjunto de nmeros reales la relacin es de orden total, pues dado un par cualesquiera de nmeros a y b, a est relacionado con b o b est relacionado con a. Sin embargo, en los conjuntos la relacin de no es de orden total pues los conjuntos {a,b} y {a,c} no estn relacionados. Ejemplo. Considere el conjunto A de los divisores positivos de 40 y definios una relacin R en A como x est relacionado con y si x divide a y; o lo que es lo mismo si y es un mltiplo de x. A = {1,2,4,5,8,10,20,40} Entonces (2,8) est en la relacin pues 2 divide a 8, pero (4,10) no est pues 4 no divide a 10. La relacin es reflexiva, pues todo nmero es divible por s mimo no es simtrica, pues 2 divide a 8, pero 8 no divide a 2 es antisimtrica, pues si x divide a y, siendo x distinto de y no podemos tener que y divida a x finalmente, vemos que es transitiva, pues si se cumple que x divide y, y y divide z entonces y/x , z/x son enteros, pero esto implica que z/x es entero, pues el producto de dos enteros es entero, por lo que obtenemos que x divide a z. Por lo tanto la relacin es una relacin de orden. En general la relacin de divide a es siempre una relacin de orden. En la siguiente seccin se var una forma de representar con un diagrama una relacin de orden y se varn ejemplos de cmo quedan representadas las relaciones sobre los divisores. En general se pueden clasificar de acuerdo a su descomposicin en factores.

Ejemplo 7.4 Probar que la relacin de orden menor o igual denida en el conjunto Z de los nmeros enteros es total. Solucin: En efecto, sean a y b dos enteros cualesquiera, veamos que a 6 b o b 6 a, es decir, todos los nmeros enteros son comparables por la relacin. Como a y b estn arbitrariamente elegidos, puede ocurrir que sean iguales o distintos. Pues bien, a = b a =6 b a = b b a = 0 6 a = b b a Z \ {0} a = b b a Z Z +

 a = b

k Z :ba=k k Z + :ba=k a = b

a b = k, con k Z + b a = k, con k Z + a = b

b<a a<b

a=bb<a a=ba<b

b6a a6b Por tanto, la relacion de orden menor o igual denida en el conjunto de los numeros enteros es total