Espacios Topolgicos

Un espacio topolgico es el par formado por un conjunto X y una familia T={Ai}i I de subconjuntos de X, llamados abiertos, tales que cumplen las siguientes condiciones: 1) Toda reunin (finita o no) de abiertos es abierto. 2) Toda interseccin finita de abiertos es abierto. 3) El conjunto X y el conjunto vaco son abiertos. La Familia T se llama topologa sobre un conjunto de X, y el espacio topolgico correspondiente lo anotamos (X, T). Dado un conjunto X y dos topologas, T1, T2, sobre l, diremos que T1, es ms fina que T2, y escribimos T1>T2, si todo abierto de T2 es un abierto de T1. Tambin diremos que T2 es menos fina que T1. 1.1 Sea N el conjunto de los nmeros naturales, y sea T la familia de partes de N, formada por:

N , , {1},{1,2},{1,2,3},etc.
Demuestre que T es una topologa sobre N.

1.2 Sean T y T dos topologas de un conjunto X. Demustrese que la familia, formada por los abiertos comunes a ambas, es tambin una topologa de X. {a, b} {c, d } = {b} T T Dse un ejemplo de un conjunto X y dos topologas, T, T, sobre l, tal que la familia T T no es una topologa de X. Solucin : I) T T est formado por los abiertos que pertenecen a T y a T. Luego: a) X , T T . b) La reuni de abiertos de T T pertenece a T T , pues pertenece a T y a T. c) La interseccin de dos abiertos de T T pertenece a T y T, pues ambos pertenecen a T y T. Luego dicha interseccin pertenece a T T .

II) X = {a, b, c} . T = { X , ,{a, b}} y T = { X , ,{c, d }} son topologas sobre X. = { X , ,{a, b},{c, d }} no es una topologa, pues T T {a, b} {c, d } = {b} T T .

1.3 Sea X un conjunto cualquiera. Demustrese que existe en X una topologa sobre X, y otra llamada indiscreta, menos fina que todas las posibles topologas sobre X, y otra llamada discreta, que es la ms fina.
Solucin : La topologa indiscreta es la formada por X y , y la discreta es la formada por todas las partes de X.

1.4 Sea T la familia formada por R2, y los subconjuntos {Gk }kR de R2, definidos de la siguiente forma:

Gk = {( x, y ) R 2 / x > y + k} Prubese que toda T es una topologa sobre R2.

Solucin : I) R2 , T

II) Consideremos la subfamilia. Gk T , k M R . Distinguiremos dos casos: que M est acotado inferiormente, o que no lo est. a) Sea m=inf.M. Entonces

kM

= Gm T .

En efecto:
( x, y ) Gk k M tal que
kM

( x, y ) Gk x y > k m ( x, y ) Gm

Luego: ( x, y ) Gm x y > m k M , tal que x y > k pues, de lo contrario, x-y sera una cota inferior de M, mayor que m. Luego ( x, y ) Gk ( x, y ) Gk
kM

y Gm

kM

b) M no est acotado inferiormente. Entonces

kM

= R2

En efecto:
( x, y ) R 2 k M tal que x y > k pues, por lo contrario, M estara acotado inferiormente por x-y. Luego ( x, y ) Gk ( x, y ) Gk
kM

III) Sean

Gk1 , Gk2 T y sea, por ejemplo, k1 = max(k1 , k2 ) Entonces,

Gk1 Gk2
pues

( x, y ) Gk1 x y > k1 > k2 ( x, y ) Gk2

Luego Gk1 Gk2 = Gk1 T Sea un espacio topolgico(X,T). Diremos que un subconjunto C X es un cerrado de dicho espacio topolgico, si su complemento es abierto.

1.5 I) Diremos que la familia = {Ci }iI , de cerrados de un espacio topolgico (X,T) cumple las siguientes propiedades:

a) La interseccin (finita o no) de cerrados es cerrado. b) La unin finita de cerrados es cerrado. c) Los conjuntos X y son cerrados. II) Demustrese que, dados un conjunto X y una familia = {Ci }iI de partes de X que cumplan las tres propiedades anteriores, existe una nica topologa en X que la tiene como familia de cerrados.
1.6 Constryase un espacio topolgico no discreto ni indiscreto, en que los conjuntos sean idnticos a los conjuntos cerrados.

Solucin: Sea X un conjunto con dos puntos, por lo menos. Sea A X tal que y A A X y sea B= A entonces formamos T = {, X , A, B} y ( X , T ) cumple la condicin pedida.

1.7 Dado un espacio topolgico ( X , T ) y un subconjunto Y X , demustrese que la familia de partes de Y:

TY = { A Y / A Y } es una topologa sobre Y. Esta topologa se llama topologa relativa o subordinada por la topologa de T de X, y el espacio (Y , TY ) se llama subespacio topolgico de ( X ,T ) .
1.8 Sea un espacio ( X , T ) u dos subconjuntos Y,Z de X, tales que Z Y X . Demustrese que la topologa relativa de T a Z, TZ , coincide con la topologa relativa de TY a Z, (TY)Z. 1.9 Sea (Y , TY ) un subespacio de ( X , T ) . Demustrese que

Y T (B TY B T ).
Solucin: )

Y TY por tanto

Y T

B TY B = Y B1 ;( B1 T ) B T

(Dse una proposicin anloga para cerrados). Sea el espacio ( X , T ) . Diremos que la familia = {Bi }iI de elementos de T es una Base de la topologa T si todo abierto de T es reunin de elementos de .
1.10 I) Sea = {Bi }iI una base topolgica T sobre X. Demuestrese que dicha base cumple las siguientes propiedades:

1)

B
iI

= X.

2) Para Bi , B j y x Bi B j Bk tal que

x Bk Bi B j
II) Sea = {Bi }iI una familia de partes de un conjunto X, tal que cumpla las dos condiciones anteriores. Demustrese que la familia T de pares de X, definida de la siguiente forma:
AT A es una familia de elementos de es una topologa sobre X. Dicha topologa se lama engendrada por , y se escribe T ( ) . Demustrese que dicha topologa es la menos fina de X, que contiene a la familia .

1.11 Sea R el conjunto de los nmeros reales, y la familia de partes de R de la forma:

{(a, b)}a ,bR
a <b

donde

(a, b) = {x R / a < x < b}.

Demustrese que dicha familia cumple las condiciones de base del problema anterior . La topologa engendrada por dicha familia se llama topologa usual sobre R; R con dicha topologa, se llama recta real, y lo anotamos R.

1.12 Sea Q el conjunto de los nmeros racionales, y la familia de partes de Q de la forma:

{(a, b)}a ,bQ
a <b

donde:

(a, b) = {x Q / a < x < b}. Demustrese que dicha familia cumple las condiciones de base. Q, con la topologa engendrada por dicha base, se llama recta racional , Q.

1.13 Sea un conjunto X con dos topologas, T1 y T2 . Sea B una base de la topologa T1 , y supongamos que dado elemento de B es una abierto
de T2 . Demustrese que T1 < T2 .

1.14 Sea X un conjunto totalmente ordenado por la relacin de orden . Se considera la familia , de partes de X, de la forma
{(, a )}aX ,{(a, )}{(a, b)}a ,bX
a <b

donde

(a, b) = {x X / a < b}, (, a) = {x X / x < a}, (a, ) = {x X / x > a}

a) Prubese que dicha familia cumple las condiciones de base.(La topologa que engendra se llama topologa del orden de X.) b) Demustrese que la topologa del orden es la menos fina sobre X que hace el orden continuo en el siguiente sentido: (a < b) U a , U b : ( x U a , y U b x < y ) ( U a abierto que contiene a a ) Solucin: La demostracin del apartado a) es muy sencilla, y se deja para el lector. Veamos que [ X , T ( )] hace continuo el orden:

 a ) c : a < c < b a < b b)c : a < c < b Analicemos ambos casos: a) Tomamos U a = (, c) ;U b = (c, ) y verifica
x U a x < c x< y b y U c < y

b) tomamos
U a = (, b) ;U b = (a, )

ya que si

x y y<x o x= y

entonces y

a < y < x < b o a < x = y < b.

con lo que llagamos a una contradiccin de la hiptesis b). Supongamos ahora una topologa T sobre X que haga continuo el orden, y vamos a ver: T > T ( ) Para ello basta ver que todo elemento de es un abierto de la topologa T . Sea (a, ) Entonces b (a, ) a < b ;
x U a x< a < b U a ,U b : b y U
donde

y ;

U a , U b T .
Veamos que

U b (a, ) .
En efecto, sea

y U b

Entonces

x U a a < y ; por tanto y (a, ) . b y U

Luego

U b (a, )
De donde
( a , ) =

b( a , )

U b T

Anlogamente, ticket finalmente Luego y, por tanto,

(, b) T (a, b) = (, b) (a, ) T .

T ,
T ( ) T

1.15 Sea X un conjunto totalmente ordenado y un subconjunto Y X . Prubese que la topologa del orden en Y no coinciden, en general, con la topologa relativa a y de la topologa del orden de X.
Solucin: Sean

X = R(, el orden usual) Y = (, 1) {0} (1, ) R

En la topologa relativa, el {0} es abierto, pues

{0} = (1,1) Y
pero no puede ser reunin de intervalos de Y de las formas

(a, );(, b);(c, d ) .

Luego {0} no es abierto en la topologa del orden de Y.

1.16 Sea

X = {1, 2,3, 4,5}

Demustrese que no existe ninguna topologa en X que tenga por base a al familia

= {{1, 2}{2, 4,5}{3, 4,5}}

Solucin: Supongamos que existe dicha topologa T. Entonces,

{1, 2},{2, 4,5} T

y, por lo tanto

{1, 2} {2, 4,5} = {2} T

lo cual es absurdo, pues {2} no se puede obtener como reunin de elementos de .

1.17 Prubese que la familia de intervalos cerrados = {[a, b]} de R, donde a Q, b R Q, y a < b , es base de una topologa en R. Demustrese que no lo es la familia
{[a, b]} , con a, b Q, a < b Solucin: a)

[ a ,b ]

[ a, b ] R

Esta inclusin es evidente. Veamos que

R

[ a ,b ]

[ a, b]

En efecto,

x Q x R o x R Q; si x Q , entonces, x [ x, y ] siendo si x R Q , se tiene que y R Q, x < y ;

x [ y, x]

donde y en ambos casos

y Q, y < x

x Luego R= b) Sean

[ a ,b ]

[ a, b ]

[ a ,b ]

[ a, b ]

W ,V
Se tiene pues

y sea x V W .

V = [a, b] , W = [c, d ] y b c. b R Q y c Q

Supongamos a < c . Caben entonces los siguientes casos: V W = W V W = [c, b], x [c, b] Supongamos c=a. Caben entonces los siguientes casos: V W = W V W = V V = V Si c<a, tenemos una discusin anloga al primer caso. Luego en todos los casos existe un elemento de contenido en V W , al cual x pertenece. Vamos a ver ahora que la segunda familia no es base. Sean

V = [a, b],W = [b, d ]

Entonces

{b} = V W

y entonces no existe ningun elemento de contenido en V W , al cual b pertenezca. Diremos que dos bases , , en un conjunto X, son equivalentes si engendra la misma topologa.

1.18 Demustrese que la condicin necesaria y suficiente para que dos bases , del conjunto X sean equivalentes es que se cumplan las dos condiciones siguientes:
a) B , x B, B : x B B b) B , y B, B : y B B .

