TOPOLOGA
SOLUCIONES A LAS RELACIONES DE PROBLEMAS
Relacin 3. Continuidad
Ejercicio 3.1.Sea G un abierto arbitrario de la recta eucldea. La continuidad de la
aplicacin XA equivale a ver que H = XA1 (G) sea abierto de (X, T ). El
abierto G estar en uno de los siguientes casos.
1.
2.
3.
4.
0, 1
/ G, entonces H = .
0 G, 1
/ G, entonces H = X A.
0
/ G, 1 G, entonces H = A.
0, 1 G, entonces H = X
Como X y son abiertos en cualquier topologa sobre X, se observa pues
que para que H sea siempre abierto ser necesario y suficiente que X A y A
sean ambos abiertos; es decir, que A sea simultneamente abierto y cerrado.
Ejercicio 3.2.La representacin de la aplicacin f (x) =
1
1+x2
es la siguiente. Nos pre-
f (IR)
guntamos si f es abierta. Para verlo nos fijamos en todo la recta IR cuya
imagen es f (IR) = (0, 1]. As pues f no es una aplicacin abierta.
Tampoco es cerrada pues IR tambin es un cerrado eucldeo.
Ejercicio 3.3.Tenemos que Tcof = {, A con X A finito }. Por tanto la familia de
cerrados ser Fcof = {X, F finito }.
Nos preguntamos por las condiciones que no aseguran que f : (X, Tcof )
(X, Tcof ) sea un homeomorfismo.
1
TOPOLOGA
Necesariamente f debe ser biyectiva. Por tanto siempre f 1 (F ) ser finito
si F lo es. As pues, f es siempre continua. Si repetimos el argumento con
f 1 , tenemos que (f 1 )1 (F ) = f (F ) es finito si lo es F . Por tanto f 1
tambin es una aplicacin continua (o, equivalentemente, f es cerrada). Se
ha denmostrado que cualquier biyeccin f : (X, Tcof ) (X, Tcof ) es un
homeomorpfismo; es decir, para el espacio (X, Tcof ) los homeomorfismos de
este espacio en s mismo son exactamente las aplicaciones biyectivas.
Ejercicio 3.4.La topologa Tcon (denominada topologa conumerable) es la familia de
conjuntos Tcon = {, A tal que IR A es numerable }. Por tanto la familia
de los cerrados es Fcof = {X, F numerable }.
Tenemos que cualquier aplicacin constante entre espacios topolgicos
cualesquiera es simpre continua. Supongamos ahora que f : (IR, Tcon )
(IR, Te ) es continua pero no constante; por tanto deben existir x, x IR con
f (x ) 6= f (x). Suponganos f (x ) < f (x) y sea a IR con f (x ) < a < f (x).
Consideremos los conjuntos A = (, a] and B = [a, ) que son cerrados eucldeos. Por tanto, de ser f continua se sigue que f 1 (A) y f 1 (B)
son cerrados de (IR, Tcon ) y por tanto sern numerables ya que f (A) 6= IR
y f (B) 6= R pues f (x) < a y f (x ) < a, respectivamente. Ahora bien,
IR = A B, luego IR = f 1 (IR) = f 1 (A B) = f 1 (A) f 1 (B), siendo el
conjunto de la derecha numerable. Esto contradice que IR no es numerable
y por tanto f deber ser constante si queremos que sea continua.
Ejercicio 3.5.La aplicacin f (x) = [x] es la parte entera de x y por tanto tiene la
representacin
f (Z)
Queremos saber si es abierta o cerrada como aplicacin f : (IR, Tcof )
(IR, Te ). Para estudiar si es cerrada o no, consideramos un conjunto cerrado,
F , de (IR, Tcof ) que, sabemos, debe ser un conjunto finito a menos que F =
IR. En el primer caso, f (F ) tambin es un conjunto finito y, por tanto, es
cerrado eucldeo. En caso de que F = IR, tenemos que f (IR) = Z y por
tanto tambin es un cerrado eucldeo. No obstante, IR tambien es abierto
TOPOLOGA
de (IR, Tcof ) pero Z no es abierto eucldeo. Hemos probado as que f es una
aplicacin cerrada que no es abierta.
Ejercicio 3.6.Ya sabemos por el primer ejercicio de esta relacin que XQ : (IR, Te )
(IR, Te ) no es continua. Veamos que no lo es en ningn punto. Para ello,
supongamos que f es continua en x0 . Entonces dado 0 < < 12 debera
existir > 0 tal que si |x x0 | < entonces |XQ (x) XQ (x0 )| < . Sin
embargo, si x0 Q podemos encontrar x IR Q con |x x 0| y por ello
|XQ (x) XQ (x0 )| = |0 1| = 1 < < 12 lo que es absurdo. Anlogamente, si
x0 IR Q podemos encontrar x Q con |x x0 | < y llegar a la misma
contradiccin.
Ejercicio 3.7.Nos preguntamos si la aplicacin f : (X, d) (IR, Te ) dada por f (x) =
d(x, A) es continua. Recordemos que en el Ejercicio 10 de la Relacin 1 se
demostraba que dados x e y siempre se tiene |d(x, A) d(y, B)| d(x, y).
Por tanto dado > 0 bastar tomar = para satisfacer el criterio de
continuidad para la aplicacin f .
Ejercicio 3.8.Aplicamos el criterio . Si d2max ((x1 , x2 ), (x1 , x2 )) = m
ax{d(x1 , x1 ), d(x2 , x2 )} <
, entonces d(x1 , x1 ) < y d(x2 , x2 ) < . Ahora tenemos
|d(x1 , x2 ) d(x1 , x2 )| = |d(x1 , x2 ) + d(x1 , x2 ) d(x1 , x2 ) d(x1 , x2 )|
|d(x1 , x2 ) d(x1 , x2 )| + |d(x1 , x2 ) d(x1 , x2 )| d(x2 , x2 ) + d(x1 , x1 ) < 2.
En la penltima desigualdad hemos usado el Ejercicio 10. Bastar tomar
= 2 para satisfacer el criterio .
Ejercicio 3.9.En principio, este ejercicio se puede resolver usando el criterio directamente. No obstante, lo haremos descomponiendo las aplicaciones para apelar
al critero slo en los casos ms simples posibles. Para ellos usaremos
la caracterizacin de la continuidad de una aplicacin f : (IRn , eucldea)
(IRm , eucldea) como la continuidad de las composiciones fi = pi f con las
proyecciones pi : IRn IR (1 i m).
1. Para f (x, y) = (x, x + y, x y) tenemos que f1 es la proyeccin p1 :
IR2 IR, f2 (x, y) = x + y y f3 (x, y) = (x y).
Veamos como la continuidad de f3 se puede reducir a la de f2 .
En efecto, sea : (IR2 , eucldea) (IR2 , eucldea) la aplicacin
(x, y) = (x, y). Tenemos que
f2
f3 : IR2 IR2 IR.
Veamos que es un homeomorfismo con lo que f2 es continua si y slo
si lo es f3 . Para comprobar que es un homeomorfismo observamos
TOPOLOGA
que es biyectiva con inversa = 1 ella misma. Tambin es
continua pues p1 (x, y) = x es la proyeccin p1 : IR2 IR y p2
es la opuesta p2 de la proyeccin p2 : IR2 IR. As pues es un
homeomorfismo.
Para ver que f2 (x, y) = x + y es continua, aplicaremos el criterio
. Sea de la distancia eucldea de IR2 . Tenemos que si
p
d2 ((x, y), (x , y )) = (x x )2 + (y y )2 < ,
entonces
|x x |
|y y |
(x x )2 + (y y )2 <
y
Por tanto
(x x )2 + (y y )2 < .
|f2 (x, y) f2 (x , y )| = |x + y x y | |x x | + |y y | < 2.
Bastar tomar = 2 para satisfacer el criterio .
2. Ahora pasamos a estudiar la continuidad de f (x, y, z) = (x + y +
z, xyz). Tenemos que f1 = p1 f es la aplicacin f1 (x, y, z) = x + y + z,
la suma de tres sumandos, y f2 = p2 f , el producto de tres factores,
f2 (x, y, z) = xyz.
La continuidad de f1 es anloga a la de f2 del ejercicio anterior.
Alternativamente, podemos descomponer f1 como la composicin
h
f1 : IR3 IR2 IR,
donde h es h(x, y, z) = (x + y, z) cuyas proyecciones son h1 (x, y, z) =
x + y y h2 (x, y, z) = z. Tenemos que h1 se puede ver como la composicin de la proyeccin p12 : (IR3 , eucldea) (IR2 , eucldea) dada
por p12 (x, y, z) = (x, y) y la suma de dos coordenadas (es decir, f2
del apartado anterior). Es inmediato que p12 es continua y as h1
es continua. Obviamente h2 es continua pues coincide con al tercera
proyeccin p3 : IR3 IR. La continuidad de g es inmediata pues
coincide con f2 del apartado anterior.
Para f2 = p2 f tenemos que f2 (x, y, z) = xyz es el producto de tres
factores. Reduciremos la continuidad de este triple productos al caso
de slo dos factores. Para ello vemos f2 como la composicin
h
f2 : IR3 IR2 IR,
donde h es ahora h(x, y, z) = (xy, z) y g(x, y) = xy. Por tanto, vemos que la continuidad de f2 se puede reducir a la continuidad de
g (obsrvese que h = gp12 donde p12 : IR3 IR2 es, de nuevo,
p12 (x, y, z) = (x, y)). Para ver la continuidad de g aplicamos el criterio
y tenemos que si
p
d2 ((x, y), (x , y )) = (x x )2 + (y y )2 <
TOPOLOGA
entonces
|x x |
|y y |
(x x )2 + (y y )2 <
y
En particular,
(x x )2 + (y y )2 < .
|y | = |y y + y| |y y | + |y| < + |y|.
Por tanto
|g(x, y)g(x , y )| = |xyx y | = |xyxy +xy x y | |x||yy |+|y ||xx |
|x||y y | + |x x | + |y||x x | < |x| + 2 + |y| <
si tomamos
0 < < mn{1,
,
, }.
3|x| 3|y| 3
Ejercicio 3.10.x
= 1 si x < 0 y f (x) = 1 si x > 0. Por tanto f es
Obviamente f (x) = |x|
continua salvo en x = 0.
Ejercicio 3.11.Veamos que el conjunto C = {x X f (x) = g(x)} coincide con su
clausura. Como siempre C C, bastar comprobar la inclusin C C. Sea
pues x0 C. Entonces, por la caracterizacin de la clausura por sucesiones,
existe una sucesin {xn }1 C convergiendo a x0 . Como xn C, tenemos
f (xn ) = g(xn ) para todo n 1. Por continuidad, {f (xn )}n1 = {g(xn )}n1
conerge a f (x0 ) y g(x0 ), respectivamente. Entonces f (x0 ) = g(x0 ) por la
unicidad de lmites en los espacios mtricos. Por tanto, x0 C y tenemos
C C.
Si ahora suponemos que f = g sobre un conjunto denso D X, entonces,
por definicin, D C, y por la monotona de la clausura y la primear parte,
D C = C. Finalmente, D es denso y por ello X = D C. As que X = C
y f = g.
Una demostracin alternativa de que C es cerrado usando slo la propiedad
de separacin Hausdorff (lo que implica que el resulta es vlido para todo espacio toplgico con dicha propiedad) es la siguiente: Supongamos que
x0
/ C, entonces f (x0 ) 6= g(x0 ). Aplicamos la propiedad de Hausdorff y
encontramos dos abiertos y en el espacio de llegada con f (x0 ) ,
g(x0 ) y = . Por continuidad, V = f 1 () y V = f 1 ( ) son
conjuntos abiertos que contienen a x0 . Por tanto, como x C, la interseccin
(V V ) C 6= no es el conjunto vaco. Sea x (V V ) C. Entonces,
f (x) = g(x) = que es una contradiccin. As que, necesariamente
x0 C y tenemos, de nuevo, la inclusin C C.
Ejercicio 3.12.-
TOPOLOGA
Sabemos que los conjuntos unitarios de cualquier espacio mtrico son conjuntos cerrados (Problema 2.17). Por continuidad, tenemos entonces que
f 1 (a) es cerrado. Enqparticular, la aplicacin f : (IRn , de ) (IR, de ) dada
Pn
2
por f (x1 , . . . , xn ) =
i=1 xi = de (x, ), la distancia de x = (x1 , . . . , xn )
al origen , es continua (ver Problema 3.8). Tenemos entonces que para todo r > 0, la anteimagen f 1 (r) es el conjunto formado por los puntos que
distan r el origen; es decir, la esfera centrada en el origen y de radio r es un
conjunto cerrrado.
Ejercicio 3.13.Es inmediato, pues por ser D denso, D = X. Adems por ser f sobreyectiva f (X) = Y . Finalmente, por continuidad Y = f (X) = f (D) f (D); es
decir, Y f (D). Necesariamente, f (D) = Y y f (D) es denso en (Y, T ).
