Conjunto preordenado

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 cuasiorden 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

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 Acotado 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.

Other Languages
Deutsch: Quasiordnung
English: Preorder
français: Préordre
עברית: קדם סדר
italiano: Preordine
한국어: 원순서 집합
Nederlands: Preorde
polski: Praporządek
português: Pré-ordem
русский: Предпорядок
slovenčina: Kváziusporiadanie
українська: Передпорядок
中文: 预序关系