Un axioma de la teoría de conjuntos que afirma que para cualquier familia de conjuntos no vacíos existe una función de elección que selecciona un elemento de cada conjunto; a menudo abreviado AC y es independiente de los axiomas de Zermelo–Fraenkel (ZF), por lo que su aceptación introduce consecuencias no constructivas.

Principio

De una colección de conjuntos no vacíos se puede elegir simultáneamente un representante de cada conjunto; esto permite construcciones que no siempre se pueden realizar mediante reglas explícitas o algoritmos en ZF por sí solo.

Demostración

En la práctica AC permite formar un conjunto de representantes a partir de una familia arbitraria (por ejemplo, elegir una base para cada espacio vectorial), incluso cuando no existe una regla definible que escoja los representantes de forma uniforme.

Aplicación incorrecta

Tratar AC como un procedimiento constructivo es un error: garantiza la existencia de funciones de elección pero no proporciona, en general, selecciones explícitas ni algoritmos; asumir consecuencias constructivas (como elección definible) sin hipótesis adicionales es incorrecto.

Consecuencia

Conduce a muchos resultados estándar (teorema de Tychonoff para productos arbitrarios, existencia de bases de espacios vectoriales, equivalencias con el lema de Zorn) pero también a objetos contraintuitivos (conjuntos no medibles, instancias del paradoja de Banach–Tarski) bajo lógica clásica.

Inversión

Rechazar AC (trabajar en ZF sin AC) impide algunas pruebas de existencia y puede restaurar constructividad y medibilidad en ciertos modelos; muchos teoremas equivalentes a AC fallan o requieren reformulación, mostrando el papel central del axioma.

Límite

La afirmación trata sobre familias arbitrarias de conjuntos no vacíos; no especifica definibilidad, efectividad o cotas de cardinalidad de las funciones de elección. En contextos constructivos o computables se prefieren principios de elección más débiles o elecciones con testigos explícitos.

Tensión semántica

Compite con las filosofías constructivas y computables que exigen selecciones explícitas; la tensión entre aceptar una existencia no constructiva poderosa y preservar contenido algorítmico o definible es central en los fundamentos.

Síntesis

El axioma de elección es un postulado de existencia que permite seleccionar elementos de familias arbitrarias de conjuntos no vacíos; es poderoso y no constructivo, equivalente a muchos principios clásicos y generador tanto de teoremas habituales como de objetos patológicos si se usa sin restricción.