Conjuntos numéricos/Axiomática de la Teoría de Conjuntos/Axioma de Elección

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

El Axioma de Elección no pertenece a la Axiomática de Zermelo-Fraenkel desde un punto de vista estricto. Fue añadido de manera posterior (a la axiomática resultante se la suele denominar ZFC). La gran mayoría de matemáticos aceptan el Axioma de Elección, por lo que al hablar de la Axiomática de Zermelo-Fraenkel, se suele entender que se habla de ZFC.

El Axioma de Elección se enuncia así: dado un conjunto , existe una aplicación de manera que si y , entonces .

La aplicación se suele denominar función de elección.

Consecuencias[editar]

Aunque no vamos a demostrarlo aquí, el Axioma de Elección es equivalente a los dos siguientes resultados:

Principio de Buena Ordenación de Zermelo[editar]

Dado un conjunto , existe algún buen orden para .

Lema de Zorn[editar]

Todo conjunto ordenado en el que cada cadena tiene cota superior, tiene algún elemento maximal.