LEMA DE ZORN

Prof JPereyra
IMA-UK

Una breve introduccin

Para exponer claramente el enunciado de Zorn es necesario que repasemos, al menos de manera
breve, algunos conceptos bsicos de orden en conjuntos generales.

Relacin de orden
Una relacin definida sobre los elementos de un conjunto de forma que sea reflexiva, antisimtrica
y transitiva es una relacin de orden. Tal relacin permite comparar dos elementos dados y nos
permite indicar cul de ambos est antes en dicho orden y cul es el que est despus.
Si en el conjunto hay pares de elementos que no son comparables, esto es, de los cuales no se puede
decir cul est antes y cul est despus, la relacin se dice que es de orden parcial, y, si por el
contrario todos los pares de elementos del conjunto son comparables, la relacin se denomina de
orden total.
En definitiva, un conjunto dotado de una relacin de orden es un conjunto ordenado. El orden puede
ser total o no segn que dos cualesquiera elementos del conjunto sean comparables con dicho orden,
o que, sin embargo, existan parejas de elementos que no se puedan comparar con l. Un orden
parcial indica, pues, que existen pares de elementos de los que no se pueda decir cul de los dos est
antes que el otro en dicho orden.
Tanto si en el conjunto que se considere existe un orden total, o bien un orden parcial, siempre
pueden seleccionarse elementos del mismo conjunto sobre los cuales el orden del conjunto global
sea un orden total. El conjunto de estos elementos seleccionados es lo que llamamos una cadena.
Una cadena C, pues, es un subconjunto de un conjunto A al menos parcialmente ordenado y tal que
los elementos de C estn totalmente ordenados.
Un conjunto se dice bien ordenado, o, simplemente, dotado de un buen orden, si toda parte no vaca
del mismo admite un primer elemento. Es inmediato que si un conjunto est bien ordenado, tambin
est totalmente ordenado, pues bastar tomar una parte de solo dos elementos y uno de ellos, por el
buen orden existente, ser el primero, es decir, el que est antes en dicho orden.

Cotas
Un conjunto A dotado al menos de un orden parcial del tipo menor o igual que se dice
superiormente acotado, o mayorado, por un elemento p si ningn elemento x del conjunto A es
mayor que el elemento p. Si todos los elementos de A fueran comparables con p esto sera
equivalente a decir que todo elemento de A es menor o igual que el elemento p. El elemento p se
dice cota superior de A, o mayorante de A.

no(>p)
Anlogamente se define el concepto de inferiormente acotado, o minorado. Los elementos que no
son mayores que ningn elemento de A se llaman cotas inferiores de A, o minorantes de A.
 no(< p)

Elementos maximales y minimales

Un elemento maximal de un conjunto A al menos parcialmente acotado es un elemento de A tal que
ningn otro elemento de A es mayor que l. Es, dicho de otro modo, un elemento del conjunto A que
es cota superior del mismo.
Un elemento minimal de un conjunto A al menos parcialmente acotado es un elemento de A tal que
ningn otro elemento de A es menor que l. Es, dicho de otro modo, un elemento del conjunto A que
es cota inferior del mismo.
Si el conjunto A estuviera totalmente ordenado, entonces, un elemento maximal, si existe, se
denomina mximo, y es nico. Lo mismo ocurre con un elemento minimal, al cual denominaremos
mnimo de A y es, tambin, nico.
En definitiva, podemos escribir las relaciones simblicas siguientes:

no

no(< p)

Si el conjunto de las cotas superiores de A estuviera totalmente ordenado, su elemento mnimal, en

caso de existir, sera nico y elemento mnimo de dicho conjunto de cotas superiores, el cual se dice
que es el supremo del conjunto A, el cual, si perteneciera al conjunto A, sera tambin el mximo de
A.
Por analoga, si el conjunto de las cotas inferiores de A estuviera totalmente ordenado, su elemento
maximal, en caso de existir, sera nico y elemento mximo de dicho conjunto de cotas inferiores, el
cual se dice que es el nfimo del conjunto A, el cual, si perteneciera al conjunto A, sera tambin el
mnimo de A.
Si el orden del conjunto A que contiene a la cadena C es un orden total, entonces tanto el supremo
como el nfimo de C, en caso de existir, son elementos nicos, es decir existe un solo elemento
maximal que llamaremos mximo y un solo elemento minimal que llamaremos mnimo.
En realidad, un conjunto en el que cualquier cadena esta mayorada, o sea, que admite cota superior,
es un conjunto de tipo inductivo, esto es, ordenado inductivamente. Si, adems, admite una cota
superior o mayorante mnimo (o supremo), diremos que el conjunto es fuertemente inductivo.

