Axioma del infinito - Axiom of infinity

En la teoría de conjuntos axiomáticos y las ramas de las matemáticas y la filosofía que lo utilizan, el axioma del infinito es uno de los axiomas de la teoría de conjuntos de Zermelo-Fraenkel . Garantiza la existencia de al menos un conjunto infinito , es decir, un conjunto que contiene los números naturales . Fue publicado por primera vez por Ernst Zermelo como parte de su teoría de conjuntos en 1908.

Declaración formal

En el lenguaje formal de los axiomas de Zermelo-Fraenkel, el axioma dice:

${\ Displaystyle \ existe \ mathbf {I} \, (\ conjunto vacío \ in \ mathbf {I} \, \ land \, \ forall x \ in \ mathbf {I} \, (\, (x \ cup \ {x \}) \ in \ mathbf {I})).}$

En palabras, hay un conjunto I (el conjunto que se postula que es infinito), tal que el conjunto vacío está en I , y tal que siempre que cualquier x es un miembro de I , el conjunto se forma tomando la unión de x con su singleton { x } es también un miembro de yo . En ocasiones, este conjunto se denomina conjunto inductivo .

Interpretación y consecuencias

Este axioma está estrechamente relacionado con la construcción de von Neumann de los números naturales en la teoría de conjuntos, en la que el sucesor de x se define como x ∪ { x }. Si x es un conjunto, de los otros axiomas de la teoría de conjuntos se deduce que este sucesor también es un conjunto definido de forma única. Los sucesores se utilizan para definir la codificación habitual de la teoría de conjuntos de los números naturales . En esta codificación, cero es el conjunto vacío:

0 = {}.

El número 1 es el sucesor del 0:

1 = 0 ∪ {0} = {} ∪ {0} = {0} = {{}}.

Asimismo, 2 es el sucesor de 1:

2 = 1 ∪ {1} = {0} ∪ {1} = {0,1} = {{}, {{}}},

y así:

3 = {0,1,2} = {{}, {{}}, {{}, {{}}}};

4 = {0,1,2,3} = {{}, {{}}, {{}, {{}}}, {{}, {{}}, {{}, {{}}}} }.

Una consecuencia de esta definición es que todo número natural es igual al conjunto de todos los números naturales precedentes. El recuento de elementos en cada conjunto, en el nivel superior, es el mismo que el número natural representado y la profundidad de anidación del conjunto vacío más profundamente anidado {}, incluida su anidación en el conjunto que representa el número del que está una parte, también es igual al número natural que representa el conjunto.

Esta construcción forma los números naturales. Sin embargo, los otros axiomas son insuficientes para probar la existencia del conjunto de todos los números naturales, ℕ ₀ . Por lo tanto, su existencia se toma como un axioma: el axioma del infinito. Este axioma afirma que hay un conjunto I que contiene 0 y se cierra bajo la operación de tomar el sucesor; Es decir, para cada elemento de I , sucesor de dicho elemento sea también en I .

Por tanto, la esencia del axioma es:

Hay un conjunto, yo , que incluye todos los números naturales.

El axioma del infinito también es uno de los axiomas de von Neumann-Bernays-Gödel .

Extrayendo los números naturales del conjunto infinito

El conjunto infinito I es un superconjunto de los números naturales. Para mostrar que los números naturales en sí mismos constituyen un conjunto, se puede aplicar el esquema de axioma de especificación para eliminar elementos no deseados, dejando el conjunto N de todos los números naturales. Este conjunto es único por el axioma de extensionalidad .

Para extraer los números naturales, necesitamos una definición de qué conjuntos son números naturales. Los números naturales se pueden definir de una manera que no asume ningún axioma excepto el axioma de extensionalidad y el axioma de inducción: un número natural es cero o un sucesor y cada uno de sus elementos es cero o un sucesor de otro de sus elementos. En lenguaje formal, la definición dice:

${\ Displaystyle \ forall n (n \ in \ mathbf {N} \ iff ([n = \ conjunto vacío \, \, \ lor \, \, \ existe k (n = k \ cup \ {k \})] \ , \, \ tierra \, \, \ para todos los m \ en n [m = \ conjunto vacío \, \, \ lor \, \, \ existe k \ en n (m = k \ cup \ {k \})]) ).}$

O, incluso más formalmente:

${\ Displaystyle \ forall n (n \ in \ mathbf {N} \ iff ([\ forall k (\ lnot k \ in n) \ lor \ existe k \ forall j (j \ in n \ iff (j \ in k \ lor j = k))] \ land}$

${\ Displaystyle \ forall m (m \ in n \ Rightarrow [\ forall k (\ lnot k \ in m) \ lor \ existe k (k \ in n \ land \ forall j (j \ in m \ iff (j \ en k \ lor j = k)))]))).}$

Método alternativo

Un método alternativo es el siguiente. Sea la fórmula que dice "x es inductivo"; es decir . De manera informal, lo que haremos es tomar la intersección de todos los conjuntos inductivos. Más formalmente, deseamos probar la existencia de un conjunto único tal que ${\ Displaystyle \ Phi (x)}$${\ Displaystyle \ Phi (x) = (\ emptyset \ in x \ wedge \ forall y (y \ in x \ to (y \ cup \ {y \} \ in x)))}$${\ Displaystyle W}$

${\ Displaystyle \ forall x (x \ in W \ leftrightarrow \ forall I (\ Phi (I) \ to x \ in I)).}$ (*)

