Espacios mtricos.

e
Leonardo Fernndez a Matemtica Aplicada a E.T.S.I. Navales Curso 2001-2
1 Espacios topolgicos. o

Denicin 1.1 Sea X un conjunto. Una topolog para X es un subconjunto T P(X), cuyos o a elementos se denominan abiertos, que verica: 1. , X T . 2. La interseccin de un n mero nito de elementos de T pertenece a T . o u 3. La unin de un n mero arbitrario de elementos de T pertenece a T . o u La pareja (X, T ) se denomina espacio topolgico. Los complementarios de los abiertos se denoo minan cerrados. Proposicin 1.1 Sea C la coleccin de cerrados de un espacio topolgico (X, T ). Se verica que: o o o 1. X, pertenecen a C. 2. La unin de un n mero nito de cerrados es un cerrado o u 3. La interseccin de un n mero arbitrario de cerrados es un cerrado. o u Proposicin 1.2 Sea Y un subconjunto de (X, T ), espacio topolgico. Entonces T |Y := {U Y : U T ) o o es una topolog para Y . a Denicin 1.2 Sea (X, T ) un espacio topolgico y x X. Un entorno de x es cualquier subconjunto o o de X que contenga un abierto que incluya a x. Denicin 1.3 Sea Y un subconjunto de un espacio topolgico (X, T ). Sea x X. Decimos que x es o o un punto de acumulacin de Y si todo entorno de x tiene interseccin no vac distinta de {x} con o o a Y. Denicin 1.4 Sea Y un subconjunto de (X, T ), espacio topolgico. Denimos el interior, Y , de Y o o como el mayor abierto contenido en Y . Denimos el exterior, ext (Y ), de Y como el mayor abierto contenido en X Y . La frontera, F (Y ), de Y la constituyen los puntos de X que no pertenecen ni al interior ni al exterior de Y . Denicin 1.5 Sea Y un subconjunto de (X, T ), espacio topolgico. Denimos el cierre o adhereno o cia, Y , de Y como el menor cerrado que contiene a Y . Decimos que Y es denso en X si Y = X. Proposicin 1.3 Sea Y un subconjunto de (X, T ), espacio topolgico. Entonces, Y = Y F(Y ). o o Proposicin 1.4 Sea Y un subconjunto de un espacio topolgico (X, T ). Entonces x X es adherente o o a Y si y slo si x es punto interior o punto de acumulacin de Y , es decir, si y slo si todos los entornos o o o de x cortan a Y . Denicin 1.6 Sea (X, T ) un espacio topolgico e Y X. Un recubrimiento abierto de Y es una o o coleccin de abiertos de T cuya unin contiene a Y . o o Denicin 1.7 Sea (X, T ) un espacio topolgico. Un subconjunto K X es un compacto si en todo o o recubrimiento abierto de K existe un n mero nito de abiertos que recubren K. u Denicin 1.8 Sea (X, T ) espacio topolgico. Decimos que es conexo si no existen dos abiertos, U, V o o no triviales (distintos de , X) tales que U V = , U V = X.

Espacios mtricos. e

Denicin 2.1 Sea X un conjunto (no necesariamente un espacio vectorial). Una aplicacin d : X o o X R dene una distancia en X si verica, 1. 2. 3. 4. Positividad: d(x, y) 0, x, y X. d(x, y) = 0 x = y. Simetr d(x, y) = d(y, x), x, y X. a: Desigualdad triangular: d(x, y) d(x, z) + d(z, y), x, y, z X.

Si la propiedad 2 se relaja y se exige exclusivamente {x = y d(x, y) = 0}, la aplicacin d es una o pseudodistancia. La pareja (X, d) constituye un espacio mtrico (pseudomtrico si se relaja la e e propiedad 2). Los subconjuntos de X heredan trivialmente la distancia por restriccin, ya que no afecta a las cuatro o propiedades. Proposicin 2.1 Sea Y un subconjunto de (X, d), espacio mtrico. Entonces, (Y, d|Y ) es un espacio o e mtrico. e Proposicin 2.2 En un espacio mtrico (X, d) se verica la siguiente desigualdad triangular, o e |d(x, y) d(z, y)| d(x, z), x, y, z X. Denicin 2.2 Sea (X, d) un espacio mtrico. Una bola abierta de centro a y radio r 0 es el o e subconjunto B(a; r) := {x X : d(a, x) < r}. Denicin 2.3 Sea (X, d) un espacio mtrico. Una bola cerrada de centro a y radio r 0 es el o e subconjunto B (a; r) := {x X : d(a, x) r}. Denicin 2.4 Sean A, B subconjuntos de (X, d), espacio mtrico. La distancia entre A y B se o e dene como inf d(x, y).
xA,yB

Denicin 2.5 Sea Y un subconjunto de (X, d), espacio mtrico. Decimos que Y es un subconjunto o e abierto de (X, d) si para todo y Y , existe una bola abierta centrada en y contenida en Y . Denicin 2.6 Sea Y un subconjunto de (X, d), espacio mtrico. Decimos que Y es un subconjunto o e cerrado de (X, d) si su complementario, X Y , es un subconjunto abierto. 3 Sucesiones.

Una de las propiedades importantes de los espacios mtricos es que muchas propiedades topolgicas, como e o la compacidad, el cierre, la continuidad, etc. se pueden contrastar utilizando sucesiones. Denicin 3.1 Sea (X, d) un espacio mtrico. Una sucesin es una aplicacin N (X, d) que a cada o e o o o mite a cuando n tiende n le asocia el punto xn X. Decimos que la sucesin converge o tiene l a innito (y lo denotamos lim xn = a) si para todo > 0, existe un n0 (), de modo que para n n0 () se verica que d(xn , a) < .1
n

