1

Espacios Vectoriales Normados

1.1
1.1.1

Normas
Propiedades Bsicas

Definicin 1.1. Sea X un espacio vectorial sobre K = R C. Una norma en X es una funcin
N : X R, habitualmente denotada por N (x) = kxk, que cumple las propiedades siguientes.
1. (positividad) kxk 0 para todo x X, siendo kxk = 0 si y slo si x = 0.
2. (cambio de escala) kxk = ||kxk para todo x X y K, donde || es el valor absoluto en
K.
3. (desigualdad triangular) kx + yk kxk + kyk para todo x, y X.
Una seminorma es una funcin que satisface las mismas propiedades salvo la segunda condicin de la positividad, es decir, solamente se supone kxk 0 pero no que kxk = 0 x = 0.
De hecho, por (2) debe ser k0k = 0 (tomar = 0), luego una seminorma es norma si y slo si
cumple kxk = 0 = x = 0.
Proposicin 1.2. Un evn (X, N ) es un evt (espacio vectorial topolgico) respecto a la topologa
de la norma. La norma es una funcin continua de (X, N ) en R (con la topologa euclidea).

Definicin 1.3. La distancia asociada a una norma k k es d(x, y) = kx yk. Se verifica fcilmente que efectivamente d es una distancia. La topologa asociada a una norma es la topologa
de espacio mtrico inducida por la distancia asociada.
Los lmites de sucesiones en espacios normados y de funciones entre espacios normados, se
suponen respecto a la topologa asociada. Por ejemplo, la continuidad de una funcin f entre
dos espacios normados X, Y en un punto a X se expresa como
> 0 > 0 : kx ak < = kf (x) f (a)k < .
Si el espacio mtrico asociado es completo, es decir, toda sucesin de Cauchy converge:
lim d(xn , xm ) = 0 = lim xn = x X,

m,n

decimos que el evn X es un espacio de Banach.

Definicin 1.4. Sea X un espacio vectorial. Una distancia d : X X R es homognea si
satisface
1. d(x + z, y + z) = d(x, y) para todo x, y, z X.
2. d(x, y) = ||d(x, y) para todo x, y X, K.
Teorema 1.5. Una distancia d sobre un espacio vectorial X est inducida por una norma N si
y slo si es homognea.

Definicin 1.6. Sea X un espacio normado y {xn } X una sucesin. La serie de trmino
PN
general xn es la sucesin de sumas parciales SN = n=1 xn . Si esta P
sucesin converge a un

lmite x X entonces decimos que la serie es convergente y escribimos n=1 xn = x.

La sucesin de normas kxn k es una sucesin en [0, ) R y como tal se puede estudiar la
serie de trmino general kxn k en R. Como los trminos son positivos, slo puede ocurrir una de
dos cosas: la serie es divergente a infinito, o es convergente. Si

kxn k <

n=1

decimos que la serie es absolutamente convergente. La terminologa puede llevar a pensar que si
una serie converge absolutamente entonces converge, pero esto no es cierto en general.
Teorema 1.7. Sea X un espacio vectorial normado. Entonces X es completo (de Banach) si y
slo si toda serie en X absolutamente convergente es convergente.

1.1.2

Equivalencia

Definicin 1.8. Dos normas N1 , N2 sobre un espacio vectorial X son equivalentes si inducen
la misma topologa. Esto es trivialmente una relacin de equivalencia.
Lema 1.9. Dos normas N1 , N2 sobre un espacio vectorial X son equivalentes si y slo si existen
constantes , > 0 tales que
N1 (x) N2 (x) N1 (x).
(1)

Corolario 1.10. Si X es un espacio vectorial normado completo respecto a una norma N ,

tambin es completo respecto a cualquier norma equivalente N 0 .

Teorema 1.11 (Equivalencia de Normas). Si X es un espacio vectorial de dimensin finita,

todas las normas sobre X son equivalentes.

Corolario 1.12. Todos los espacios vectoriales normados de dimensin finita son de Banach.

1.1.3

Completacin

Teorema 1.13. Sea (X, N ) un evn. Existe un evn (X, N) completo (es decir, de Banach) tal que
X X, con X denso en X y N|X = N . Dicho espacio es nico salvo isomorfismo isomtrico.

1.2
1.2.1

Operadores Lineales entre Espacios Normados

Continuidad y Norma de Operadores

Sean (X, N ), (Y, N 0 ) evn. Escribiremos por comodidad k k para las dos normas en X y en Y .
Teorema 1.14. Sea T : X Y lineal. Entonces son equivalentes las siguientes afirmaciones:
1. T es continuo (en las topologas respectivas de la norma).
2. T es continuo en 0.
3. Existe una constante c > 0 tal que kT xk ckxk para todo x X (equivalentemente, x 6= 0).

Definicin 1.15. Se dice que un operador lineal que satisface la condicin (3) es acotado. El
Teorema entonces dice que para un operador lineal, acotado es lo mismo que continuo. Al espacio
de los operadores lineales y continuos T : X Y se le denota por L(X, Y ).
Si T L(X, Y ) definimos su norma de operador por
kT k = sup kT uk.
kuk=1

Por (3) del Teorema, kT k < .

