Introduccin a la teora de conjuntos

Daniel Dario Fula Arguello

27 de abril 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.
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

Demostracin.

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)).
/
Demostracin. Razonemos por induccin. Sea S = {n N : n n}. Veamos primeramente 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.

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
n
1
vn , por lo cual v es combinacin lineal de vectores de B . Por lo tanto B es una
v = v1 ...

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 w C .