El enunciado de Zorn:
Nos hacemos ahora una pregunta fundamental cundo un conjunto total o parcialmente ordenado
admite elementos maximales?. Tiene algo que ver con que el conjunto sea inductivo? tiene algo
que ver con que sea acotado? Esta es la proposicin:
Si en un conjunto, A, parcialmente ordenado, toda cadena est mayorada, esto es, si se trata A
de un conjunto inductivo, entonces A admite al menos un elemento maximal.
Ya el mismo Zorn explicit cmo su enunciado o Principio del mximo como originalmente le
llamara, resultaba ser equivalente a algunos enunciados clave de la matemtica, como el Axioma de
Eleccin o el Axioma de Zermelo de la buena ordenacin, sin embargo, hoy dia conocemos decenas
de proposiciones que son equivalentes a este Lema.

Proposiciones equivalentes al Lema de Zorn

Detallamos los enunciados de algunos resultados famosos en la Matemtica de los que se puede
probar su equivalencia con el Lema de Zorn:

El Axioma de Haussdorff:
Para todo conjunto A parcialmente ordenado existe al menos una cadena maximal.

El Axioma de Zermelo:
Todo conjunto A puede ser dotado de un buen orden, es decir, puede ser bien ordenado.

El Axioma de Eleccin:
Para todo conjunto A puede definirse una funcin de eleccin, es decir, una aplicacin f del
conjunto potencia p(A) exceptuando el vaco, en el conjunto A, que hace corresponder a toda parte
no vaca E de A un elemento f(E) de E, que se denomina elemento distinguido de E por la funcin
de eleccin, o bien, elemento elegido de E.

El Principio Minimal:
Dado un conjunto A ordenado parcialmente por la relacin de inclusin, si para cada una de las
cadenas que se puedan formar hay al menos un elemento contenido en todas las cadenas, entonces
el conjunto A tiene al menos un elemento minimal.

Lema de Tukey:
Toda familia no vaca de carcter finito tiene un elemento maximal.
(una familia F de conjuntos es de carcter finito si y solo si para toda parte finita de un elemento F
es tambin elemento de F, y adems, todo conjunto S tal que todas sus partes finitas son elementos
de F tambin pertenece a F)

Lema de Kuratowsky:
Toda cadena en un conjunto ordenado est contenida en una cadena maximal.

Teorema de Tijonov:
El producto cartesiano de una coleccin de espacios topolgicos compactos es compacto respecto a
la topologa producto.

Una demostracin de equivalencia:

Entre las muchas proposiciones que equivalen el Lema de Zorn y de las cuales hemos citado
algunas en el anterior apartado de esta exposicin, podemos elegir el caso del Axioma de
Haussdorff y probar de una forma sencilla la equivalencia entre las dos proposiciones. La
demostracin obviamente consiste en probar que el Lema de Zorn implica al Axioma de
Haussdorff, y, recprocamente, que el Axioma de Aussdorff implica el Lema de Zorn.
 Demostracin de que el Lema de Zorn implica el
Axioma de Haussdorff

Se trata de probar que en todo conjunto A al menos parcialmente ordenado, existe una cadena
maximal, esto es, que el conjunto de todas las cadenas del conjunto A tiene elementos maximales.
Para probarlo construiremos el conjunto K de dichas cadenas y veremos que se trata de un conjunto
inductivo, por lo que al aplicarle el Lema de Zorn resultar que posee elementos maximales, que es
lo que pretendemos probar y lo que, en resumen, afirma el Axioma de Haussdorff.
Por tanto: Sea

parcialmente ordenado. Sea Ci una cadena del conjunto A, esto es, un subconjunto totalmente
ordenado de A:

Totalmente ordenado y sea

el conjunto de todas las cadenas Ci que se puedan formar en tal conjunto A:

Vamos a probar que

es inductivo, esto es, existen elementos mayorantes de cualesquiera cadenas. Para ello
construyamos dentro de K una cadena Cc, esto es, una cadena de cadenas de elementos de A:

Totalmente ordenado y construyamos finalmente el conjunto unin de todas las cadenas, del cual
veremos que es tambin una cadena de

