Loading AI tools
De Wikipedia, la enciclopedia libre
En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo. Equivalentemente, puede decirse que un conjunto A es bien ordenado si es totalmente ordenado y bien fundado.
Si es un conjunto totalmente ordenado se dice que es el primer elemento o elemento mínimo de si satisface:
Intuitivamente se entiende que el elemento mínimo es el más pequeño de un conjunto.
El principio del buen orden es un lema que establece que todo conjunto que esté formado únicamente por números naturales tiene un primer elemento. Es decir, que el conjunto de los números naturales es bien ordenado. El primer elemento de los números naturales es .
Sea un conjunto no vacío. Si no tiene elemento mínimo, entonces existe un conjunto .
Luego entonces por el principio de inducción matemática, y , pero eso contradice la suposición de que no era un conjunto vacío.
Por lo tanto, debe tener elemento mínimo.
Si (A, ≤) es un conjunto bien ordenado, y B es un subconjunto de A con la relación de orden inducida y f:A → B un isomorfismo, entonces para todo a ∈ A, vale a ≤ f(a).
Dado un número ordinal (teoría de conjuntos) α, el conjunto de todos los números ordinales β < α es un conjunto bien ordenado. Así es isomorfo al conjunto ordenado {β: β < ω}.
|
Este resultado significa que los conjuntos bien ordenados son clasificados hasta isomorfismo por los números ordinales. Aceptando el axioma de elección, se obtiene el siguiente teorema (que de hecho es equivalente):
|
Una generalización de la noción de conjunto bien ordenado es la de conjunto bien fundado.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.