Proposicin 3.1 En un espacio mtrico, (X, d), el l o e mite de una sucesin {xn }, si existe, es unico. o o Denicin 3.2 Sea (X, d) un espacio mtrico. Decimos que una sucesin {xn } es una sucesin o e o fundamental o de Cauchy si para todo > 0, existe un n0 (), de modo que para n, p n0 () se verica que d(xn , xp ) < . Obviamente, toda sucesin convergente es de Cauchy. Decimos que el espacio mtrico (X, d) es o e completo si en l toda sucesin de Cauchy es convergente. e o Proposicin 3.2 Sea (X, d) un espacio mtrico. Sea Y un subconjunto de X. Un punto x X pertenece o e a Y si y slo si existe una sucesin {yn } Y convergente a x. o o n=1 En particular, un subconjunto ser cerrado si y slo si sus elementos son l a o mites de sucesiones contenidas en l. e Proposicin 3.3 Sea (X, d) un espacio mtrico. Sea K un subconjunto de X. K es un compacto de o e (X, d) si y slo si toda sucesin de elementos de K contiene una subsucesin convergente. o o o Proposicin 3.4 Sea (X, d) un espacio mtrico completo. Sea Y X no vac Entonces (Y, d) es o e o. completo si y slo si Y es cerrado en (X, d). o
1 Para un espacio topolgico general (X, T ) la sucesin converge a a si para todo entorno de a existe un n () de modo o o 0 que, para n n0 (), xn est dentro de dicho entorno. a

L mites y continuidad.

e o Denicin 4.1 Sean (X, d), (X , d ) espacios mtricos. Sea f : (Y, d) (X , d ) una aplicacin de o Y X en X . Sea x0 un punto de acumulacin de (Y, d). Decimos que el l o mite de f cuando x tiende a x0 es l X si para todo > 0, existe un (x0 , ) > 0, de modo que se verica que 0 < d(x, x0 ) < (x0 , ), con x Y , implica d (f (x), l) < .2 Proposicin 4.1 En un espacio mtrico, el l o e mite de una funcin en un punto x0 , si existe, es unico. o Denicin 4.2 Decimos que f es continua en x0 Y si para todo > 0, existe un (x0 , ) > 0, de o modo que se verica que d(x, x0 ) < (x0 , ), con x Y , implica d (f (x), f (x0 )) < .3 Una funcin es o continua en un subconjunto si lo es en todos los puntos de dicho subconjunto. Proposicin 4.2 Una funcin es continua en su dominio si y slo si para todo abierto U X se o o o verica que f 1 (U ) es un abierto. Corolario 4.1 Una funcin es continua en su dominio si y slo si para todo cerrado C X se verica o o que f 1 (C ) es un cerrado. Proposicin 4.3 La composicin de funciones continuas es continua. o o Proposicin 4.4 Sean (X, d), (X , d ) espacios mtricos. Sea f : (Y, d) (X , d ) una aplicacin de o e o Y X en X . Sea x0 un punto de acumulacin de (Y, d). Entonces existe l o mite de f cuando x tiende o o e hacia x0 si y slo si para cualquier sucesin convergente a x0 , {xn }, de trminos de Y distintos de x0 , la sucesin {f (xn )} es convergente. Adems el l o a mite de cualquiera de las sucesiones {f (xn )} consideradas coincidir con el l a mite de la funcin. o Denicin 4.3 Sea f : (X, d) (X , d ) una biyeccin entre espacios mtricos. Decimos que f es un o o e homeomorsmo si tanto f como f 1 son continuas. e o Denicin 4.4 Sean (X, d), (X , d ) espacios mtricos. Sea f : (Y, d) (X , d ) una aplicacin de o Y X en X . Decimos que f es uniformemente continua si para todo > 0, existe un () > 0, de modo que se verica que d(x, y) < (), con x, y Y , implica d (f (x), f (y)) < . Teorema 4.1 Sean (X, d), (X , d ) espacios mtricos. Sea f : (Y, d) (X , d ) una aplicacin continua e o de Y X en X . Si el conjunto Y es compacto, la aplicacin f es uniformemente continua. o Proposicin 4.5 Sea (Rn , d2 ). Un subconjunto K es compacto si y slo si es cerrado y acotado. o o Proposicin 4.6 Sea f : (X, T ) (X , T ) una aplicacin continua. Entonces, si K X es compacto, o o tambin f (K) es compacto en X . e o Proposicin 4.7 Sea f : (X, d) (X , d ) una aplicacin continua. Entonces, si (X, d) es conexo, o tambin (f (X), d ) es conexo. e Teorema 4.2 Teorema de la aplicacin contractiva: Sea (X, d) un espacio mtrico completo. Sea o e una aplicacin T : X X que verica que, para todo x, y X, d(T (x), T (y)) k d(x, y) con 0 < k < 1. o Entonces el problema T (x) = x tiene solucin nica. o u

2 Para un espacio topolgico general (X, T ), habr que encontrar, para cada entorno abierto, U , de l, un entorno abierto o a l Ux0 de x0 tal que f (Ux0 \{x0 }) Ul . 3 Para un espacio topolgico general (X, T ), habr que encontrar, para cada entorno abierto, U o a , de f (x0 ), un f (x0 ) entorno abierto Ux0 de x0 tal que f (Ux0 ) Uf (x ) .
0