##  [Lema de Zorn](/es/node/59254) 

 Definición

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

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

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

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

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

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

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

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

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.