axioma de elección – choice axiom

Axioma de Elección

Primary Disciplinary Field(s): Teoría de Conjuntos, Lógica Matemática, Fundamentos de las Matemáticas

1. Definición Central y Formulación

El Axioma de Elección (AE), conocido universalmente por su abreviatura en inglés AC (Axiom of Choice), es uno de los postulados más fundamentales y debatidos dentro de la teoría de conjuntos moderna. En su formulación más simple, postula que, dada cualquier colección no vacía de conjuntos no vacíos, es posible seleccionar exactamente un elemento de cada conjunto de la colección. Esta selección define una nueva función, denominada función de elección.

Formalmente, si $X$ es una colección de conjuntos no vacíos, el AE afirma que existe una función $f$ (la función de elección) definida sobre $X$, tal que para cada conjunto $A$ en $X$, $f(A)$ es un elemento de $A$. Es crucial entender que el axioma no proporciona una regla o algoritmo explícito para realizar esta elección; simplemente afirma que tal función existe. Esta naturaleza puramente existencial y no constructiva es la fuente principal de la controversia que ha rodeado al axioma desde su introducción.

En el contexto de la Teoría de Conjuntos de Zermelo-Fraenkel (ZF), la inclusión del Axioma de Elección resulta en el sistema conocido como ZFC. Si bien el axioma de elección es trivialmente cierto para colecciones finitas de conjuntos (donde la elección puede hacerse explícitamente), su poder radica en su aplicación a colecciones infinitas. Cuando se trata de un número infinito de conjuntos, la capacidad de elegir simultáneamente un elemento de cada uno sin una regla definida se convierte en una afirmación sumamente potente y, para muchos matemáticos constructivistas, inaceptable.

2. Desarrollo Histórico y Contexto

El uso implícito del Axioma de Elección se remonta a finales del siglo XIX, aunque no fue formalmente articulado como un axioma independiente. Matemáticos como Giuseppe Peano y Richard Dedekind ya utilizaban funciones de elección en sus demostraciones, especialmente en contextos que involucraban secuencias infinitas de elecciones. Sin embargo, la necesidad de formalizar esta suposición se hizo evidente a medida que la teoría de conjuntos se consolidaba como el fundamento de las matemáticas.

La articulación formal del AE se debe a Ernst Zermelo en 1904. Zermelo lo introdujo específicamente para demostrar el Teorema del Buen Orden, el cual establece que todo conjunto puede ser bien ordenado, es decir, se le puede asignar una relación de orden tal que cada subconjunto no vacío tenga un elemento mínimo. La demostración de Zermelo generó una profunda crisis en la comunidad matemática, ya que el Teorema del Buen Orden parecía contra-intuitivo para conjuntos infinitos no numerables, y el axioma utilizado para probarlo era inherentemente no constructivo.

El debate posterior involucró a figuras prominentes como Henri Poincaré, Émile Borel y René Baire, quienes rechazaron el axioma por considerarlo una herramienta que generaba objetos matemáticos cuya existencia no podía ser demostrada mediante métodos finitos o explícitos. Este debate fue fundamental para la formación de las diferentes escuelas filosóficas de las matemáticas (formalismo, intuicionismo y logicismo) a principios del siglo XX, marcando la primera gran división sobre qué métodos y objetos eran legítimos en la práctica matemática.

3. Equivalencias Famosas: El Poder del AE

Una de las características más notables del Axioma de Elección es su equivalencia lógica con varias proposiciones fundamentales en diversas áreas de las matemáticas. Demostrar la equivalencia de estas proposiciones significa que, si se acepta el AE, también deben aceptarse estas otras afirmaciones, y viceversa. Las tres equivalencias más conocidas y utilizadas son el Teorema del Buen Orden, el Lema de Zorn y el Principio de Máximo.

El Lema de Zorn (también conocido como el Lema de Kuratowski-Zorn) es quizás la forma más común en que el AE se utiliza en álgebra, topología y análisis funcional. Establece que si un conjunto parcialmente ordenado no vacío $P$ tiene la propiedad de que cada cadena (subconjunto totalmente ordenado) tiene una cota superior en $P$, entonces $P$ contiene al menos un elemento maximal. Aunque el Lema de Zorn parece muy diferente al AE en su formulación, Max Zorn demostró que son lógicamente idénticos dentro del marco de ZF. Los matemáticos a menudo prefieren usar el Lema de Zorn en demostraciones porque su estructura de “máximo elemento” se presta mejor a las pruebas de existencia en estructuras algebraicas.

