Universidad de la Rep ublica, Facultad de Ciencias, Centro de Matematica.

Introduccion a la Topologa Curso 2006.

Practico 2
Ejercicio 1
(i) Utilizar el axioma de eleccion para probar que si f : A B es una funcion sobreyectiva,
entonces f tiene una inversa a derecha.
(ii) Probar que si f : A B es inyectiva y A es no vaco, entonces f tiene una inversa a
izquierda. Es necesario el axioma de eleccion?
Ejercicio 2 La mayora de las paradojas de la teora ingenua de conjuntos estan asociadas de
alguna manera u otra al concepto de conjunto de todos los conjuntos. Ninguna de las reglas
para formar conjuntos nos permite considerar tal conjunto. Y por una buena razon, el propio
concepto es contradictorio en si mismo. Para esto sea A es el conjunto de todos los conjuntos.
(i) Mostrar que P(A) A; concluir una contradiccion.
(ii) (Paradoja de Russell ) Sea B el subconjunto de A que consiste de todos aquellos conjuntos
que no son elementos de s mismos:
B = {A : A A y A / A}
(Por supuesto que puede no existir un conjunto tal que A A; en tal caso B = A.) Es
B un elemento de s mismo o no?
Ejercicio 3 Sean A y B dos conjuntos no vacos. Si existe una inyeccion de B en A, pero no
existe una inyeccion de A en B, decimos que A tiene mayor cardinalidad que B.
(i) Probar que todo subconjunto no numerable tiene mayor cardinalidad que Z
+
.
(ii) Mostrar que si A tiene mayor cardinalidad que B y B tiene mayor cardinalidad que C,
entonces A tiene mayor cardinalidad que C.
(iii) Encontrar una sucesion A
1
, A
2
, . . . de conjuntos innitos, tales que para cada n Z
+
, el
conjunto A
n+1
tiene mayor cardinalidad que A
n
.
(iv) Encontrar un conjunto tal que para cada n, dicho conjunto tenga mayor cardinalidad que
A
n
.
Ejercicio 4 Mostrar que todo conjunto bien ordenado posee la propiedad de cota superior
mnima.
Ejercicio 5
(i) Mostrar que en un conjunto bien ordenado, todo elemento excepto el maximo (si existe
alguno) tiene un sucesor inmediato.
(ii) Encontar un conjunto tal que todo elemento tenga sucesor inmediato pero que no sea bien
ordenado.
Ejercicio 6 Probar que ambos, {1, 2} Z
+
y Z
+
{1, 2}, son conjuntos bien ordenados con el
orden lexicograco. Tiene el mismo tipo de orden?
Ejercicio 7 Mostrar que el teorema de la buena ordenacion implica el axioma de eleccion.
Ejercicio 8 Sea S

el conjunto minimal entre los conjuntos no numerables y bien ordenados.

1
(i) Mostrar que S

no tiene elemento maximo.

(ii) Mostrar que para todo S

el conjunto {x : < x} es no numerable.

(iii) Sea X
0
el subconjunto de S

que consiste de todos los elementos x tales que x no tiene

predecesor inmediato. Mostrar que X
0
es no numerable.
Ejercicio 9 Sea J un conjunto bien ordenado. Un subconjnuto J
0
de J se dice inductivo si para
todo J,
(S

J
0
) J
0
Teorema:
El principio de induccion transnita: Si J es un conjunto bien ordenado y J
0
es un
subconjunto inductivo de J, entonces J
0
= J.
Ejercicio 10 Dados dos puntos (x
0
, y
0
) y (x
1
, y
1
) de R
2
, denimos
(x
0
, y
0
) (x
1
, y
1
)
si x
0
< x
1
e y
0
y
1
. Mostrar que las curvas y = x
3
e y = 2 son subconjuntos maximales
lienalmente ordenados de R
2
, y que la curva y = x
2
no lo es. Encontrar todos los subconjuntos
linealmente ordenados.
Ejercicio 11 Mostrar que el Lema de Zorn implica lo siguiente:
Lema de Kuratowski: Sea A una coleccion de conjuntos. Supongamos que para toda
subcoleccion B de A lienalmente ordenada por la inclusion propia, la union de los ele-
mentos de B pertenece a A. Entonces A contiene un elemento que no esta contenido
propiamente en ning un otro elemento de A.
Ejercicio 12 Una utilizacion tpica del Lema de Zorn en algebra es la prueba de que todo
espacio vectorial tiene una base. Recordar que si A es un subconjunto de un espacio vectorial
V , decimos que un vector pertenece al subespacio generado por A si es igual a una combinacion
lineal nita de elementos de A. El conjunto A es independiente si la unica combinacion lineal
nita de elementos de A que es igual al vector nulo es la trivial con sus coecientes todos nulos.
Si A es independiente y todo vector de V pertenece al subespacio generado por A, entonces A
es una base de V .
(i) Si A es independiente y v V no pertenece al subespacio generado por A, mostrar que
A {v} es independiente.
(ii) Mostrar que la coleccion de todos los subconjuntos linealmente independientes tiene un
elemento maximal.
(iii) Mostrar que V tiene una base.
2