1.19 Sea un espacio topolgico ( X , T ) , sea B una base de T y sea Y X . Demustrese que la familia BY = {Bi Y }Bi B es una base de TY . 1.20 Demustrese que recta racional es un subespacio de la recta real.
Solucin: Demostraremos que la base BQ , subordinada por la base B de R, y la base B de Q, son equivalentes. Sea

x (a, b) Q BQ , a, b R p, q Q : ( p, q) (a, b), x ( p, q) B Recprocamente, sea y ( p, q) B, p, q Q Entonces y ( p, q ) = ( p, q ) Q BQ

Sea un espacio topolgico (X,T) y se x X . Diremos que un subconjunto V de X es un entorno de x si
A T : x A V .

Entonces

La familia
B( x) = {V ( x) X / V ( X ) entorno de x}

se llama sistema de entornos de x.

1.21 Sean (X,T) y x X . Demustrese que el sistema de entornos B(x) satisface las cuatro propiedades siguientes:
a) V ( x) B( x) x V ( x). b) V1 ( x), V2 ( x) B ( x) V1 ( x) V2 ( x) B ( x) . c) V B( x) y U V U B( x). d) U B( x) A U y A B( x) tal que t A se verifica U B (t ).

1.22 Sea un conjunto X, y supongamos que en cada punto x X tenemos definida de partes de X que anotaremos B(x), y que satisface las cuatro propiedades del problema anterior.

Se define entonces a la familia T de partes de X de la siguiente forma:

A T x A : A B( x)
a) Demustrese que T es una topologa sobre X. b) Demustrese que en todo punto x X se verifica que B( x) es el sistema de entornos en x del espacio (X,T). c) Demustrese que dicha topologa es la nica en X, tal que se verifica la condicin anterior.

1.23 Sea (X,T) y sea un subconjunto A X . Demuestrese que la condicin necesaria y suficiente para que a sea abierto es que sea entorno de todos sus puntos.
Sean (X,T) y x X . Diremos que B ( x) B ( x) es un sistema fundamental de entornos o base de entornos de x si:
_____

V ( x) B( x) U ( x) B( x) : U ( x) V ( x)

_____

1.24 Sean (X,T) y x U . Demustrese que los sistemas fundamentales de

_____

entornos B ( x) verifican las tres propiedades siguientes: a) U B ( x) x U . b) U , V B ( x) U V W B ( x) . c) U B( x) W B ( x), t W , U B (t ) : U U

_____ _____ __ _____ __ _____ _____ _____

[Tmese W tal que x W A U , donde A T , W B( x) ]

_____

1.25 Sea un conjunto X, y supongamos que en cada punto x X tenemos

_____

definida una familia de partes de X que anotaremos B ( x) , y que satisface las tres propiedades del problema anterior. Se define entonces la familia B( x) de partes de X de la siguiente forma:

V B ( x) U ( x) B ( x) : U ( x) V .

_____

a) Demustrese que B( x) cumple las cuatro propiedades del problema 1.21, y, por tanto, es sistema de entornos de una topologa T sobre X.
_____

b) Demustrese que B ( x) es un sistema fundamental de entornos de B ( x) . c) La familia B( x) construida es nica tal que cumple a) y b). Demustrese, por tanto, que la topologa T sobre X es la nica tal que en cada punto x X se tenga que B ( x) sea sistema fundamental de entornos.
_____

1.26 Sean (X,T) y x X . Demustrese que B ( x) = { A T / x A}

Es una base del sistema de entornos B( x) . Dado (X,T) y x X , el sistema de entornos B ( x) es nico, pero puede existir mas de un sistema fundamental de entornos. Diremos que dos sistemas fundamentales de entornos son equivalentes si dan lugar a la misma topologa (vase problema 1.25).
____

1.27 Sea la recta real R y x R . Demustrese que los siguientes conjuntos son sistemas fundamentales de entornos de x R , y, por tanto, equivalentes:
a) {( x a, x + a ) / a R, a > 0} = Ba x . b) {[ x a, x + a ] / a R, a > 0} . c) {( x a, x + a ) / a Q, a > 0} . d) {( x a, x + a ) / a I = R Q, a > 0} . Sean (X,T) y x X . Diremos que B ( x) es un sistema fundamental de entornos abiertos si es sistema fundamental de entornos y todos sus elementos son abiertos. Ejemplo: los sistemas a),c) y d) del problema anterior y el sistema del problema 1.26.
_____

1.28 a) sean (X,T), una base B de T y x X . Demustrese que la familia

{ A T / x A}
es una base de T.

1.29 Sea q Z primo. Sean n Z y la familia de conjuntos

U r (n) = { = n + mq r / A B( x)}

obtenidos para r Z + . Demustrese que dicha familia forma un sistema fundamental de entornos abiertos de n, pero no formara, en general, un sistema de entornos. Solucin: I)

Veamos que dicha familia cumple las tres propiedades del problema 1.24. a) n = n + 0q r U r (n)(r Z + ). b) Sean

U r1 (n), U r2 (n); r1 , r2 Z + y sea, por ejemplo, r1 = max(r1 , r2 ) Entonces, U r1 (n) U r2 (n) . En efecto: Z U r1 (n) Z = n + mq r1 = n + mq r1 r2 q r2 Z U r2 (n) Luego U r1 (n) U r2 (n) = U r1 (n) .
c) Z1 U r1 (n) m1 : Z1 = n + m1q r1 . Sea, entonces, U r1 ( Z1 ) y se verifica que

U r1 ( Z1 ) U r1 (n) .
En efecto: Z U r1 (n) m Z : Z = Z1 + m1q r1

Z = n + m1q r1 + mq r1 = n + (m1 + m)q r1 Z U r1 (n)

Adems, todo elemento de la familia es abierto por ser entorno de todos sus puntos. II) Veamos que, en general, no se verifica la condicin 3) del problema 1.21. Sea, por ejemplo,

q = 2, n = 1

U r2 (1) = {Z = 1 + m22 / m Z } = {Z = 1 + 4m / m Z } Sea Supongamos V = U r (1), r Z + Entonces, V = U 2 (1) {0} U 2 (1).

0 = 1 + m2r r = 0
V =Z Pero esto es absurdo, pues 2 U 2 (1) y, por tanto, 2 V Segn la definicin de V. Luego

m = 1

Sea (X,T) y una familia S = {Si }iI de partes de X. Diremos que S es una subbase de T si la familia formada por todas las intersecciones finitas de elementos de S, o sea,
A / A = Si , L I , Lfinito iL es una base de T.

1.30 Demustrese que los conjuntos de la forma

(, a), (b, ), a, b R forman una subbase de la recta real.

1.31 Sean un conjunto X, y una familia S = {Si }iI , de partes de X. a) Demustrese que la familia de partes de X, definida de la manera siguiente, A / A = Si , L I , Lfinito iL
Satisface las condiciones de base, y, por tanto, engendra una topologa, que anotaremos T(S). b) Demustrese que dicha topologa T(S) es la menos fina de todas las que contienen a S.

1.32 Dado un conjunto X, consideremos un subconjunto A fijo de X, y la familia de partes de X:

T ( A) = {0 ( X ) / 0 A} {} . a) Prubese que T(A) es una topologa sobre X. b) Prubese que T ( A1 ) > T ( A2 ) A1 A2 Solucin: I a) T ( A) por definicin, y X A X T ( A) I b) Oi T ( A) i : Oi A Oi A Oi T ( A) I c) O1 , O2 T ( A) O1 A, O2 A O1 O2 A O1 O2 T ( A)

II a) T ( A1 ) > T ( A2 ) A2 T ( A1 ) A1 A2 II b) Supongamos A1 A2 . Entonces, para todo O T ( A2 ) se verifica O A2 A1 luego O T ( A1 ) y T ( A1 ) > T ( A2 ) .

1.33 Sean B, B dos subconjuntos no vacos de un espacio topolgico X, y sea A un Subconjunto de B B, que es abierto (cerrado) tanto respecto a B como a B . Demustrese que A es abierto (cerrado) respecto a B B .
Solucin:
A = A1 B donde A1 , A2 son abiertos A = A2 B

( A1 A2 ) ( B B) = ( A1 A2 B ( A1 A2 B) =
= ( A A2 ) ( A A1 ) = A A = A.

Luego A es abierto respecto a B B .Anlogamente, se demuestra para cerrados.

Subconjuntos notables. Sucesiones.

Sea (X,T) y un subconjunto M X . Entonces, definimos los siguientes puntos: a) x X es interior a M si M es entorno de x . El conjunto de los puntos
o

interiores de M se anota M , y se llama interior de M. b) x X es exterior a M si es interior a M c . El conjunto de los puntos exteriores de a M se anota Ext., y se llama exterior de M. c) x X es adherente a M si todo entorno de x contiene algn punto de M. El
___

conjunto de los puntos adherentes a M se anota M , y se llama adherencia de M.

d) x X es punto de acumulacin de M si todo entorno de x contiene algn punto de M distinto de x . El conjunto de puntos de acumulacin de M se escribe M y se llama derivado de M. e) x X es punto frontera de M si es adherente a M y a M c . El conjunto de los puntos frontera de M se anotara FrM, y se llama frontera de M.
___

Diremos que M es denso en X si M =X. Finalmente, diremos que x X es aislado si existe un entorno suyo que no contiene otro punto de X, sino x .
2.1 Sea M = (0,1) {2} , subconjunto de R. Demustrese que:

a) M = (0,1) ; b) M = [0,1] {2} ; c) M = [0,1] ; d) FrM = {0} {1} {2} ; e) ExtM = (, 0) (1, 2) (2, ) ; f) {2} no es punto aislado de R, pero s lo es de ( M , TM ).
o
___

2.2 I) Demustrese que M es abierto, y que es el mximo abierto contenido en M.

II) Demustrese que M satisface las siguientes propiedades: 1) M M ;

o

2) M = M ;
____ o_____

3)

M N = M = N.
___

2.3 I) Demustrese que M es cerrado, y que es el mnimo cerrado que contiene a M.

___

II) Demustrese que M satisface las siguientes propiedades: 1) M M ;

___

____

2) M = M ; 3) M N = M N .
2.4 Demustrese que
M = M M.
___

___

___

_________

___

___

2.5 Demustrese que

Mc = Mc .
___ o

2.6 Demustrese que

FrM = M M c .
___ ___

2.7 Demustrese que

FrM = M M .
___ o

2.8 Demustrese que

FrM = ( M M c ) ( M M ) .

___

___

Solucin: Sabemos que FrM = M M c

___ ___

x FrM x M
Caben dos casos: Si

___

xM c

___

x M x M M c x (M M c ) (M M )

___

___

___

y si x M x M M x (M M c ) (M M )
___ ___ ___

Luego, en todo caso: x (M M c ) (M M ) Sea ahora

x (M M c ) (M M )
___ ___ ___ ___

Caben dos casos: a)

xM M xM xM
___
c

___

___

y xM
___

y xM xM x FrM

y xM

___ c

b)
xM M xM x FrM
___ c ___

y xM c

___

Luego ( M M c ) ( M M ) FrM .
___ ___

2.9 I) Se considera en N la familia T1 formada por , N y todos los subconjuntos de N de la forma An = {1, 2,..., n} .