El Teorema del Buen Orden (ya mencionado) y el Lema de Zorn son las puntas de un iceberg de equivalencias. Otras equivalencias importantes incluyen el Teorema de Tychonoff (en topología, que afirma que cualquier producto de espacios compactos es compacto) y el Teorema de la Base de Hamel (en álgebra lineal, que garantiza que todo espacio vectorial tiene una base, incluso si es de dimensión infinita). La vasta cantidad de resultados fundamentales que dependen lógicamente del AE subraya por qué su aceptación o rechazo tiene implicaciones tan profundas para la práctica matemática en su conjunto.

4. Consecuencias Fundamentales en Matemáticas

La aceptación del Axioma de Elección ha permitido el desarrollo de vastas áreas de las matemáticas modernas que serían imposibles de formular sin él. Estas consecuencias se manifiestan en la existencia de estructuras que no son constructibles explícitamente, pero cuya existencia es matemáticamente necesaria para la coherencia de ciertas teorías.

En el ámbito del álgebra lineal, el AE, a través del Lema de Zorn, garantiza que todo espacio vectorial, sin importar cuán grande sea, posee una base de Hamel. Una base de Hamel permite expresar cualquier vector del espacio como una combinación lineal finita de elementos de la base. Sin el AE, aunque podemos construir bases para espacios vectoriales de dimensión finita o numerable, la existencia de bases para espacios vectoriales de dimensión infinita (como el espacio de funciones continuas) no puede ser probada. Este resultado es crucial para el análisis funcional y la física teórica.

Otro resultado fundamental habilitado por el AE es el Teorema del Ideal Primo Booleano (BPI). Este teorema afirma que todo álgebra de Boole no trivial tiene al menos un ideal primo. Aunque el BPI es estrictamente más débil que el AE completo (es decir, el AE implica el BPI, pero el BPI no implica el AE), sigue siendo un principio de elección crucial con amplias aplicaciones en lógica, teoría de modelos y teoría de la medida. La dependencia de estos pilares de la matemática moderna del AE ilustra por qué la mayoría de los matemáticos profesionales operan dentro del sistema ZFC.

5. Consecuencias Contraintuitivas: Las Paradojas

Si bien el Axioma de Elección proporciona resultados deseables y fundamentales, también conduce a la existencia de objetos y resultados que son profundamente contraintuitivos, a menudo denominados “paradojas” (aunque son teoremas lógicamente válidos dentro de ZFC). La más famosa de estas es la Paradoja de Banach-Tarski.

La Paradoja de Banach-Tarski, demostrada en 1924, establece que una bola sólida en el espacio tridimensional puede descomponerse en un número finito de piezas (cinco es el mínimo requerido), y estas piezas pueden reensamblarse, utilizando solo rotaciones y traslaciones rígidas, para formar dos copias idénticas de la bola original, cada una con el mismo volumen que la bola inicial. Este resultado choca directamente con nuestra intuición física sobre el volumen y la conservación de la masa. La clave de la paradoja radica en que las piezas en las que se descompone la bola son conjuntos no medibles, es decir, conjuntos tan irregulares que no se les puede asignar un volumen consistente.

La existencia de conjuntos no medibles, como el conjunto de Vitali (utilizado para demostrar que la medida de Lebesgue no es aditiva para un número incontable de conjuntos), también depende directamente del Axioma de Elección. Si se rechaza el AE, es posible construir modelos de teoría de conjuntos donde todos los subconjuntos de la recta real son medibles. Para muchos críticos, la generación de objetos “patológicos” como los conjuntos no medibles o la Paradoja de Banach-Tarski es una razón suficiente para dudar de la validez universal del AE.

6. Independencia y Consistencia del Axioma

Una de las preguntas más importantes sobre el Axioma de Elección era si podía ser probado o refutado a partir de los otros axiomas de ZF. La respuesta, que llegó a mediados del siglo XX, fue que el AE es lógicamente independiente de ZF. Esto significa que ni el AE ni su negación pueden ser probados a partir de ZF, lo que permite dos sistemas de teoría de conjuntos igualmente consistentes: ZFC (ZF con el Axioma de Elección) y ZF$neg$C (ZF con la negación del Axioma de Elección).