En particular, denotamos X = L(X, K), el dual topolgico de X. En general una aplicacin
lineal : X K se llama funcional lineal. X es el espacio de funcionales lineales continuos.
La norma de un funcional viene dada por
kk = sup |(u)|
kuk=1

donde | | es el valor absoluto en K.

Lema 1.16. Si T L(X, Y ) entonces kT k es la menor de las constantes c 0 tales que
kT xk ckxk para todo x X.

Teorema 1.17. L(X, Y ) es un evn respecto a la norma de operador.

Proposicin 1.18. Si T L(X, Y ) y

xn = x, entonces

T xn = T x.

Proposicin 1.19. Si dim X < , todo operador lineal T de X en cualquier evn Y es continuo.

1.2.2

Isomorfismos

Definicin 1.20. Un isomorfismo entre dos espacios vectoriales normados X, Y es un operador

lineal T : X Y biyectivo y bicontinuo, es decir, tanto T como su inverso T 1 son continuos.
X, Y son isomorfos si existe un isomorfismo entre ellos.
Corolario 1.21. Todos los evn de una dimensin finita fija n son espacios de Banach isomorfos.

Proposicin 1.22. Sea T : X Y lineal. Las siguientes afirmaciones son equivalentes:

1. T es un isomorfismo.
2. T es epiyectivo y existen constantes , > 0 tales que kxk kT xk kxk para todo x X.
3. T es epiyectivo y N (x) = kT xk es una norma en X equivalente a kxk.

Lema 1.23. Si X, Y son evn isomorfos, entonces Y es de Banach si y slo si X es de Banach.

1.2.3

Isometras

Definicin 1.24. Una isometra es un operador lineal T : X Y que preserva la norma:

kT xk = kxk

x X.

Un isomorfismo isomtrico es un isomorfismo T : X Y tal que T y T 1 son isometras. X, Y

son isomtricamente isomorfos si existe un isomorfismo isomtrico entre ellos.
Nota 1.25. Existen funciones : X Y que preservan la norma pero no son lineales. Por
ejemplo, si u Y con kuk = 1 es fijo, entonces (x) = kxku es una tal.
Lema 1.26. Sea T : X Y una isometra. Entonces T es inyectiva y continua, con kT k = 1.
T es un isomorfismo isomtrico si y slo si es una isometra epiyectiva.

Lema 1.27. Cualquier evn Y es isomtricamente isomorfo al espacio L(K, Y ) mediante el operador i : Y L(K, Y ) definido por
[i(y)] = y.

1.2.4

Propiedades de L(X, Y )

Teorema 1.28. L(X, Y ) es de Banach para todo evn X si y slo si Y es de Banach.

Proposicin 1.29. Sean X, Y, Z evn y T L(X, Y ), S L(Y, Z). Entonces

kST k kSkkT k.

Definicin 1.30. Un lgebra de Banach es una K-lgebra normada con norma completa y submultiplicativa, es decir, tal que kabk kakkbk.
Corolario 1.31. Si X es un espacio de Banach, el espacio L(X, X) de endomorfismos lineales
continuos de X es un lgebra de Banach.
Corolario 1.32. Si T : X Y es un isomorfismo, entonces 1 kT kkT 1 k.

Teorema 1.33. Sean X, Y evn con Y de Banach, y T L(X, Y ). Si X es la completacin de

X, existe un nico operador T L(X, Y ) tal que TX = T . Adems, kTk = kT k.