Prubese que dicha familia es una topologa de N. II) Se considera en N la familia T2 formada por , N y todos los subconjuntos de N de la forma Bn = {n, n + 1,...} . Prubese que esta familia es tambin una topologa de N. III) Determnese

{3, 4}, {3, 4}

____

y Fr {3, 4}

en ambos espacios topolgicos. Solucin: I) a) , N T1 b) Sea An T1 (n M N ). Slo caben dos casos: Si M no est acotado, entonces An = N T1
nM

Si M no esta acotado, sea m = extsutM y entonces

nM

=Am An , Am T1

c) Sean y sea, Entonces An Am II) a) , N T2 b) Bn T2 , (n M N ) y sea Entonces c) Sean Bn , Bm T2 Sea, por ejemplo, Entonces Bn Bm III) En ( N , T1 ) es: y Bn Bm = Bn T2
m = ext inf M

n = min(n, m) y An Am = An T

nM

=Bm T2

n = max(n, m)

{3, 4} =
{3, 4} = N A2 = {3, 4,5,...}
Fr {3, 4} = {3, 4} {3, 4} = N A2 En ( N , T2 ) es:
____ o ____

{3, 4} =

{3, 4} = N B5 = {1, 2,3, 4}

Fr {3, 4} = {3, 4} {3, 4} = N B5
2.10 Sea un subconjunto X. Se define la familia T formada por , X y todos los subconjuntos 0 X, tales que X-0 es finito.
____ o

____

I) II) III) IV)

Prubese que T es una topologa sobre X. Caractercense los cerrados de (X,T). Encuntrese la adherencia de una sucesin arbitraria del espacio. Demustrese que A X se verifica que A es cerrado.

Solucin: I. a) b) Sean

, X T Oi T , (i I )

Entonces es finito. Luego

X Oi = ( X Oi )
iI iI

O I
i iI

c) Sean O1 , O2 T Entonces X (O1 O2 ) = ( X O1 ) ( X O2 ) es finito. Luego O1 O2 T II. Los cerrados son los subconjuntos finitos de y X. III. Sea A = { X n } una sucesin de X. Distinguiremos dos casos: a) A finito. Como todo punto de X es cerrado, A es reunin finita de cerrados y, por tanto, cerrado. Luego

A= A b) A infinito. Entonces el nico cerrado que puede contener a A es X. Luego IV. Sea A X , a) A finito. Entonces A cerrado y A = A = A A Luego A A finito y, por tanto, cerrado. b) A infinito. Entonces A= X . En efecto, sea x X , y vamos a ver que si x A llegamos a un absurdo. x A V x abierto tal que (V x { x}) A = ;
(V x { x}) A = V x ( A { x}) = ;
___

___

X= A

___

V x ( A { x}) = = A { x} V x finito;

2.11 Dese un ejemplo de dos subconjuntos abiertos A, B de R tales que los cuatro conjuntos:

A B , B A , A B, A B sean distintos. Solucin:

A = (0, 2) B = (0,1) (2,3) A B = (0,1] B A = [0,1) A B = [0,1]
___ _______ ___ ___

___

___ _______ ___

___

A B = [0,1] {2} . Prubese que para todo el conjunto finito A de la recta real, se verifica:

___

2.12

a) A cerrado; b) A= Solucin: I) En R todo punto x es cerrado, pues C { x} = (, x) ( x, ).

Luego es reunin finita de cerrados y, por tanto, cerrado. II) Sea A = { x1 ,..., xn }
x1 A

En efecto, existen los entornos V 2 ,..., V n de x1 tales que

x2 V 2 ,..., xn V n
Sea
V = V 2 ... V n . Entonces V es un entorno de x1 tal que (V { x1}) A =

Anlogamente, se prueba que los restantes puntos de A no pertenecen a A . Luego A A=

2.13
A = A = A A A= Dse un ejemplo de dos intervalos A y B de la recta real, tales que B A A B
___ _______ ___

Solucin:

[ 0,1) (1,3) {5} = A

2.14 Pngase un ejemplo de un subconjunto de la recta real que no sea abierto ni cerrado.

Solucin. Q.
2.15 Se considera el subconjunto de la recta real.

[ 0,1) (1,3) {5} = A

Con la Topologa TA subordinada por la usual . I) Digase si {5} es abierto o cerrado en ( A, TA ) . II) Digase si (1,3) es abierto o ce3rrado en (A,TA) III) Calculese la adherencia de [ 0,1) en (A,TA) IV) Vease si [ 0,1/ 2] es un entorno de {0} en (A,TA). Solucion :

I) {5}={{5} A y {5} cerrado en (R,T). Luego {5} cerrado en (A,TA) {5}=(4,6) A y (4,6) abierto en (R,T) Luego {5} abierto en (A,TA) Luego {5} es abierto y cerrado en (A,TA)

II) Es abierto y cerrado: (1,3)=(1,3) A (1,3)= [1,3] A

[ 0,1) = [ 0,1] Luego [ 0,1) es cerrado en ( , TA ) , y [ 0,1) = [ 0,1)

IV)

III)

= 10;

V :

>10 ; V

(V { }) [ 4,10 ) ( ,10 ) ; = ( , )(10 < < ) : (V { } ) [ 4,10 ) =

Luego en los cuatro primeros casos, es punto de acumulacin de [ 4,10 ) , y en el quinto no lo es. Luego (V 8 = ( , ) ) : (V 8 {8}) {8} = . [ 4,10 ), = ( ,10]. a) <8 ; V : (V { } ) {8} = {8} . b) = 8 ; V 8 c) > 8 ; V
8 8

Calculamos ahora {8} . Sea R, en los siguientes tres casos:

,

(V = ( , ) ) : (V {8}) {8} = . (V = ( , ) ) : (V { }) {8} =