Para la existencia, usaremos el Axioma del infinito combinado con el esquema de especificación del Axioma . Sea un conjunto inductivo garantizado por el Axioma del Infinito. Luego usamos el Axiom Schema of Specification para definir nuestro conjunto , es decir, es el conjunto de todos los elementos que resultan ser también elementos de cualquier otro conjunto inductivo. Esto claramente satisface la hipótesis de (*), ya que si , entonces está en cada conjunto inductivo, y si está en cada conjunto inductivo, está en particular en , por lo que también debe estar en . ${\ Displaystyle I}$${\ Displaystyle W = \ {x \ in I: \ forall J (\ Phi (J) \ to x \ in J) \}}$${\ Displaystyle W}$${\ Displaystyle I}$${\ Displaystyle x \ in W}$${\ Displaystyle x}$${\ Displaystyle x}$${\ Displaystyle I}$${\ Displaystyle W}$

Para la unicidad, primero tenga en cuenta que cualquier conjunto que satisfaga (*) es en sí mismo inductivo, ya que 0 está en todos los conjuntos inductivos, y si un elemento está en todos los conjuntos inductivos, entonces, por la propiedad inductiva, también lo es su sucesor. Por lo tanto, si hubiera otro conjunto que satisfaga (*) tendríamos que ya es inductivo y ya que es inductivo. Así . Dejar que denotan este elemento único. ${\ Displaystyle x}$${\ Displaystyle W '}$${\ Displaystyle W '\ subseteq W}$${\ Displaystyle W}$${\ Displaystyle W \ subseteq W '}$${\ Displaystyle W '}$${\ Displaystyle W = W '}$${\ Displaystyle \ omega}$

Esta definición es conveniente porque el principio de inducción sigue inmediatamente: Si es inductivo, entonces también , entonces . ${\ Displaystyle I \ subseteq \ omega}$${\ Displaystyle \ omega \ subseteq I}$${\ Displaystyle I = \ omega}$

Ambos métodos producen sistemas que satisfacen los axiomas de la aritmética de segundo orden , ya que el axioma del conjunto de potencias nos permite cuantificar sobre el conjunto de potencias de , como en la lógica de segundo orden . Por lo tanto, ambos determinan completamente los sistemas isomórficos y, dado que son isomórficos según el mapa de identidad , de hecho deben ser iguales . ${\ Displaystyle \ omega}$

Una versión aparentemente más débil

Algunos textos antiguos utilizan una versión aparentemente más débil del axioma del infinito, a saber

${\ Displaystyle \ existe x \, (\ existe y \, (y \ in x) \, \ land \, \ forall y (y \ in x \, \ rightarrow \, \ existe z (z \ in x \, \ tierra \, y \ subseteq z \, \ tierra \, y \ neq z))) \ ,.}$

Esto dice que hay un elemento en x y para cada elemento y de x hay otro elemento de x que es un superconjunto estricto de y . Esto implica que x es un conjunto infinito sin decir mucho sobre su estructura. Sin embargo, con la ayuda de los otros axiomas de ZF, podemos demostrar que esto implica la existencia de ω. Primero, si tomamos el conjunto de potencias de cualquier conjunto infinito x , entonces ese conjunto de potencias contendrá elementos que son subconjuntos de x de cada cardinalidad finita (entre otros subconjuntos de x ). Probar la existencia de esos subconjuntos finitos puede requerir el axioma de separación o los axiomas de apareamiento y unión. Entonces podemos aplicar el axioma de reemplazo para reemplazar cada elemento de ese conjunto de potencias de x por el número ordinal inicial de la misma cardinalidad (o cero, si no existe tal ordinal). El resultado será un conjunto infinito de ordinales. Entonces podemos aplicar el axioma de unión a eso para obtener un ordinal mayor o igual que ω.

Independencia

El axioma de infinito no puede probarse a partir de los otros axiomas de ZFC si son consistentes. (Para ver por qué, tenga en cuenta que ZFC Con (ZFC - Infinity) y use el segundo teorema de incompletitud de Gödel ). ${\ Displaystyle \ vdash}$

La negación del axioma del infinito no puede derivarse del resto de los axiomas de ZFC, si son consistentes. (Esto equivale a decir que ZFC es consistente, si los otros axiomas son consistentes). Creemos esto, pero no podemos probarlo (si es cierto).

De hecho, utilizando el universo de von Neumann , podemos construir un modelo de ZFC - Infinity + (¬Infinity). Es la clase de conjuntos finitos hereditariamente , con la relación de pertenencia heredada. Tenga en cuenta que si el axioma del conjunto vacío no se toma como parte de este sistema (ya que puede derivarse de ZF + Infinity), entonces el dominio vacío también satisface ZFC - Infinity + ¬Infinity, ya que todos sus axiomas son universalmente cuantificado y, por tanto, trivialmente satisfecho si no existe ningún conjunto. ${\ Displaystyle V _ {\ omega} \!}$

La cardinalidad del conjunto de números naturales, aleph null ( ), tiene muchas de las propiedades de un gran cardinal . Así, el axioma del infinito se considera a veces como el primer axioma cardinal grande y, a la inversa, los axiomas cardinales grandes a veces se denominan axiomas del infinito más fuertes. ${\ Displaystyle \ aleph _ {0}}$

Ver también

• Axiomas de Peano
• Finitismo

Referencias

• Paul Halmos (1960) Teoría de conjuntos ingenua . Princeton, Nueva Jersey: D. Van Nostrand Company. Reimpreso en 1974 por Springer-Verlag. ISBN   0-387-90092-6 .
• Thomas Jech (2003) Teoría de conjuntos: la edición del tercer milenio, revisada y ampliada . Springer-Verlag. ISBN   3-540-44085-2 .
• Kenneth Kunen (1980) Teoría de conjuntos: una introducción a las pruebas de independencia . Elsevier. ISBN   0-444-86839-9 .
• Hrbacek, Karel; Jech, Thomas (1999). Introducción a la teoría de conjuntos (3 ed.). Marcel Dekker. ISBN   0-8247-7915-0 .