Conjuntopreordenado

DeWikipedia,laenciclopedialibre
Enmatemtica,especialmenteenteoradelorden,prerdenessonciertasclasesderelacionesbinariasque
serelacionanconlosconjuntosparcialmenteordenados.Elnombrequasiordenestambinunaexpresin
comnparaprerdenes.Muchasdefinicionestericasparalosconjuntosparcialmenteordenadossepueden
generalizaraprerdenes,peroelesfuerzoadicionaldegeneralizacinraramentesenecesita.Contodohay
camposdeuso,talescomoladefinicindelaconvergenciavaredesentopologa,dondelosprerdenesno
sepuedensubstituirporconjuntosparcialmenteordenadossinperderpropiedadesimportantes.

Definicinformal
Considere algn conjunto P y una relacin
binariaenP.Entoncesesunpreorden,oun
cuasiorden,siesreflexivaytransitiva,esdecir,
paratodoa,bycenP,tenemosque:
aa(reflexividad)
si a b y b c entonces a c
(transitividad)
Un conjunto que se equipa con un preorden se
llama un conjunto preordenado. Si un
preordenestambinantisimtrico,esdecir,a
b y b a implica a = b, entonces es un orden
parcial.
Unordenparcialsepuedeconstruirconcualquierpreordenidentificandopuntos"iguales".Formalmente,se
defineunarelacindeequivalencia~sobreXtalquea~b si y slo siabyba. Ahora el conjunto
cocienteX/~,esdecirelconjuntodetodaslasclasesdeequivalenciade~,puedenserfcilmenteordenadas
definiendo [x] [y] si y slo si x y. Por la construccin de ~ esta definicin es independiente de los
representanteselegidosylarelacincorrespondienteestdehechobiendefinida.Severificafcilmenteque
estodaunconjuntoparcialmenteordenado.

Esquemadetemasrelacionados

Teoradelorden

Bien
ordenado

Orden
total

Parcialmente
ordenado

Relacin
reflexiva
Preordenado
Relacin
transitiva
Relacinantisimtrica

Relacintotal
Relacinbienfundada

Obtenidodehttp://es.wikipedia.org/w/index.php?title=Conjunto_preordenado&oldid=76731294
Categoras: Teoradelorden Conjuntos
Estapginafuemodificadaporltimavezel2sep2014alas11:05.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0podran
seraplicablesclusulasadicionales.Lanselostrminosdeusoparamsinformacin.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimode
lucro.