Вы находитесь на странице: 1из 4

ELEMENTOS DE ANALISIS

FUNCIONAL
Guillermo Ames
2011

TEMA 1: NOCIONES BASICAS


DE ESPACIOS METRICOS

1.

Espacios m
etricos: definici
on y ejemplos

Definici
on 1.1 (Espacios metricos, metrica): Un espacio metrico es un par (X, d) donde X es un
conjunto y d es una metrica (o distancia) en X. Esto es, d : X X R es una funcion que cumple
1. Positividad: d(x, y) 0 y d(x, y) = 0 si y solo si x = y.
2. Simetra: d(x, y) = d(y, x).
3. Desigualdad triangular: d(x, y) + d(y, z) d(x, z).
Observaciones 1.2:
X es un conjunto arbitrario, no necesariamente es un espacio vectorial.
En un mismo X pueden definirse distintas metricas, por eso denotamos (X, d) para designar un
espacio con una metrica especfica. Cuando no haya lugar a confusion, escribiremos simplemente
X.
Subespacio de un espacio m
etrico:
Si Y X es un subconjunto de X, la restriccion d de d a Y es una metrica en Y , llamada metrica
un subespacio metrico de (X, d).
inducida, y esto hace de (Y, d)
Ejemplos 1.3:
1. R con la distancia usual: d(x, y) = |x y|.
2. Rn con la distancia usual:x = (x1 , . . . , xn ), y = (y1 , . . . , yn ),
p
d(x, y) = (x1 y1 )2 + + (xn yn )2 .
3. C con la distancia usual: d(z, w) = |z w|.
4. Cn con la distancia usual: z = (z1 , . . . , zn ), w = (w1 , . . . , wn ),
p
d(z, w) = |z1 w1 |2 + + |zn wn |2 .
5. X = B(R) = {f : R R tal que f es acotada}, d(f, g) = sup{|f (x) g(x)| : x R}.

2.

Sucesiones en espacios m
etricos. Completitud

Definici
on 2.1:
Una sucesi
on {xn }nN en un espacio metrico (X, d) es una funcion de N en X.
Sucesion convergente:
{xn }nN converge a x0 si: > 0 N N : d(xn , x0 ) < n N .
Notaci
on: lm xn = x0 o xn x0 .
n

Se cumple: lm xn = x0 si y s
olo si d(xn , x0 ) 0.
n

Sucesion de Cauchy:
{xn }nN es sucesi
on de Cauchy si: > 0 N N : d(xn , xm ) < n, m N.
Informalmente, d(xn , xm ) 0.
n,m

Se sigue cumpliendo en todo espacio metrico el siguiente:


Teorema 2.1. Toda sucesi
on convergente es de Cauchy.
Observaci
on 2.2: La recproca de este teorema no es cierta en general. Dijimos que en R el hecho que
toda sucesion de Cauchy converge era equivalente al axioma de completitud. Esto motiva la siguiente:
Definici
on 2.3: Diremos que (X, d) es un espacio metrico completo si toda sucesion de Cauchy en X
es convergente.
Ejemplos 2.4: C, Rn , Cn son espacios metricos completos con la distancia eucldea usual.
Ejercicio: demostrar esta afirmaci
on

3.

Topologa en espacios m
etricos

3.1.

Conjuntos abiertos y cerrados