La prueba de la consistencia relativa fue dada por Kurt Gödel en 1938. Utilizando el método de los constructibles, Gödel demostró que si la teoría de conjuntos ZF es consistente, entonces ZFC también lo es. En otras palabras, la adición del AE no introduce ninguna contradicción si ZF ya era consistente. Este resultado aseguró que el AE era un postulado seguro de usar, aunque no obligatorio.

El paso final en la demostración de la independencia fue completado por Paul Cohen en 1963, quien introdujo la técnica revolucionaria del forcing. Cohen demostró que si ZF es consistente, entonces ZF$neg$C (ZF más la negación del AE) también lo es. Este resultado demostró concluyentemente que el AE es independiente: los matemáticos son libres de elegir si lo incluyen o no, dependiendo de las consecuencias que deseen obtener. Sin embargo, debido a la enorme utilidad de sus equivalencias (Lema de Zorn) en casi todas las ramas de las matemáticas, ZFC sigue siendo el marco estándar.

7. Debates Filosóficos y Alternativas

El debate sobre el Axioma de Elección no es solo técnico, sino profundamente filosófico, tocando la naturaleza misma de la existencia matemática. Los constructivistas y los intuicionistas, siguiendo la tradición de L.E.J. Brouwer, rechazan el AE porque viola el principio de que la existencia de un objeto matemático debe estar ligada a la posibilidad de construirlo o definirlo explícitamente. Para ellos, afirmar que una función de elección existe sin proporcionar una regla para su definición es una afirmación vacía.

Frente a la postura constructivista, la mayoría de los matemáticos modernos adoptan una postura formalista o platónica. Aceptan el AE debido a su tremenda utilidad y porque, a pesar de sus resultados contraintuitivos, no ha llevado a contradicciones lógicas. La existencia de una estructura (como una base de Hamel) es considerada tan esencial para la coherencia de la teoría que el axioma que la garantiza es visto como un mal necesario o incluso como una verdad fundamental sobre el universo matemático.

Como respuesta a la controversia, se han explorado variantes más débiles del axioma. El ya mencionado Teorema del Ideal Primo Booleano (BPI) es una de ellas. Otra alternativa importante es el Axioma de Elección Contable (AC$_{omega}$), que solo permite funciones de elección para colecciones numerables de conjuntos no vacíos. AC$_{omega}$ es mucho menos polémico, ya que las elecciones numerables a menudo pueden ser manejadas de manera más constructiva, pero es insuficiente para demostrar resultados clave como el Lema de Zorn.

8. Variantes y Limitaciones

El estudio de las formas más débiles del Axioma de Elección constituye un campo activo de investigación. Estas formas más suaves son utilizadas por matemáticos que desean evitar las consecuencias más “patológicas” del AE completo, como la Paradoja de Banach-Tarski, mientras retienen suficientes herramientas para el análisis.

Una limitación importante del AE es su relación con la medida. Como se mencionó, el AE implica la existencia de conjuntos no medibles de Lebesgue. Los matemáticos que trabajan en teoría de la medida o probabilidad a menudo prefieren trabajar en sistemas que excluyen el AE o lo reemplazan con axiomas que garantizan que todos los subconjuntos del espacio sean medibles. Un ejemplo es el axioma de la Determinación (AD), que es incompatible con el AE, pero que tiene consecuencias deseables en ciertas áreas de la teoría descriptiva de conjuntos.

En resumen, la elección del marco axiomático (ZF, ZFC, o ZF con alguna variante débil) a menudo depende del campo de la matemática en cuestión. Mientras que el álgebra y el análisis funcional requieren la potencia de ZFC (a través del Lema de Zorn), la teoría descriptiva de conjuntos y ciertas áreas de la lógica pueden beneficiarse de sistemas que deliberadamente excluyen o debilitan el Axioma de Elección para evitar la existencia de objetos matemáticos que desafían nuestra intuición geométrica o métrica.

Lectura Adicional

• Axioma de elección (Wikipedia)
• Teoría de conjuntos de Zermelo-Fraenkel (ZF)
• Lema de Zorn
• Paradoja de Banach-Tarski