Académique Documents
Professionnel Documents
Culture Documents
Tarea 2
14 de octubre 2016
2o semestre 2016 - Profesores G. Dieguez - F. Suarez
Hermon Alfaro - 13635735
Respuestas
Pregunta 1
Pregunta b
Demostracion: que sea numerable, implica que existe una biyeccion f : N que a
cada String le asigna un natural. Entonces demostrar que 6 es numerable, es equivalente
a probar que A = {X N : X es f inito} es numerable, ya que para todo X, cada natural
perteneciente a X representa un String.
Al igual que en a) se llegara a una igualdad entre el conjunto que se desea probar su
numerabilidad y una union numerable de numerables. Sea An el conjunto de subconjuntos
de naturales con no mas de n elementos. Entonces, tenemos que:
A0 = {}
A1 = A0 {{a}| a N}
Y en general n N, n 1 :
An+1 = {an a1 | an An a1 A1 }
Verificaremos por induccion que An es numerable:
Caso base: A1 es numerable. En efecto, es facil ver que tiene cardinalidad 1 + |N| = |N| y
por lo tanto es numerable.
2
Tarea 2 - Hermon Alfaro - 13635735
Por la definicion de An+1 tenemos que es la union numerable de dos conjuntos numeables
(A1 demostrado en el caso base y An supuesto en la hpotesis de induccion), por lo tanto es
numerable.
Pregunta c
Por demostrar: 6
c = {X| X B
6
: X = B} es numerable
Pregunta d
Base:
A 6 A T
C 6
c C T
3
Tarea 2 - Hermon Alfaro - 13635735
Ademas, observemos lo siguiente:
Si A, C 6 : es claro que la union y la interseccion de 2 conjuntos finitos es finita, es decir:
A C 6 A C 6
Si A, C 6 c c c 6
c : entonces, (A C) = A C implica que (A C) c . En efecto,
A, C 6 c c
c A ,C
6
y ya vimos que 6 es cerrado bajo la interseccion. Entonces el
complemento de A C pertenece a 6 , es decir A C 6 c c
c . Ademas (A C) = A C
c
Si A 6 , C 6 c c c
c : entonces (A C) = A C implica que (A C) c . En
6
T = 6 6
c
4
Tarea 2 - Hermon Alfaro - 13635735
Pregunta 2
http://casanchi.com/mat/cantorbernstein01.pdf
Primero Se enunciara y demostrara el conocido teorema de Banach:
M = K K
Pero,
M = K K K (M K)
Y como es monotona creciente, tenemos que: K ((M ) (K)) . Y como para todo
K, K pertence a tenemos que: (K) K, entonces:
K ((M ) K)
Como para todo K (M ) K tenemos que tambien pertence a la interseccion de los K, es
decir,
5
Tarea 2 - Hermon Alfaro - 13635735
(M ) M
Ademas como es monotona creciente, tenemos que ((M )) (M ). Entonces (M )
y como M = K K tenemos que M (M ). Por lo tanto:
M = (M )
Como M = (M ) tenemos que:
M = A g(B f (M )) g(B f (M )) = A M
Entonces los conjuntos:
M y N = f (M )
Cumplen la tesis del teorema.
6
Tarea 2 - Hermon Alfaro - 13635735
Caso 3: x1 M, x2 A M , entonces: f (x1 ) N y (x2 ) B N . Como son conjuntos
disjuntos por definicion, tenemos que: