Introduccin a la teora de conjuntos

Daniel Dario Fula Arguello

03 de junio de 2014
A continuacin se resuelven los ejercicios propuestos en clase.
1. Demuestre que (N, ) es una cadena. Adems demuestre que es un buen orden.
Queremos demostrar que para cualesquiera m y n en N, m n o n m y como la
armacin es sobre los nmeros naturales, razonaremos por induccin sobre n. Antes
de eso probaremos los siguientes lemas que nos sern de utilidad.
Lema 1 El nmero 0 es el mnimo del conjunto de los nmeros naturales (n N, 0
n).
Demostracin. Razonemos por induccin sobre n. Denamos el conjunto S := {n
N : 0 n}. Claramente 0 0, pues o = 0, por lo cual 0 S . Ahora supongamos que
n S , veamos que n + 1 S . Como n S , por denicin de S , 0 n. Tenemos por
denicin de sobre N que 0 = n o0 n. En cualquiera de los dos casos fcilmente
vemos que 0 n {n} = n + 1 por lo cual 0 n + 1. Por lo tanto, como el conjunto
S satisface las condiciones del principio de induccin matemtica, el conjunto S es el
conjunto de los nmeros naturales y concluimos que el nmero 0 es el mnimo de N.
Lema 2 Para todo k, n N, k < n+ si y solo si k < n o k = n.
+
+
Demostracin. Sean k, n N. Supongamos que k < n , por denicin esto es k n ,
es decir k n {n}. Luego k n o k {n}, por lo tanto k < n o k = n. Ahora
supongamos que k < n o k = n. Si k = n, como n n+ , k n+ , por lo cual k < n+ . Si
k < n, por denicin k n y como n n+ , por transitividad, k n+ ; es decir k < n+ .
Como k y n eran nmeros arbitrarios, concluimos que para todo k, n N, k < n+ si y
solo si k < n o k = n.
Lema 3 Para todo k, n N, si n < k, entonces n+ k.
Demostracin. Sean n un elemento arbitrario de N. Razonemos por induccin sobre k .
Sea el conjunto S = {k N : n < k n+ kn N}. Veamos que 0 S ; supongamos
que no, luego existe n N tal que n < 0 y n+ > 0, lo cual es falso, pues no existe un
nmero natural menor que 0. Por lo tanto 0 S . Ahora supongamos que k S , es
decir que n < k implica que n+ k para todo n N. Veamos que k + S . Supongamos
que n < k + , por lo cual n < k {k}. Luego por denicin de <, n k {k}, es decir,
n k o n = k , o lo que es lo mismo, n < k o n = k . Si n = k , concluimos que n+ = k +
y si n < k , por hiptesis de induccin n+ k y por transitividad de <, n+ < k + .
Luego k + S . Por lo tanto, por principio de induccin matemtica, S = N, es decir,
para todo k, n N, si n < k , entonces n+ k .
Ahora procedamos con la demostracin.

Demostracin. Sea S el conjunto de todos aquellos nmeros naturales n, tales que o

n < m o m n para todo m N. Razonemos por induccin sobre n. Primero, veamos
que 0 S ; por el lema 1 mostrado anteriormente concluimos que 0 m para todo
m N, luego 0 S . Supongamos ahora que n S , es decir que o n m o m n para
todo m N. Veamos que n+ S . Consideremos el caso cuando m n+, por denicin
tenemos que m < n+ o m = n+ y por el lema 2 probado anteriormente, concluimos
que m < n+ + . Ahora consideremos el caso cuando n+ < m, por el lema 3 probado
anteriormente, concluimos que n+ + k . En cualquiera de los dos casos n+ S . Por
lo tanto, por principio de induccin matemtica, concluimos que S = N, es decir que
cualesquiera dos elementos de N son comparables, por lo tanto (N, ) es una cadena.
Ahora probemos que N es un buen orden. Sea A N un subconjunto no vaco de
nmeros naturales. Demostremos que A tiene mnimo. Razonemos por contradiccin,
es decir, supongamos que A no tiene mnimo. Consideremos el conjunto S = N\A.
Podemos observar que 0 S , pues en caso contrario 0 A y por lo tanto A tendra
mnimo. Ahora supongamos que n S y que para todo natural k menor o igual que
n, k S , demostremos que n+ S . En efecto, si n+ S tendramos que n+ sera
/
el mnimo de A. Por lo tanto, por principio de induccin matemtica, concluimos que
S = N, pero en ese caso A = lo cual contradice nuestra hiptesis, pues A = y as A
tiene mnimo. Como A es un subconjunto no vaco arbitrario de N que tiene mnimo,

concluimos que el conjunto de los nmeros naturales est bien ordenado.

2. Ningn natural es elemento de si mismo ((n N)(n n)).

/
Razonemos por induccin. Sea S = {n N : n n}. Veamos primera/
mente que 0 S pues 0 = y por lo tanto no tiene elementos. Ahora supongamos que
n S , es decir n n, y demostremos que n+ n+ . Por denicin n+ = n {n}, por lo
/
/
que si n+ n+ , tenemos que n+ n o n+ {n}. Claramente n+ n, por lo cual solo
/
+
nos queda la opcin de que n n; esto es lo mismo que decir que n {n} n, pero
por hiptesis de induccin n n y por lo tanto n+ n+ . Luego n+ S . Por lo tanto,
/
/
por el principio de induccin matemtica S = N, es decir, ningn natural es elemento
de si mismo.
Demostracin.

3. Demuestre que todo espacio vectorial tiene una base.

Antes de hacer la demostracin de este hecho, recordemos algunos conceptos del lgebra lineal.
Deniciones. Sea V un espacio vectorial sobre un cuerpo K . Un conjunto nito
{x1 , x2 , ..., xn } de vectores en V es linealmente dependiente si existe un conjunto correspondiente de escalares {1 , 2 , ..., n } en K , no nulos, tal que 1 x1 + ... + n xn = 0.
Si de otra forma, 1 x1 + ... + n xn = 0 implica que los escalares 1 , 2 , ..., n son todos
nulos, el conjunto {x1 , x2 , ..., xn } es linealmente independiente. Decimos que x es una
combinacin lineal de {x1 , x2 , ..., xn } si x = 1 x1 + ... + n xn . Una base de V es un
subconjunto B V de vectores linealmente independientes tales que cada vector en V
es una combinacin lineal de elementos de B .
Teniendo claros los anteriores conceptos empezaremos la demostracin.

Demostracin. Sea V un espacio vectorial sobre un cuerpo K y sea C la familia de

todos los subconjuntos linealmente independientes de V . Se tiene que el conjunto C
es diferente de vaco, pues para cada vector no nulo v en V , el conjunto {v} es un
conjunto linealmente independiente. Adems el conjunto C est ordenado parcialmente
por la relacin (pues la relacin es una relacin de orden sobre cualquier conjunto).
Veamos que el conjunto C est inductivamente ordenado, es decir, que toda cadena C en
C posee una cota superior. Denimos el conjunto X como la union de todos los vectores
que estan en los elementos L de C , X = LC L. Tenemos que X es una cota superior
de C , porque para cualquier elemento Li en C , Li LC L = X . Ahora veamos que
X est en C, esto es, que los vectores en X son linealmente independientes; para ello
consideremos un subconjunto nito {x1 , ..., xn } de X . Como X es la unin de elementos
Li de C existen L1 , L2 , ...Ln , no todos diferentes, tales que x1 L1 , x2 L2 , ..., xn Ln.
Teniendo en cuenta que C es una cadena ordenada por la relacin , podemos suponer
sin perdida de generalidad que L1 L2 ... Ln . Por lo cual concluimos que
{x1 , ..., xn } Ln y como Ln es un elemento de C , es decir Ln es un subconjunto
de V linealmente independiente, concluimos que {x1 , ..., xn } tambin es linealmente
independiente, por lo cual X C. Ya que toda cadena arbitraria C de C est acotada
superiormente, podemos concluir que C es un conjunto inductivamente ordenado. Por
el lema de Zorn, concluimos que el conjunto C tiene un elemento maximal B . Lo que
nos resta es comprobar que B es una base de V . Por lo anterior, B es un subconjunto
linealmente independiente de V . Ahora para un vector v V tenemos los siguientes
casos, v B v B . Si v B , v es una combinacin lineal de B (v es igual a la
/
suma de todos los vectores en B , excepto v , multiplicados por cero ms el vector v ). Si
v B tenemos dos posibilidades, que v = 0, por lo tanto es combinacin lineal de B (si
/
sumamos todos los vectores de B multiplicados por cero) y que v = 0, de donde tenemos
que B {v} no puede ser linealmente independiente, pues B es un elemento maximal
de C. Como B {v} es linealmente dependiente, deben existir v1 , v2 , ..., vn vectores en
B y escalares , 1 , 2 , ..., n no todos nulos, tales que v + 1 v1 + ... + n vn = 0, de

