Diferencia entre revisiones de «Orden total»

23 bytes añadidos ,  hace 5 años
se corrige enlace
(Agrego un vínculo: i.e.)
(se corrige enlace)
 
== Completitud ==
Un conjunto X totalmente ordenado se dice ''completo'' si todo subconjunto no vacío con [[cota superior]] tiene [[Supremo (matemáticas)|supremo]] en el conjunto X. Por ejemplo, el conjunto de los [[número real|reales]] es completo, pero el de los [[número racional|racionales]] no.
 
Un conjunto ''X'' es conexo bajo la topología 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'').
4348

ediciones