Clase 1, Espacios m etricos

Profesor Jos e Aguayo

Topolog a
Licenciatura y Magister en Matem atica, Primer Semestre 2014

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

La topolog a es una de las herramientas b asicas en el desarrollo de matem atica. Es dif cil encontrar alguna campo de la matem atica que no requiera de estas herramientas. Topolog a viene del griego o o , lugar, y o o , estudio y nace, fundamentalmente del estudio de la recta real y los espacios euclideos. B asicamente, nos interesa saber qu e sucede alrededor de un punto dado respecto a alg un sistema de medici on, en otras palabras, que nos permita conocer el comportamiento de su entorno. Como es conocido por todos, en el campo de los n umeros reales R, el valor absoluto nos permite determinar un cierto concepto de distancia entre dos puntos. As , por ejemplo, para un par de puntos x , y R, |x y | representa una primera idea de distancia.

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

Si denotamos por d :RR R (x , y ) d (x , y ) = |x y | , entonces d satisface cuatro propiedades a destacar:

1 2 3 4

d (x , y ) 0, x , y R. d (x , y ) = 0 x = y d (x , y ) = d (y , x ) , x , y R. d (x , z ) d (x , y ) + d (y , z ) , x , y , z R.

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

Pero no es la u nica funci on d que satisface tales propiedades, supongamos, por ejemplo, d :RR R (x , y ) d (x , y ) = Notar que
1 2 3 4

0 si 1 si

x =y x =y

d (x , y ) 0, x , y R. d (x , y ) = 0 x = y d (x , y ) = d (y , x ) , x , y R. d (x , z ) d (x , y ) + d (y , z ) , x , y , z R.

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

M as a un, si cambiamos a R por un conjunto no vac o X y denimos d :X X R (x , y ) d (x , y ) = 0 si 1 si x =y x =y

d resulta ser una m etrica y, de acuerdo a esto, en cualquier conjunto no vac o podemos tener una idea intuitiva de distancia.

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

Denition Sea X un conjunto no vac o y sea d : X X R una funci on. Diremos que d es una distancia o m etrica en X si d satisface la propiedades
1 2 3 4

d (x , y ) 0, x , y X . d (x , y ) = 0 x = y d (x , y ) = d (y , x ) , x , y X . d (x , z ) d (x , y ) + d (y , z ) , x , y , z X . El n umero real no-negativo d (x , y ) , a menudo, se le llama distancia entre x e y . Al par (X , d ) se le llama espacio m etrico. La m etrica d se llama m etrica discreta y el par X , d espacio m etrico discreto.

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

Sea (X , d ) un espacio m etrico. Si x X y > 0 son dados, entonces diremos que y X es cercano a x si d (x , y ) < . De esto, podemos denir el siguiente conjunto Bd (x , ) = {y X : d (x , y ) < } . Tal conjunto se llama bola abierta de centro x y radio . Si no hay ambig uedad respecto de la distincia d , escribiremos B (x , ) a cambio de Bd (x , ) . Notar que si X = R y d (x , y ) = |x y | , entonces B (x , ) = ( x , x + )

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

Denition Sea A un subconjunto de un espacio m etrico (X , d ) . Diremos que A es d -acotado si existe M > 0 tal que d (a, b ) M , a, b A. En otras palabras, dim A = max {d (a, b ) , a, b A} M Observaci on El concepto de conjunto acotado es dependiente de la m etrica. Notar que si X = R, entonces el conjunto (0, ), por ejemplo, no es acotado en la m etrica usual, en cambio, si d (x , y ) = min {|x y | , 1} (muestre que es una m etrica), entonces (0, ) es acotado con respecto a d .

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

Denition Sea (X , d ) un espacio m etrico y sea A un subconjunto de X . Diremos que A es un conjunto abierto respecto de d o, simplemente, abierto si (a A) (
a

> 0) (B (a, a ) A) .

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

Ejemplo
1

El espacio X es un conjunto abierto. Por conveniencia, se asumir a que es un conjunto abierto. Por tanto, cualquier espacio m etrico admite, al menos, dos subconjuntos abiertos. Toda bola abierta es, en particular, un conjunto abierto. Se arma que la uni on arbitraria de conjuntos abiertos es abierto. Tambi en se arma que la intersecci on nita de conjuntos abiertos es abierto. La intersecci on arbitraria de abiertos puede no ser abierta Muestre las armaciones 2., 3., 4. y 5.

2 3

Profesor Jos e Aguayo

Clase 1, Espacios m etricos

Ejemplo En consecuencias, si denotamos por Td = {A X : A es abierto} , entonces Td satisface tres condiciones:

1 2

, X Td Si {Ai }i I es una familia arbitraria de elementos de Td , entonces i I Ai Td . Si {Ai }n i =1 es una familia nita de elementos de Td , entonces n i =1 Ai Td .

Profesor Jos e Aguayo

Clase 1, Espacios m etricos