EAF2011 1 Presentacion Espacios Metricos 10 07

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 12

ELEMENTOS DE ANALISIS

FUNCIONAL
Guillermo Ames
Universidad Tecnol
ogica Nacional - Facultad Regional C
ordoba

2011
TEMA 1:

NOCIONES BASICAS
DE ESPACIOS METRICOS

Espacios metricos: definicion y ejemplos


Definicion (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 s


olo si x = y .

Simetra: d(x, y ) = d(y , x).

Desigualdad triangular: d(x, y ) + d(y , z) d(x, z).

Observaciones
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
on, escribiremos
especfica. Cuando no haya lugar a confusi
simplemente X .

Subespacio de un espacio metrico:


Si Y X es un subconjunto de X , la restricci
on d de d a Y es

una metrica en Y , llamada metrica inducida, y esto hace de (Y , d)


un subespacio metrico de (X , d).

Ejemplos
1
2

3
4

R con la distancia usual: d(x, y ) = |x y |.


Rn con la p
distancia usual:x = (x1 , . . . , xn ), y = (y1 , . . . , yn ),
d(x, y) = (x1 y1 )2 + + (xn yn )2 .
C con la distancia usual: d(z, w ) = |z w |.
Cn con la distancia
usual: z = (z1 , . . . , zn ), w = (w1 , . . . , wn ),
p
d(z, w) = |z1 w1 |2 + + |zn wn |2 .
X = B(R) = {f : R R tal que f es acotada},
d(f , g ) = sup{|f (x) g (x)| : x R}.

Sucesiones en espacios metricos. Completitud


Definicion
Una sucesion {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
Toda sucesion convergente es de Cauchy.

Observacion
La recproca de este teorema no es cierta en general. Dijimos que
en R el hecho que toda sucesi
on de Cauchy converge era
equivalente al axioma de completitud. Esto motiva la siguiente:

Definicion
Diremos que (X , d) es un espacio metrico completo si toda
sucesion de Cauchy en X es convergente.

Ejemplos
C, Rn , Cn son espacios metricos completos con la distancia
eucldea usual.
Ejercicio: demostrar esta afirmaci
on

Topologa en espacios metricos


Conjuntos abiertos y cerrados
Definicion (Bola y esfera)
Sea X un espacio metrico, x0 X y r > 0. Definimos los
siguientes subconjuntos:
1
2
3

B(xo , r ) = {x X : d(x, x0 ) < r } (bola abierta)


o , r ) = {x X : d(x, x0 ) r } (bola cerrada)
B(x
S(xo , r ) = {x X : d(x, x0 ) = r } (esfera)

En los tres casos, x0 se llama el centro y r el radio.

Definicion (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.

Definicion
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 definicion, resulta claro que A0 A, y ademas A es
abierto si y solo si A = A0 .

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.

Observacion
No necesariamente A0 A. Mas a
un, A0 A si y solo si A es
cerrado. (demostracion: ejercicio)

Definicion (Clausura)
= A A0 (clausura de A).
Si A X , definimos A

Observacion
es un conjunto cerrado, y es el menor conjunto cerrado que
A
contiene a A.
= A.
En particular A es cerrado si y s
olo si A

Definicion (Conjunto denso)


= X.
Si A X , diremos que A es denso en X si A

Proposicion (Ejercicio)
Son equivalentes:
1

A es denso.

x0 X y r > 0 se cumple que A B(x0 , r ) 6= .

x0 X , existe una sucesi


on {xn }nN en A, que converge a
x0 .

Ejemplos
Q es denso en R (aceptaremos esto sin demostracion).
Qn es denso en Rn (ejercicio).

Definicion (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.

Proposicion
A es numerable si y solo existe una una funci
on suryectiva de N en
A, o equivalentemente, si existe una funci
on inyectiva de A en N.

Ejemplos
N, Z son numerables.
Q es numerable.
R no es numerable. Luego C, Rn y Cn tampoco lo son.

Definicion (Espacio separable)


Un espacio metrico si existe un conjunto numerable que es denso
en X .

Ejemplos
R es separable, pues Q es un subconjunto denso numerable.
C, Rn y Cn son separables.

Completacion de un espacio metrico


Si (X , d) es un espacio metrico no completo, se puede completar
en el siguiente sentido (informal):
, d)
tal que X
contiene a
Existe un espacio metrico completo (X
y
X , de modo que este resulta un subespacio metrico denso de X

d resulta la metrica inducida por d en X .


Un enunciado matematicamente mas preciso de este hecho es mas
complicado y lo omitimos.
Un ejemplo: R es la completaci
on de Q.

Funciones continuas en espacios metricos


Definicion
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
xx0

dY (T (x), T (x0 ))0 si dX (x, x0 ) 0.


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

Proposicion
Una funcion T : X Y es continua en x0 si y s
olo si
para toda sucesion {xn }nN tal que lm xn = x0 se cumple
n

lm T (xn ) = T (x0 ).

Ejemplo (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
Sea T : X R definida por T (f ) =
Entonces T es una funci
on continua.

f (t) dt.
a

También podría gustarte