donde tenemos que v = 1 v1 ... n vn , por lo cual v es combinacin lineal de

vectores de B . Por lo tanto B es una base del espacio vectorial V .

4. En la prueba del Teorema del buen ordenamiento, armamos que si x Mx (ordenado

por x ) y y My (ordenado por y ) con (x , Mx ) (y , My ) y que xt y , entonces
xy y . Formalmente nosotros solo sabemos que x y para algn (, M ), donde x, y
M . Demuestre que xy y .
Supongamos que x Mx (ordenado por x ) y y My (ordenado por
y ) con (x , Mx ) (y , My ) y que xt y . Por denicin de la relacin tenemos que
Mx My , x y y que Mx es un segmento inicial de My , por lo cual todo elemento
b My \Mx es una cota superior de Mx . Por lo tanto si xt y , como consecuencia de
que Mx My , que x y y que Mx es un segmento inicial de My , tenemos que
xy y .
Demostracin.

5. En la prueba del Teorema del buen ordenamiento vimos que W ordenado por es un
conjunto inductivamente ordenado. Por el lema de Zorn, existe un -elemento maximal

(, M ). Asumiendo que hay un s S que no est en M denimos

:= {(x, s) : x M o x = s} (M {s}) (M {s}).

Demostrar que es un buen orden.

Sabemos que M es un conjunto bien ordenado por , por lo tanto
cualquier subconjunto A de M tiene un mnimo b. Consideremos el conjunto M =
A {s}, por denicin de tenemos que x s para todo x A, por lo cual podemos
concluir que b tambin es el mnimo de M segn . Como M es un conjunto arbitrario
de M , tenemos que M es un conjunto arbitrario de (M {s}) y como ste tiene mnimo
segn , concluimos que es un buen orden.
Demostracin.

6. Probar que si P es un conjunto ordenado, entonces para cada cadena C P existe

una subcadena conal X C . Ayuda: Considere la coleccin de todos los subconjuntos
de C bien ordenados por el orden inducido; ordene dicha coleccin por continuacin;
aplique el lema de Zorn y muestre que el subconjunto maximal hallado es conal en C .
Sea C una cadena de (P, ) y sea K la coleccin de todas las subcadenas
de C que estn bien ordenas por la relacin . Denamos la relacin para la coleccin
K de forma tal que, para K1 , K2 K, K1
K2 si y slo si todo b tal que b K2 y
b K1 , k1 < bk1 K1 (K1 es un segmento inicial de K2 , pues K1 y K2 estn bien
/
ordenados).
En primer lugar veamos que la relacin es un orden estricto para K (es decir, que
es asimtrica y transitiva). Supongamos que K1 K2 , por lo cual tenemos que todo b
tal que b K2 y b K1 , k1 < bk1 K1 , por lo cual ningn k1 K1 puede ser tal
/
que k2 < k1 k2 K2 y por lo tanto K2 K1 ; de igual manera podemos mostrar que
si K2 K1 , entonces K1 K2 y as concluimos que es asimtrica. Ahora veamos
que es transitiva, supongamos que para K1 , K2 , K3 K, K1
K2 y K2
K3 ; por
lo cual para todo b tal que b K2 y b K1 , k1 < bk1 K1 y para todo c tal que
/
c K3 y c K2 , k2 < ck2 K2 . Luego c K1 y por transitividad de tenemos que
/
/
k1 < ck1 K1 . Por lo tanto K1
K3 y
es transitiva. Concluimos que es una
relacin de orden estricto.
Ahora veamos que K est ordenado inductivamente; es decir, que toda cadena Ci de
K por medio de
tiene una cota superior. Denamos X como la unin de todos los
elementos de Ci (recordemos que los elementos de Ci son subcadenas de C ), es decir,
X = LCi L. Claramente vemos que X es una cota superior de Ci , pues para todo Li
en Ci , tenemos que Li X por denicin de X . Tenemos que X est en K, esto es,
que X es una subcadena de C que est bien ordenada por la relacin ; los elementos
de X pertenecen a alguna subcadena de C , por lo tanto X C y esto signica que X
es una subcadena de C . Para ver que X est bien ordenado, tomemos un subconjunto
no vaco A de X y por denicin de X debe existir Li Ci tal que A Li = . Veamos
que A tiene mnimo. Como Li es bien ordenado por y A Li Li , sabemos que
A Li tiene mnimo al cual lo denotaremos por m. Sea b A. Como A X , existe
Lj Ci tal que b Lj . Si Lj Li , b Li ; por lo cual tenemos que b A Li . Por lo
Demostracin.

