Enunciado en teoría de órdenes equivalente (sobre ZF) al axioma de elección: en un conjunto parcialmente ordenado en el que cada subconjunto totalmente ordenado (cadena) tiene una cota superior, existe al menos un elemento maximal.

Principio

Si cada cadena puede extenderse a una cota superior, entonces existe un elemento que ya no puede extenderse estrictamente; esto permite pruebas de existencia de objetos máximos sin construcción explícita.

Demostración

Uso común: probar que todo espacio vectorial tiene una base considerando el poset de subconjuntos linealmente independientes ordenado por inclusión; el lema de Zorn produce un conjunto independiente maximal, que es una base.

Aplicación incorrecta

Aplicar el lema de Zorn sin verificar la hipótesis de la cota superior para las cadenas o confundir maximal con máximo (un maximal no tiene por qué ser comparable con todos los demás) puede producir conclusiones falsas; es no constructivo y garantiza existencia pero no un método para encontrar el elemento maximal.

Consecuencia

Facilita muchos resultados de existencia habituales (bases, ideales maximales, cierres algebraicos) y se conecta con AC por equivalencia; agiliza argumentos que de otro modo requerirían construcciones transfinitas explícitas.

Inversión

Negar el lema de Zorn (trabajar en modelos sin él) impide muchas pruebas estándar de existencia y obliga a trabajos constructivos explícitos; algunos resultados equivalentes fallan o necesitan sustitutos más débiles.

Límite

Se aplica a conjuntos parcialmente ordenados que satisfacen la condición de cota superior para cadenas; no afirma unicidad, constructibilidad o comparabilidad de elementos maximales y no dice nada sobre tamaño o definibilidad.

Tensión semántica

Está en tensión con enfoques constructivos y con alternativas basadas en bien-ordenamientos; su carácter no constructivo contrasta con métodos que construyen objetos maximales por inducción transfinta explícita o procedimientos recursivos.

Síntesis

El lema de Zorn es un principio de existencia conciso: bajo la condición de cota superior para cadenas en un poset existe un elemento maximal. Es equivalente al axioma de elección en ZF y se usa comúnmente para obtener estructuras maximales sin proporcionar construcciones explícitas.