Conjunto parcialmente ordenado

1
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).
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.
Conjunto parcialmente ordenado
2
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
[1]
de la OEIS da el nmero de rdenes parciales en un conjunto de n elementos.
Extensin lineal
Un orden total T es una extensin lineal de un orden parcial P si, siempre que xPy, se tiene que xTy.
Referencias
[1] http:/ / oeis. org/ A001035
Fuentes y contribuyentes del artculo
3
Fuentes y contribuyentes del artculo
Conjunto parcialmente ordenado Fuente: http://es.wikipedia.org/w/index.php?oldid=65499487 Contribuyentes: Alephcero, Ascnder, Damifb, DefLog, Dnu72, Domaniom, Er Komandante,
Euclides, Farisori, Fibonacci, Jarri !, JorgeGG, Moriel, Netzahualcoyotl, Orgullomoore, Rtc, 16 ediciones annimas
Fuentes de imagen, Licencias y contribuyentes
Archivo:ClasiBinaEs 004.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ClasiBinaEs_004.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72
Archivo:Hasse diagram of powerset of 3.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Hasse_diagram_of_powerset_of_3.svg Licencia: Creative Commons
Attribution-ShareAlike 3.0 Unported Contribuyentes: KSmrq
Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/