y adems es elemento mayorante del mismo. En efecto:

Es una cadena, pues

Veamos que K, conjunto de todas las cadenas, es inductivo, pues la misma cadena CU resulta ser un
elemento mayorante de K:
 Demostracin de que el Axioma de Haussdorff implica
el Lema de Zorn

Se trata ahora de probar que si en conjunto A, al menos parcialmente ordenado, hay cadenas
maximales, entonces, en caso de que el conjunto A sea inductivo, tiene tambin elementos
maximales, que es la afirmacin del Lema de Zorn.
Sea

pues si

entonces la cadena

sera maximal y no lo sera

por tanto, ha de ser m elemento maximal de

.
Adems, tambin m es maximal de A, pues de existir otro m >m entonces la cadena

sera maximal, y no lo sera

.
Por tanto, existe un elemento maximal m del conjunto inductivo A (Lema de Zorn)
La magia del lema de Zorn
Hace tiempo que me dijeron que todo espacio vectorial (de dimensin cualquiera) admite una base,
y que para demostrarlo era necesario el Axioma de Eleccin (Axiom of Choice, AC) en el sentido
de que si no aadiramos este axioma a los axiomas de Zermelo-Fraenkel, existiran espacios
vectoriales sin base, y claro, esto sera un autntico desastre. Sin embargo hasta ahora no me haba
molestado en echar un vistazo a esta demostracin, y como me ocurre casi siempre que veo una
demostracin que usa el AC, termino con la sensacin de que la prueba se reduce a "lo hizo un
mago".
La demostracin no usa exactamente el AC, sino una caracterizacin suya: el lema de Zorn, que
garantiza la existencia de elemento maximal para un conjunto pidiendo ciertas condiciones sobre
una relacin de orden definida en l. Ya que me he molestado en mirarlo, lo dejo aqu escrito a ver
qu pensis vosotros.
Definicin. Sea M un conjunto. Una relacin sobre M se llama de orden parcial si:
Es reflexiva. Es decir, xx para todo xM.
Es antisimtrica: si xy yx, entonces x=y.
Es transitiva: si xy yz, entonces xz.
El par (M,) donde M es un conjunto y una relacin de orden parcial sobre M se llama conjunto
parcialmente ordenado.
El apellido "parcial" significa que pueden existir elementos en el conjunto que no sean
comparables, es decir, que pueden existir x e y tales que no se cumple xy ni tampoco yx. Si todos
los elementos del conjunto son comparables, entonces se dice que es una relacin de orden total, y
el par (M,) se llama conjunto totalmente ordenado.
Dado un subconjunto N de M, un elemento xM se llama cota superior de N si es mayor que todos
los elementos de N. Es decir, yx yN. Finalmente, un elemento xM se dice maximal si no
existe zM tal que zx xz. La diferencia con la definicin anterior es muy sutil. Un elemento
maximal es "algo as como" una cota superior para M dentro del propio M. Vistas estas
definiciones, ya estamos preparados para entrar en materia.
Teorema (Lema de Zorn). Sea M un conjunto parcialmente ordenado tal que cada subconjunto N de
M totalmente ordenado posee una cota superior. Entonces M posee al menos un elemento maximal.
La demostracin de este teorema utiliza, como ya he dicho, el Axioma de Eleccin, por lo que no
sabemos qu pinta tiene este elemento maximal, que puede ser un autntico engendro; slo sabemos
que existe. Vamos con la demostracin del teorema para espacios vectoriales.
Teorema. Todo espacio vectorial admite una base.
Demostracin. Sea V un espacio vectorial sobre un cuerpo K, y sea M la familia de todos los
subconjuntos de V que son linealmente independientes (en el caso de R3 , por ejemplo, {(1,0,0),
(0,1,0)} y {(1,3,4)} seran elementos de M).

Se tiene que M, porque si vV es un vector, la familia formada por l mismo, {v} es linealmente
independiente. Adems la relacin de inclusin en M define una relacin de orden parcial sobre
M. Por ejemplo, en R3 {(1,0,0)}{(1,0,0),(0,1,0)} por lo que diramos que el primer elemento es
"menor o igual" que el segundo. Ahora veamos que M satisface la segunda hiptesis para poder
aplicar el lema de Zorn:
Sea N un subconjunto de M totalmente ordenado, y veamos que tiene cota superior. Definimos X=
U (LN ) L . Es decir, mezclamos en X todos los vectores que estn en los elementos L de N. Ahora
X es cota superior de N porque si L0 N , entonces L0U (L N) L=X . Veamos que XM, esto
es, que los vectores que hay en X son linealmente independientes.

