Documentos de Académico
Documentos de Profesional
Documentos de Cultura
José Garcı́a-Cuerva
7 de noviembre de 2007
(a) ∅ ∈ F,
S
(b) Si {Aα : α ∈ J} ⊂ F es una cadena, entonces Aα ∈ F y
α∈J
Demostración.
T
(a) ∀β ∈ I, ∅ ∈ Fβ ⇒ ∅ ∈ Fβ .
β∈I
T
(b) Si {Aα }α∈J ⊂ Fβ es una cadena, entonces ∀β ∈ I, {Aα }α∈J ⊂ Fβ y, por consiguiente,
S β∈I S T
Aα ∈ Fβ , ∀β ∈ I, de modo que Aα ∈ Fβ y, finalmente
α∈J α∈J β∈I
T T
(c) A ∈ Fβ ⇒ ∀β ∈ I, A ∈ Fβ ⇒ A ∪ {ϕ(A)} ∈ Fβ ∀β ∈ I ⇒ A ∪ {ϕ(A)} ∈ Fβ .
β∈I β∈I
Demostración. Sea M ⊂ F la sub-ϕ−torre mı́nima. Vamos a ver que M es una cadena. Una
S
vez visto esto, si tomamos A = M, la propiedad (b) de la definición de ϕ−torre nos dice que
M ∈M
A ∈ M y la propiedad (c), que A ∪ {ϕ(A)} ∈ M. Pero entonces A ∪ {ϕ(A)} ⊂ A y, por lo tanto,
ϕ(A) ∈ A, como querı́amos demostrar.
Por consiguiente, “sólo”tenemos que demostrar que M es una cadena y eso es lo que vamos a
hacer a continuación.
Diremos que M ∈ M es un elemento medio si ∀M 0 ∈ M, o bien M 0 ⊂ M o bien M ⊂ M 0 .
Que M sea una cadena equivale a decir que ∀M ∈ M, M es un elemento medio. Veámoslo.
1
Paso I Si M ∈ M es medio, entonces ∀M 0 ∈ M, o bien M 0 ⊂ M o bien M ∪ {ϕ(M )} ⊂ M 0
Para demostrar I consideramos GM = {M 0 ∈ M : M 0 ⊂ M o bienM ∪ {ϕ(M )} ⊂ M 0 }. si
vemos que GM es ϕ−torre, como G ⊂ M y M es mı́nima, tendremos que GM = M. Veamos
que GM es ϕ−torre.
(c) Sea M 0 ∈ GM . Hemos de ver que M 0 ∪{ϕ(M 0 )} ∈ GM , es decir, que, o bien M 0 ∪{ϕ(M 0 ) ⊂
M o bien M ∪ {ϕ(M )} ⊂ M 0 ∪ {ϕ(M 0 )}. Hay dos casos que considerar
(i) M ∪ {ϕ(M )} ⊂ M 0 y
(ii) M 0 ⊂ M.
En el primer caso no hay nada que demostrar, ya que se sigue que M ∪ {ϕ(M )} ⊂
M 0 ∪ {ϕ(M 0 )}.
En el caso (ii), como M es medio y M 0 ∪ {ϕ(M 0 )} ∈ M, tenemos, además de (ii) que, o
bien M 0 ∪ {ϕ(M 0 )} ⊂ M o bien M ⊂ M 0 ∪ {ϕ(M 0 )}. Si se da la primera alternativa, ya
habrı́amos acabado. Sólo tenemos que analizar qué pasa si se da la se4gunda. Tendremos,
en ese caso, M 0 ⊂ M ⊂ M 0 ∪ {ϕ(M 0 )}. Se sigue que, o bien es M = M 0 o bien es
M = M 0 ∪{ϕ(M 0 )}. En el primer caso M ∪{ϕ(M )} ⊂ M 0 ∪{ϕ(M 0 )} y en el segundo M 0 ∪
{ϕ(M 0 )} ⊂ M. Ası́ queda visto que M 0 ∪ {ϕ(M 0 )} ∈ GM . Esto termina la demostración
de que GM es ϕ−torre y el paso I está completo
(c) Sea M ∈ G. Hemos de ver que M ∪ {ϕ(M )} ∈ G, o sea, que M ∪ {ϕ(M )} es medio.
Tomemos M 0 ∈ M. Como M es medio, el paso I nos dice que, o bien M 0 ⊂ M, (y, por lo
tanto, M 0 ⊂ M ∪ {ϕ(M )}) o bien M ∪ {ϕ(M )} ⊂ M 0 . Ası́ queda visto que M ∪ {ϕ(M )}
es medio.
(a) ∅ ∈ F 0 ,
(b) Si {Aα }α∈J es una cadena en F 0 , vamos a ver que Aα ∈ F 0 . En efecto, sean a, b ∈
S S
Aα .
α∈J α∈J
0
Entonces ∃α, β ∈ J, tal que a ∈ Aα , b ∈ Aβ . Como {Aα }α∈J es una cadena en F , uno de los
dos conjuntos, digamos Aα contiene al otro, Aβ . Entonces a, b ∈ Aα y ambos elementos están
Aα ∈ F 0 .
S
relacionados por el orden. Ası́ pues,
α∈J