stringtranslate.com

Axioma de elección contable

Cada conjunto de la secuencia numerable de conjuntos (S i ) = S 1 , S 2 , S 3 , ... contiene un número de elementos distinto de cero y posiblemente infinito (o incluso incontablemente infinito ). El axioma de elección numerable nos permite seleccionar arbitrariamente un único elemento de cada conjunto, formando una secuencia correspondiente de elementos ( x i ) = x 1 , x 2 , x 3 , ...

El axioma de elección numerable o axioma de elección numerable , denotado AC ω , es un axioma de la teoría de conjuntos que establece que toda colección numerable de conjuntos no vacíos debe tener una función de elección . Es decir, dada una función con dominio (donde denota el conjunto de números naturales ) tal que es un conjunto no vacío para cada , existe una función con dominio tal que para cada .

Aplicaciones

AC ω es particularmente útil para el desarrollo del análisis matemático , donde muchos resultados dependen de tener una función de elección para una colección contable de conjuntos de números reales . Por ejemplo, para demostrar que cada punto de acumulación de un conjunto es el límite de alguna secuencia de elementos de , se necesita (una forma débil de) el axioma de elección contable. Cuando se formula para puntos de acumulación de espacios métricos arbitrarios , la afirmación se vuelve equivalente a AC ω .

La capacidad de realizar análisis utilizando la elección contable ha llevado a la inclusión de AC ω como un axioma en algunas formas de matemáticas constructivas , a pesar de su afirmación de que existe una función de elección sin construirla. [1]

Ejemplo: infinito implica Dedekind-infinito

Como ejemplo de una aplicación de AC ω , aquí hay una prueba (de ZF  + AC ω ) de que todo conjunto infinito es Dedekind-infinito : [2]

Sea infinito. Para cada número natural , sea el conjunto de todas las -tuplas de elementos distintos de . Como es infinito, cada una no está vacía. La aplicación de AC ω produce una secuencia donde cada una es una -tupla. Luego, se pueden concatenar estas tuplas en una única secuencia de elementos de , posiblemente con elementos repetidos. Suprimir las repeticiones produce una secuencia de elementos distintos, donde

, con .

Esto existe porque al seleccionar no es posible que todos los elementos de estén entre los elementos seleccionados previamente. Por lo tanto, contiene un conjunto contable. La función que asigna cada uno a (y deja todos los demás elementos de fijos) es una función biunívoca de en que no es sobre, lo que demuestra que es Dedekind-infinito. [2]

Relación con otros axiomas

Sistemas más fuertes e independientes

El axioma de elección contable (AC ω ) es estrictamente más débil que el axioma de elección dependiente (DC), [3] que a su vez es más débil que el axioma de elección (AC). DC, y por lo tanto también AC ω , se cumplen en el modelo de Solovay , construido en 1970 por Robert M. Solovay como un modelo de teoría de conjuntos sin el axioma de elección completo, en el que todos los conjuntos de números reales son mensurables. [4]

El lema de Urysohn (UL) y el teorema de extensión de Tietze (TET) son independientes de ZF+AC ω : existen modelos de ZF+AC ω en los que UL y TET son verdaderos, y modelos en los que son falsos. Tanto UL como TET están implícitos en DC. [5]

Sistemas más débiles

Paul Cohen demostró que AC ω no es demostrable en la teoría de conjuntos de Zermelo-Fraenkel (ZF) sin el axioma de elección. [6] Sin embargo, se puede demostrar que algunos conjuntos numerablemente infinitos de conjuntos no vacíos tienen una función de elección en ZF sin ninguna forma del axioma de elección. Por ejemplo, tiene una función de elección, donde es el conjunto de conjuntos finitos hereditarios , es decir, el primer conjunto en el universo de Von Neumann de rango no finito. La función de elección es (trivialmente) el menor elemento en el buen ordenamiento. Otro ejemplo es el conjunto de intervalos abiertos propios y acotados de números reales con puntos finales racionales.

ZF+AC ω es suficiente para demostrar que la unión de un número contable de conjuntos contables es contable. Estas afirmaciones no son equivalentes: el primer modelo de Cohen proporciona un ejemplo en el que las uniones contables de conjuntos contables son contables, pero en el que AC ω no se cumple. [7]

Formas equivalentes

Existen muchas formas equivalentes del axioma de elección numerable, en el sentido de que cualquiera de ellas puede ser demostrada en ZF suponiendo cualquier otra de ellas. Entre ellas se incluyen las siguientes: [8] [9]

Referencias

  1. ^ Bauer, Andrej (2017). «Cinco etapas de la aceptación de las matemáticas constructivas». Boletín de la American Mathematical Society . Nueva serie. 54 (3): 481–498. doi : 10.1090/bull/1556 . MR  3662915.
  2. ^ ab Herrlich 2006, Proposición 4.13, p. 48.
  3. ^ Jech, Thomas J. (1973). El axioma de la elección . Holanda Septentrional. Págs. 130-131. ISBN 978-0-486-46624-8.
  4. ^ Solovay, Robert M. (1970). "Un modelo de teoría de conjuntos en el que cada conjunto de números reales es medible según el método de Lebesgue". Anales de Matemáticas . Segunda serie. 92 (1): 1–56. doi :10.2307/1970696. ISSN  0003-486X. JSTOR  1970696. MR  0265151.
  5. ^ Tachtsis, Eleftherios (2019), "El lema de Urysohn es independiente de ZF + elección contable", Actas de la American Mathematical Society , 147 (9): 4029–4038, doi : 10.1090/proc/14590 , MR  3993794
  6. ^ Potter, Michael (2004). Teoría de conjuntos y su filosofía: una introducción crítica. Oxford University Press. pág. 164. ISBN 9780191556432.
  7. ^ Herrlich, Horst (2006). "Sección A.4". Axioma de elección. Apuntes de clase de matemáticas. Vol. 1876. Springer. doi :10.1007/11601562. ISBN 3-540-30989-6. Recuperado el 18 de julio de 2023 .
  8. ^ abcdefg Howard, Paul; Rubin, Jean E. (1998). Consecuencias del axioma de elección . Providence, Rhode Island: American Mathematical Society. ISBN 978-0-8218-0977-8.Véase en particular el Formulario 8, págs. 17-18.
  9. ^ abcd Herrlich, Horst (1997). "Principios de elección en topología elemental y análisis" (PDF) . Comentario. Math. Univ. Carolinae . 38 (3): 545.Véase, en particular, el Teorema 2.4, págs. 547-548.

Este artículo incorpora material del axioma de elección contable en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .