Principio de teoría de conjuntos y de órdenes que afirma que si un conjunto parcialmente ordenado tiene la propiedad de que toda subconjunto totalmente ordenada (cadena) posee una cota superior en el conjunto, entonces el poset contiene al menos un elemento maximal (un elemento que no tiene elemento estrictamente mayor).

Principio

Existencia por acotamiento de cadenas: a partir de la condición local de que cada cadena admite una cota superior se deducen objetos máximos globales. El lema organiza las pruebas de existencia promoviendo las cotas de las cadenas a elementos máximos del orden ambiente.

Demostración

En teoría de anillos: dado un anillo conmutativo no trivial R, considerar el conjunto de ideales propios ordenados por inclusión. Toda cadena tiene como cota superior su unión, por lo que el Lema de Zorn proporciona un ideal maximal propio. De igual modo, en espacios vectoriales se usa Zorn para demostrar la existencia de una base de Hamel ordenando los conjuntos linealmente independientes por inclusión.

Aplicación incorrecta

Usar el Lema de Zorn para afirmar una elección canónica o constructiva de un elemento maximal, o aplicarlo donde alguna cadena carece de cota superior en el poset (lo que invalida la conclusión). Otro mal uso es deducir la unicidad de un elemento maximal únicamente por Zorn.

Consecuencia

Se obtienen resultados de existencia no constructivos: muchos teoremas algebraicos y analíticos (ideales maximales, bases, cierres algebraicos) se prueban así. En ZF es equivalente al Axioma de Elección y al Teorema del Buen Orden, por lo que su uso importa las mismas consecuencias no constructivas.

Inversión

El cuadro inverso es un conjunto parcialmente ordenado donde existe una cadena sin cota superior; en tal poset la conclusión de Zorn puede fallar y puede no haber elementos máximos. En contraste, el Teorema del Buen Orden afirma la existencia de un orden total con elementos mínimos en lugar de maximalidad por acotamiento de cadenas.

Límite

Se aplica únicamente a posets en los que cada subcadena totalmente ordenada posee una cota superior dentro del poset; no garantiza unicidad ni constructividad, ni la existencia fuera de esta hipótesis. En muchos contextos conviene comprobar la cardinalidad en teoría de conjuntos y si se trabaja en ZF o con principios adicionales de elección.

Tensión semántica

Tensión con la matemática constructiva y algoritmos explícitos: Zorn garantiza existencia sin ofrecer un método para encontrar el elemento. También hay tensión con nociones de bien fundado y con ACC/DCC, que tratan de estabilización en lugar de acotamiento de cadenas.

Síntesis

El Lema de Zorn es un principio de existencia compacto: cuando cada cadena de un poset tiene una cota superior, puede deducirse (no constructivamente) la existencia de al menos un elemento maximal, herramienta usada para obtener máximos algebraicos como ideales maximales y bases.