Sea { x 1 , x 2 , ... , x n } un subconjunto finito de X. Como X es unin de elementos L de N, existirn

L1 , L2 ,... , Ln (no necesariamente distintos) tales que x 1 L1 , x 2 L2 , ..., x n Ln . Como N es
totalmente ordenado, todos los Li son comparables, y podemos suponer, sin prdida de
generalidad, que LnL(n1) ...L1 , por lo que x 1 , x 2 , ... , x n L1 . Como por hiptesis L1
es un conjunto de vectores linealmente independientes, { x 1 , x 2 , ... , x n } L1 son linealmente
independientes.

Hemos probado que M es un conjunto parcialmente ordenado y que todo subconjunto N de M que
est totalmente ordenado posee una cota superior X en M. Por el lema de Zorn, (y aqu es donde
viene el mago Merln a hacer de las suyas), M posee un elemento maximal X 0 . Veamos que
X 0 es la base de V que buscbamos:

1. Es sistema generador: dado v V , si v X 0 entonces v est en el espacio generado por

X 0 y ya lo tenemos. Si v X 0 tenemos dos posibilidades. Si v =0 , entonces v esta en el
espacio generado por X 0 .Si v0, el conjunto X 0 {v } no puede ser linealmente
independiente porque X 0 es un elemento maximal. Entonces deben existir x 1 , x 2 , ... , x n X 0 y
escalares (no todos nulos) , 1 , 2 ,... , nK de forma que v + 1 x 1+ 2 x 2 +...+ n x n=0 1.
Despejando v obtenemos su expresin como combinacin lineal de elementos de X 0 , de
donde v est en el espacio generado por X 0 .

2. Es linealmente independiente porque ya habamos probado que X 0 M y todos los elementos

de M son, por construccin, conjuntos de vectores linealmente independientes.

Por tanto X 0 es una base de V.

La demostracin del teorema no es constructiva, as que no sabemos qu aspecto tiene la base que
hemos encontrado. Debera ser "legal" hacer este tipo de cosas? Puede que no, pero sin el
Axioma de Eleccin nos perderamos gran parte de las matemticas.

1: Esto no es completamente evidente, pero es un resultado bsico que se puede encontrar en

cualquier libro de lgebra lineal.
 Cmo utilizar el Lema de Zorn

Es una prctica comn en los cursos de matemticas indicar teoremas tiles, lemas, proposiciones,
etc, sin preocuparse de explicar por qu y para qu son tiles. Por supuesto, hay muchas maneras de
recoger esta mayor comprensin: Tomar nota de dnde y cmo se utilizan esos resultados, haciendo
ejercicios cuidadosamente diseados, y as sucesivamente. Sin embargo, a menudo es el caso que
ms se podra hacer para ayudar a los estudiantes a reconocer los signos que indiquen que un
resultado particular se puede aplicar.

Este artculo, que est dirigido principalmente a estudiantes universitarios que comienzan a estudiar
por un grado en matemticas, se inspira en una experiencia que yo tuve como estudiante. Tena una
hoja de problemas desafiantes (establecido por Bla Bollobs) y uno de ellos me perplejo por
completo. (Estoy seguro que varios de ellos me perplejo, pero este es el que se pego en mi mente.)
No puedo recordar exactamente lo que la pregunta era, pero era algo de dificultad similar a la de la
determinacin de si una funcin aditiva de en era necesariamente lineal. Mi compaero de
supervisin resolvi el problema usando el Lema de Zorn, que nos haban enseado en una clase, y
me qued sentado en la incredulidad, ya que no se me hubiera ocurrido ni remotamente a m que el
Lema de Zorn podra ser til. En algn momento en los siguientes aos, "entend" el Lema de Zorn
y ahora parece que me es fcil de ver donde se necesita. Este artculo tiene la intencin de acelerar
ese proceso para otras personas.