Luego en el primer caso es punto de acumulacin de {8} , y en el segundo caso y tercero no lo es. Luego , {8} = ( ,8) . Calculemos, finalmente, Z ` . Sea R en los siguientes dos casos: a) Z , V se tiene (V { } ) Z . b) Z , V se tiene

(V { }) Z .

Luego, en todo caso, es punto de acumulacin de Z, y R= Z .

2.19 Sean ( X , T ) y un subconjunto A X . I) Prubese , mediante un contraejemplo, que la relacin

ExtA A no es, en general , cierta. II) Hllese una condicin suficiente para que lo sea (A, abierto). III) Prubese que esta condicin no es, en general, necesaria. Solucin: I) Sean A= Q ( X , T ) =R,
Entonces,

Q = ,

ExtQ =

ExtQ Q

=.

II) A abierto =A. Luego A Ext A A =

ExtA ExtA

( , abierto ) .

ExtA

pues ExtA contiene A

III) Un contraejemplo es el siguiente: Sean ( X , T ) = R y Cerrado y no abierto. Entonces,

A= [ 0,1]

= ( 0,1) :
Luego

ExtA = ( , 0 ) (1, ) .

Ext A =R- {0,1}

ExtA =R
=R .

ExtA

2.20 Sean ( X , T ) y un subconjunto abierto A X . Prubese que

B B

( B X )

y pngase un ejemplo en que no se verifique la igualdad. Pngase tambin un ejemplo en que se verifique la igualdad.

Solucin:

x B.

de las rectas paralelas al eje , como subbase de una topologa en R . Calclese en ( R , T ) la

2.23 I) Tomamos el conjunto
1 2 2 1

adherencia y el interior de A= II) Sea ahora el conjunto

{( x, y ) /1 x 2,1 y 2} .
formado por el anterior 1 y la recta
2

de la ecuacin x=1. Calclese la adherencia y el interior de A en Solucin:

( R, T ) .
2

Fig.2 I)
=

Fig.3

1 a 2

siendo ra la recta de la ecuacin y =a

=
pues ningn abierto no vaco puede estar contenido en A. II) = ra
1 a 2

Siendo ra la recta de la ecuacin y= a.

= { p = ( x, y ) / x = 1,1 y 2}.

En efecto, los puntos de la forma

(1, y0 ) ,
Pertenece a , ya que

1 y0 2

(1, y0 ) ( x = 1) ( y = y0 ) = {(1, y0 )} ( x = 1) ( y = y0 ) abierto

Ningn otro punto de A pertenece a .

2.24

En R se define los conjuntos

Vn x = y / y x <
I) Demustrese que la familia

y > n}.

B= vn x / x R, n N es base de una topologa sobre R. II)

Hllese en dicha topologa la adherencia de A= { x / x > 2} .

Solucin: I)

xR nN x
II) Dados

Vnx = R.

x x Vn11 , Vnx2 B y x Vn11 Vnx2 2 2

Se tiene:

1 1 Vnx1 = x1 , x1 + ( n1 , ) 1 n1 n1 1 1 Vnx2 = x2 , x2 + ( n2 , ) 2 n2 n2 1 1 x x1 , x1 + ( n1 , ) n1 n1 1 1 x2 , x2 + ( n2, ) = n2 n2 Es posible construir un intervalo abierto

( x , x+ ) = Bx

tal que Bx . (comprubese). Se tiene que 1 x n : < B 1 . n n

Podemos tomar n=mx ( n, n1 , n2 ) . Entonces

 ( n ,)( n1 ,) ( n, ) ( n ,)( n2 ,)
y
x B 1 ( n, ) ; n x B 1 ( n, ) B. n

Entonces (problema 2.34),

n0 , n n0 : xn = x Q
Y sin embargo, Q no es abierto, pues su complemento no es numerable. Sean ( X , T ) y una sucesin {an }nN en X. Diremos que a X es un valor de adherencia de dicha sucesin si

V a , n N

m n : am V a .

2.37 Sea ( X , T ) y la sucesin {an }nN en X. Sea A el conjunto de valores de adherencia de dicha sucesin, y sea I. Demustrese que An {an }. II. Demustrese que Solucin: I. Inmediato II.

An = {am / m n} .

A=

nN

a An n N , V a , m n : am V a .
nN

a es valor de adherencia de {an }nN Luego

A=

nN

=A.

2.38 Prubese que, en todo espacio topolgico X, la reunin de un subconjunto abierto A y su exterior, es denso en X. Solucin:
o o

Ext A= A ; B =A ext A =A A . Sea C un abierto cualquiera de X. I. S A C , entonces B C . II. S A C , entonces C Luego

A.
C abierto

C A

en todo caso,

C A B C B C .

Luego B =X. 2.39. Diremos que un espacio es separable si existe un subconjunto suyo, denso en l y numerable. I. Demustrese que en todo espacio separable X, el subconjunto de todos los puntos aislados del mismo es finito o numerable. II. Demustrese que la recta real es separable. III. Demustrese que todo subespacio abierto de un espacio separable es separable. Solucin: I) sea A subconjunto numerable tal que

A =X Y sea B el conjunto de los puntos aislados de X. Entonces, B A, pues todo punto aislado es un abierto. Luego B es numerable.

II) Q es denso en R y es numerable. III) Sea A denso en R y es numerable. Sea Y abierto un subconjunto de X. Entonces A Y es numerable y denso en Y (comprubese). 2.40 Sea A un subconjunto denso en un espacio topolgico X, y sea U un abierto. Prubese que U ( A U ) . Solucin: Sea x U y W un entorno abierto de x. Entonces, W U y abierto Luego: (A U) W= A (W U) y

x ( A U ) .

2.41 Sea X un espacio topolgico. Prubese que las tres proposiciones siguientes son equivalentes: I. Para todo par de puntos distintos x, y X se verifica que:

U x : y U x V y : x V y
II. Todo punto y de X es un subconjunto cerrado. III. Para todo punto x X se verifica que:
x

V B ( x )

V x = { x}

Solucin: I) II) Para todo punto x X , ningn otro punto y V es adherente a x pues:

V y : x V y
Luego II) III) S contuviera otro punto y x , entonces III) I) Si x y , entonces

{ x} = { x}
V B ( x )
x

Vx

x { y} y { y} y
y x V x
V B ( x )

Luego

V x : y V x
Anlogamente,

U y : x U y
intervalo de la forma ( a, b ) , a < b , tal que 2.42 Un punto a a R se dice que es adherente por la izquierda a un subconjunto, si a A y existe un

( a, b ) A =
I. Demustrese que el conjunto de los puntos adherentes por la izquierda de un subconjunto A de R es numerable. II. Demustrese que todo subconjunto bien ordenado de R es numerable. Solucin: Establecemos la aplicacin inyectiva:

a qQ

tal que

q ( a, b ) .

Sea A un subconjunto bien ordenado de R. Entonces, todo punto de A es un punto adherente por la izquierda de A, pues a A , el conjunto

Aa = { x A / x > a}
tiene primer elemento b , y ( a, b ) A = Aa = con lo que existe a < b tal que

( a, b ) A =
Luego A es un subconjunto de un conjunto numerable, y, por tanto, numerable. 2.43 Demustrese que un espacio separable X, toda familia de abiertos no vacos y disjuntos de X es numerable. Solucin: Sea Y numerable tal que Y = X y sea Entonces,

{ Ai }iI

una familia de abiertos no vacos y disjuntos de X.

i I ,
La aplicacin:

xi Y : xi Ai
I Y i xi

es inyectiva, pues los abiertos son disjuntos. Luego I es numerable.

Aplicaciones Continuas
3.9 Sean dos aplicaciones f, g, continuas de un espacio ( X , T ) , en un espacio T2 , Y , T que el subconjunto de X: es cerrado. Solucin: Veamos que A es abierto. Para todo punto x A se verifica:

) . Demustrese

A = { x A / f ( x ) = g ( x )}

f ( x ) g ( x ) V f ( x ) ,V g ( x ) tales que V f ( x ) V g ( x ) =
(Vase que podemos tomar V Se verifica que
f ( x)

,V g ( x ) tales que sean entornos abiertos).

W = f 1 (V f ( x ) ) g 1 (V g ( x ) )

puesto que x W . Adems, W es abierto por ser interseccin finita de abiertos. Veamos que Sea y W . Se sigue que Luego

W A
f ( y ) V f ( x) ; y A y A

3.10

Sean un espacio topolgico ( X , T ) y us subconjunto D denso en X. Sean un espacio topolgico T2 ,

(Y , T ) y dos aplicaciones continuas f,g de ( X , T ) en (Y , T ) . Demustrese que si

` `

f \D = g \D
entonces

f =g

Solucin: Supongamos que Entonces

f g
xi X : f ( x1 ) g ( x1 )

Sean los subconjuntos de X:

A = { x X / f ( x ) g ( x )} ; x1 A B = { x X / f ( x ) = g ( x )} D

Segn el problema anterior, B es cerrado, luego A = B es abierto. Luego, y podemos tomar z A D , que verificara:

A D

f ( z ) = g ( z ); f ( z ) g ( z );
y llegamos a un absurdo. 3.11 Sea un espacio ( X , T ) con una base numerable (cumple en segundo axioma de numerabilidad), y consideremos una aplicacin:

f :X R
Sea

M = x X / f ( x ) es max imo local

f ( x ) es mximo local si existe V x tal que:

y V x : f ( y ) f ( x)
Prubese que f ( M ) R es numerable. Solucin: Sea { Bn }nN la base numerable de ( X , T ) . Vamos a construir una aplicacin inyectiva:
f ( M ) { Bn }nN

z = f ( x) Bn

z f ( M );
Tomamos Bn tal que

x M;

x M V x : y V x : f ( y ) f ( x)

x Bn V x

y veamos que la aplicacin

es inyectiva. En efecto, s

z = f ( x) Bn z `= f ( x`) Bn
y suponemos

Bn = Bn ' , resulta x Bn ' f ( x) f ( x ' ) x ' Bn f ( x ' ) f ( x)

de donde

f ( x) = f ( x ' )
y, por tanto,

z = z'
3.12 Sea el conjunto con la topologa Consideremos la aplicacin: descrita en el siguiente diagrama

X = { a , b, c , d } T = { X , , {a} , {b} , {a, b} , {b, c, d }}

f :X X

Prubese que: f no es continua en c I. II. f es continua en b Solucin: I. Se tiene Dado V = {b} se verifica que
b

f (c ) = b V c ; f (V b ) {b}
y

En efecto, V se verifica
c

V c {b, c, d }

f (d ) = c {b}

II.

Se tiene

f (b) = d
V d = {b, c, d } V b = {b}

El nico entorno de d distinto de X es y existe tal que

f (V b ) = f

({b}) = {d } V

= {b, c, d }

3.13 Sea un conjunto X con tres topologas T1 < T2 < T3 , y sea una aplicacin f : ( X , T1 ) ( X , T2 ) Demustrese que si dicha aplicacin no es continua, tampoco lo es la siguiente

f : ( X , T1 ) ( X , T3 ) .
Solucin: Si

f : ( X , T1 ) ( X , T2 )
no es continua, entonces

U T2 U T3
Luego

U T3
tal que 3.15 Demustrese que

f 1 (U ) T1

f : ( X , T ) (Y , T )
es continua si, y solo si, para todo subconjunto M de X se verifica:

f M f (M ) .
Solucin: I. Supongamos

( )

f continua y sea M X . Se verifica

f (M ) f (M )

Luego

M f 1 f ( M ) f 1 f ( M ) y f 1 f ( M ) es cerrado.
Por lo tanto,

M f 1 f ( M ) y f M ff 1 f ( M ) f ( M ) .
II. Supongamos que para todo subconjunto M de X se verifica la condicin [1].

( )

Sea C cerrado de (Y , T ) . Entonces,

f ( f 1 ( C ) ) f ( f 1 ( C ) ) C C
Luego

f 1 ( C ) f 1 f f 1 ( C ) f 1 ( C )
y, por lo tanto, f
1

(C )

es cerrado.

3.16 Demustrese que

f : ( X , T ) (Y , T )
es continua si, y solo si, para todo subconjunto N de Y se verifica:
o

f 1 ( N ) f 1 ( N )
Solucin: I. Suponga f continua, y sea N un subconjunto de Y. Entonces,

NN
Luego

f 1 ( N ) f 1 ( N )
II. Supongamos que para todo subconjunto N de Y se verifica la condicin [I].

Sea A abierto de Y , T

) . Entonces,

f
Luego f
1

( A) =

( A)

o 1

( A)

( A) es abierto.

3.17 Sea un homeomorfismo

f : ( X , T ) (Y , T ) Demustrese que para todo subconjunto M de X se verifica:

I II

f ( M ') = f ( M ) f (M ) = f (M )
o o

'

Solucin: I Sea x M ' . Entonces,

f ( x ) f ( M )
En efecto,
V
f ( x)

'

, f (U x ) V f ( x )

pues f es continua. Luego

f (U x { x} ) V f ( x ) { f ( x )}
pues f es inyectiva, y no puede existir otro punto distinto del x cuya imagen sea f ( x ) . Luego,

f U x { x} M f U x { x} f ( M ) V f ( x ) { f ( x )} f ( M )
y

f ( M ') = f ( M ) ; f ( M ') f ( M ) .
' '

Mediante el mismo razonamiento con la imagen inversa y conjunto f ( M ) resulta:

f 1 f ( M ) f 1 f ( M ) = M '
' '

Luego Como f es continua (Problema 3.16) y biyectiva: Y Como f 1 es continua y ( f 1 ) = f :

1

Luego

3.18 Sean dos espacios topologicos ( X , T ) , (Y , T ' ) y una aplicacin f : X Y .Sea un nmero finito de cerrados de X , C1 , C2 ,..., Cn tales que su reunin es X , y las aplicaciones f : (C1 , Tc1 ) (Y , T ' )
f : (C2 , Tc2 ) (Y , T ' )

f : (Cn , Tcn ) (Y , T ' )

son continuas, entonces f : ( X , T ) (Y , T ' ) es continua. Solucin: Sea C cerrado de (Y , T ' ) . Entonces f 1 ( C ) = [ f 1 ( C ) C1 ] ... [ f 1 ( C ) Cn ];
f 1 ( C ) Ci es cerrado en (Ci , Tci ) y Ci cerrado de X. Luego f 1 ( C ) Ci es cerrado

de X (problema 1.9). Luego f 1 ( C ) es reunin finita de cerrado y, por lo tanto, cerrado. 3.21 Sea una aplicacin

f : ( X , T ) (Y , T ' )
Sea B = { Bi }iI una base de T ' . Demustrese que la condicin necesaria y suficiente para que f sea continua para todo B Bi se verifique que f 1 ( Bi ) T . Solucin: I) La condicin es necesaria por ser Bi T ' . La condicin es suficientes; en efecto: II) A T ' : A = Bi f 1 ( A) = f 1 ( Bi ) = f 1 ( Bi )
iI1 iI1 iI1

y f ( A) T por ser reunin de abiertos. 3.22 I) Sea f una aplicacin del espacio ( X , T ) en el espacio (Y , T ' ) , y sea S = {Si }iI una subbase de (Y , T ' ) . Entonces f es continua si, y slo si, para todo i I se verifica que f 1 ( Si ) es abierto. los conjuntos f 1 ( , ) , f 1 ( , ) son abiertos, entonces f es continua. Solucin: I) a) Si f es continua, los f 1 ( Si ) son abiertos, pues los Si son abiertos.

Sea f una aplicacin de ( X , T ) en R . Prubese que si para todo R se verifica que

b) Supongamos que para todo i I se verifica que f 1 ( Si ) es abierto. Sea A un abierto de (Y , T ' ) . Entonces:

 f 1 ( A) = f 1 S j ,i = f 1 ( S j ,i ) iJ jF iJ jFi i es abierto de ( X , T ) .

Luego f es continua. Basta tener en cuenta que los conjuntos ( , ) y ( , ) forman una subbase de II) R (problema 1.30). 3.23 Sea f : R R una aplicacin estrictamente creciente ( x < y f ( y ) f ( x) )) y sobre. Demustrese que f es un homeomorfismo. Solucin: I) f es inyectiva, por ser estrictamente creciente. Luego f es biyectiva. f ( y ) < f ( x) x < y , pues por le contrario: II) si x = y se verifica f ( y ) = f ( x) y si x > y se verifica f ( x) > f ( y ) .Luego la imagen de un intervalo abierto es un intervalo abierto. 3.25 Demustrese que a recta real es homeomorfa a trodo intervalo abierto. Solucin: I) La recta real es homeomorfa al intervalo (-1,1) mediante la aplicacin f : R (1,1) x f :x 1+ | x | que es estrictamente creciente, y sobre (vanse los problemas anteriores). II) Todo intervalo abierto (a, b) es homeomorfo al intervalo (-1,1) mediante la aplicacin: f : (a, b) (1,1) 2 x (b + a) f :x ba que es estrictamente creciente y sobre.
III) Todo intervalo ( a, ) es homeomorfo a un intervalo (c, d ) contenido en (-1,1), mediante el homeomorfismo de I), y analogamente para todo intervalo ( , a ) .
3.26 Se llama recta completa R al conjunto formado por R y dos puntos, que llamaremos y, con una relacin de orden definida de la siguiente forma: Denotamos a de la topologia del orden problema 1.14?. Demustrese: I Es homeomorfo al intervalo [-1,1] y, por tanto, compacto Cap. 6?. II La recta real es un subespacio de , y denso en Solucin: I. Establecemos la aplicacin : que es estrictamente creciente y sobre. Luego tanto ella como su inversa son continuas (Compruebese de manera analoga al problema 3.24). Luego es homeomorfo al intervalo [-1,1]. II. La recta real es un subespacio de , pues la base relativa sobre es la base de la recta real (problema 1.19). Cualquier entorno de es de la forma. Luego todo entorno de corta a .Analogamente para. Luego es denso en.

3.28 Sean un conjunto , una familia de espacios, y una familia de aplicaciones Prubese que la familia de partes de : Es una topologa sobre (se llama topologa final de las aplicaciones anteriores), y que es la topologa ms fina sobre que hace continuas las aplicaciones. Solucin: I. Vamos a ver que es topologa: II. Cada una de las son, evidentemente, continuas. Sea otra topologa sobre tal que las sigan siendo continuas; entonces,y es ms fina que . 3.29 Sean un espacio , un conjunto, y una aplicacin biyectiva Demuestrese que es una topologia sobre tal que es homeomorfismo si, y solo si, es la topologa final para la aplicacin (problema 3.28) Solucin: I. La condicin es necesaria. Sea ; entonces, y por tanto, pertenece a la topologia final . Sea ahora ; entonoces, Luego pertenece a. Luego II. Sea ahora y biyectiva, y vamos a ver que es homeomorfismo. En efecto, para todo se verifica que luego es continua. Y para todo se verifica que luego es continua. 3.30 Sea la aplicacin Estudiese su continuidad. Solucin: Estudiemos la continuidad de en . se tiene . Sea un intervalo abierto de centro 2 y radio 1; entonces, para todo entorno de 3, se verifica que Pues Y Luego no es continua en. En los restantes puntos f es continua, por serlo y , por ser montonas crecientes (problema 3.24). 3.31 Sea la aplicacin , definida de la siguiente forma: Demustrese que es continua. Solucin: Son cerrados en ,y Es continua (montona creciente , problema 3.24). Anlogamente es continua. Luego es continua (problema 3.18) 3.32 Sea una aplicacin continua en tal que verifica las siguientes condiciones: . es inyectiva para todo es estrictamente mayor que cero en y es estrictamente menor que cero en Entonces: Continua en Tal que Solucin: Consideremos Sabemos que ambas funciones son continuas, y que Luego: Es estrictamente mayor que cero y Es estrictamente menor que cero. Sea Tomamos Entonces, Es continua y Luego (problema 5.16) Tal que Adems es unico, tal que Puesto que es inyectiva. Por lo tanto, hemos construido una aplicacin Que cumple (compruebese). Veamos ahora que es continua en Sea Por la construccin de se tiene Luego Sea

Consideremos Ambas son continuas, y [por ser inyectiva]. Luego: Tal que en Es estrictamente mayor a cero, Tal que en Es estrictamente menor que cero. Sea Veamos que En efecto, es el cero de la aplicacin Y luego OBSERVACIONES I. Las hiptesis: a) F continua en b) . c) (derivada parcial respecto a ) en un entorno de. d) Y continua en Implican las hipotesis del problema anterior, como consecuencia del teorema de Rolle. II) Es inmediato tambin que es unica en su genero, pues es inyectiva para Pongase un ejemplo de un espacio topologico y dos subconjuntos propios suyos y , tales que abierto y no cerrado, cerrado y no abierto, y homeomorfismo a con sus topologas relativas. Solucin: Con la topologa y 4.2 Dada una familia de espacios {( X i , Ti )}iI , definimos sobre

X = Xi
iI

La topologa

T engendrada por la subbase (problema 1.31): 1 S = {Pi ( Gi ) / i I ,, Gi Ti )}

El espacio I.

( X , T ) se llama espacio producto de los ( X i , Ti ) Demustrese que una base de ( X , T ) est formada por la familia Gi
iI

donde todos los Gi , salvo un nmero finito, F

I son el total, X j o sea:

II. III.

(j I F ) Gi = X j Demustrese que en el caso finito ( I finito) esta topologa coincide con la definida en el
problema 4.1. Demustrese que las proyecciones

pi = X X i son continuas, y que T es la topologa

menos fina sobre X tal que hace las proyecciones continuas. Demustrese que la familia de partes de X :

B1 = { Gi / Gi i } T
iI

cumple las condiciones de base para una topologa sobre

X , y que la topologa T ( B1 ) que engendra es

ms fina que T . Solucin: I) Una base de la to pologa es la que tiene como elementos (problema 1.31):

S = { Pi
jI iI

( Gi ) / F I

finito,, Gi Ti )}

B1 = { Gi / Gi =X j (j I F ),, Gi Ti }
(compruebese).

II) III) Luego

Es consecuencia de I) Sea Gi abierto de ( X i , Ti ) Entonces

pi es continua. Supongamos ahora X con la topologa T ' tal que las proyecciones pi sean continuas. Entonces, para
todo elemento pi (Gi ) T ' de la subbase de
1

T se verifica que pi (Gi ) T ' . Luego (problema 1.31)

T ' es ms fina que T . IV) a) ( Gi ) = X

pues

X = X i B1
iI

b) Sea

( xi )iI ( Gi ) ( H i )
iI iI

Entonces Y

xi Gi H i Ti
( xi )iI (Gi H i ) ( Gi ) ( H i )
iI iI iI

T ( B1 ) es ms fina que T , pues , segn I), todo elemento de B pertenece a B1 . En caso en que I no es fino: xi Ti , Gi X i (i ) Gi ,
iI

es de B1 y no es de 4.3 Sea

B. X = Xi
iI

Con la topologa producto, y una aplicacin:

f : (Y , T ') X Entonces f es continua si, y solo si, para todo i I se verifica que fi = pi f : (Y , T ') ( X i , Ti )
sea continua. Solucin: I. Supongamos

f continua. Entonces, para todo i I , fi = pi f es producto de aplicaciones

II.

continuas, y, por lo tanto, continua. Supongamos f i continua. (i I ) Entonces, para todo abierto

p (G )
1 i i jJ iF j

de ( X , T ) se verifica:

1 1 f 1 pi ( Gi ) = f 1 pi ( Gi ) = jJ iF j jJ iF j
= ( pi f )
jJ iF j 1

( Gi ) =
jJ iF j

fi

( Gi ) T '

Luego

f es continua. n 4.4 Sean X , Y abiertos de R con la topologa relativa, sea una biyeccin. f : X Y

Demustrese la siguiente equivalencia:

f es homeomorfismo

y1 = f1 ( x1 ,..., x n )
;
n

y = f n ( x1 ,..., x n )
Son continuas, y

fi = pi f

x1 = g1 ( y1 ,..., y n )
;

x n = g n ( y1 ,..., y n )

gi = pi f 1

Son continuas. Solucin: ) f es continua, por ser homeomorfismo. Luego, segn el problema anterior,
1

fi es continua (i ) .

f Es continua, por ser f homeomorfismo. Luego, segn el problema anterior, gi es continua, (i ) . ) fi , gi i son continuas, por hiptesis. Luego, segn el problema anterior, f , g = f 1 son
continuas. 4.5 Sean Hllese la topologa producto de Solucin: Recordemos que , en el caso finito, la topologa producto es la que tiene por base En nuestro caso: 4.6 Sean un espacio y una aplicacin continua: Demuestrese que el grafico de Es cerrado en con la topologa producto. Solucin: Veamos que es abierto. En efecto: Abierto de Abierto de Se verifica que Pues, de lo contrario: 4.7 Sean un espacio y la diagonal de Demuestrese que , con la topologia relativa de la producto, es homeomorfo a. Solucin: Sea Es una aplicacin biyectiva (compruebese). Veamos que es continua; sea un abierto de: Abierto en Veamos que es abierta (la inversa es continua). Sea un abierto de : Donde Mes abierto de, o sea, Donde Luego Entonces: Luego es abierto en y es continua. 4.8 Sea una aplicacin continua Y sea el grafo de en con la topologa producto. Demustrese que y son homeomorfos. Solucin: Es continua. Luego: Es continua. Establecemos, entonces, la aplicacin: Es biyectiva (compruebese). Adems, es continua, por serlo (problema 4.3). Veamos que es abierta; sea un abierto de : Abierto en 4.9 Sean las aplicaciones Definimos entonces la aplicacin Prubese la siguiente equivalencia: Continuas continua

Solucin: Sean Tales que Entonces Supongamos Entonces, Y Donde Es entorno de Es entorno de Luego es 4.11 I) Sea una aplicacin continua Demuestrese que las aplicaciones Son continuas. II) Pngase un ejemplo de una aplicaciones s lo sean. Solucin: I. Veamos que es continua, en todo punto . En efecto: es continua en; luego para todo entorno existe entorno de tal que: Luego Anlogamente, es continua. II. No es continua en (0,0), y s lo son 4.14 Sean dos subconjuntos de dos espacios ,respectivamente. Demustrese que: Solucin: I. En efecto, sea Sea . Entonces, para todo entorno se verifica que Luego Analogamente Luego II. En efecto, sean Entonces existen tales que: (problemas 4.1 y 1.28) Entonces: Luego Y 4.17 Prubense las siguientes equivalencias: I. Es II. . III. es cerrado. Solucin: I) II) Siempre se verifica Veamos que En efecto, si, se verifica: II) III) Veamos que es abierto. En efecto, sea Entonces y, segn II): Luego existe tal que Luego existe tal que Y Con lo que es abierto. III) I) Sean tales que.Entonces, que es abierto, segn III). Luego existe tal que Y, por lo tanto, Con lo que es 4.18 Pngase un ejemplo en que la proyeccin no sea cerrada. Solucin: Tomamos en el conjunto Es cerrado (imagen inversa de un cerrado mediante una aplicacin continua) y su proyeccin sobre cualquier eje es Que no es cerrado en 4.19

Sean dos espacios topolgicos, y sea un subconjunto cerrado de . Sea el sistema de entornos, y sean I. Prubese que II. Pngase un ejemplo en que es abierto, y Solucin: I. Para todo y para todo se verifica: Luego Luego Sea ahora Entonces, para todo y para todo se verifica Luego (comprubese). Luego (comprubese). II. Consideremos en la bola abierta de centro (3,3) y ardio 1. Entonces: Y 4.20 Sean dos espacios, y in subconjunto , cerrado de . Demustrese que (Vase el problema anterior. ) Solucin: (problema 4.19), luego 4.21 Demustrese que el conjunto con la topologa relativa de es homeomorfo a Solucin: 5.1 Demustrese que las siguientes proposiciones son equivalentes: ( X , T ) es conexo I. II. No existen dos subconjuntos cerrados, no vacos, tales que A B = ; A B = X . III. Los nicos subconjuntos de X que son abiertos y cerrados X y . IV. No existen dos subconjuntos no vacos de tales que:

X = A B ;

( A B) ( A B) = .

Solucin: I) II) Supongamos que II) no es cierto. Entonces, existen A , B cerrados, tales que A, B; X = A B ; A B = Luego A B = ( A B) = X = A B ; donde A, B abiertos, A B Y no sera cierto I). II) IV) Supongamos que IV) no es cierto. Entonces, existen dos subconjuntos A , B de X tales que

A,
Luego

B,

A B = X ,

( A B) ( A B) =

A B = A A A cerrado
Y

A B = B B B cerrado
luego

X = A B ; A , B cerrados; A ,
y no se verificara II). IV) III) Supongamos que III) no es cierto. Entonces existe

B;

A B = A B =

A abierto y cerrado, tal que

A X ;
Y

X = A A; A ; A A A = A A = A A = A A =

con lo que IV) no sera cierto. III) I) Supongamos que I) no es cierto. Entonces, existe dos abiertos A , B tales que X = A B ; A B = , A , B Y A es abierto y cerrado; A ; A X y III) no sera cierto. 5.2 Dado el espacio topolgico ( A, T ) , donde

A ={ , b, c, d , e a } T ={A, ,{}{ , d}{ , c, d}{ , c, d , e a, c , a , b }}

vase si: I.

II. Solucin: I.

( A, T ) es conexo H ={ , d , e con la topologa relativa, es conexo. b }

( A, T ) no es conexo, pues {}es abierto y cerrado a II. La topologa relativa es TH ={ , ,{}} H d ( H , TH ) es conexo, pues los nicos abiertos y cerrados son H y
5.3 Sean

(Y , T ') conexo y una aplicacin f : X Y continua y sobre. Entonces (Y , T ') es conexo.

Solucin: Supongamos que Entonces,

(Y , T ') no es conexo. Entonces, existen dos abiertos A1 , A2 , tales que

X = f 1 (Y ) = f 1 ( A1 A2 ) = f 1 ( A1 ) f 1 ( A2 ) f 1 ( A1 ) f 1 ( A2 ) = f 1 ( A1 A2 ) = f 1 ( A1 ) , f 1 ( A2 ) abiertos, por ser continua

y, por ser sobre: Luego

f 1 ( A1 ) ,

f 1 ( A2 )

( X , T ) no sera conexo. ( X , T ) y una familia de subconjuntos conexos {Si }iI de X , tales que existe un
i I

5.4 Sean un espacio

conexo de la familia, con la condicin

Si S h

Entonces Solucin:

S
iI

es conexo.

Supongamos que

S
iI

no sea conexo. Entonces, existen A , B tales que

S
iI

= A B ;

A B =

A, B = ;

A, B abiertos en A , B abiertos en B = B1 ( Si ) donde A1 , B1 T .

iI

S
iI

S
iI

A = A1 ( Si ) ,
iI

Entonces pues, de lo contrario,

i I : Si A

Si B

Si = ( A Si ) ( Si B ) ; A Si ,
iI

( A Si ) ( Si B ) = B Si

A Si = A1 ( Si ) Si = A1 Si abierto en Si B Si = B1 ( Si ) Si = B1 Si abierto en Si
iI

Si no sera conexo. Sh A

Entonces,

Sh B

Supongamos Caben entonces los siguientes casos: a) b)

i I : S i B S i S h

i I : Si A Si A B
iI

5.5 Sean un espacio

( X , T ) y una familia de subconjuntos conexos {Si }iI de X tales que

S
iI

Entonces,

S
iI

es conexo.

Solucin: Es consecuencia del problema anterior, tomando un cada uno corta al siguiente, o sea,

Sh cualquiera de la familia 5.6 Sean un espacio ( X , T ) y una familia finita de subconjuntos conexos {S1 ,..., S n } de X , tales que
S K S K +1

K = 1,..., n 1.

Entonces

S
1

es conexo.

Solucin: Lo demostraremos por recurrencia: a) n =1. La reunin sera S1 , que es conexo por hiptesis. b) Supongamos

S = SK
1

n 1

Conexo, y sea

Sn conexo tal que S n 1 Sn

Entonces 5.7 I. II.

S
1

= S Sn es conexo, segn el problema anterior.

Sean ( X , T ) , (Y , T ') dos espacios conexos. Demustrese que X xY con la topologa producto es conexo. Sean ( X 1 , T1 ), ( X 2 , T2 ),..., ( X n , Tn ) espacios conexos. Demustrese que X 1xX 2 x...xX n con
n

la topologa es conexo. (En particular, R es conexo.) Solucin: I. Sea a X .Entonces {a}xY Y es conexo (problemas 4.12 y 5.3). Por la misma razn:

y Y ,
Se verifica que Y

X x{ y} X conexo

y Y , Luego (problema 5.4) es conexo. II. Por recurrencia: a) Es conexo b) Supongamos conexo. Entonces, (problema 413) es conexo, segn I).

({a}xY ) ( X x{ y}) = {(a, y )} .

5.8 Demustrese que los nicos subconjuntos de la recta real que son conexos son los puntos y los intervalos. Solucin: I. Todo subconjunto de que no sea ni un punto ni un intervaloes no conexo. En efecto: Luego Y no es conexo. II. Todo punto es conexo. Vamos a ver ahora que todo intervalo es conexo. Sea un intervalo cualquiera de, y supongamos que no es conexo. Entonces se verifica que: Donde abiertos de. Como existe, y, como , existe, y ,pues. Supongamos y sea Dicho extremo superior existe, pues Est acotado (problema 6.17). Adems, Pues es un intervalo. Vamos a ver que esto es una contradiccin, pues En efecto: a) Si, entonces, pues. Luego Abierto Por ser intervalo Y no podra ser el extremo superior del conjunto anterior. b) Si ; entonces, pues. Luego Abierto Tal que Por ser intervalo. Luego Y es una cota superior del conjunto anterior Y .Luego no puede ser el extremo superior de dicho conjunto. 5.9 demustrese que la recta racional no es conexa. Solucin: Resulta como consecuencia del problema anterior. 5.11. I. Sean un espacio y un subconjunto conexo de. Sea una particin de por abiertos no vacos. Demustrese que II. Sean un espacio y un subconjunto de tal que Entonces es conexo. En particular, es conexo.

Solucin: I. Si no fuera , entonces Y Son abiertos en distintos de, tales que E no sera conexo. II. Supongamos no conexo. Entonces, Es una particin de por abiertos ( abiertos de ). Entonces, segn I): Supongamos , con lo que Y Luego existe Tal que Y Siendo entorno de, y llegamos a una contradiccin. Luego ha de ser conexo. 5.12 Sean , dos espacios conexos, , , subconjuntos propios de y de :Demustrese que el complementario en de es conexo. Solucin: Sean, .Entonces, Son conexos (problemas 4.12 y 5.3). Para cada elemento formamos, conexo. Sea Es reunin de espacios conexos tales que cada uno de ellos cortan a , conexo. Luego (problema 5.4) es conexo. Para cada elemento formamos, conexo. Sea Es conexo, por ser reunin de conexos tales que todos ellos cortan a conexo. Entonces, Y Luego Es conexo. 5.13 Sea un espacio , y sea dos subconjuntos conexos de , tales que Prubese que es conexo. Solucin: Sea Entonces, Luego es conexo (problema 5.11). Entonces Y Luego es reunin de conexos con interseccin no vaca, y por tanto, conexo. 5.14 sea una aplicacin de la recta real en la recta racional. Demustrese que es constante si, y slo si, es continua. Solucin: I. Toda aplicacin constante es continua (problema 3.6). II. Supongamos continua. Entonces, es continua. Supongamos que no es constante; entonces existen tales que Supongamos Tomamos en un intervalo abierto tal que Entonces ha de ser conexo (problema 5.3) y, por lo tanto, un intervalo (problema 5.8). Pero esto es absurdo, pues existe irracional tal que 5.15 Sea y una aplicacin continua . demustrese que existe tal que (f tiene punto fijo). Solucin: Supongamos que no tiene punto fijo. Entonces: Construimos la aplicacin Es continua (problema 4.3). Por lo tanto, es conexo. Sean, entonces, Son abiertos de .Luego Son abiertps de, y se verifica: Pues Pues Pues Adems, En efecto, Pues Si , entonces

Si , Luego no es conexo, y llegamos a un absurdo. 5.16 Sea unha aplicacin continua tal que Demustrese que existe tal que Solucin: Es conexo por ser imagen continua de conexo. Si, entonces: pertenece a Luego pertenece a Luego Y no sera conexo. Luego Y existe tal que Pues 5.17 Demustrese que: es conexo Solucin: I. Supongamos conexo. Si Entonces, Sera reunin disjunta de dos cerrados no vacos, y no sera conexo. Luego II. Supongamos no conexo. Entonces existen dos cerrados de tales que: Entonces 5.18 Sean un espacio topologico y un subconjunto de. Demustrese que si existe un subconjunto conexo de tal que entonces se cumple que Solucin: Sabemos que: Supongamos que: Entonces se tiene: Abiertos Y no sera conexo. 5.19. I. Demustrese que en todo conjunto hay una topologa mnima entre las que hacen a espacio. II. Si es infinito y es la topologa mnima entre las que se hacen a espacio , entonces es conexo. Solucin: I. Sea la familia de conjuntos Y sea la topologa que tiene a como subbase (problema 1.31) . a) Es espacio , puesto que todo punto es cerrado (problema 2.28). b) Sea un espacio . Veamos que ; en efecto, para todo elemento de la subbase se verifica que De donde Puesto que es cerrado en . luego II. Supongamos infinito, y sea . Veamos que es conexo. Si no lo fuera, existiran dos abiertos no vacos , , tales que: Como es subbase de se verifica que donde Es finito. Anlogamente, Donde es finito. Por lo tanto, Luego sera reunin de dos conjuntos finitos y, por lo tanto, finito (contra hiptesis) 5.20 Sea Prubese que es no conexo. Solucin: Sea: Es continua (problema 7.64), y sean Abiertos en . Entonces, Y pues Luego es no conexo. 5.21 demustrese que es conexo Solucin: Sea

Es homeomorfo a y, por lo tanto, conexo. Adems, Vamos a ver que todo punto de pertenece a un subconjunto conexo de , cuya interseccin con es no vaca, con lo que es reunin de conjuntos conexos cuya interseccin con y conexo es distinta de vaco, y, por lo tanto, es conexo. Sea Distinguiremos dos casos: a) . Entonces, el conjunto Es conexo (por ser imagen continua de ), no contiene al origen, contiene a y corta a b) . Entonces, el conjunto Es conexo (por ser imagen continua de ), no contiene al origen, contiene a y corta a. 5.22 Demustrese que es conexo (). Solucin: Establecemos la aplicacin: Esta aplicacin es continua (problema 4.3). Adems es sobreyectiva, pues si Entonces Luego, por ser conexo (problema5.21), es conexo. 5.23 Demustrese que es conexo. Sean Cada uno de los conjuntos son imgenes continuas (problema 4.3) de [-1,1) conexo. Luego son conexos, y: Luego es conexo (problema 5.5) 5.24 Demustrese que no es homeomorfo a . Solucin: Sea un homeomorfismo, y sea tal que Entonces Es un homeomorfismo (problema 3.2) y no conexo Y conexo (problema 5.23), con lo cual llegamos a una contradiccin. (Hgase otra demostracin mediante compacidad.) 5.25. Se llama componente conexa de un espacio a todo subconjunto conexo maximal. Demustrese. I. Toda componente conexa es un subconjunto cerrado. II. La familia de componentes conexas de forma una particin de III. Es conexo si, y slo si, tiene una nica componente conexa. IV. Es conexo si, y solo si, para todo par de puntos , existe conexo, tal que . Solucin: I. Componente conexa conexo conexo cerrado. II. . a) Todo elemento pertenece a la componete conexa: Conexo No vaca, pues conexo. Luego, si es la familia de componentes conexas de , se verifica: b) Sea la familia de componentes conexas de . Entonces: Pues, de lo contrario, sera componente conexa. III. Es consecuencia inmediata de II). IV. Si es conexo, todo par de puntos, conexo. Supongamos ahora que para todo par de puntos existe conexo, tal que . sea ; entonces, Pues para todo existe conexo tal que 5.26 Sea un abierto de. I. Demustrese que cada una de las componentes conexas de es un abierto. II. Demustrese que el conjunto de las componentes conexas de es numerable. Solucin: I. Es de la forma Donde es un intervalo abierto de (problema 4.16) Sea una componente conexa de , sea . Entonces, Pues Es conexo, por ser producto finito de conexos (problema 5.7). luego es abierto, pues todo punto suyo es interior a. II. Establecemos una aplicacin entre las componentes conexas y los puntos de coordenadas racionales, haciendo corresponder a cada componente uno de dichos puntos contenidos en ella

(cada componente contiene un producto de intervalos abiertos, y, por lo tanto, existe dicho punto). Esta aplicacin es inyectiva), pues las componentes conexas forman una particin de . Luego tenemos una aplicacin inyectiva del conjunto de las componentes conexas en un conjunto numerable y por lo tanto, las componentes conexas de forman un conjunto numerable. 5.27 Demustrese que todo subconjunto abierto de es reunin numerable de intervalos abiertos no rampantes (que no se cortan). Solucin: Las componentes conexas tienen que ser intervalos (problema 5.8). Luego, por el problema anterior, resulta que dichos intervalos han de ser abiertos y en cantidad numerable. Dichos intervalos no se cortan, por ser componentes conexas. 5.28 Sea un espacio y una aplicacin continua Demustrese que para todo abierto de se verifica que es un (reunin numerable de cerrados). Solucin: Todo abierto de es reunin numerable de intervalos abiertos no rampantes (problema 5.27). Todo intervalo abierto de es reunin de la familia numerable de cerrados Por lo tanto, es reunin numerable de intervalos cerrados, y Es reunin numerable de cerrados. 5.29 Diremos que dos elementos de un espacio topolgico se pueden unir mediante un camino en , si existe una aplicacin continua tal que Demustrese que la relacin se pueden unir mediante un camino en es una relacin de equivalencia en . Se llaman componentes por caminos de a las clases de equivalencia correspondients a dicha relacin. Solucin: a) Sea . Definimos la aplicacin constante Dicha aplicacin es continua y Luego b) Supongamos . Entonces, existe una aplicacin continua Tal que Definimos entonces la aplicacin De la siguiente forma: Es continua, pues es producto de las aplicaciones continuas Y Luego c) Supongamos e . Entonces existe una aplicacin continua Tal que Y la aplicacin continua Tal que Definimos entonces la aplicacin: Donde Para Y Para Es la aplicacin, pues para resulta: Sean Es continua, pues es la composicin de las aplicaciones continuas Es continua, pues es la composicin de las aplicaciones continuas Luego es continua (problema 3.18) y Luego 5.30 Diremos que un espacio es conexo por camonos si su nica componente por caminos es X. Demustrese que todo espacio conexo por caminos es conexo. Solucin: Para todo par de puntos ser verifica que existe una aplicacin continua Tal que Donde es conexo, por ser imagen continua de un conexo. Luego (problema 5.25), es conexo. 5.31 Sea un espacio conexo por caminos, y sea una aplicacin continua y sobre. Demustrese que es conexo por caminos. Solucin: Sean . Entonces, por ser sobre, existen tales que

Por ser conexo por caminos, existe una aplicacin continua Tal que Definimos entonces Como la aplicacin producto Es continua y Luego es conexo por caminos. 5.32 En consideremos el conjunto: Estdiese si es un conjunto conexo. Solucin: Es reunin de los conjuntos Es la imagen mediante la aplicacin continua (problema 4.3) Donde es el intervalo (comprubese). Luego es conexo. La interseccin de todos los conjuntos es no vaca, pues contiene al (0,0). Luego (problema 5.5), es conexo. 5.33 Sean y dos subconjuntos no vacos de un espacio topolgico . Prubese que si y son cerrados y y son conexos. Prubese mediante un ejemplo en la recta real, que la hipotesis por ser y cerrados no puede suprimirse. Solucin: I. Sea una particin de por cerrados (en y en por ser cerrado). Entonces alguno de los cerrados ha de contener a , pues, de lo contrario, tendramos una particin de por cerrados; supongamos Entonces, , es una particin de por cerrados, y no sera conexo. Luego es conexo, y analogamente lo es. II. Considrese los conjuntos 5.34 Demustrese que le subconjunto de es conexo. Solucin: Sean Y Entonces, Para todo; de donde conexo. 5.35 Pngase un ejemplo de un espacio topologico y un subespacio de tal que: I. Sea abierto y cerrado en II. Sea conexo. Solucin: Como subespacio de Es abierto de, ya que Es cerrado en , por ser [2,3] abierto de; es conexo por ser intervalo. 5.36 Dse un ejemplo de dos subconjuntos conexos de, tales que su interseccin sea vaca y su reunin sea conexa. Solucin: 5.37 Encuntrese un ejemplo de dos espacios una aplicacin continua y un subconjunto conexo, tal que sea no conexo. Solucin: 5.38 Sea un espacio conexo . Demustrese que la diagonal es un subconjunto conexo de. Solucin: (problema 4.7) luego conexo (problema 5.3). 5.39 Sean subconjuntos propios de , abierto y cerrado. Demustrese que y no pueden ser homeomorfos. Solucin: Supongamos que exista un homeomorfismo Es reunin de intervalos abiertos, la imagen mediante de cada uno de estos intervalos ha de ser un intervalo (la imagen continua de un conexo es conexo), y alguno de ellos debe ser no abierto, pues no puede ser abierto ( , conexo). Sea entonces el intervalo abierto tal que es intervalo no abierto. Entonces el intervalo tiene un extremo que pertenece a; sea este extremo , y sea Entonces,

Donde es no conexo, y s es conexo, con lo que llegamos a una contradiccin. Diremos que un espacio es localmente conexo si todo punto tiene un sistema fundamental de entornos formado por conjuntos conexos por arcos. 5.40 Pngase un ejemplo de espacios, y una aplicacin continua sobre tales que sea localmente conexo e no lo sea. Solucin: Con la topologa discreta, Como subespacio de la recta real, 5.41 Mustrese que la unin de infinitos subconjuntos localmente conexos y cerrados, no es, en general, localmente conexa. Solucin: Es localmente conexo y cerrado. No es localmente conexo, ya que los entornos de (1,0) no son conexos. 5.42 Mustrese que la unin finita de subconjuntos localmente conexos no es, en general, localmente conexa. Solucin: Y son localmente conexos. No es localmente conexo, pues los entornos de no son conexos.

5.43 Sean A1 , A2 subconjuntos localmente conexos y cerrados de un espacio

( X , T ) . Demustrese que

A = A1 A2
es localmente conexo. Solucin: Sean y A , V entorno de Caben los siguientes casos:
y

y en ( X , T ) .

a)

y A1
y

y A2 .

W entorno de y en ( X , T ) tal que W y A2 = . y A1 ; W y V y A1 entorno de y en A1 ; y Por tanto, existe U , entorno de y en A1 , tal que U y W y V y A1 y y U conexo. U y = B y A1 y donde B es entorno de y en ( X , T ) . U y = B y V y W y A1 ,
Entonces, luego existe

B y V y W y
entorno de Y

y en ( X , T ) tal que
B y V y W y V y B y V y W y A = U y conexo

b)

y A1 A2 .

Entonces,
y

V2 entorno de y en ( X , T ) , tal que V y1 V y y

y

V y1 A1 conexo; V y 2 A2 conexo.

V2 entorno de y en ( X , T ) tal que V y2 V y ,

Se verifica, por lo tanto, que

(V2 A2 ) (V y1 A1 )

y en. A De donde existe W , entorno de y en ( X , T ) , tal que

es conexo y es entorno de
y

W y A = (V2 A2 ) (V y1 A1 ) . y y Existe, por ultimo, V W , entorno de y en ( X , T ) tal que V y W y V y W y V y A = W y A conexo.

y

luego existe

B y V y W y
entorno de y en ( X , T ) tal que

B y V y W y V y
Y

B y V y W y A = U y conexo
b)

y A1 A2 .
y

Entonces, V2 entorno de y en ( X , T ) , tal que

V y1 V y
V2 entorno de y en ( X , T ) tal que V y2 V y ,
y

V y1 A1 conexo; V y 2 A2 conexo.

Se verifica, por lo tanto, que

(V2 A2 ) (V y1 A1 ) es conexo y es entorno de y en. A y De donde existe W , entorno de y en ( X , T ) , tal que

W y A = (V2 A2 ) (V y1 A1 ) . y y Existe, por ultimo, V W , entorno de y en ( X , T ) tal que V y W y V y W y V y A = W y A conexo.

y

Capitulo 6 Espacios compactos

6.2 Diremos que un espacio ( X , T ) tiene la propiedad interseccin finita cuando para toda familia de cerrados {Ci }iI tal que cualquier nmero finito de ellos tiene interseccin no vaca, se verifica que

C
iI

es no vaca. Demustrese que un espacio es compacto si,

y slo si, posee la propiedad de interseccin finita. Solucin: I. Supongamos ( X , T ) compacto y {Ci }iI una familia de cerrados tal que cualquier

nmero finito de ellos tiene una interseccin no vaca. Vamos a ver que si

C
iI iI

llegamos a una contradiccin; en efecto:

X = X Ci = ( X Ci )
iI

Luego { X Ci }iI es recubrimiento abierto de X , y ,por lo tanto, existe su subrecubrimiento finito

{ X C1 ,..., X Cn }
Entonces

X = ( X C1 ) ... ( X Cn )
y

= C1 C2 ... Cn
Contra hiptesis.

( X , T ) tiene la propiedad de interseccin finita, y sea = {U i }iI Un recubrimiento abierto de X .Vamos a ver que sino existiera un subrecubrimiento finito llegaramos a una contradiccin; en efecto, para toda subfamilia finita {U1 , U 2 ,..., U n } de se
II. Supongamos que tiene entonces

X (U1 U 2 ... U n )
Luego

( X U1 ) ... ( X U n )
y

( X U )
i iI

Con lo que

X U i
iI

Contra hiptesis. 6.3 Demustrese que, en un espacio compacto, todo subconjunto infinito posee punto de acumulacin.

Solucin: Sea ( X , T ) compacto, y sea Y X infinito. Supongamos que Y no tenga punto de acumulacin; entonces, para todo punto x X existe un entorno abierto

U x tal que

(U x {x}) Y =
la familia finito

(luego Y {x} X U )
x

{U x }xX forma un recubrimiento abierto de X . Luego existe un subrecubrimiento U x1 ,...,U xn

o sea,

U
i =1

xi

=X

Ahora bien,

Y {x1} X U x1 Y {x2 } X U x2 Y {xn } X U xn

De donde

Y {x1 ,..., xn } X U x1 Y {x1 ,..., xn } X U x2 Y {x1 ,..., xn } X U xn

luego

Y {x1 ,..., xn } ( X U ) = X U xi = X X =
xi i =1 i =1

E es finito, contra hiptesis.

( X , T ) , y una aplicacin f : ( X , T ) (Y , T ') continua. Demustrese que f ( X ) es compacto. (En particular, si f es continua y sobre, Y es
6.5 Sea un espacio compacto compacto). Solucin: Sea un recubrimiento abierto

{U i f ( X )}iI
de

f ( X ) . Entonces

U
iI

f (X )

Luego

X f 1 U i = f 1 (U i ) { f 1 (U i )}iI iI iI es un recubrimiento abierto de X ; luego existe un subrecubrimiento finito:

{ f 1 (U1 ) ,..., f 1 (U n )}
Entonces,

X = f
i =1 n

n 1 (U i ) f ( X ) = f f (U i ) i =1
n i =1

= f [ f 1 (U i ) = [U i f ( X )]
i =1

y {U i

f ( X )}i =1,...,n es un subrecubrimiento finito de f ( X ) .

6.6 Sea un espacio compacto

( X , T ) y topologa T ' menos finita que T .

Prubese que ( X , T ') es tambin compacto. Solucin: Dada una familia de abiertos {U i }iI de T ' que recubren

X,

X = U i
iI

se tiene que {U i }iI son tambin abiertos de subrecubrimiento finito.

T , y, por ser ( X , T ) compacto, existe un

6.7 I) Demustrese que todo subconjunto cerrado de un espacio compacto, existe un subrecubrimiento finito II) Pngase un ejemplo de un espacio compacto y de un conjunto compacto suyo que sea cerrado. Solucin: I) Sea ( X , T ) compacto y un subconjunto cerrado C de X . Sea

{U i C}iI
un recubrimiento abierto de C . Entonces

{ X C} {U i }iI
es un recubrimiento abierto de Luego

X , y existe un subrecubrimiento finito X C , U1 ,...,U n de X U1 C ,..., U n C

Es un subrecubrimiento finito de C . II) Tomamos X = {a, b} con la topologa indiscreta formada por 6.9

X , . Entonces

X es compacto, y el subconjunto C = {a} es compacto y no cerrado. I) En todo espacio compacto, toda sucesin posee algn valor de adherencia. II) Si tiene un nico valor de adherencia, converge hacia ese valor. Solucin: Sea ( X , T ) compacto y una sucesin {an }nN de puntos de X
I) El conjunto de valores de adherencia es

A=

nN

donde

An = {an , an +1 ,...}

es cerrado, y toda interseccin finita de elementos es no vaca. Luego (problema 6.2)

A = An
nN

II)

Sea

V entorno abierto de a . Entonces V a An es cerrado n N . Luego, como

a nN

V a An = V a An = nN a V {a}

ha de ser (problemas 6.2) un nmero finito

(
Y, si nr = max(n1 ,..., nr ) es Luego

V a An1 ...

An j de tal que:

V a Anr =

V a Anr = Anr V a
y

Anr V a

Con lo que {an } converge hacia a 6.10 Sea ( X , T ) un espacio T2 y sea

Y un subconjunto compacto de X . Supongamos x X Y y Y existen V y , U yx , entornos abiertos de

Solucin: Por ser ( X , T ) un espacio T2 , para todo punto

y , x , respectivamente, tales que

x V y U y =

La familia {V }yY forma un recubrimiento abierto de finito ( V ,..., V Sean:

y1 yn

Y . Luego existe un subrecubrimiento

).

A = V y1 ... V yn ;
6.11 6.12 6.13 6.14

x x B = U y1 ... U yn Entonces los abiertos A , B

Sea un espacio y sea un subconjunto compacto de Sea un espacio y dos subconjuntos de compactos y tales que Sea un espacio compacto, y sea un espacio I) Sean dos espacios compactos. Demustrese que el espacio producto es compacto. 6.15 Demustrese que la recta real no es compacta. Solucin: Sea el recubrimiento abierto de: Ningn subconjunto finito Puede ser recubrimiento de . En efecto: sea un subconjunto finito Entonces 6.16 Demustrese que todo intervalo cerrado de es compacto Solucin: Supongamos un recubrimiento abierto de , tal que no admite subrecubrimiento finito. Entonces tampoco debe existir subrecubrimiento 6.17 Demustrese que en , todo subconjunto acotado superiormente tiene extremo superior y todo subconjunto acotado inferiormente tiene extremo inferior. Solucin: Sea un subconjunto de acotado superiormente por una cota , sea tal que . Vamos a considerar entonces los elementos de que pertenecen al intervalo . Para cada uno de estos elementos consideramos el conjunto: Y se verifica: Cualquier nmero finito de los cerrados as construidos tienen interseccin no vaca (s es , entonces); Luego, por ser compacto, es (propiedad de interseccin finita). Sea entonces: I) es cota superior de , pues si y , entoncesluego , pues si fuera , entonces (comprubese). II) es extremo superior de , pues si es otra cota superior de , entonces En efecto, si fuera , entonces (comprubese), y, por tanto, De manera anloga se demuestra que todo subconjunto acotado inferiormente tiene extremo inferior.

Capitulo 7 Espacios mtricos

7.1 Dado un conjunto E con una mtrica d , demustrese que los subconjuntos de E la forma donde r > 0

Brx = { y E / d ( x, y ) < r}

forman base de una topologa sobre E (dichos conjuntos se llaman bolas abiertas de centro x y radio r ,el espacio topolgico correspondiente se llama espacio mtrico sobre E determinado por la mtrica d y se anota ( E , d ) o E cuando se sobrentiende la mtricas que se considera). Solucin: I

E = Brx
r >0 xE

es inmediato, pues para todo x E se verifica:

x Brx
II Sean dos bolas Br1 , Br2 abiertas tales que
x x

Brx Bry 1 2
Sea

z Brx Bry 1 2
Sea entonces

r = min[r1 d ( x, z ), r2 d ( y, z )]
Entonces,

r >0 y

Brz Brx Bry 1 2

(comprubese). 7.2 I) Demustrese que en cada punto x de un espacio mtrico E , el conjunto de bolas abiertas de centro x forman una base de entornos abiertos en x . II) Se defina una bola cerrada de centro x y radio r > 0 como:

B 'rx = { y E / d ( x, y ) r} Demustrese que el conjunto de bolas cerradas de centro x forma una base de entornos en x . III) Demustrese que en todo punto x existe una base de entornos numerable.
Solucin: I Las bolas abiertas que contienen a x forman una base de entornos de x (problema 1.28). Entonces basta que toda bola abierta que contiene a x contenga una bola abierta de centro x . Sea la bola abierta Br tal que
y

x Bry ;
sea entonces

r1 = r d ( x, y )
Y se verifica

x Brx Bry 1
(Comprubese). II .
x

(a) Toda bola cerrada B 'r de centro x es entorno de x . En efecto:

x Brx/ 2 B 'rx
(comprubese)

(b) Dichas bolas cerradas forman una base, pues si es Br una bola abierta de centro x , entonces

x B 'rx / 2 Brx
(Comprubese). III Las bolas abiertas
x {B1/ n }nN

forman una base numerable de entornos, pues si es

Brx una bola abierta de centro x , entonces 1 v N , n v : < r n

x x B1/ n Brx

y Adems estas bolas cumplen la condicin de que cada una contiene a la siguiente (comprubese). 7.7 Sea un espacio mtrico ( E , d ) . Demustrese que existe en E una mtrica acotada d ' acotada por 1 (para todo par de puntos x, y y de E de se verifica que d '( x, y ) 1 ) equivalente a la mtrica dada. Solucin: Definimos

d ' : E E R;

d '( x, y ) = min(d ( x, y ),1)

(Comprubese que esta aplicacin verifica las propiedades de mtrica). Los espacios mtricos a que dan lugar son los mismos, pues las bases correspondientes son equivalentes (problema 1.18). Diremos que un espacio topolgico ( X , T ) es metrizable si existe una mtrica sobre X tal que la topologa a que da lugar coincide con T . 7.8 Demustrese que todo subespacio de un espacio mtrico es metrizable. Solucin: Sea

d : E E R+
Y sea un subconjunto A de E . Definimos entonces la mtrica sobre A como la aplicacin anterior d restringida a A A

d : A A R+
(que sigue verificando las propiedades de una mtrica; , con esta mtrica, se llama subespacio mtrico de ( E , d ) ). Una base del espacio mtrico corresponde est formada por bolas abiertas de A , que son de la forma:

Bra A
donde Br son bolas abiertas de E de centros los puntos de A . Una base del subespacio
a

A est formada por los conjuntos Brx A x Donde Br son las bolas abiertas de E de centros cualesquiera (problema 1.19). Vamos a ver
topolgico que ambas bases son equivalentes. Es inmediato que todo elemento de la primera es un elemento de la segunda. Sea

Brx A
Un elemento de la segunda base, y sea

a Brx A ;
Entonces (problema 7.2) existe r1 > 0 tal que

Bra Brx 1
Y, por lo tanto:

Bra A Brx A 1
Luego ambas bases son equivalentes y dan lugar a la misma topologa. 7.9 Sea

f : ( X , T ) (E, d ) Un homeomorfismo de un espacio topolgico ( X , T ) en un espacio mtrico ( E , d ) . Demustrese que el espacio ( X , T ) es metrizable.
Solucin: I) Definimos la aplicacin

d ' : X X R+ ( x, y ) d '( x, y ) = d ( f ( x), f ( y ))

Dicha aplicacin es una mtrica (comprubese). II) Veamos que todo abierto de ( X , d ') es de ( X , T ) , y recprocamente. Sea A abierto de ( X , d ') . Entonces

A = Brx
Y

f ( A) = f ( Brx ) = Brf ( x )
es abierto de ( E , d ) (comprubese). Luego, por ser

f homeomorfismo,
f 1 f ( A) = A

Es abierto de ( X , T ) . Sea ahora A abierto de ( X , T ) . Entonces, por ser homeomorfismo, Es abierto de Luego: Luego, por ser biyectiva (comprubese) y es abierto de . 7.10 Demustrese que la recta real es metrizable. Solucin: Definimos la aplicacin: (comprubese que se cumple las propiedades de una mtrica). Las bolas abiertas son los intervalos abiertos: Luego dicha metrica da lugar a la topologa usual de la recta real. 7.11 Demustrese que el producto de dos espacios mtricos , es metrizable. Solucin: Definimos las tres aplicaciones I) II) III) Las tres mtricas son uniformemente equivalentes (comprebese): Luego dan lugar a la misma topologa (problema 7.11). Una base del espacio mtrico est formada por los productos de bolas abiertas (comprubese y generalcese el resultado). Donde es una bola en es una bola de . Vamos a ver que ambas bases son equivalentes. Sea Una bola abierta de . Entonces (comprubese). Sea Un elemento de la segunda base, y sea Entonces (comprubese). Luego las tres mtricas anteriores dan lugar a la topologa producto de (problema 1.18) 7.14 I) Sea un espacio mtrico . Demustrese