Un principio axiomáticamente equivalente al Axioma de Elección: si un conjunto parcialmente ordenado tiene la propiedad de que todo subconjunto totalmente ordenado (cadena) tiene una cota superior, entonces el poset contiene al menos un elemento maximal.

Principio

Bajo la hipótesis de cotas superiores para cadenas se garantiza un elemento que no puede extenderse estrictamente; el principio es no constructivo y es lógicamente equivalente (en ZF) a otros principios de elección como el Axioma de Elección y el Teorema del Buen Orden.

Demostración

Una aplicación algebraica común: en cualquier espacio vectorial, considere el conjunto de subconjuntos linealmente independientes ordenado por inclusión. Toda cadena tiene como cota superior su unión, por lo que por el lema de Zorn existe un conjunto linealmente independiente maximal, que es una base del espacio.

Aplicación incorrecta

Usar el lema de Zorn en contextos donde falla la condición de cadenas o donde se requieren descripciones constructivas explícitas; suponer unicidad o capacidad de cómputo del elemento maximal garantizado de forma abstracta por Zorn.

Consecuencia

Produce resultados de existencia en álgebra y análisis: existencia de bases de espacios vectoriales, ideales maximales en anillos, cierres algebraicos de cuerpos y otros objetos maximales; ofrece conclusiones de existencia poderosas y no constructivas usadas ampliamente en álgebra moderna.

Inversión

La conversión —todo poset con un elemento maximal satisface la propiedad de cota superior para cadenas— no es verdadera en general; equivalentemente, la ausencia de un elemento maximal no implica la falla de principios de elección. La reversión lógica son los otros principios equivalentes al axioma de elección.

Límite

Se aplica a posets que satisfacen la hipótesis de cotas superiores para cadenas; es no constructivo y depende de principios tipo elección en teoría de conjuntos, por lo que no proporciona construcciones explícitas ni algoritmos efectivos para los elementos maximales que garantiza.

Tensión semántica

Compite conceptualmente con la matemática constructiva y con enfoques basados en ordenamientos bien fundados: Zorn ofrece afirmaciones amplias de existencia apoyadas en elección, mientras que los marcos constructivos rechazan tales existencias no constructivas sin testigos explícitos.

Síntesis

El lema de Zorn es un principio fundamental de existencia: al exigir que toda cadena tenga una cota superior garantiza elementos maximales en posets, proporcionando una herramienta poderosa, no constructiva y equivalente al Axioma de Elección, imprescindible para muchos teoremas de existencia en álgebra.