Ejemplo 1.34 (La Integral de Riemann). Sea [a, b] cualquier intervalo compacto de nmeros
reales. Una particin de [a, b] es una coleccin ordenada de puntos = {x0 = a < x1 < x2 <
xn = b. Una funcin escalonada es una funcin : [a, b] R tal que existe una particin y
constantes {ck }nk=1 tales que (x) = ck en [xk1 , xk ) para 1 k < n y (x) = cn en [xn1 , xn ].
No es difcil demostrar que el conjunto X de funciones escalonadas es un espacio vectorial,
respecto a las operaciones habituales de suma y mltiplo de funciones. Adems, la funcin
def

kk = sup |(x)| = max |ck |

1kn

x[a,b]

es una norma en X, y la aplicacin

def

I() =

n
X

ck (xk xk1 )

k=1

es un funcional lineal continuo en X. De hecho,

|I()|

n
X

|ck |(xk xk1 ) kk

k=1

n
X

(xk xk1 ) = (b a)kk .

k=1

Por tanto I extiende de manera nica a un funcional continuo sobre la completacin X de X.

Esta completacin contiene al espacio C[a, b] de funciones continuas sobre [a, b], ya que toda
funcin continua es lmite de escalonadas en la norma k k (esto es consecuencia de la continuidad uniforme). El funcional extendido sobre C[a, b] es la integral de Riemann para funciones
continuas.

1.3
1.3.1

Operaciones Sobre Espacios Vectoriales Normados

Subespacios

Definicin 1.35. Sea X un espacio vectorial. Usaremos la notacin Z X para indicar que Z
es un subespacio vectorial de X.
Proposicin 1.36. Sea X un evn.
1. Si Z X es de Banach respecto a la norma restringida, entonces es cerrado.

2. Si X es de Banach y Z X es cerrado, entonces es de Banach respecto a la norma restringida.

Proposicin 1.37. Cualquier subespacio de dimensin finita Z en un evn X (no necesariamente

de Banach) es de Banach, y por tanto cerrado.

1.3.2

Productos

Si I es un conjunto de ndices y {(Xi , Ni )}iI

Q es una coleccin de espacios normados, podemos
formar el producto directo algebraico X = iI Xi . La cuestin es como normarlo. Cuando I
es finito, una opcin habitual es copiar la definicin de norma p en Kn ,
!1/p
X
p
,
1 p .
Np ((xi )iI ) =
Ni (xi )
iI

Estas son normas, todas equivalentes por el Teorema 1.11. Si cada Xi es de Banach entonces el
producto X tambin lo es. Esta ser la opcin por defecto para un producto finito de espacios
normados.
Es fcil demostrar que la convergencia respecto a cualquiera de estas normas producto
equivale a la convergencia componente a componente. Por ejemplo, usando p = , donde se
tiene
k(x1 , x2 , . . . , xn )k = max Nk (xk ), xk Xk ,
1kn

es obvio que
(x1 , x2 , . . . , xn ) (a1 , a2 , . . . , an ) k(x1 a1 , x2 a2 , . . . , xn an )k 0
max Nk (xk ak ) 0,
1kn

Nk (xk ak ) 0,
xk ak ,

1 k n,

1 k n.

Cuando I es infinito, hay que imponer la condicin de convergencia

normas resultantes no tienen por qu ser equivalentes.

iI

Ni (xi )p < y las

Proposicin 1.38. La aplicacin L(X, Y ) X Y dada por (T, x) T x es continua.

1.3.3

Cocientes

Sea X un evn y M X un subespacio. Entonces se puede formar el cociente algebraico X/M

con su aplicacin cociente Q : X X/M , que es lineal y epiyectiva. Escribiremos Qx = x
e.
En Anlisis funcional, se trata de trasladar la norma de X al cociente. Para ello, consideramos
la funcin distancia a M , dada por
d(x, M ) = inf kx mk.
mM

Tambin escribiremos dM (x) para resaltarla como funcin de x. Dado que M es un subespacio,
dM es invariante por traslaciones por vectores de M :
dM (x + m) = dM (x) m M
6

ya que
inf k(x + m) m0 k = inf
kx (m0 m)k = inf
kx m00 k
0
00

m0 M
00

m M

m M

puesto que m = m m recorre M cuando m recorre M , con m M fijo. Como dM (x0 ) = dM (x)
cuando x0 x mod M , dM induce una funcin sobre el cociente, definida por
: X/M R,

Q = dM ,

es decir,

def

(e
x) = dM (x),

que est bien definida (es independiente del representante elegido).

Proposicin 1.39. dM (x) es una seminorma en X y es una seminorma en X/M . dM es
una norma en X si y slo si M = (0) y es una norma en X/M si y slo si M es cerrado.

Proposicin 1.40. Sea X un evn, M X un subespacio cerrado propio y denotemos por

ke
xk = inf mM kx mk a la norma en el cociente X/M definida anteriormente. Entonces
Q L(X, X/M ) con kQk = 1.

Teorema 1.41. Sea X un evn, M X cerrado, y Q : X X/M la aplicacin cociente.

1. Q es abierta, es decir, si U X es abierto, entonces Q(U ) X/M es abierto.
2. V X/M es abierto si y slo si Q1 (V ) X es abierto.

Corolario 1.42. Sea X un evn, M X cerrado y N X con dim N < . Entonces M + N

es cerrado.

Teorema 1.43. Sea X un evn y M X. Si dos de entre M, X, X/M son espacios de Banach,
el tercero tambin es de Banach.
1. Si M y X son de Banach, entonces X/M es de Banach.
2. Si M y X/M son de Banach, entonces X es de Banach.
3. Si X y X/M son de Banach, entonces M es de Banach.

Los Teoremas Fundamentales de la Teora de Espacios

de Banach

2.1

El Teorema de Baire

Teorema 2.1 (Teorema de Baire). Sea (X, d) un espacio mtrico completo.

1. La interseccin numerable de abiertos densos de X es denso. Es decir, si para cada n N
tenemos un subconjunto Un X abierto con U n = X, entonces la interseccin n Un es un
subconjunto denso (aunque no necesariamente abierto) de X.
2. Si
S X es la unin numerable de cerrados, alguno tiene interior no vaco. Es decir, si X =
nN Fn y cada Fn es cerrado, entonces existe n tal que int Fn 6= .

2.2
2.2.1

El Teorema de la Aplicacin Abierta

Operaciones Algebraicas sobre Conjuntos

Nota 2.2. Advertencia: no hay que suponer la veracidad de identidades que parecen naturales, por ejemplo, en general es falso que A + A = 2A. Por definicin,
2A = {2a : a A},

A + A = {a + a0 : a, a0 A},

por tanto 2A A + A, pero la inclusin contraria significa que A tiene la propiedad

a, a0 A =

a + a0
A,
2

que est relacionada con la convexidad de A y no se cumple en general.

Sea X un espacio normado. Denotaremos por B a la bola unidad B(0, 1) y por Br la bola
B(0, r) = rB. Si tratamos con otro espacio Y , escribiremos B0 y B0r para las bolas en Y .
Lema 2.3. Sean r, s > 0. Entonces
1. Br = Br
2. Br + Bs = Br+s .
3. B(c, r) = c + rB Bkck+r para todo c X, r > 0.
4. Si T : X Y es lineal entonces
T (A) = T (A)

K,

T (A + B) = T (A) + T (B)

A, B X.

5. Si T : X Y es lineal entonces
T 1 (A) = T 1 (A)

K .

Si = 0 no es cierto en general pues dira que T 1 (0) = 0, es decir, ker T = 0, que expresa
la inyectividad de T . Adems
T 1 (A) + T 1 (B) T 1 (A + B)
En general no se da la igualdad.
8

A, B Y.

Lema 2.4. Sea T : X Y una aplicacin lineal. Las siguientes afirmaciones son equivalentes:
1. T es continua.
2. int T 1 (B0 ) 6= , es decir, T 1 (B0 ) contiene alguna bola.
3. T 1 (B0 ) contiene alguna bola centrada en 0.

Lema 2.5. Sea T : X Y una aplicacin lineal. Las siguientes afirmaciones son equivalentes:
1. T es abierta.
2. int T (B) 6= , es decir, T (B) contiene alguna bola.
3. T (B) contiene alguna bola centrada en 0.

Lema 2.6. Para una aplicacin lineal T : X Y epiyectiva, son equivalentes:

1. int T (B) 6= , es decir, T (B) contiene alguna bola.
2. T (B) contiene alguna bola centrada en 0.

Teorema 2.7 (Teorema de la Aplicacin Abierta). Sean X, Y espacios de Banach. Si T

L(X, Y ) es epiyectiva, entonces es abierta.

Corolario 2.8 (Teorema del Isomorfismo). Sean X, Y espacios de Banach. Si T L(X, Y ) es

biyectiva, entonces es un isomorfismo. Es decir, la inversa T 1 es automticamente continua.

2.3

El Teorema de la Grfica Cerrada

Definicin 2.9. La grfica de un operador lineal T : X Y es

(T ) = {(x, T x) : x X} X Y.
(T ) es un subespacio lineal de X Y . Si X, Y son evn, entonces (T ) hereda la norma
k(x, y)k = kxk + kyk de X Y .
Teorema 2.10. Sean X, Y espacios de Banach y T : X Y lineal. Entonces T es continuo si
y slo si la grfica de T es cerrada.

Nota 2.11. El Teorema de la Grfica Cerrada, en trminos de sucesiones, dice que para comprobar
que T es continuo, basta con demostrar que
xn x,

T xn y = y = T x.

Este enunciado es claramente ms dbil que el criterio general xn x = T xn T x,

que requiere demostrar la convergencia de T xn , adems de que el valor del lmite es T x, frente
al criterio de la grfica cerrada, que permite suponer la convergencia de T xn y slo requiere
demostrar que el lmite es T x.
De hecho, por linealidad, basta con verificar el caso particular x = 0.
Lema 2.12. Si X, Y son evn y T : X Y es lineal, entonces (T ) es cerrada si y slo si
xn 0,

T xn y = y = 0.

Ejemplo 2.13. Sea X = C 1 [0, 1], Y = C[0, 1], ambos con la norma kf k = maxx[0,1] |f (x)|.
Sea D : X Y el operador derivada, que es lineal. Entonces
1. D no est acotado (por tanto no es continuo).
2. D tiene grfica cerrada.
Esto no contradice el Teorema de la Grfica Cerrada. Como Y es un espacio de Banach, se
concluye que X no puede serlo (las dems hiptesis s se cumplen). De hecho X no es un
subespacio cerrado de Y . Hay sucesiones fn de funciones C 1 uniformemente convergentes a una
funcin continua f que deja de ser diferenciable en algn punto.

Corolario 2.14 (Teorema de las Dos Normas). Sea X un espacio vectorial y N1 , N2 dos
normas completas. Si
N1 N2
para alguna constante > 0, entonces existe tambin una constante > 0 tal que
N2 N1 ,
es decir, las dos normas son de hecho equivalentes

Ejemplo 2.15. Sea X = C[0, 1] con la norma

Z
kf k1 =

|f (x)| dx

(verificar que de hecho es una norma). Entonces X no es de Banach. Sabemos que con la norma
de la convergencia uniforme
kf k = sup |f (x)|
x[0,1]

s lo es. Por otra parte,

Z
kf k1 =

Z
|f (x)| dx

kf k dx = kf k .
0

10

Si (C[0, 1], k k1 ) fuera de Banach, por el Corolario 2.14, las dos normas seran equivalentes, es
decir, kf k Ckf k1 para alguna constante C. Esto no es verdad, pues es fcil construir una
sucesin de funciones continuas fn con kfn k1 = 1 y kfn k = n. Un ejemplo de esto son las
tiendas de campaa: una funcin cuya grfica es un tringulo de base 2/n y altura n. Por
ejemplo,
(
2
n n2 x si 0 x n2
fn (x) =
0
si n2 x 1.

2.4

El Principio de Acotacin Uniforme.

Teorema 2.16 (Teorema de Banach-Steinhaus). Sea X un espacio de Banach, Y un espacio

vectorial normado y F L(X, Y ). Entonces se da una de las dos siguientes alternativas:
1. El conjunto {x X : supT F kT xk = } es denso.
2. F est uniformemente acotada, es decir, supT F kT k < .
En particular, si supT F kT xk < para cada x X, entonces F est uniformemente
acotada.
Corolario 2.17. Sea X un espacio de Banach, Y un espacio normado y {Tn } L(X, Y ) tal
def
que existe limn Tn x = T x para todo x X (lmite puntual). Entonces
1. La familia {Tn } est uniformemente acotada.
2. T L(X, Y ) (el lmite puntual de operadores lineales y continuos es continuo).
3. kT k lim inf kTn k.
Nota 2.18. Si X no es Banach, entonces el resultado del Principio de Acotacin
Uniforme y del
R
Corolario 2.17 pueden ser falsos. Sea X = C[0, 1] con la norma kf k1 = [0,1] |f |, que no es de
Banach (ver el Ejemplo 2.15). Se consideran los operadores
Z 1/n
Tn f = n
f (x) dx.
0

Son lineales y continuos:

Z
|Tn f | n

1/n

|f | nkf k1

kTn k n.

Para toda funcin f C[0, 1] existe el lmite

R 1/n
R
Z
f (x) dx
f (x) dx
d
0
0
= lim
= lim
f (x) = lim f () = f (0).
lim Tn f = lim
n
n
0
0 d 0
0
1/n

Es decir, Tn converge puntualmente al funcional evaluacin en 0, denotado por 0 . Sin embargo,

0 no es continuo en la norma k k1 , como muestra otra vez la tienda de campaa
(
2
n n2 x si 0 x n2
fn (x) =
0
si n2 x 1.
11

con kfn k1 = 1 pero 0 (fn ) = fn (0) = n.

Observar tambin que Tn f2n = n, por tanto kTn k = n y tampoco se cumple la acotacin
uniforme, a pesar de que para cada f C[0, 1] la sucesin {Tn f } s est acotada.
Corolario 2.19. Sean X, Y espacios de Banach, Z un espacio vectorial normado y T : X Y
Z bilineal y continuo por separado. Entonces T es simultneamente continuo, es decir acotado:
kT (x, y)k Ckxk kyk para alguna constante C.
El resultado anterior es vlido en general para operadores k-multilineales, k N, con valores
en un espacio normado cualquiera.
Corolario 2.20. Si T : X1 Xk Z, es continuo por separado, siendo cada Xi de Banach,
entonces es simultneamente continuo.

12

2.5
2.5.1

El Teorema de Hahn-Banach
Funcionales Lineales

Denotemos por L(X, Y ) a los operadores lineales T : X Y (no necesariamente continuos) y

sigamos denotando por L(X, Y ) a los continuos.
Definicin 2.21. Un hiperplano de un espacio vectorial X es un subespacio M X tal que
codim M = 1, es decir, dim X/M = 1.
Lema 2.22. Sea X un espacio vectorial.
1. Si f L(X, K), f = 0 ker f = X.
2. Si f L(X, K) con f 6= 0, el ncleo ker f es un hiperplano.
3. Si M X es un hiperplano, existe f L(X, K), f 6= 0 con M = ker f .
4. Si f, g L(X, K), entonces ker f = ker g si y slo si g = f para algn K, 6= 0.
Nota 2.23. El resultado anterior no supone nada acerca de la continuidad, es puramente algebraico.
Lema 2.24. Sea X un espacio vectorial normado.
1. Un hiperplano en X o es cerrado o es denso en X.
2. Un funcional lineal f es continuo si y slo si ker f es cerrado.

Lema 2.25. Sea X un espacio vectorial normado, M X un hiperplano cerrado y f X con

ker f = M . Sea Q : X X/M la aplicacin cociente. Hay un nico isomorfismo T : K X/M
tal que T f = Q.
// K
zz
z
Q
zz
 z} zz T
X/M
f

Sea X un espacio vectorial complejo. Automticamente X es tambin un espacio vectorial

real, ya que R es un subcuerpo de C. Necesitamos estudiar la relacin entre los funcionales
lineales complejos de X y los reales.
Proposicin 2.26. Sea X un espacio vectorial complejo.
1. Si f L(X, R) es un funcional real, entonces
def

(Cf )(x) = f (x) if (ix)

es un funcional complejo. Es decir, Cf L(X, C).
2. Si f L(X, C) es un funcional complejo, entonces Re f : X R es un funcional real. Es
decir, Re f L(X, R).
13

3. Re Cf = f para todo f L(X, R) y C Re f = f para todo f L(X, C). Por tanto,

C : L(X, R) L(X, C)

Re : L(X, C) L(X, R)

son inversas, y de hecho son isomorfismos R-lineales. entre L(X, R) y L(X, C) como espacio
vectorial real.

Lema 2.27. Sea X un espacio vectorial complejo y p una seminorma en X. Si f L(X, R),
entonces
|f (x)| p(x) x X |Cf (x)| p(x) x X.

Corolario 2.28. Sea X un espacio vectorial complejo. Si f L(X, R), entonces f es continuo
si y slo si Cf lo es, y se tiene kf k = kCf k. Por tanto, Re y C son isomorfismos isomtricos
R-lineales entre el dual real L(X, R) y el dual complejo L(X, C) como espacio vectorial real.

Ejemplo 2.29. Sea X = C. Como espacio vectorial real, C

= R2 . El dual real es L(C, R)
=
2
2
2

L(R , R) = R y el complejo es L(C, C) = C = R , siendo todos estos isomorfismos isomtricos.

2.5.2

Extensiones

Definicin 2.30. Sea X un espacio vectorial. Un funcional sublineal es una aplicacin p : X

R tal que
1. p(x + y) p(x) + p(y) para todo x, y X.
2. p(x) = p(x) si R, 0.
Ejemplo 2.31.
1. Una seminorma (y por tanto una norma) es un funcional sublineal. Sin embargo, un funcional
sublineal puede ser negativo.
2. Si f L(X, K), p(x) = |f (x)| es una seminorma.
3. Si f L(X, K) = X , p(x) = kf kkxk es una seminorma.
4. p(x, y) = |x| + y es un funcional sublineal en R2 que no es seminorma, pues p(x, y) 6=
p(x, y).
5. Si X es un espacio vectorial real y p(x) es un funcional sublineal con p(x) = p(x), entonces
si < 0, p(x) = p(()x) = ()p(x) = ||p(x). Adems, 0 = p(0) = p(x + (x))
p(x) + p(x) = 2p(x) luego p(x) 0, por tanto p es una seminorma.
Teorema 2.32 (Teorema de Hahn-Banach Real). Sea X un evn real, p un funcional sublineal
en X, M X un subespacio y f : M R lineal tal que f (x) p(x) para todo x M . Entonces
existe un funcional lineal F : X R tal que F |M = f y F (x) p(x) para todo x X.

14

Nota 2.33. El Teorema de Hahn-Banach no requiere suponer que el espacio es completo, es decir,
un espacio de Banach. La condicin f p se expresa diciendo que f est dominado por p.
Teorema 2.34 (Teorema de Hahn-Banach para seminormas). Sea X un espacio vectorial sobre
K = R, C, M X un subespacio, p una seminorma y f L(M, K) tal que |f (x)| p(x) para
todo x M . Entonces existe F L(X, K) tal que F |M = f y |F (x)| p(x) para todo x X.

Corolario 2.35 (Teorema de Hahn-Banach para Funcionales Continuos). Sea X un espacio

vectorial sobre K = R, C, M X un subespacio, y f M = L(M, K) un funcional continuo
sobre M . Entonces existe F X tal que F |M = f y kF k = kf k.

2.5.3

Propiedades de Separacin

Proposicin 2.36. Sea X un espacio vectorial normado, M X un subespacio y a

/ M.
Existe f X tal que
1. kf k = 1.
2. f |M = 0.
3. f (a) = d(a, M ).

Corolario 2.37. Sea X un espacio vectorial normado.

1. Si c X, c 6= 0, existe f X con kf k = 1 y f (c) = kck. En particular, X 6= 0 = X 6= 0.
2. Si a, b X con a 6= b, existe f X con kf k = 1 y f (a) 6= f (b).

Proposicin 2.38. Sea X un espacio vectorial normado, M X un subespacio. Entonces

x M si y slo si f (x) = 0 para todo f X con f |M = 0. Equivalentemente,
\
M=
ker f.
f X :f |M =0

Es decir, x M si y slo si todo funcional que se anula en M tambin lo hace en x.

Corolario 2.39. Sea X un espacio vectorial normado. Entonces

\
ker f = 0.
f X

Esto expresa de otra manera la separacin de puntos por funcionales.

Corolario 2.40. Sea X un espacio vectorial normado. Un subespacio M es denso, es decir,

M = X, si y slo si el nico funcional que se anula en M es f = 0.
15

Corolario 2.41. Sea X un espacio vectorial normado y x0 X. Entonces

kx0 k = sup{|f (x0 )| : f X , kf k = 1}
y de hecho este supremo se alcanza.

2.6
2.6.1

Dualidad
El Doble Dual

Sea X un espacio vectorial normado. La operacin de formar X = L(X, K) se puede repetir,

obteniendo de esta manera una cadena de duales topolgicos sucesivos,
X X X X
Por el Teorema 1.28, todos estos espacios a partir de e incluyendo a X , son espacios de Banach.
De particular inters es el doble dual X . Sus elementos son funcionales sobre X , es decir,
funcionales de funcionales sobre X.
Definicin 2.42. Sea X un espacio vectorial normado. La inmersin cannica asociada a X
es la aplicacin
iX : X X
definida por la relacin
def

(iX (x))(f ) = f (x)

f X .

Se suele emplear la notacin

iX (x) = x
b X :

def

x
b(f ) = f (x)

f X .

Es decir, x
b es el funcional evaluacin en x.
Lema 2.43. La inmersin cannica iX es una isometra de X en X .

Definicin 2.44. Sea X un espacio vectorial normado. Entonces la inmersin cannica iX es

un isomorfismo isomtrico sobre su imagen, que denotaremos por
def
b=
X
iX (X) = {b
x : x X}.

b = X , decimos que X es reflexivo. En este caso iX es un

Si iX es epiyectiva, es decir, si X
isomorfismo isomtrico de X en X .
Nota 2.45. Si X es reflexivo, es de Banach, al ser isomorfo con X , que siempre es de Banach.
b es un subespacio cerrado de X .
Lema 2.46. X es de Banach si y slo si X
b es denso en el
Nota 2.47. En general, para cualquier espacio vectorial normado X, su imagen X
b de X . Como X es de Banach, X
b es de Banach. Por tanto X
b representa
subespacio cerrado X
una complecin de X.
16

Lema 2.48. Si X es reflexivo, para todo f X , existe u X con kuk = 1 y f (u) = kf k. Es

decir, cada funcional sobre X alcanza su norma en algn punto de la esfera unidad en X.

Nota 2.49. De hecho, X es reflexivo si y slo si todo funcional sobre X alcanza su norma en
algn punto de la esfera unidad.
Teorema 2.50. 1. Si X es reflexivo entonces X es reflexivo.
2. Si X es reflexivo y X es de Banach, entonces X es reflexivo.

2.6.2

Anuladores

El tipo de resultado visto, que expresa un propiedad de elementos de X en trminos de propiedades

de funcionales continuos, lleva a la nocin de dualidad. Consideramos la aplicacin
h, i : X X K,

def

hx, f i = f (x).

Es una aplicacin bilineal (lineal tanto en x X como en f X por separado) y continua en

la topologa producto, pues
|hx, f i| = |f (x)| kf kkxk.
De hecho, por el Corolario 2.37, h, i tiene norma 1 si al producto X X le damos la norma
k(x, f )k = max(kxk, kf k),
pues dado x X, kxk = 1, sea f X con kf k = 1 y f (x) = kxk = 1. Entonces (x, f ) es
unitario respecto a k k y hx, f i = kxk = 1. Observemos adems que
hx, f i = 0 x X f = 0
ya que esto simplemente dice que f (x) = 0 para todo x. Por otra parte,
hx, f i = 0 f X x = 0
es el Corolario 2.39. Estos dos resultados significan que h, i es no degenerada. La notacin
sugiere la de un producto escalar y la nocin de ortogonalidad. Siguendo la analoga geomtrica,
se hacen las siguientes definiciones.
Definicin 2.51. Sea X un espacio normado. Para un subespacio M X, el anulador u
ortogonal a la derecha es
M = {f : hM, f i = 0} = {f X : f (x) = 0 x M } = {f : M ker f },
def

es decir, los funcionales que se anulan sobre M . Para un subespacio N X , el anulador u

ortogonal a la izquierda es
\
def

N = {x : hx, N i = 0} = {x X : f (x) = 0 f N } =
ker f,
f N

es decir, los ceros comunes de todos los f N .

17

Lema 2.52.
1. M1 M2 = M1 M2 .
2. N1 N2 =

N1 N2 .

3. X = 0, 0 = X .
4.

X = 0,

0 = X.

5. M = X M = 0.
6.

N = X N = 0.

Observamos que la dualidad correspondiente para el primer y segundo dual es

hf, iX = (f ) : X X K
b es
En particular, restringida a X
hf, x
biX = x
b(f ) = f (x) = hx, f iX .
Esto es anlogo a una propiedad de simetra.
Lema 2.53. Sea X un espacio vectorial normado.
1. Para M X se tiene
c
M = M
2. Para N X se tiene
d
b =
N
N X

Proposicin 2.54. Sea X un espacio vectorial normado.

1. Si M X es cualquier subespacio, entonces M es cerrado en X .
2. Si N X es cualquier subespacio, entonces

N es cerrado en X.

3. Para cualquier M X,

(M ) = M .

4. Para cualquier N X ,
( N ) N .
Si X es reflexivo, entonces
( N ) = N = (N ).

Corolario 2.55. Si M X entonces M = X M = 0.

Corolario 2.56.
18

1. Si N X entonces N = X =

N = 0.

2. Si X es reflexivo, entonces N = X

N = 0.

Corolario 2.57. Los anuladores a la derecha siempre son espacios de Banach.

d
b
Nota 2.58. En cambio, si N X es un subespacio cerrado, se tiene solamente
N = N X

b
(Lema 2.53). Si X es de Banach, entonces X es un subespacio cerrado de X , y por tanto
d

b tambin es cerrado. Como X siempre es de Banach por el Teorema 1.28,

N = N X
d
esto implica que
N es de Banach (Proposicin 1.36) y por tanto N es de Banach ya que la
inmersin cannica es una isometra.
Proposicin 2.59. Sea X un espacio vectorial normado. Entonces
c X
b .
X = X

Corolario 2.60. Sea X un espacio vectorial normado.

1. Si X es reflexivo, entonces X es reflexivo.
2. Si X es reflexivo y X es de Banach, entonces X es reflexivo.

2.6.3

Operador Adjunto

Definicin 2.61. Sean X, Y espacios vectoriales normados y T : X Y lineal. El adjunto

algebraico de T es el operador T : L(Y, K) L(X, K) entre los duales algebraicos definido por
T (f ) = f T,

/Y
X@
@@
@@
@ f
T (f ) @@

T

f Y

Es inmediato verificar que T es lineal.

Si T es continuo, es decir, T L(X, Y ), entonces T (Y ) X , y tenemos un operador
T : Y X ,
pues la composicin de operadores continuos es continuo. Nos referimos a este operador como el
adjunto de Banach o simplemente adjunto de T . Es el caso que interesa en Anlisis Funcional.
En trminos de la dualidad, la definicin de T es
T f (x) = f (T x)

x X, f Y ,

que equivale a
hx, T f iX = hT x, f iY
19

x X, f Y

Proposicin 2.62. Sean X, Y espacios vectoriales normados y T : X Y un operador lineal.

Entonces T es continuo si y slo si T (Y ) X .

Proposicin 2.63. Si T L(X, Y ) entonces T L(Y , X ) y kT k = kT k.

Proposicin 2.64 (Propiedades algebraicas del adjunto). Sean X, Y, Z espacios vectoriales normados.
1. La aplicacin T T : L(X, Y ) L(Y , X ) es lineal:
S, T L(X, Y ),

(aS + bT ) = aS + bT ,

a, b K.

2. Si T L(X, Y ) y S L(Y, Z) entonces

(ST ) = T S .
3. 0 = 0 (el operador nulo Y X ).
4. 1X = 1X , donde 1X es la identidad X X.
5. Si T es un isomorfismo entonces T tambin es un isomorfismo, con (T 1 ) = (T )1 .
6. Si T es epiyectiva, entonces T es inyectiva.
7. Si T es epiyectiva, entonces T es inyectiva.
Nota 2.65. En particular, la aplicacin : L(X, Y ) L(Y , X ) dada por (T ) = T es una
isometra lineal. Si dim X, dim Y < entonces es siempre un isomorfismo isomtrico, pero en
dimensin infinita no tiene por qu ser epiyectiva.
Corolario 2.66. Sean X, Y espacios vectoriales normados. Si T : X Y es un isomorfismo
isomtrico, entonces T : Y X tambin lo es.

Proposicin 2.67 (Doble Adjunto). Sean X, Y espacios vectoriales normados y T L(X, Y ).

Entonces T L(X , Y ) y el siguiente diagrama es conmutativo:
X
T


Y

iX

/ X


iY

/ Y

Es decir,
T x
b = Tcx

x X.

Corolario 2.68. Sean X, Y espacios vectoriales normados isomorfos. Entonces X es reflexivo

si y slo si Y es reflexivo.
20

Teorema 2.69. Sean X, Y espacios vectoriales normados y T L(X, Y ). Entonces

1. ker T = (img T ) .
2. ker T = (img T ).
3.

(ker T ) = img T .

4. (ker T ) img T , con igualdad si X es reflexivo.

Corolario 2.70. Sean X, Y espacios vectoriales normados y T L(X, Y ). Entonces

1. T es inyectiva si y slo si img T es densa en Y .
2. Si img T es densa en X , entonces T es inyectiva.
3. Si X es reflexivo, entonces T es inyectiva si y slo si img T es densa en X .

Teorema 2.71 (Factorizacin). Sean X, Y espacios vectoriales normados y T L(X, Y ). Si

M ker T es un subespacio cerrado de ker T , entonces existe un nico operador Te L(X/M, Y )
tal que el diagrama
T
/Y
X
z<
z
z
Q
zz
z
z
 z Te
X/M
conmuta, es decir,
T = TeQ
donde Q es la aplicacin cociente. Adems, se tiene
1. kTek = kT k.
2. img Te = img T , luego Te es epiyectiva si y slo si T lo es.
3. ker Te = ker T /M , luego Te es inyectiva solamente en el caso M = ker T .
4. Si T es epiyectiva, entonces Te : X/ ker T Y es continua y biyectiva. En particular
dim Y = codim ker T = rg T
(el rango algebraico).
5. Si T es epiyectiva, entonces cualquiera de las siguientes condiciones son suficientes para que
Te : X/ ker T Y sea un isomorfismo de espacios de Banach (Te1 continua):
(a) X/ ker T , Y son espacios de Banach,
(b) X, Y son espacios de Banach.
(c) dim Y < . Equivalentemente, rg T < .
21

(Estas condiciones son suficientes pero no necesarias).

Definicin 2.72. Diremos que el operador Te del Lema anterior es el operador incucido por T
en el cociente X/M .
Teorema 2.73. Sea X un espacio vectorial normado, M X un subespacio cerrado y Q : X
X/M la aplicacin cociente. Entonces Q : (X/M ) X es un isomorfismo isomtrico
Q : (X/M )
= M .

Teorema 2.74. Sea X un espacio vectorial normado, M X un subespacio cerrado y i : M

X la inmersin identidad. Entonces
1. i : X M es la restriccin a M .
2. i es epiyectiva.
3. ker i = M .
4. i induce un isomorfismo isomtrico X /M
= M .

Nota 2.75. Si X es un espacio vectorial normado y M X es un subespacio cerrado, entonces

tenemos la sucesin exacta corta de espacios normados
0

/M

/X

/ X/M

/ 0.

Los dos teoremas anteriores indican que esta sucesin dualiza, es decir,
0

/ (X/M )

/ X

/ M

/0

tambin es una sucesin exacta corta, siendo img Q = ker i = M .

22