Lema de Kuratowski-Zorn
Kuratowski–Zorn lemma
- Fecha
- 1922 · fiabilidad alta
- Lugar
- Varsovia, Polonia
- Autoría
- Kazimierz Kuratowski, redescubierto por Max Zorn en 1935
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué se descubrió
Kuratowski probó en 1922 una versión cercana a la actual del principio que dice que todo conjunto ordenado en el que cada cadena tiene una cota superior posee un elemento maximal; Max Zorn llegó de forma independiente al mismo resultado en 1935 y lo propuso como axioma alternativo al del buen orden.
El nombre habitual, «lema de Zorn», se debe a que John Tukey lo popularizó así en 1940; en Polonia y Rusia se le sigue llamando «lema de Kuratowski-Zorn» en reconocimiento a la prioridad de Kuratowski.
A qué dio paso
- Uso rutinario del lema como forma equivalente y manejable del axioma de elección
- Demostraciones de existencia de bases, ideales maximales y otras estructuras en álgebra