Principio de la teoría de conjuntos que afirma: si un conjunto parcialmente ordenado tiene la propiedad de que todo subconjunto totalmente ordenado (cadena) posee una cota superior en el conjunto, entonces el poset contiene al menos un elemento maximal (un elemento que no está estrictamente por debajo de ningún otro).

Principio

De lo local a lo global: promover la existencia de cotas superiores en cadenas a la existencia de elementos maximales; un principio no constructivo equivalente al Axioma de Elección en ZF.

Demostración

Se usa para probar que todo espacio vectorial tiene una base: considerar el poset de subconjuntos linealmente independientes ordenados por inclusión; la unión de una cadena es una cota superior, por lo que el Lema de Zorn proporciona un conjunto linealmente independiente maximal que genera el espacio, es decir, una base.

Aplicación incorrecta

Aplicar el Lema de Zorn cuando alguna cadena no tiene cota superior, o confundir elemento maximal con máximo; esperar un testigo canónico o computable en lugar de una mera afirmación de existencia.

Consecuencia

Garantiza la existencia de ideales maximales en anillos, bases de espacios vectoriales, bases de Hamel en espacios de dimensión infinita y otros resultados de existencia no constructivos; es equivalente al Axioma de Elección y sustenta muchas pruebas algebraicas y ordenativas.

Inversión

La negación de la hipótesis de Zorn produce posets donde algunas cadenas carecen de cota superior y no se puede concluir la existencia de elementos maximales; la ausencia del lema permite modelos de ZF con comportamientos de existencia distintos.

Límite

Se aplica solo a conjuntos parcialmente ordenados y exige que cada cadena tenga una cota superior dentro del mismo poset; no proporciona una construcción explícita del elemento maximal y no se aplica directamente a clases propias sin una formulación adicional.

Tensión semántica

Estrechamente ligado al Teorema Del Buen Orden y al Axioma De Elección (equivalentes en ZF), pero formulado como un principio de existencia en teoría del orden en lugar de una afirmación de ordenamiento o selección; a menudo se confunde con maximalidad finita o con la existencia de un máximo.

Síntesis

El Lema De Zorn convierte una condición de cotas superiores por cadenas en la garantía de un elemento maximal, funcionando como una herramienta de existencia no constructiva equivalente al axioma de elección y ampliamente usada para obtener máximos en álgebra y teoría del orden.