Definici
on 3.1 (Bola y esfera): Sea X un espacio metrico, x0 X y r > 0. Definimos los siguientes
subconjuntos:
1. B(xo , r) = {x X : d(x, x0 ) < r} (bola abierta)
o , r) = {x X : d(x, x0 ) r} (bola cerrada)
2. B(x
3. S(xo , r) = {x X : d(x, x0 ) = r} (esfera)
En los tres casos, x0 se llama el centro y r el radio.
Definici
on 3.2 (Conjunto abierto, conjunto cerrado): Un subconjunto A de un espacio metrico X se
dice abierto si
xo A, existe r > 0 tal que B(xo , r) A.
Un subconjunto B se dice cerrado si su complemento B c = X B = {x X : x
/ B} es abierto.
2

Definici
on 3.3: Sea A un subconjunto de un espacio metrico X. Definimos:
1. Punto interior de A: x0 es un punto interior de A si existe r > 0 tal que B(xo , r) A.
Denotaremos A0 al conjunto de puntos interiores de A.
De la definici
on, resulta claro que A0 A, y ademas A es abierto si y solo si A = A0 .
2. Punto de acumulaci
on de A: x0 es un punto de acumulacion (o punto lmite) de A si
r > 0 se cumple que A (B(x0 , r) {x0 }) 6= (recordar: es el conjunto vaco).
Denotaremos A0 al conjunto de puntos de acumulacion de A.
Observaci
on 3.4: No necesariamente A0 A. Mas a
un, A0 A si y solo si A es cerrado. (demostraci
on:
ejercicio)
Definici
on 3.5 (Clausura): Si A X, definimos A = A A0 (clausura de A).
Observaci
on 3.6: A es un conjunto cerrado, y es el menor conjunto cerrado que contiene a A.
En particular A es cerrado si y s
olo si A = A.
Definici
on 3.7 (Conjunto denso): Si A X, diremos que A es denso en X si A = X.
Proposici
on 3.8 (Ejercicio). Son equivalentes:
1. A es denso.
2. x0 X y r > 0 se cumple que A B(x0 , r) 6= .
3. x0 X, existe una sucesi
on {xn }nN en A, que converge a x0 .
Ejemplos 3.9:
Q es denso en R (aceptaremos esto sin demostracion).
Qn es denso en Rn (ejercicio).
Definici
on 3.10 (Conjunto numerable):
Un conjunto A se dice infinito numerable si existe una biyeccion de A en el conjunto N de n
umeros
naturales.
Un conjunto A se dice numerable si es finito o infinito numerable.
Proposici
on 3.11. A es numerable si y s
olo existe una una funci
on suryectiva de N en A, o equivalentemente, si existe una funci
on inyectiva de A en N.
Ejemplos 3.12:
N, Z son numerables.
Q es numerable.
R no es numerable. Luego C, Rn y Cn tampoco lo son.
Definici
on 3.13 (Espacio separable): Un espacio metrico si existe un conjunto numerable que es denso
en X.
3

Ejemplos 3.14:
R es separable, pues Q es un subconjunto denso numerable.
C, Rn y Cn son separables.
Completaci
on de un espacio m
etrico
Si (X, d) es un espacio metrico no completo, se puede completar en el siguiente sentido (informal):
tal que X
d)
contiene a X, de modo que este resulta un
Existe un espacio metrico completo (X,
y d resulta la metrica inducida por d en X.
subespacio metrico denso de X
Un enunciado matem
aticamente m
as preciso de este hecho es mas complicado y lo omitimos.
Un ejemplo: R es la completaci
on de Q.

3.2.

Funciones continuas en espacios m


etricos

Definici
on 3.15: Sean (X, dX ) e (Y, dY ) espacios metricos y T : X Y una funcion de X en Y . T es
continua en x0 si:
> 0, existe > 0 tal que si dX (x, x0 ) < , entonces dY (T (x), T (x0 )) < .
Informalmente, lm T (x) = T (x0 ) o dY (T (x), T (x0 ))0 si dX (x, x0 ) 0.
xx0

T es continua si es continua en x0 para todo x0 X.


Proposici
on 3.16. Una funci
on T : X Y es continua en x0 si y s
olo si
para toda sucesi
on {xn }nN tal que lm xn = x0 se cumple
n

lm T (xn ) = T (x0 ).

Ejemplo 3.17 (Ejercicio): X = C[a, b] = {f : [a, b] R : f es continua} es un espacio metrico con


la distancia
d (f, g) = max{|f (t) g(t)| : t [a, b]}.
Z b
Sea T : X R definida por T (f ) =
f (t) dt.
Entonces T es una funci
on continua.