Conjunto bien ordenado


Conjunto bien ordenado

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.

Contenido

Definición de primer elemento

Si A es un conjunto totalmente ordenado se dice que n es el primer elemento o elemento mínimo de A si satisface:

  • n es un elemento de A
n\in A
  • Si m es cualquier elemento de A, entonces n es menor o igual que m
\forall m\in A\quad n\leq m

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 1.

Demostración del principio del buen orden

Sea A\subseteq\mathbb{N} un conjunto no vacío. Si A no tiene elemento mínimo, entonces existe un conjunto B = \mathbb{N}\setminus A.

  • 0 debe de estar en B puesto que de no ser así, 0 sería el elemento mínimo de A.
  • Si cada natural menor o igual a n está en B, entonces n + 1 también está en B, porque de lo contrario, n + 1 sería un elemento mínimo de A

Luego entonces por el principio de inducción matemática,B=\mathbb{N} y A = \emptyset, pero eso contradice la suposición de que A no era un conjunto vacío.

Por lo tanto, A 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í \mathbb{N} es isomorfo al conjunto 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. Aceptando el axioma de elección, se obtiene el siguiente teorema (que de hecho es equivalente):

Teorema. Para todo conjunto A, existe una relación de orden total ≤ sobre A tal que (A, ≤) sea 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
Relación reflexiva
Relación transitiva
Relación antisimétrica
Relación total
Relación bien fundada

Véase también

Referencias

  • Keith Devlin, The Joy of Sets, Springer Verlag, 1992

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Conjunto parcialmente ordenado — En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado (o poset, del inglés partially ordered set) es un conjunto equipado con una relación binaria de orden parcial. Ésta formaliza el concepto intuitivo de orden,… …   Wikipedia Español

  • Conjunto preordenado — En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relaciones binarias que se relacionan con los conjuntos parcialmente ordenados. El nombre quasiorden es también una expresión común para preórdenes. Muchas… …   Wikipedia Español

  • Conjunto histórico-artístico de Fregenal de la Sierra — Bien de interés cultural de Extremadura …   Wikipedia Español

  • Conjunto — (Derivado de junto < lat. junctus, part. de jungere, juntar.) ► adjetivo 1 Que está unido a otra cosa: ■ realizaron un esfuerzo conjunto; la conjunta consecución de los hechos ayudó a la resolución del conflicto. SINÓNIMO anexo complejo junto… …   Enciclopedia Universal

  • Par ordenado — Saltar a navegación, búsqueda Un par ordenado es una tupla de dos elementos, tal que uno puede ser distinguido como el primero y el otro como el segundo. Un par ordenado con primer elemento a y segundo b es escrito usualmente como (a, b). Dos… …   Wikipedia Español

  • Paisaje ordenado — Saltar a navegación, búsqueda Llamaremos paisaje ordenado al que refleja la acción meditada, concentrada y continua de una sociedad sobre el medio. Es, pues, producto de una comunidad con un tipo de economía y unos medios jurídicos y técnicos,… …   Wikipedia Español

  • Número ordinal (teoría de conjuntos) — Este artículo trata sobre números ordinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número ordinal. Representación del ordinal ωω. Cada vuelta alrededor de esta espiral representa una potencia entera de ω: la… …   Wikipedia Español

  • Infinito — El símbolo de infinito ∞ (Unicode U+221E), también llamado lemniscata, en diferentes fuentes. Para el canal de televisión por cable, véase Infinito (canal de televisión). El concepto de infinito aparece en varias ramas de la filosofía …   Wikipedia Español

  • Número ordinal — Representación de los números ordinales hasta ωω. Cada serie de la espiral representa una potencia de ω. En matemáticas, un número ordinal es un número que denota la posición de un elemento perteneciente a una sucesión ordenada. Por ejemplo, en… …   Wikipedia Español

  • Número cardinal (teoría de conjuntos) — Este artículo trata sobre números cardinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número cardinal. Comparación de los cardinales numerable y continuo. Cada sucesión binaria, compuesta por una cantidad… …   Wikipedia Español