tanto m b y m es el mnimo de A. Si Li Lj y como Li , Lj Ci , tenemos que Li

es un segmento inicial de Lj ; por lo cual si m es el mnimo de Li , m es el mnimo de
Lj . Por lo tanto m es el mnimo de A. Como A era un subconjunto arbitrario de X ,
podemos concluir que todo subconjunto de X tiene mnimo, por lo tanto X est bien
ordenado y X K.
Por el lema de Zorn, concluimos que para K existe un elemento maximal X . Por ltimo
veamos que X es conal en C , esto es, que para todo c C , existe x X , tal que
c x. Por lo anterior, sabemos que X es una subcadena maximal de C , por lo cual el
mximo de C est en X , llamemos lo k . As entonces, para todo c C , existe k X
tal que c k . Como C es una cadena aleatoria de P concluimos que para toda cadena
C de P existe una subcadena conal X .
7. Sean y ordinales y denamos A = . Demuestre que si A y A , entonces
A A.
Supongamos que A y A . Por denicin de interseccin A
, y por denicin de A concluimos que A A.
Demostracin.

8. Demuestre que la multiplicacin de ordinales es asociativa; es decir que para cualesquiera ordinales , y se cumple que ( ) = ( ).
Primero probemos un lema que nos ser til.

Lema Sea un ordinal. Entonces 0 = 0 y 0 = 0.

Para el caso 0 = 0 aplicamos la denicin de multiplicacin de ordinales. Para el caso 0 = 0 la prueba se har por induccin transnita sobre . Para
0, tenemos que o 0 = 0 por denicin de multiplicacin de ordinales. Supongamos que
0 = 0, por lo tanto (0 ) + 0 = 0 por denicin de adicin de ordinales. Luego
por denicin de multiplicacin de ordinales tenemos que 0 + = 0 obteniendo lo que
queramos demostrar.
Consideremos el caso lmite. Supongamos que , 0 = 0. Por denicin de
multiplicacin para un cardinal lmite tenemos que 0 = (0 ), por hiptesis
concluimos que 0 = 0.
Por induccin transnita concluimos que 0 = 0 y 0 = 0.
Demostracin.

La demostracin se har por induccin transnita sobre . Denotemos

por 0 al ordinal cero. Luego ( 0) = 0 = 0 y ( ) 0 = 0 por el lema anterior.
Por lo tanto ( 0) = ( ) 0. Ahora supongamos que ( ) = ( ) . Por
denicin de multiplicacin de ordinales tenemos que ( + ) = (( ) + y
como la multiplicacin es distributiva por izquierda respecto a la suma, tenemos que
( + ) = ( ) + ( ). Por hiptesis tenemos que ( + ) = ( ) + ( )
y por denicin de multiplicacin de ordinales concluimos que ( + ) = ( ) .
Por ltimo consideremos el caso lmite que dice que w , ( w) = ( ) w
donde es un ordinal lmite. La prueba se har por casos. Caso 1 Si = 0 entonces
por multiplicacin de ordinal por cero tenemos que ( ) = 0 = 0 y adems
( ) = 0. Por lo tanto ( ) = ( ) . Caso 2
Demostracin.