Orden total

De Wikipedia, la enciclopedia libre

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

si a pertenece a X, entonces a a (reflexiva).

Si a b y b c, entonces a c (transitividad).
Si a b y b a, entonces a = b (antisimetra).
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.

ndice
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
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
totalmente 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.

Esquema de temas relacionados

Teora del orden

Relacin reflexiva
Parcialmente Preordenado
Orden Relacin transitiva
Bien ordenado
total
ordenado Relacin antisimtrica
Relacin total
Relacin bien fundada
Obtenido de https://es.wikipedia.org/w/index.php?title=Orden_total&oldid=89922298

Categora: Teora del orden

Se edit esta pgina por ltima vez el 19 mar 2016 a las 21:23.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.