El principio de que para cualquier colección de conjuntos no vacíos existe una función (función de elección) que selecciona un elemento de cada conjunto; se enuncia como axioma en teoría de conjuntos para afirmar existencia sin proporcionar una regla constructiva.

Principio

AC permite pasar de la existencia de conjuntos no vacíos a la existencia de un selector global; es no constructivo y, en ZF, equivalente a varias afirmaciones poderosas (p. ej., el lema de Zorn, el teorema del buen orden), pero independiente de los axiomas ZF.

Demostración

Con AC se prueba que todo espacio vectorial tiene una base: eligiendo recursivamente un elemento fuera de cada espacio generado (o mediante el lema de Zorn) se obtiene una base de Hamel incluso en espacios de dimensión infinita donde la construcción explícita puede ser imposible.

Aplicación incorrecta

Suponer que AC proporciona elecciones constructivas o algorítmicas en general es incorrecto; confundir elección numerable con AC plena o usar AC ingenuamente en contextos constructivos o computacionales lleva a conclusiones inválidas en lo algorítmico.

Consecuencia

Adoptar AC da muchos resultados de existencia: existencia de ultrafiltros no principales, bien-ordenaciones de conjuntos arbitrarios, ideales maximales en anillos y pruebas que usan el lema de Zorn; también permite objetos patológicos como conjuntos no medibles.

Inversión

Negar AC conduce a modelos de teoría de conjuntos donde algunos teoremas de existencia habituales fallan (por ejemplo, espacios vectoriales sin base, o productos de conjuntos no vacíos que pueden ser vacíos) y muchas equivalencias clásicas se desmoronan.

Límite

AC se formula dentro de la teoría axiomática de conjuntos (ZF); existen formas más débiles (elección numerable, elección dependiente) y formulaciones más fuertes con consecuencias matemáticas distintas; su aplicabilidad depende de la postura fundacional (clásica vs constructiva).

Tensión semántica

Hay tensión entre AC y las matemáticas constructivas: AC afirma existencia sin receta, en conflicto con principios constructivos; también hay tensión entre la AC plena y principios de elección más débiles usados en análisis o topología.

Síntesis

El Axioma de Elección es un principio fundacional de existencia que afirma la existencia de un selector global para familias arbitrarias de conjuntos no vacíos; facilita muchas pruebas clásicas de existencia (frecuentemente vía el lema de Zorn), sigue siendo no constructivo e independiente de ZF, y su adopción condiciona qué objetos se garantizan como existentes.