Uno podra argumentar que es mejor aprender cmo aplicar teoremas por uno mismo. Tengo dos
opiniones sobre esto. Probablemente para cualquier teorema individual, si uno aprende por uno
mismo el cmo reconocer situaciones en las que se puede aplicar entonces eso es mejor que el ser
enseado por alguien ms. Pero descubrirlo por uno mismo puede tomar mucho tiempo y esfuerzo,
pero si uno tiene ayuda entonces uno puede ser capaz de aprender a aplicar ms teoremas, y uno
puede ser capaz de aprender teoremas en otras ramas de las matemticas. A fin de cuentas, creo que
una serie de artculos sobre el uso de varios principios matemticos importantes sera un recurso
til, uno que me encantara tener para ayudarme a entender mejor las muchas reas de las
matemticas donde me siento dbil. As que aqu est un primer intento en el Lema de Zorn. Hasta
el momento tengo slo dos ejemplos de aplicaciones: en algn momento sera bueno tener varios
ms.

Ttulo: Cmo usar el Lema de Zorn.

Descripcin corta: Si usted est construyendo un objeto matemtico por etapas y encuentra que
(i) No ha terminado an despus de un nmero infinito de etapas, y
(ii) Parece que no hay nada que le impida seguir construyendolo, entonces el Lema de Zorn bien
puede ser capaz de ayudarle.
Requisitos previos: Conceptos bsicos de la matemtica de pregrado, como espacios vectoriales.

Ejemplo 1: Una funcin de en se llama aditiva si para cada

. Es evidente que cualquier funcin de la forma es aditiva. Hay otras
funciones aditivas?
Una fcil induccin muestra que si f (1)= entonces, f (n)=n para cada entero positivo n .
(Esto es porque, ). Tambin es fcil demostrar que (Por
ejemplo, desde ). Y a partir de esto se deduce que f (n)+ f (n)=0 ,
entonces , Para todo entero positivo n . Otra fcil induccin muestra que
 para cada nmero real x y cada nmero entero positivo . Por lo tanto,
, De lo que se deduce que f ( x /m)=f (x)/m para cada nmero real x y cada
nmero entero positivo . De estas observaciones se deduce que si entonces,
para cada nmero racional x .

En este punto parece ser difcil de deducir algo acerca de otros valores de . De hecho, no
parece ser mucho obstculo el definir para que tome cualquier valor que querramos. Si
dejamos que sea , A continuacin, un argumento similar al argumento del prrafo anterior
muestra que para cada nmero racional x , Pero no hay ningn nmero de la
forma que sea racional excepto cuando , As que esto no entrara en conflicto con las
opciones que ya hemos hecho. Nosotros, por supuesto, estaremos obligados a establecer
que sea igual a , Pero no hay ningn problema en hacer eso.

Seamos un poco ms explcitos acerca de por qu esto no es un problema: es porque si

entonces, y (Ya que de lo contrario nos encontraramos con
que , Que es racional). Esto nos permitir ver ms claramente lo que est
pasando ms tarde.

La discusin hasta ahora sugiere fuertemente que debera haber una funcin que sea aditiva, pero
no de la forma . Todava no hemos definido una, ya que de ninguna manera todo
nmero real es de la forma con x e y racional. Pero hemos producido una funcin
no lineal aditiva definida parcialmente, y el mtodo que hemos utilizado es bastante flexible. En
efecto, si tomamos otro nmero, por ejemplo, , digamos, donde an no se define, entonces
podemos extender la definicin a todos los nmeros de la forma con
estableciendo para algun arbitrariamente elegido .

De manera ms general, podramos construir una secuencia de nmeros con , Con

la propiedad de que no es una combinacin lineal racional de los . Y entonces
podramos definir , Para un arbitrariamente elegido , Que nos dice que
para cada secuencia de nmeros racionales.

El problema es que, incluso cuando hemos construido una secuencia infinita de esta manera, todava
no hemos definido para todos los nmeros reales, ya que el conjunto de combinaciones lineales
racionales de esos nmeros es contable. Por lo tanto, todava podemos seguir construyendo nuestra
funcin, ya que podemos elegir un nuevo nmero real que no es una combinacin lineal racional
de la y elegir un valor para . Y luego podemos elegir que no es una combinacin lineal
racional de la y , Etctera. Pero de nuevo nos encontramos con que incluso si producimos una
secuencia infinita de slo hemos definido para una cantidad numerable de nmeros reales.

