Diferencia entre revisiones de «Orden total»

14 bytes añadidos ,  hace 11 años
Un simple argumento de conteo basta para demostrar que todo conjunto finito totalmente ordenado (así como cualquier subconjunto) tiene un elemento mínimo, y por lo tanto está [[conjunto bien ordenado|bien ordenado]]. Sea por prueba directa, o porque todo buen orden es [[isomorfismo|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 biyección con los primeros ''k'' naturales; por esto es común listar los órdenes totales finitos con números naturales y ordenarlos según el orden de los naturales.
 
== Esquema de temas relacionados ==
== Véase también ==
* [[Teoría del orden]]
 
9653

ediciones