To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Conjunto bien ordenado

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.

YouTube Encyclopedic

  • 1/3
    Views:
    5 524
    2 909
    742 687
  • Algebra Elemental - Lección 45 - B (conjunto bien ordenado, principio del buen orden)
  • Algebra Elemental - Lección 26 - A (conjunto totalmente ordenado)
  • Estadistica 02 SECUNDARIA (4ºESO) matematicas intervalos

Transcription

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 cada natural menor o igual a 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:AB un isomorfismo, entonces para todo aA, vale af(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 {β: β < ω}.

Para todo conjunto bien ordenado (A, ≤) existe un único número ordinal α tal que A es isomorfo al intervalo inicial de números ordinales {β: β < α}. Además, en caso de que 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. Aceptando el axioma de elección, se obtiene el siguiente teorema (que de hecho es equivalente):

Para todo conjunto A, existe una relación de orden total ≤ sobre A tal que (A, ≤) está bien ordenado.

Una generalización de la noción de conjunto bien ordenado es la de conjunto bien fundado.

Esquema de temas relacionados

Teoría del orden
Bien ordenado
Orden total
Parcialmente ordenado
Preordenado
Conjunto
Relación binaria
Relación reflexiva
Relación transitiva
Relación antisimétrica
Relación total
Relación bien fundada


Referencias

  • Keith Devlin, The Joy of Sets, Springer Verlag, 1992
Esta página se editó por última vez el 26 oct 2022 a las 21:21.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.