Una buena manera de considerar lo que estamos haciendo es lo siguiente: estamos considerando los
nmeros reales como un espacio vectorial sobre los racionales, y estamos tratando de construir una
base de este espacio vectorial, donde esto significa que hay una coleccin de nmeros reales tales
que cada nmero real es una combinacin lineal racional de nmeros en precisamente de una sola
manera. Entonces, si definimos los valores de de la forma que querramos para los nmeros en
y definimos los valores de de la manera obvia de combinaciones lineales racionales de esos
nmeros, tenemos una funcin de a que es lineal en los racionales, y por lo tanto aditiva, pero
no necesariamente de la forma .
Ahora , Considerado como un espacio vectorial sobre , Sin duda es de dimensin infinita. De
hecho, tiene dimensin incontable. As que tiene una base? (Todo lo que entendemos por "tiene
dimensin incontable" es "no puede ser abarcado por una cantidad numerable de vectores", por lo
que no es cierto, por definicin, que tiene una base.) Inspirado en espacios vectoriales de dimensin
finita es tentador decir: "Escoje un conjunto mximo linealmente independiente ", ya que dicho
conjunto no es slo linealmente independiente, sino tambin abarca todo el espacio, ya que si no lo
abarca podramos escoger un elemento que no pertenece a su envolvente lineal y podramos
aadirlo al conjunto linealmente independiente, contradiciendo maximalidad.

As que ahora parece que hemos acabado: estamos buscando una base de sobre , Y todo lo que
necesitamos hacer para encontrar una base de cualquier espacio vectorial es tomar un conjunto
mximo linealmente independiente.

Pero por qu debera existir un conjunto mximo linealmente independiente? No es exactamente

la dificultad que nos enfrentbamos antes: podamos continuar recogiendo ms y ms racionalmente
independiente nmeros reales, pero nunca pareca llegar al punto en que ya no se poda continuar.

Permitanme ahora interrumpir este ejemplo para dar una discusin ms general sobre el Lema de
Zorn y cmo usarlo.

