X

CURSO D E TOPOLOGÍA GENERA:

Carlos Orlando Ochoa Castillo

di

1. Sea {M,dM) u n espacio métrico, muestre que todo conjunto unitario

es cerrado en ( M , du)] más generalmente, muestre que todo conjunto
A. C M finito es cerrado en ( M , ¿ M ) - ^ '

2. Sea E2 = { x = (xo2;i2;2 . . . ) | Xj e { 0 , 1 } } el conjunto de las palabras

con alfabeto O y 1; se define la función de E2 x E2 con valor real como
sigue: Para dos palabras x = (xoXiX2 • • •) y y = {yoViy^ • • •) ^0 ^ f

f\
í=0

^ a) Verifique que (E2,íi) es u n espacio métrico,. ''^ 1

a-
h) Muestre que si Xi = yi para i = 0 , 1 , 2 , . . . , n entonces d{x, y).<
^ y recíprocamente, si d(x, y ) < ^ entonces Xi = yi para i < n.
c) Muestre que el conjunto de las palabras de E2 que tienen prefijo
101 es cerrado. V/ á
d) Se define la función olvido del primer término a : E2 —>• E2 como
a{{xoXiX2. • •)) = (xiX2...), muestre que a es continua. [Suge-
rencia: Dado e e K"*", puede elegir n e N t a l que ^ < e (porqué?),
luego tome 5 —
2"+2
3. Sean {M,dM), {N,d¡s[) y f : M — ) • TV; muestre que / es continua si
y solo si para toda sucesión (xn) en M que converge a a G M se tiene f'^j^
que ( / ( x n ) ) converge a / ( a ) . : ' r'-^í n '\.

4. Sean ( M , dj^) u n espacio métrico y a E M fijo; muestre que fa'-p^^

M —5- M definida por f{x) = d{x,a) es continua. ¿Es uniformemente
~ continua? Justifique su respuesta. .

'líniversidad D i s t r i t a l Francisco José de Caldas

7
yr\-

-.j V
 ^ . L O / ""^

5. Del concepto de interior:

a) E n el ambiente de la recta real con su topología usual, describa el

interior de los conjuntos Z, Q, [0,1] y [0,1) U { 1 , 2}.
b) E n el ambiente del plano éiáplejo^cofa. su tropología usual, describa
el interior de los conjuntos {z : \z\ 1}, {z : \z\ 1}, {z : I{z) =
0 } , {z : R{z)es racional}. ^ w ' . . 0
i
De Zenón: Si las cosas son múltiples, es necesario que sean tantas ( 0 / ^\
como son, y no más m menos. Ahora bien, si son tantas como
son, serán finitas en número.
Si las cosas son múltiples, entonces serán infinitas en número, \z %4
porque siempre habrá otras cosas entre ellas y de nuevo otras \
entre éstas. De ahí que las cosas sean infinitas en número. \- ^

to-

c
 Mí-

CURSO DE TOPOLOGIA GENERAL

Carlos Orlando Ochoa Castillo

0>
IKI. K

1. Enuncie y exhiba prueba del lema de Urysohn.

+íb.o)^ íes
2. Sea {X, r) un espacio topológico; se dice que .4 C X es denso en ( X , r )
si adhA = X . Muestre que A es denso en ( X , r ) si y solo si para todo '#
[/ e r con [/ ^ 0 se tiene que [/ n ^ 7¿ 0. 1^4^

3. Dado A un subconjunto de un espacio métrico ( M , d), su diámetro es

D i a m ( ^ ) = sup{d(a;, y) \ G A},

muestre que si A es un subconjmito compacto entonces existen a, 6 € A

tales que Diam(A) = d{a,b). ¿Qué hay del conjunto vacío?

4. Muestre que todo espacio Hausdoríf y compacto es normal.

5. Sean ( X , r ) un espacio topológico, a : / X un camino con «(O) = a

y a{l) = 5 y Cx : / —> X el camino constante con vaJor x; muestre que

a] * [65 y [ej * [a] = [a].

A classical result in the theory of black holes, known under

tlie ñame of no-hair Theorem, is the foUowing:
T e o r e m a 0.1. Let (M,g) be a good electro-vacuum space-
time with a non-empty black hole región with a Killing vector
field which is timelike in the asymptotic regions. Then ( M , g)
is diffeomorphically isometric to a Kerr-Newman space-time
or to a Majumdar-Papapetrou space-time}

* Universidad D i s t r i t a l Francisco José de Caldas - <

^Piotr T . Chrusciel: No Hair Theorems - Folklore, Conjetures, Results. I n DifFerential
Geometry and M a t h e m a t i c a l Phisics. Contemporary M a t l i e m a t i c s . 170.

111
 4 o
^ 5y

CURSO DE TOPOLOGIA GENERA

Carlos Orlando Ochoa Castillo*

1. De cultura general.

a) Enuncie el Teorema de Tychonov.

^
^6
b) Enuncie el lema de Urysohn.
c) Presente el concepto de número de Lebesgue.

2. Enuncie y exhiba prueba del Teorema de Heine-Borel.

3. Enuncie y pruebe el teorema del valor intermedio, use la conexidad en

la argumentación.

4. Muestre que la conexidad por arcos es una propiedad topologica.

5. Pruebe que un espacio topológico {X, X) es T i si y solo si a d h { x } = {x}

para todo x G X.

0^

* Universidad D i s t r i t a l Francisco José de Caldas

 CURSO D E TOPOLOGÍA GENERAL

. Carlos Orlando Ochoa Castiho'

1. E n (M,r„,), considere , - •

A = {~-\n e Z + } U (2, 3) IJ (3, 4) U { - } U [5, 6] U {x G Q|7 < x < 8}

71- ¿L

y lialle i n t A , adliA, extA, F r / 1 , i)or/i, coljorA. E n cada caso, realice una

. representación gráfica. '

2. Para X = {a, b, c, d} halle la topología T generada por

S^{{a..b},{a,c,d},{a,d}}

y la colección Cr de sus conjuntos cerrados.

3. Para X = {a,b,c}, Y = { 1 , 2 } , 77 = { 1 } } G TOPy considere el

espacio topológico {Y,7]) y f : X ^ Y definida por / ( a ) = 1, =
. 2, f[c) = 1 para hallar la topología menos fina en X que haga a /
continua.

4. Lema de encolado o lema de pegue. Sean ( X , r ) , {Y/q) espacios t o -

pológicos y X = A U B con A, B cerrados; sean / : A —> Y y
g : B —> Y continuas tales que f{x) = g{x) para todo x G A D B,
se define h : X ^ Y por

f{x) SI x G /l,
h{x)
1 (/(.x) si x e. B.

Muestre que h es continua..

* U n i v e r s i d a d D i s t r i t a l Francisco .losé de Caldas