axioma de elección

History

Fue formulada explícitamente por primera vez por el matemático alemán Ernst Zermelo en 1904 para demostrar el teorema de buena ordenación. Esto provocó acalorados debates, porque el axioma parecía antinatural. Con el tiempo, la mayoría de los matemáticos la aceptaron, aunque algunas ramas de las matemáticas se construyen sin ella.

How it works

Supongamos que tenemos un conjunto de conjuntos no vacíos (un saco de sacos). El axioma de elección garantiza la existencia de un nuevo conjunto —una «mezcla variada»— en el que ponemos exactamente un objeto de cada saco. Los matemáticos pueden decir tranquilamente: «Consideremos una función de elección...» y seguir construyendo, sin preocuparse por reglas concretas.

History

Fue formulada explícitamente por primera vez por el matemático alemán Ernst Zermelo en 1904 para demostrar el teorema de buena ordenación. Esto provocó acalorados debates, porque el axioma parecía antinatural. Con el tiempo, la mayoría de los matemáticos la aceptaron, aunque algunas ramas de las matemáticas se construyen sin ella.

How it works

Supongamos que tenemos un conjunto de conjuntos no vacíos (un saco de sacos). El axioma de elección garantiza la existencia de un nuevo conjunto —una «mezcla variada»— en el que ponemos exactamente un objeto de cada saco. Los matemáticos pueden decir tranquilamente: «Consideremos una función de elección...» y seguir construyendo, sin preocuparse por reglas concretas.

History

Fue formulada explícitamente por primera vez por Ernst Zermelo en 1904 para demostrar que cualquier conjunto puede ser completamente ordenado. Esta afirmación fue inmediatamente cuestionada por Émile Borel, Henri Lebesgue y otros analistas destacados. En 1938, Kurt Gödel demostró que AC no contradice ZF, y en 1963, Paul Cohen probó que la negación de AC también es compatible con ZF. Por lo tanto, el axioma de elección es independiente. Hoy en día, la gran mayoría de los matemáticos usan AC, aunque existen enfoques alternativos (constructivismo, categoría de topos) donde se evita.

How it works

Funcionalmente, AC permite realizar construcciones no constructivas. En las demostraciones de teoremas se suele decir: «Para cada i, elijamos un elemento x_i del conjunto A_i» sin especificar una regla de elección. Esto es correcto si se acepta el axioma de elección. Sin él, tales razonamientos no son admisibles. Un ejemplo típico: la demostración de la existencia de una base de Hamel en un espacio vectorial arbitrario — elegimos secuencialmente vectores linealmente independientes, y en los pasos infinitos se requiere AC. Técnicamente, el axioma no indica cómo encontrar la elección, simplemente postula su existencia.

Open problems & fun facts

Independencia de ZF: AC no es demostrable ni refutable en ZF.; Las consecuencias paradójicas (Banach–Tarski) plantean cuestiones filosóficas sobre la naturaleza de la existencia matemática.; En matemáticas constructivistas se rechaza AC, lo que requiere reestructurar muchas áreas.

💡 La afirmación «el producto de Tíjonov de espacios compactos es compacto» es equivalente al axioma de elección, aunque la conexión no es nada obvia. De manera similar, «todo anillo con unitario contiene un ideal maximal» también es equivalente a AC.