Discusin general: Ahora estamos en una situacin muy tpica en la que se puede aplicar el Lema
de Zorn. Nos gustara construir un objeto de mxima, y nos sentimos como si nos debera ser capaz
de hacerlo, ya que cualquier objeto no mxima se puede ampliar fcilmente. La declaracin habitual
de lema de Zorn es como sigue. Un conjunto parcialmente ordenado es un conjunto junto con un
ordenamiento de los elementos de que es transitivo y antisimtrico (esto significa que si
y a continuacin, ). Un ejemplo tpico es donde es una coleccin de
conjuntos y si y slo si . (Aqu, he utilizado el smbolo " "En el sentido de" es un
subconjunto de "y no" es un subconjunto propio de ".) Una cadena en un conjunto parcialmente
ordenado es un subconjunto totalmente ordenado de : Es decir, un subconjunto tal que si
a continuacin, ya sea o . Un lmite superior para un subconjunto de un
conjunto parcialmente ordenado es un elemento de tal forma que para cada .Y
un elemento mximo en un conjunto parcialmente ordenado es un elemento de tal manera
que el nico elemento con es s mismo. Lema de Zorn establece que si es
un conjunto parcialmente ordenado de tal manera que cada cadena en tiene un lmite superior,
entonces tiene un elemento maximal. (Tenga en cuenta que un elemento maximal no tiene que
ser ms grande que todo lo dems:. Simplemente no debe ser menor que cualquier otra cosa)

Con el fin de ver cmo esta declaracin ms bien abstracta-de aspecto se relaciona con el tipo de
problema que tuvimos antes, vamos a imaginar que tenemos un conjunto parcialmente ordenado
y est buscando un elemento mximo. Podramos tratar de construir uno de la siguiente manera.
Empezamos con un elemento . Si no es mxima a continuacin, nos encontramos con un
elemento ms grande . Si eso no es mxima encontramos un elemento ms grande , Etctera.
Eso nos da una sucesin creciente . Ahora parece que estamos atrapados, y de hecho a
veces nos pegan. Por ejemplo, si es el conjunto de los nmeros naturales con su orden usual
entonces podra haber creado la secuencia , Que no nos ayudara a encontrar un elemento
mximo - no es sorprendente, ya que no tiene un elemento mximo.

Sin embargo, no satisface la hiptesis del lema de Zorn, porque la secuencia de es una
cadena sin lmite superior. Si no satisfacer esta hiptesis, entonces la secuencia ,
Que tambin es una cadena, tiene una cota superior, que podramos llamar . Si esto no es
mxima, entonces podemos encontrar un elemento ms grande . Si eso no es mxima,
entonces podemos encontrar un elemento an ms grande , Etctera.

Ejemplo 1 continuacin: Ntese la similitud entre la posicin que ahora estamos en la posicin y
estbamos en cuando estbamos tratando de crear una base para sobre . Una vez ms, podemos
seguir creando objetos ms grandes y ms grandes, pero parece que no hay manera fcil de decir
que el proceso termina con el tiempo. O ms bien, hay una manera ms fcil: el Lema de Zorn nos
dice que termina.

Veamos cmo el Lema de Zorn se aplica en nuestro ejemplo. Los objetos que estaban mirando eran
subconjuntos de que eran linealmente independientes sobre . Hemos tomado nota de que un
mximo subconjunto linealmente independiente de abarcado el conjunto de , Donde por
"mxima" que significaba que el conjunto no estaba contenido en cualquier conjunto linealmente
independiente ms grande. Por lo tanto, estbamos buscando en el conjunto de todos los
subconjuntos linealmente independientes de , Con el orden parcial .

Todo lo que tenemos que hacer si queremos aplicar el Lema de Zorn es comprobar que cada cadena
tiene una cota superior. As que vamos a imaginar que tenemos una coleccin subconjuntos de
linealmente independientes de y que para cualquier dos de los conjuntos uno est contenido en el
otro. Lo que podra servir como un lmite superior? Por definicin, tiene que ser un conjunto que
contiene todos los conjuntos en , Por lo que tiene que contener su unin. Nosotros queremos que
sea linealmente independientes, por lo que el ms pequeo, mejor. As que es bsicamente un solo
candidato para tratar: el propio sindicato. Es la unin linealmente independientes? Bueno, si
pertenecer al sindicato, entonces cada pertenece a un conjunto linealmente
independientes . Debido es una cadena, uno de estos conjuntos contiene todos los
dems. Si ese es , A continuacin, la independencia lineal de implica que ninguna
combinacin lineal no trivial de puede ser cero, lo que demuestra que la unin de los
conjuntos en es linealmente independiente, justo como queramos. Por lo tanto, por el lema de
Zorn, hay una mxima linealmente conjunto independiente. Anteriormente hemos observado que tal
conjunto fue una base y se podra utilizar para crear funciones de aditivos no de la forma
, Por lo que nuestro problema est resuelto.

Observaciones generales: Cmo, uno podra preguntarse, es en s el Lema de Zorn prob? Una
respuesta es que no se puede probar: es slo un axioma. Pero una respuesta un poco ms
informativo es que es equivalente al axioma de eleccin y el principio de buena ordenacin. Un
indicio de por qu esto debera ser se puede encontrar en el intento de la prueba anterior. No
creamos una secuencia infinita , Que luego continuamos "transfinitely" con los
elementos . Este proceso transfinito puede continuar hasta que se alcance un
elemento mximo, pero para ello hay que hacer un nmero infinito de opciones (ya que no hay una
forma de definir el siguiente elemento de la secuencia). Por lo tanto, el axioma de eleccin entra en
juego. Si supiramos de antemano que podra ser bien ordenada (es decir, dado un orden total de
tal manera que todo subconjunto no vaco tena un elemento mnimo), entonces podramos construir
la secuencia por siempre tomando el elemento mnimo que trabaj. Y es un ejercicio fcil de usar el
Lema de Zorn para demostrar que todo conjunto tiene un buen orden.

Ejemplo 2: Vamos a justificar esta ltima afirmacin, ya que da otra aplicacin representante del
lema de Zorn. Supongamos, entonces, que tenemos un conjunto y nos gustara darle una buena
ordenacin. Es decir, nos gustara definir un orden total en los elementos de tal que cada
subconjunto no vaco de tiene un elemento mnimo.
Una vez ms, nos encontramos en una situacin donde no hay limitaciones obvias para construir el
objeto que necesitamos, que no sea la "longitud transfinito de tiempo" necesario para completar el
proceso. Acabamos de recoger un elemento arbitrario ser el elemento mnimo de s mismo, a
continuacin, un elemento arbitrario ser el elemento mnimo de , Etctera. En otras
palabras, en cada etapa nos gustara elegir un elemento an no elegido y os lo har el prximo
elemento en nuestros pedidos.

Para convertir esa idea en bruto en un argumento Zorn's-lema, tenemos que definir un orden parcial
en el set de "intentos incompletos" en la definicin de un buen orden en . Un intento incompleta
significa un subconjunto de y una buena ordenacin de ese subconjunto. Definamos un intento
de ser precisamente eso: un subconjunto de con una buena ordenacin de los elementos de .
El orden parcial en el conjunto de todos los intentos debe reflejar la idea de un intento de extender
otra, por lo que la ordenacin parcial obvio para tomar es como sigue: dado dos intentos y ,
Decimos que si es un segmento inicial de . Esto significa que es un subconjunto de
, Que el orden asociada con es el mismo que el orden asociada con cuando se restringe a ,
Y que todos los elementos de es menor que cada elemento de en el pedido de .

Este conjunto parcialmente ordenado satisface la condicin de cadena? Bueno, si tenemos una
cadena de intentos, entonces podemos definir un lmite superior para ser la unin de los
conjuntos en esa cadena, con el siguiente orden: si hay algn intento en la cadena de tal
forma que y ambos pertenecen a y en . Este orden est bien definido, ya que si
es otro intento que contiene y , A continuacin, ya sea o (Desde y ambos
pertenecen a la cadena), y la definicin de garantiza que los ordenamientos en y son
coherentes.

Es el ordenamiento de un buen orden? S, ya que si es un subconjunto no vaco de ,

Entonces debe haber un intento en la cadena de tal forma que es no vaco. Pero a
continuacin, tiene un elemento mnimo en . Esto debe ser mnima en tambin. Para
ver por qu, supongamos que y . Entonces debe existir un intento en la
cadena con . Desde se deduce que no contiene , Por lo que debemos tener
. Por lo tanto, debe ser un segmento inicial de y tenemos con y
. Esto es una contradiccin.

Ahora hemos demostrado que es bien ordenado, y con ello verificado el estado de la cadena.
(Tenga en cuenta que la verificacin de la condicin de cadena era bastante sencillo: este es el caso
de muchas aplicaciones del lema de Zorn.) Por lo tanto, por el Lema de Zorn, hay un intento de
mxima, que esperamos que sea una buena ordenacin de la totalidad de .

Si no es el conjunto de , Entonces es una buena ordenacin de algn subconjunto propio de

. Pero podemos ampliar fcilmente este intento: dejar ser cualquier elemento de y definir
ser , Pedidos tomando el pedido ya tenemos en y que disponga, adems de que
para cada . (Por supuesto, tambin se estipula que .) Esto produce un intento
ms amplio, lo que contradice la maximalidad de . Esta contradiccin completa la prueba de que
(el Lema de Zorn implica que) todo conjunto puede ser bien ordenado.

Observaciones generales: Tenga en cuenta que el paso final de la ltima alegacin, la prueba de
que todo intento mxima debe ser una buena ordenacin de la totalidad de , Corresponde a la
observacin informal hicimos antes de que podamos seguir y en la ampliacin de un buen orden,
mientras que la verificacin de la condicin de cadena corresponde al hecho de que si producimos
una secuencia infinita de intentos entonces podemos tomar su sindicato y continuar . Una vez ms,
esto es tpico de argumentos Zorn's-lema.

Entonces, cmo, en general, se puede reconocer la necesidad de que el Lema de Zorn y cmo hace
uno para construir un conjunto parcialmente ordenado apropiado con el fin de aplicarlo? Las pistas
estn en los dos ejemplos anteriores. Por lo general, uno est tratando de construir una estructura de
algn tipo (como una base para un espacio vectorial, o una buena ordenacin de un conjunto). La
forma natural de hacerlo parece ser la construccin de la estructura en etapas, pero hay demasiadas
etapas para que esto funcione sin rodeos. Sin embargo, una vez que uno tiene una idea de lo que una
etapa es y lo que el proceso de construccin es, uno puede desempolvar el Lema de Zorn para
terminar el trabajo. El conjunto parcialmente ordenado constar de todos los objetos que podran
concebiblemente ser etapas de la construccin, y uno de estos objetos ser ms pequea que otra si
podra concebiblemente llegado antes que el otro, en el proceso de construccin en marcha. Si la
orden parcial resultante satisface la condicin de la cadena y si un elemento maximal debe ser una
estructura del tipo uno est tratando de construir, entonces la prueba se ha completado.