Diferencia entre revisiones de «Conjunto bien ordenado»
Sin resumen de edición |
m Revertidos los cambios de 190.228.94.35 a la última edición de Dnu72 |
||
Línea 112: | Línea 112: | ||
[[tr:İyi-sıralı]] |
[[tr:İyi-sıralı]] |
||
[[zh:良序關係]] |
[[zh:良序關係]] |
||
www.metroflog.com/lotuyoesmio0 |
Revisión del 21:37 9 dic 2009
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.
Definición de primer elemento
Si es un conjunto totalmente ordenado se dice que es el primer elemento o elemento mínimo de si satisface:
- es un elemento de
- Si es cualquier elemento de , entonces es menor o igual que
Intuitivamente se entiende que el elemento mínimo es el más pequeño de un conjunto.
Principio del buen orden
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 .
Demostración del principio del buen orden
Sea un conjunto no vacío. Si no tiene elemento mínimo, entonces existe un conjunto .
- debe de estar en puesto que de no ser así, sería el elemento mínimo de .
- Si está en , entonces también está en , porque de lo contrario, sería un elemento mínimo de
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.
Generalización
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 α, el conjunto de todos los números ordinales β < α es un conjunto bien ordenado. Así es isomorfo al conjuno ordenado {β: β < ω}.
Teorema. Para todo conjunto bien ordenado (A, ≤) existe un único número ordinal α tal que A sea isomorfo al intervalo inicial de números ordinales {β: β < α}. Vale notar que caso exista un isomorfismo de orden A → {β: β < α}, es único.
Este resultado significa que los conjuntos bien ordenados son clasificados hasta isomorfismo por los números ordinales.
Teorema. Para todo conjunto A, existe una relación de orden total ≤ sobre A tal que (A, ≤) sea bien ordenado.
De hecho el teorema anterior es equivalente al axioma de elección en la teoría de los conjuntos.
Una generalización de la noción de conjunto bien ordenado es la de conjunto bien fundado.
Referencias
- Keith Devlin, The Joy of Sets, Springer Verlag, 1992
Véase también
Esquema de temas relacionados
|