Lema de Zorn


Lema de Zorn

El lema de Zorn, también llamado de Kuratowski-Zorn, es una proposición de la teoría de conjuntos que afirma lo siguiente:

Todo conjunto parcialmente ordenado no vacío en el que toda cadena (subconjunto totalmente ordenado) tiene una cota superior, contiene al menos un elemento maximal.

Debe su nombre al matemático Max Zorn.

Los términos se definen como sigue. Supóngase que (P, ≤) es un conjunto parcialmente ordenado. Un subconjunto T de P es totalmente ordenado si para cualesquiera s, tT se tiene st o ts. Tal conjunto T tiene una cota superior uP si tu para cualquier tT; no se necesita que u sea miembro de T. Un elemento mP es maximal si el único xP tal que mx es m mismo (es decir, la única cota superior de {m} es m).

Al igual que el teorema del buen orden, el lema de Zorn es equivalente al axioma de elección, en el sentido de que cualquiera de ellos, junto con los axiomas de Zermelo-Fraenkel, basta para probar los otros. Aparece en las demostraciones de varios teoremas importantes, tales como el teorema de Hahn-Banach en análisis funcional, el teorema de que todo espacio vectorial tiene una base, el teorema de Tychonoff en topología, y los teoremas en álgebra abstracta que afirman que todo anillo con elemento unitario tiene un ideal maximal y que todo campo tiene clausura algebraica.

Ejemplo

Se considerará una aplicación usual del lema de Zorn: la prueba de que todo anillo R con unidad contiene un ideal maximal. Sea P el conjunto de todos los ideales bilaterales de R excepto R mismo, que no es vacío pues incluye al menos al ideal trivial {0} de R. Este conjunto está parcialmente ordenado por inclusión.

Sea entonces T un subconjunto totalmente ordenado de P; se demostrará que T tiene cota superior, es decir, hay un ideal IR que contiene a todos los miembros de T, pero que no es igual a R (de lo contrario no estaría en P). Sea I la unión de todos los ideales en T. Ésta es también un ideal: para cualesquiera a, bI, existen J, KT tales que aJ y bK. Como T está totalmente ordenado, KJ o JK. En el primer caso, bJ y por lo tanto, como J es un ideal, a + b, ar, raJI para cualquier rR. En el segundo caso se razona de manera similar.

Para demostrar que I es distinto de R, basta con observar que un ideal es igual a R si y sólo si incluye a 1. Es evidente que si es igual a R debe incluir a 1; recíprocamente, si incluye a 1 debe incluir a 1r = r para cualquier rR, y por lo tanto debe contener a R. Ahora bien, si I = R debería incluir a 1, con lo que habría un JT tal que 1 ∈ J, y por lo tanto J = R, contradiciendo la definición de P, que no lo incluía.

Se demostró que T tiene una cota superior en P. Aplicando el lema de Zorn, se tiene que P debe tener un elemento maximal, y por lo tanto, R tiene un ideal maximal.

Es de notar que la demostración depende del hecho de que R tenga un elemento unitario 1. De lo contrario, no sólo la prueba fallaría, el mismo enunciado del teorema sería falso.

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Lema de Zorn — El lema de Zorn, también conocido como el lema de Kuratowski Zorn, es un teorema en teoría de conjuntos que establece que: Todo conjunto parcialmente ordenado en el que toda cadena (es decir, subconjunto totalmente ordenado) tiene un límite… …   Enciclopedia Universal

  • Lema (matemáticas) — En matemáticas, un lema es una proposición demostrada, utilizada para establecer un teorema menor o una premisa auxiliar que forma parte de un teorema más general. El término proviene del griego λήμμα, que significa cualquier cosa que es recibida …   Wikipedia Español

  • Lema (desambiguación) — En matemáticas un lema es un teorema que por lo general no es interesante en sí mismo pero que sirve para demostrar otro teorema, como por ejemplo, el lema de Zorn. En lingüística un lema es cada una de las entradas de un diccionario o… …   Wikipedia Español

  • Zorn — Zorn, lema de …   Enciclopedia Universal

  • Zorn, lema de — ► MATEMÁTICAS Lema según el cual en todo conjunto S no vacío, ordenado inductivamente, existe un elemento maximal …   Enciclopedia Universal

  • Max Zorn — Max August Zorn, Jena 1930 Max August Zorn (6 de junio de , 1906 en Krefeld, Alemania – 9 de marzo de 1993 en Bloomington, Indiana, EE. UU.) fue un matemático alemán nacionalizado estadounidense. Trabajó en los campos del álgebra abstracta,… …   Wikipedia Español

  • Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… …   Wikipedia Español

  • Principio maximal de Hausdorff — Saltar a navegación, búsqueda El principio maximal de Hausdorff es una consecuencia del axioma de elección, fue publicado por primera vez en un artículo en alemán de 1909, que no causó gran conmoción en su momento, sino hasta 1935 cuando Max Zorn …   Wikipedia Español

  • Axioma de elección — Saltar a navegación, búsqueda En matemáticas, el axioma de elección o axioma de escogencia, abreviado usualmente AE, o AC por sus siglas en inglés, es un axioma de la teoría de conjuntos. Intuitivamente, AE dice que dada una colección de… …   Wikipedia Español

  • Teorema — Para otros usos de este término, véase Teorema (desambiguación). Esta imagen muestra la relación entre las cadenas de caracteres, las fórmulas bien formadas y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.