Conjunto preordenado

De Wikipedia, la enciclopedia libre
(Redirigido desde «Preorden»)
Saltar a: navegación, búsqueda

En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relaciones binarias que se relacionan con los conjuntos parcialmente ordenados. El nombre quasiorden es también una expresión común para preórdenes. Muchas definiciones teóricas para los conjuntos parcialmente ordenados se pueden generalizar a preórdenes, pero el esfuerzo adicional de generalización raramente se necesita. Con todo hay campos de uso, tales como la definición de la convergencia vía redes en topología, donde los preórdenes no se pueden substituir por conjuntos parcialmente ordenados sin perder propiedades importantes.

Definición formal[editar]

Relación homogénea Relación reflexiva Relación no reflexiva Conjunto preordenado Relación de dependencia Conjunto parcialmente ordenado Relación de equivalencia Orden total AcotadoClasiBinaEs 004.svg
Acerca de esta imagen


Considere algún conjunto P y una relación binaria ≤ en P. Entonces ≤ es un preorden, o un cuasiorden, si es reflexiva y transitiva, es decir, para todo a, b y c en P, tenemos que:

aa (reflexividad)
si ab y bc entonces ac (transitividad)

Un conjunto que se equipa con un preorden se llama un conjunto preordenado. Si un preorden es también antisimétrico, es decir, ab y ba implica a = b, entonces es un orden parcial.

Un orden parcial se puede construir con cualquier preorden identificando puntos "iguales". Formalmente, se define una relación de equivalencia ~ sobre X tal que a ~ b si y sólo si ab y ba. Ahora el conjunto cociente X/~, es decir el conjunto de todas las clases de equivalencia de ~, pueden ser fácilmente ordenadas definiendo [x] ≤ [y] si y sólo si xy. Por la construcción de ~ esta definición es independiente de los representantes elegidos y la relación correspondiente está de hecho bien definida. Se verifica fácilmente que esto da un conjunto parcialmente ordenado.

Esquema de temas relacionados[editar]

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