ELEMENTOS DE ANALISIS

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

2011
TEMA 2:
A LOS ESPACIOS NORMADOS Y DE
INTRODUCCION
BANACH

Espacios Normados: definicion y ejemplos

Definicion (Norma, Espacio Normado)
Sea X un espacio vectorial (real o complejo). Una norma en X es
una funcion k k R que satisface:
1

kxk 0 para todo x X .

kxk = 0 si y solo si x = 0.

kxk = ||kxk, para todo escalar, x X .

kx + y k kxk + ky k para todos x, y X

triangular).

(Desigualdad

Un espacio normado es un par (X , k k) donde X es un espacio

vectorial y k | es una norma en X .

Observaciones
A diferencia de los espacios metricos, donde X es un conjunto
arbitrario, un espacio normado es un espacio vectorial.
Toda norma induce una distancia en X : d(x, y ) = kx y k.
Luego todo espacio normado es tambien un espacio metrico.

Definicion (Espacio de Banach)

Diremos que un espacio normado (X , k k) es un espacio de
Banach si es un espacio metrico completo con la distancia inducida
por la norma.

Notacion
Usaremos las u
ltimas letras del abecedario para denotar los
elementos de X (vectores): x, y , z, w , u, v , etc.
Dejaremos de recalcar a los vectores con notaciones como v o
v , a excepcion de Rn y Cn , donde seguiremos con la notacion
x = (x1 , . . . , xn ) = x, y en est caso x1 , . . . , xn F = R o C.
Para los escalares que aparecen multiplicando vectores o en
combinaciones lineales, usaremos en general letra griegas: x,
x + y , etc.
Cuando no se preste a confusi
on, las primeras letras del
abecedario en general tambien significaran escalares: a, b, c,
etc.

Ejemplos
1

Rn (espacio eucldeo) y Cn (espacio unitario): Podemos

definir diferentes normas enpestos espacios:
Norma estandar: kxk = |x1 |2 + + |xn |2 .
Norma infinito: kxk = max{|xi | : 1 i n}.
1
Norma p (1 p < ): kxkp = (|x1 |p + + |xn |p ) p .
Notar que la norma estandar corresponde a p = 2.

Observaci
on: Fn es espacio de Banach con cualquiera de
estas normas.
Subespacios de sucesiones: consideramos RN (resp. CN ) el
espacio de todas las sucesiones reales (resp. complejas).
Podemos definir subespacios de sucesiones que resultan
espacios de Banach en s mismos:
Si 1 p < , sea l p = l p (N) el espacio de sucesiones {an }
n=1

X
p
tales que
an es convergente.
n=1

La norma esta definida por:

k{an }
n=1 kp

X
n=1

! p1
anp

Sea l (o l (N)) el espacio de sucesiones acotadas con la

norma
k{an }
n=1 k = sup{|an | : 1 n < }.

Como en el ejemplo anterior, podemos definir los espacios de

Banach l p (Z) y l (Z), que son subespacios del espacio RZ de
Z
sucesiones indexadas por enteros, esto es, {an }
n= R .
Solo hay que tener en cuenta que las series van desde
n = a (y que, en general, n Z).
Sea X = C [a, b] el espacio de funciones continuas a valores
reales (o complejos). En este espacio podemos definir varias
normas en forma similar:
1
Z

!2

b
2

|f (t)| dt

Norma 2: kf k2 =

Norma infinito: kf k = max{|f (t)| : a t b}.

! p1
Z b
Norma p (1 p < ): kf kp =
|f (t)|p dt .
a

Observaci
on: Sabemos que (X , k k ) es completo,
pero (X , k kp ) no lo es para ning
un p (1 p < ),
por lo que solo (X , k k ) es espacio de Banach (ejercicio).

Normas equivalentes
Definicion
Dos normas k k y k k0 en un espacio vectorial X son equivalentes
si y solo si existen constantes positivas a y b tales que
akxk0 kxk bkxk0 para todo x X .
Esta definicion esta motivada por el hecho que normas
equivalentes producen la misma topologa:
Aunque las bolas en las respectivas normas no coinciden
necesariamente,
los abiertos y cerrados s lo hacen, as como la convergencia de
sucesiones, completitud, continuidad, entre otras.

Teorema
Todas las normas en un espacio vectorial de dimension finita son
equivalentes.
En particular, todas las normas de Rn (y Cn ) son equivalentes.

Completacion de espacios normados

Observamos que todo espacio metrico se puede completar en el
sentido que puede construirse un nuevo espacio metrico que
contiene al original, de modo que este resulta un subespacio
metrico denso del mas grande y ambas distancias coinciden en el
espacio original.
El mismo proceso se puede realizar en un espacio normado
(X , k k), de modo de obtener un espacio de Banach (X 0 , k k0 ) tal
que X esta contenido y es denso en X 0 y las normas k k y k k0
coinciden en X .

Definicion
Para cada p R, 1 p < , definimos Lp [a, b] a la completacion
de X = C [a, b] respecto de la norma p.
Observemos que aunque el conjunto a completar es siempre el
mismo, como la norma es distinta, (C [a, b], k kp ) es un espacio
normado distinto para cada p, y las completaciones Lp [a, b]
resultan espacios de Banach todos distintos.