Documentos de Académico
Documentos de Profesional
Documentos de Cultura
!
" #
$ $ $
$
$
$
%
$
$
&
%
+
(
6
10$-
$-01$$
.01$6;$(& 01$ &
!"#$%&'(')*$'+(,+,'-
./0!123
-
/
"
( ! $
"
/$$$$
" '
' '
3 H:A9: (+(,-#./( +
012340
(
"6;:A9:
FUNDAMENTOS
DE
ANALISIS FUNCIONAL
Hernán R. Henrı́quez
Profesor Departamento de Matemática y Ciencia de la Computación
Universidad de Santiago
Santiago, Chile.
Prólogo
Este texto fue escrito para servir de guı́a del curso semestral de análisis funcional que el
autor imparte en la Universidad de Santiago para los estudiantes de Licenciatura en Matemática
e Ingenierı́a Matemática.
Por este motivo todos los conceptos son ilustrados con numerosos ejemplos. Asimismo, sin
extender demasiado el texto, hemos incluido algunas aplicaciones de las técnicas del análisis
funcional a la solución de otros problemas de análisis.
El texto supone conocimiento previo del estudiante en análisis abstracto, topologı́a e inte-
gración de Lebesgue. Para precisar la terminologı́a, se ha incluido un apéndice con los conceptos
y resultados básicos de topologı́a que se utilizarán a lo largo del texto. El libro pretende pre-
sentar las técnicas esenciales relacionadas con el concepto de espacio normado. Con este objeto
hemos dividido el texto en cinco capı́tulos. El Capı́tulo I resume algunas propiedades alge-
braicas y geométricas de los espacios vectoriales. El Capı́tulo II introduce los conceptos de
espacio vectorial topológico y espacio localmente convexo. El objetivo de este capı́tulo es es-
tablecer las bases para desarrollar apropiadamente los conceptos de topologı́a débil y topologı́a
débil*. El Capı́tulo III constituye la parte central del libro y está dedicado a presentar los
resultados esenciales del análisis funcional en el contexto de los espacios normados. El Capı́tulo
IV contiene una apretada sı́ntesis de las propiedades especiales de los espacios con producto
interior. Finalmente, el Capı́tulo V presenta una breve discusión sobre álgebras de Banach.
El autor agradece a varias generaciones de estudiantes de matemática de la Universidad de
Santiago que efectuaron numerosas correcciones al manuscrito original. El autor espera que los
conceptos desarrollados en este texto les hayan servido de motivación para continuar estudios
avanzados en análisis funcional.
Hernán R. Henrı́quez
Santiago,
Junio, 2012
INDICE
I Nociones Elementales 3
1 Aspectos Algebraicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Aspectos Geométricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
IV Espacios de Hilbert 96
1 Conceptos Básicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
2 Ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
3 Dualidad en Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
Referencias 153
Indice de Materias 155
1
Indice de Sı́mbolos
A◦ , A◦◦ 42 Kn 56
AP (X) 48 1 16
B(S) 45 1 (Z, C) 131
B X 77 p 45
B(S, X) 45 p (X) 46
BV ([a, b], X) 47 2 (C), 2 (I, C) 100
BV0 ([a, b], X) 47 2 (X) 108
B(X, Y ), B(X) 57 ∞ 46
c, c(X), c0 (X) 46 Lp ([0, 1]) 19
c0 16 L1 ([−π, π]) 76
C(Ω) 28 L1 (R) 16
C m (Ω) 49 L2 ([a, b], K) 101
C n ([a, b], C) 132 L∞ ([0, 1]) 46
pm (Ω) 49
C L(X, Y ) 33
C ∞ (Ω) 29 Lip([0, 1]) 65
C(T, K) 22 Mm,n (K) 64
Cb , Cu 56 M ([0, 1]) 20
Cb (T ), C0 (T ) 47 M ⊥ 42
Cb (T, C), C0 (T, C), C00 (T, C) 127 R(T ) 4
C(T, X) 65 σ(X, F ) 40
C([a, b], K) 101 σ(X, X ) 40
C0 ([0, 1]) 50 σ(X , X) 42
C 1/2 ([0, 1]) 107 σ(X , X ) 77
D(Ω), DK (Ω) 27 σ(X , X ) 78
Δ(A) 139 T0 , T1 , T2 147
e(A) 11 T 86
G 141 T 95
Γ(A) 15 T r 96
H 1 ([a, b]) 104 V(x, X), V(x, T ) 17
H p (D) 48 W m,p (Ω) 53
H 2 (D) 101 x̂ 141
H2 (D) 102 X ∗ , X ∗∗ 3
HomC (A) 139 X 20
H(Ω) 29 X 68
J, JX 68 ⊥ 108
ker(T ) 4 22
2
Capı́tulo I
Nociones Elementales
1 Aspectos Algebraicos
Sea X un espacio vectorial sobre K . Iniciamos estas notas introduciendo alguna terminologı́a
y notaciones. Supongamos que x ∈ X, α ∈ K , A y B son subconjuntos de X y que D es
un subconjunto de K . Utilizaremos las siguientes notaciones:
x + A = {x + y : y ∈ A},
A + B = {x + y : x ∈ A , y ∈ B},
αA = {αx : x ∈ A},
DA = {αx : α ∈ D , x ∈ A}.
Además, A denota el subespacio vectorial de X generado por A. Llamaremos forma lineal
sobre X a una aplicación lineal f : X → K . El conjunto de las formas lineales sobre X
es también un espacio vectorial sobre K , que se llama espacio dual algebraico de X, y que
denotaremos por X ∗ . Llamaremos espacio doble dual de X al espacio dual de X ∗ , al que
denotaremos por X ∗∗ .
Entre X y X ∗∗ existe una inclusión natural J : X → X ∗∗ , llamada inclusión canónica,
definida por J(x) = x donde x : X ∗ → K se define a su vez por x (x∗ ) = x∗ (x) . Es usual
∗ ∗
también usar la notación x (x) = x , x . Se puede verificar fácilmente que J es lineal e
inyectiva, si bien, en general, no es epiyectiva (ver Ejercicio 2). Es costumbre identificar los
elementos x ∈ X con x ∈ X ∗∗ . Con esta identificación se considera a X como subespacio
vectorial de X ∗∗ .
Asociada a esta idea surge la aplicación B : X × X ∗ → K , definida por B(x, x∗ ) = x∗ , x .
Se verifica fácilmente que B es una aplicación bilineal no degenerada, es decir, si B(x, x∗ ) = 0 ,
para todo x∗ ∈ X ∗ entonces x = 0 y si B(x, x∗ ) = 0 para todo x ∈ X entonces x∗ = 0.
Debido a esta propiedad a B se le llama aplicación de dualidad y (X, X ∗ ) se llama un par
dual. La demostración de esta afirmación se basa en la siguiente propiedad de los espacios
vectoriales, que utilizaremos reiteradamente.
Un resultado esencial de la teorı́a de espacios vectoriales es que para todo conjunto lin-
ealmente independiente T ⊆ X existe una base B de X tal que T ⊆ B . Por otra parte,
si B = {xi : i ∈ I} es una base de X y ai ∈ K, i ∈ I. podemos definir una forma lineal
3
4 Capı́tulo I. Nociones Elementales
En particular, para dos formas lineales f , g tales que ker(f ) ⊆ ker(g) , entonces f y g
son linealmente dependientes.
Proposición 1.2. Sea X un espacio vectorial sobre K y sea {fi : i = 1, . . . , n}, un conjunto
linealmente independiente de formas lineales sobre X. Entonces existen vectores xi ∈ X ,
i = 1, . . . , n tal que fi (xj ) = δij .
Todo espacio vectorial complejo X es también un espacio vectorial real, que se llama espacio
vectorial real subyacente y que denotamos por Xr .
Proposición 1.3. Sea X un espacio vectorial sobre C y f una forma lineal sobre X . En-
tonces la función g definida por g(x) = Ref (x), x ∈ X, es un elemento de Xr∗ y
Demostración. Si definimos g(x) = Ref (x) es claro que g ∈ Xr∗ . Para verificar (1.1) basta
observar que
f (x) = Ref (x) + iImf (x),
para todo x ∈ X. Se deduce de esto que
f (ix) = Ref (ix) + iImf (ix)
= i[Ref (x) + iImf (x)]
= iRef (x) − Imf (x),
luego
Imf (ix) = Ref (x),
Imf (x) = −Ref (ix),
es decir, f (x) = g(x) − ig(ix) .
Recı́procamente, si g ∈ Xr∗ y definimos f por la fórmula (1.1), entonces es evidente que
f es R–lineal. Además,
f (ix) = g(ix) − ig(−x) = g(ix) + ig(x)
= i[g(x) − ig(ix)] = if (x),
Se deduce de la definición que p(0) = 0 . Dos casos especiales de funcionales sublineales son
los siguientes.
6 Capı́tulo I. Nociones Elementales
Si p es una seminorma, entonces p(0) = p(x − x) ≤ p(x) + p(−x) = 2p(x) y, por lo tanto
p(x) ≥ 0 para todo x ∈ X . Además, las seminormas satisfacen la propiedad
para todo x, y ∈ X.
Definición 1.3. Sea X un espacio vectorial sobre K. Se llama norma sobre X a una semi-
norma p tal que p(x) > 0 , para x ∈ X no nulo. El par (X, p) se llama espacio normado.
Entonces existe una forma lineal f ∈ X ∗ tal que f(x) = f (x), para todo x ∈ M y
Demostración. Todas las demostraciones de este teorema utilizan algún equivalente del ax-
ioma de elección. La siguiente está basada en el Lema de Zorn.
Sea P la colección de todas las formas lineales g definidas en un subespacio D(g) de X
que contiene a M y tal que g = f sobre M y g(x) ≤ p(x) para x ∈ D(g) . Claramente P es
no vacı́o por cuanto f ∈ P . En P se introduce una relación de orden. Para g, h ∈ P diremos
que g ≤ h si D(g) ⊆ D(h) y h(x) = g(x) para x ∈ D(g) . Es fácil verificar que (P, ≤)
es un conjunto parcialmente ordenado. Sea (gi )i∈I una cadena en P . Sea N = ∪i∈I D(gi ) .
Claramente N es un subespacio vectorial de X . Se define g : N → R por g(x) = gi (x) ,
cuando x ∈ D(gi ) . Se obtiene directamente de la definición que g ∈ P y que es una cota
superior para la cadena (gi )i∈I .
Se deduce del Lema de Zorn que existe en P un elemento maximal f. Se completa la
demostración observando que D(f) = X . En efecto, si no fuese ası́ existirı́a x0 ∈ X D(f) .
Para todo x, y ∈ D(f) se verifican las desigualdades
para todo x ∈ D(f). Se puede verificar fácilmente que g es una forma lineal sobre N . Además
g = f sobre D(f) . A continuación verificaremos que g es dominada por p.
Si α > 0 , entonces de la desigualdad (1.3) obtenemos
1 x x
g x + x0 = c + f ≤p + x0
α α α
Observación 1.1. Si p es una seminorma y f una forma lineal real tal que f (x) ≤ p(x) ,
para todo x ∈ X, entonces | f (x)| ≤ p(x) .
y, por tanto,
f (x) ≥ −p(x).
El siguiente resultado es el teorema de extensión de Hahn-Banach para un espacio vectorial
complejo.
Corolario 1.1. Sea X un espacio vectorial complejo y p una seminorma sobre X. Sea M
un subespacio vectorial de X y f una forma lineal sobre M tal que
|f (x)| ≤ p(x) , x ∈ M,
Demostración. Sea g(x) = Ref (x). Entonces g es una forma lineal sobre Mr y verifica
la desigualdad g ≤ p sobre M . Se deduce del Teorema 1.1 que existe g ∈ Xr∗ que es una
extensión de g dominada por p . Definamos f(x) = g(x) − i
g (ix) . Sabemos, por la Proposición
1.3 que f ∈ X ∗ y usando la misma proposición se puede verificar que f es una extensión de
f . Finalmente, si f(x) = | f(x)|eiα , entonces
para todo x ∈ X.
δ = inf{p(x0 + y) : y ∈ M },
entonces existe una forma lineal f ∈ X ∗ tal que f (x0 ) = δ, f (x) = 0, para todo x ∈ M y
|f (x)| ≤ p(x), para todo x ∈ X.
6. Sea X = C([a, b]) y sea 0 < θ ≤ 1. Muestre que el conjunto formado por las funciones
θ-Hölder continuas, es decir las funciones f : [a, b] → R que verifican la condición
8. Sea X = C((−∞, 0]). Para cada t ≥ 0 se define S(t) : X → X por [S(t)x](θ) = x(θ − t)
para θ ≤ 0. Muestre que S(t) es una aplicación lineal, S(0) = I y que S(t + s) =
S(t) ◦ S(s), para todo s, t ≥ 0.
t
9. Muestre que L : C([a, b]) → Lip([a, b]) definida por Lx(t) = a x(s) ds es una aplicación
lineal.
2 Aspectos Geométricos
Desde un punto de vista geométrico las formas lineales se visualizan a través de hiperplanos.
Si X es un espacio vectorial, se llama hiperplano de X a un subespacio maximal (propio) de
X . Esto es, un subespacio vectorial H de X es un hiperplano si H = X y si M es otro
subespacio tal que H ⊆ M, entonces H = M o M = X . Se deduce de esta definición que si
H es un hiperplano y si x0 ∈/ H , entonces X = x0 ⊕ H .
Proposición 2.1. Un subespacio vectorial H de X es un hiperplano si, y solamente si, existe
f ∈ X ∗ con f = 0 tal que H = ker(f ).
M = {x ∈ X : f (x) = c} = f −1 ({c}).
Es evidente por la definición de conjunto absorbente que 0 ≤ qA (x) < ∞, para todo x ∈ X
(i) Sean x, y ∈ X, entonces q(x + y) ≤ q(x) + q(y). En efecto, escojamos ε > 0 . Entonces,
por la Observación 2.1, podemos afirmar que x ∈ (q(x) + ε)A y que y ∈ (q(y) + ε)A . Por lo
tanto, utilizando el Ejercicio 5(b) se deduce que
(ii) Sean x ∈ X y α ≥ 0, entonces q(αx) = αq(x). Procediendo como en (i), escojamos ε > 0.
Entonces x ∈ (q(x) + ε)A. Si α = 0 es inmediato que q(αx) = αq(x). Si α > 0 , entonces
αx ∈ (αq(x) + αε)A y, procediendo como en la parte anterior, se obtiene que q(αx) ≤ αq(x) .
Para obtener la desigualdad opuesta, basta aplicar la desigualdad anterior con y = αx y β = α1 .
Entonces
q(βy) ≤ βq(y)
y reemplazando se obtiene
1
q(x) ≤ q(αx),
α
lo que completa la demostración de esta parte.
(iii) La inclusión A ⊆ {x ∈ X : q(x) ≤ 1} es inmediata. Por otro lado, si q(x) < 1 , entonces
x ∈ αA , algún 0 ≤ α < 1 , y de la observación previa resulta que x ∈ A .
q(αx) = |α|q(x),
Lema 2.1. Sea X un espacio vectorial real y sea C ⊆ X un subconjunto convexo con al
menos un punto interno. Sea x0 ∈ X , x0 ∈ / C . Entonces existe f ∈ X ∗ no nula tal
que f (x) ≤ f (x0 ) , para todo x ∈ C . Además, si x es un punto interno de C, entonces
f (x) < f (x0 ) .
Por otra parte, si x es un punto interno de C , entonces existe λ > 0 tal que x+λ(x0 −y) ∈
C y luego
f (x) + λf (x0 − y) ≤ f (x0 ).
Como f (x0 − y) ≥ 1 se deduce que f (x) < f (x0 ).
Sea M una variedad lineal maximal en un espacio vectorial real X. Sabemos que
M = {x ∈ X : f (x) = c}
para cierta forma lineal f . Con la variedad M se asocian cuatro semiespacios: dos semiespacios
cerrados (en un sentido geométrico del término) {x : f (x) ≥ c} y {x : f (x) ≤ c} , y dos
semiespacios abiertos {x : f (x) > c} y {x : f (x) < c} .
Sean A, B ⊆ X conjuntos convexos. Se dice que M separa a A y B si A está contenido
en uno de los semiespacios cerrados determinados por M y B está contenido en el otro.
Análogamente, se dice que M separa estrictamente a A y B si se mantiene la propiedad
anterior con los semiespacios abiertos.
El siguiente resultado se conoce como forma geométrica del Teorema de Hahn-Banach.
Teorema 2.1. Sea X un espacio vectorial real y sean A y B dos subconjuntos convexos no
vacı́os y disjuntos de X. Si al menos uno de ellos tiene un punto interno, entonces existe un
hiperplano H que separa los conjuntos A y B . Si uno de ellos está formado sólo por puntos
internos, entonces está contenido en uno de los semiespacios abiertos determinados por H y
si A y B consisten de puntos internos, entonces H separa estrictamente a A y B .
3. Sea A ⊆ X equilibrado no vacı́o. Muestre que A es absorbente si, y solamente si, para
todo x ∈ X existe α = 0 tal que αx ∈ A .
(e) Se llama envolvente convexa, denotada por c(A), de un conjunto A al menor conjunto
convexo que contiene a A. Si A es un conjunto no vacı́o, mostrar que
n
n
c(A) = αi xi : n ∈ N, xi ∈ A, αi ≥ 0, αi = 1 .
i=1 i=1
I.2 Aspectos Geométricos 15
(h) Si p es una seminorma en X, entonces p−1 ([0, 1)) y p−1 ([0, 1]) son subconjuntos
absorbentes, convexos y equilibrados de X.
(i) Si A ⊆ Rn , entonces
n+1
n+1
c(A) = αi xi : xi ∈ A, αi ≥ 0, αi = 1 .
i=1 i=1
(c) Sea X un espacio vectorial provisto con la norma · y sea B = {x ∈ X : x ≤ 1}. En
cada uno de los casos que siguen calcule Ext(B). El lector no conocedor de la terminologı́a
puede ver la definición de los espacios involucrados en la Sección 1 del Capı́tulo III.
12. Sea f ∈ C 2 (R). Establezca una condición general sobre f para que el conjunto
{(x, y); y ≥ f (x)} sea convexo.
1 Introducción
En esta sección denotaremos por X a un espacio vectorial real o complejo.
Definición 1.1. Se llama espacio vectorial topológico al par (X, T ), formado por un espacio
vectorial X y una topologı́a T en X para la cual las aplicaciones s : X × X → X,
(x, y) → x + y, y p : K × X → X, (λ, x) → λx, son continuas.
p(Dr × V1 ) = Dr · V1
= rD1 · V1
= re(V1 )
obtenemos que existe W = re(V1 ) ∈ B tal que W ⊆ V . Se deduce de esto que el filtro generado
por B es V(0, X).
La afirmación (a) es consecuencia de la propia definición de B y del Ejercicio 2(j) y, la
afirmación (b) es consecuencia del Ejercicio 2(b). Mostremos finalmente que se verifica la
firmación (c). Como s : X × X → X es continua en (0, 0) y 0 ∈ V, entonces existen vecin-
que tal que s(V1 × V2 ) ⊆ V . Usando que B es base de V(0, X), existe
dades V1 y V2 de 0 tal
W ∈ B tal que W ⊆ V1 V2 . Por lo tanto, W + W ⊆ V1 + V2 = s(V1 × V2 ) ⊆ V .
Observación 1.1. Como se afirma en el Ejercicio 2(a), en un espacio vectorial topológico las
traslaciones son homeomorfismos. Se deduce de esto que V(x, X) = {x + V : V ∈ V(0, X)}. En
consecuencia, la topologı́a del espacio depende únicamente de las vecindades de 0.
17
18 Capı́tulo II. Espacios Vectoriales Topológicos
Entonces existe una única topologı́a T de X tal que (X, T ) es un espacio vectorial topológico y
U es base de V(0, T ).
p((λ0 + Dε ) × (x0 + W1 )) ⊆ λ0 x0 + λ0 W1 + Dε x0 + Dε W1
⊆ λ0 x0 + W + W + W ⊆ λ0 x0 + U ⊆ V.
Como (λ0 + Dε ) × (x0 + W1 ) es una vecindad de (λ0 , x0 ), la inclusión anterior implica que p
es continua en (λ0 , x0 ).
Demostración. Sea (X, T ) un espacio vectorial topológico y denotemos por V(0) el sistema
de vecindades de 0. Para cada V ∈ V(0), representamos por
V = {(x, y) : y − x ∈ V } ⊆ X × X.
Sea B = {V : V ∈ V(0)}. Dejamos al lector verificar que B es base de una uniformidad U en
X que induce la topologı́a T .
II.1 Introducción 19
Definición 1.2. Sean (X, T1 ) e (Y, T2 ) espacios vectoriales topológicos. Una función f :
(X, T1 ) → (Y, T2 ) es uniformemente continua si para todo V2 ∈ V(0, T2 ) existe V1 ∈ V(0, T1 )
tal que para todo x1 , x2 ∈ X, x2 − x1 ∈ V1 , entonces f (x2 ) − f (x1 ) ∈ V2 .
Definición 1.3. Sea (X, T ) un espacio vectorial topológico. Una red (xd )d∈D en X verifica el
criterio de Cauchy ( o simplemente, es una red de Cauchy) si para todo V ∈ V(0, T ), existe
dV ∈ D, tal que para todo d1 , d2 ∈ D, dV ≤ d1 , dV ≤ d2 , entonces xd2 − xd1 ∈ V .
Un subconjunto A de X se llama completo si toda red de Cauchy en A es convergente en A.
Entre las muchas consecuencias que tiene el que los espacios vectoriales topológicos sean
uniformizables se encuentra la siguiente propiedad.
Ejemplo 1.1. Sea X = Lp ([0, 1]), con 0 < p < 1, el espacio formado por las clases de
equivalencia, definidas por la igualdad c.t.p, de las funciones f : [0, 1] → R medibles en sentido
de Lebesgue tal que 1
| f |p dm < ∞,
0
Se deja al lector verificar (ver Ejercicio 8) que d es una métrica y que la topologı́a inducida
por d es una topologı́a vectorial. Por lo tanto, la colección B = {Bε : ε > 0}, donde
no es una métrica.
Una propiedad particularmente interesante es que en el espacio Lp ([0, 1]), 0 < p < 1, la
única vecindad convexa de 0 es todo el espacio. En efecto, supongamos que existe V ∈ V(0)
convexa. Sea ε > 0 tal que Bε ⊆ V y sea f ∈ Lp ([0, 1]). Para n ∈ N, se escoge una división de
[0, 1] formada por los puntos 0 = t0 < t1 < · · · < ti−1 < ti < ... < tn = 1 tal que
ti
1 1
| f |p dm = | f |p dm, i = 1, . . . , n.
ti−1 n 0
x
La existencia de los puntos ti es consecuencia de la continuidad de la función F (x) = 0 |
f | dm y del teorema del valor intermedio ([28, Teorema VII.12]).
p
n
1
muestra que gi ∈ Bε ⊆ V, para n suficientemente grande. Como f = gi y V es un
i=1
n
conjunto convexo, entonces f ∈ V, lo que muestra que V = X.
Se deduce de esta propiedad que X no es un espacio normado y que si Λ es una forma lineal
continua sobre X, entonces Λ = 0.
El conjunto formado por las formas lineales continuas sobre un espacio vectorial topoló-
gico (X, T ) tiene especial relevancia. Por este motivo establecemos la siguiente terminologı́a.
Denotaremos por X al conjunto formado por las formas lineales continuas sobre X. Claramente
X es un subespacio vectorial de X ∗ , por lo cual se denomina espacio dual (topológico) de X.
Ejemplo 1.2. Sea X = M ([0, 1]) el espacio formado por las funciones medibles en el sentido
de Lebesgue de [0, 1] en R.
entonces g ∈ V, para toda V ∈ V(0, X), lo cual muestra que la función g no puede separarse
de la función 0.
Ejemplo 1.5. Con las notaciones del Ejemplo 1.3, si la colección A incluye conjuntos infinitos,
el procedimiento no conduce, en general, a la construcción de una topologı́a vectorial en X.
(ii) Sea T un espacio topológico localmente compacto y A la colección formada por los subcon-
juntos compactos de T . La topologı́a vectorial en Y = C(T, K) construida con el procedimiento
establecido en el Ejemplo 1.3 tiene la propiedad que una red (fd )d∈D en Y converge a f si, y
solamente, si la red numérica (fd (t))d∈D converge a f (t), para todo t ∈ T y la convergencia es
uniforme en los subconjuntos compactos de T . Por poseer ésta propiedad la topologı́a inducida
por A se llama topologı́a compacto-abierta.
Observación 1.3. Si X es un espacio vectorial topológico, procediendo de manera similar a
lo efectuado en los ejemplos anteriores podemos generar topologı́as en X T y en subespacios
de X T , en particular, en el espacio de funciones continuas C(T, X), cuando T es un espacio
topológico.
Ejemplo 1.7. Sea X un espacio vectorial sobre K y sea A ⊆ X un conjunto absolutamente
convexo. Sea E =< A >. Entonces A es absorbente en E y la funcional de Minkowski
qA : E → R+ es una semi-norma. El espacio (E, qA ) se denota por EA .
Ejemplo 1.8. Sea (X, T ) un espacio vectorial topológico y sea Y un subespacio vectorial de
X. Entonces Y dotado con la topologı́a relativa {Y ∩ A : A ∈ T } es un espacio vectorial
topológico.
Ejemplo 1.9. Si (Xi , Ti ), i ∈ I, son espacios vectoriales topológicos, entonces X = i∈I Xi ,
dotado con la topologı́a producto es un espacio vectorial topológico.
Ejemplo 1.10. Sea (X, T0 ) un espacio vectorial topológico y N un subespacio vectorial de
X. Denotemos por w : X → X/N la aplicación canónica en el cociente. La colección
B1 = {W ⊆ X/N : w−1 (W ) ∈ V(0, X)} es base de vecindades de 0 de una topologı́a vectorial
en X/N , que llamaremos topologı́a cociente.
(a + b)p ≤ ap + bp .
24 Capı́tulo II. Espacios Vectoriales Topológicos
Utilice esta desigualdad para justificar las afirmaciones efectuadas en el Ejemplo 1.1 y
que la función 1
f = |f |p dm
0
es subaditiva y no define una norma en Lp ([0, 1]).
9. Sean a, b ≥ 0 y 1 ≤ r < ∞. Entonces
Sea 0 < p < 1. Utilice la desigualdad anterior para mostrar que la función
1 1/p
f = |f |p dm
0
para cierta constante c > 1 y que la función · no define una norma en Lp ([0, 1]).
10. Sea Λ : Lp ([0, 1]) → R, 0 < p < 1, una forma lineal continua. Demuestre que Λ = 0.
Exhiba formas lineales no continuas.
11. Demostrar las afirmaciones efectuadas en el Ejemplo 1.2.
12. Verificar las afirmaciones efectuadas en el Ejemplo 1.7.
13. Sean X, Y espacios vectoriales topológicos y sea T : X → Y una aplicación lineal. La
aplicación T es abierta si, y solamente si, 0 ∈ int(T (V )), para todo V ∈ V(0, X). Si
X es un espacio normado y B denota la bola unitaria en X, entonces T es abierta si, y
solamente si, 0 ∈ int(T (B)).
14. Sea X un espacio vectorial. Una función q : X → [0, ∞) se llama F -norma si verifica las
siguientes condiciones:
(F1) q(x) = 0 si, y solamente si, x = 0.
(F2) q(x + y) ≤ q(x) + q(y).
(F3) q(λx) ≤ q(x).
(F4) q(λn x) → 0, n → ∞, cuando λn → 0, n → ∞,
para todo x, y ∈ X y todo λ ∈ K, |λ| ≤ 1.
Un espacio topológico X se llama metrizable si su topologı́a es inducida por una métrica.
Sea (X, τ ) un espacio vectorial topológico. Demuestre que las siguientes afirmaciones son
equivalentes:
(a) El espacio (X, τ ) es metrizable.
(b) La topologı́a τ es separada y existe una base {Vn : n ∈ N} de vecindades equilibradas
de 0 tal que Vn+1 + Vn+1 ⊆ Vn .
(c) La topologı́a τ es inducida por una F -norma.
II.2 Espacios Localmente Convexos 25
Ejemplo 2.1. Los espacios Lp ([0, 1]), 0 < p < 1, y M ([0, 1]), definidos en los Ejemplos 1.1
y 1.2 no son espacios localmente convexos.
Una base de vecindades de 0 es la colección formada por las bolas abiertas Bε (0) = {x ∈ X :
x < ε}, ε > 0, y otra base es la colección formada por las bolas cerradas Bε [0] = {x ∈ X :
x ≤ ε}, ε > 0.
Esta propiedad admite una formulación general.
Proposición 2.1. En un espacio localmente convexo X existe una base de V(0, X) formada
por conjuntos equilibrados, absorbentes, convexos y abiertos (respectivamente, cerrados).
Proposición 2.2. Sea (X, τ ) un espacio vectorial topológico y sea p una seminorma definida
en X. Las siguientes condiciones son equivalentes :
(a) p es continua.
26 Capı́tulo II. Espacios Vectoriales Topológicos
(e) p es continua en 0.
Demostración. Las afirmaciones (a) ⇒ (b) ⇒ (c) ⇒ (d) y (a) ⇒ (f ) son evidentes. Para
demostrar que (d) ⇒ (e) escojamos V ∈ V(0, X) tal que V ⊆ {x ∈ X : p(x) ≤ 1}. Sea ε > 0.
Es claro que p(εV ) ⊆ [−ε, ε], lo que muestra la continuidad de p en 0.
Para mostrar que (e) ⇒ (a), fijemos x0 ∈ X y sea ε > 0. Existe una vecindad V de 0 tal que
p(V ) ⊆ [−ε, ε]. Si y ∈ x0 + V, entonces p(y − x0 ) ≤ ε y como | p(y) − p(x0 ) |≤ p(y − x0 ) ≤ ε
se deduce que p(x0 + V ) ⊆ [p(x0 ) − ε, p(x0 ) + ε], lo que muestra la continuidad de p en x0 .
Mostremos finalmente que (f ) ⇒ (e). Sea ε > 0. Existe V ∈ V(0, X) tal que q(x) ≤ ε,
para todo x ∈ V . Por lo tanto, también p(x) ≤ ε, lo que muestra que la seminorma p es
continua en 0.
Teorema 2.1. Sea X un espacio vectorial y S una familia de seminormas sobre X. Para cada
ε > 0 y pi ∈ S, i = 1, . . . , n, denotamos por
Para demostrar la segunda parte del teorema, sea T una topologı́a localmente convexa en
X y sea B0 una base de V(0, T ) formada por conjuntos equilibrados, convexos y abiertos. Se
considera la colección de seminormas S = {qV : V ∈ B0 }. Como cada conjunto V ∈ B0 es
radialmente abierto (ver Ejercicio I.2.8), entonces V = qV−1 ([0, 1)), lo que implica que qV es
T -continua. Sea T la topologı́a localmente convexa generada por S. Por lo ya demostrado
podemos afirmar que T T . Recı́procamente, si W ∈ V(0, T ), entonces existe V ∈ B0 tal
que V ⊆ W . Por la construcción de T y, volviendo a utilizar que V = qV−1 ([0, 1)) obtenemos
que V ∈ V(0, T ) y por lo tanto T = T .
Se deduce de este teorema que si T es la topologı́a generada por la familia S, entonces una
base de vecindades de x0 está formada por los conjuntos
Sea T un espacio topológico localmente compacto y sea X = C(T, K). Para cada conjunto
compacto C ⊆ T definimos pC (f ) = supt∈C | f (t) |. Entonces la familia de seminormas
{pC : C ⊆ T, C compacto} genera una topologı́a localmente convexa en X, que coincide con
la topologı́a compacto-abierta, introducida en el Ejemplo 1.6.
Ejemplo 2.6. Sea Ω un subconjunto abierto de R y sea X = C ∞ (Ω). Para cada conjunto
compacto C ⊆ Ω y cada n ∈ N, definimos pC,n (x) = sup{|x(k) (t)| : t ∈ C, 0 ≤ k ≤ n}.
Entonces la familia de seminormas {pC,n : C ⊆ Ω compacto,
n ∈ N0 } genera una topologı́a localmente convexa en X.
Ejemplo 2.7. Espacio de funciones test.
Entonces D(Ω) es un subespacio vectorial de C ∞ (Ω). Este espacio se llama espacio de funciones
test. Sea B la colección formada por los subconjuntos equilibrados W ⊆ D(Ω) tal que W ∩
DK (Ω) es una vecindad de 0 en DK (Ω), para cada subconjunto compacto K ⊆ Ω. Aplicando
el Teorema 1.2 puede verificarse que B es base de vecindades de 0 de una topologı́a localmente
convexa en D(Ω), conocida como topologı́a del espacio de funciones test. Esta topologı́a es más
fina que la topologı́a inducida en D(Ω) por C ∞ (Ω). Para más detalles sobre esta topologı́a el
lector puede consultar [32].
Ejercicios. Demuestre las afirmaciones que se efectúan en los siguientes enunciados. En estos
ejercicios, excepto que se indique explı́citamente algo diferente, Ω representa un subconjunto
abierto de R y X denota un espacio vectorial sobre K.
11. Sea S una familia de seminormas en X que genera la topologı́a localmente convexa T .
Un subconjunto A de X es acotado (definición en el Ejercicio 1.2) si, y solamente si, p(A)
es acotado, para toda p ∈ S.
12. Sea Ω un subconjunto abierto de R. Muestre que en C ∞ (Ω) todo conjunto cerrado
y acotado es secuencialmente compacto (y luego compacto ya que por el Ejercicio 10 el
espacio C ∞ (Ω) es metrizable).
13. Sea Ω un subconjunto abierto de C y H(Ω) el subespacio vectorial de C(Ω, C) consistente
de las funciones holomorfas. Mostrar que H(Ω) es cerrado en C(Ω, C) y, en consecuencia,
un espacio de Fréchet, y que cualquier subconjuto acotado de H(Ω) es relativamente
compacto (este resultado se conoce como Teorema de Montel [5, Teorema 2.2.8]).
14. Sea K un conjunto compacto contenido en Ω. Muestre que la topologı́a inducida por
C ∞ (Ω) en D(Ω) (resp. DK (Ω) ) coincide con la topologı́a localmente convexa inducida
en D(Ω) (resp. DK (Ω)) por la familia de normas {qn : n ≥ 0}.
15. Sea K un conjunto compacto contenido en Ω. Muestre que DK (Ω) es un espacio local-
mente convexo separado, completo y metrizable.
16. Demuestre las afirmaciones efectuadas en el Ejemplo 2.7.
Demostración. Las afirmaciones (a) ⇒ (b) y (b) ⇒ (c) son evidentes, por lo que es suficiente
verificar que (c) ⇒ (a). Sea W un entorno en Y . Podemos suponer que es de la forma
W = {(y1 , y2 ) : y2 − y1 ∈ W } donde W ∈ V(0, Y ). Como T es continua en 0, existe
V ∈ V(0, X) tal que T (V ) ⊆ W . Entonces (T × T )(V ) = {(T x1 , T x2 ) : (x1 , x2 ) ∈ V } =
, lo que muestra que T es uniformemente continua.
{(T x1 , T x2 ) : x2 − x1 ∈ V } ⊆ W
Denotaremos por B(X, Y ) al conjunto (espacio vectorial) de las aplicaciones lineales con-
tinuas de X en Y . En particular, de acuerdo a lo establecido en la Sección 1, B(X, K) es el
espacio dual X de X.
Proposición 3.2. Sean X un espacio vectorial topológico e Y un espacio localmente convexo
cuya topologı́a es generada por una familia saturada S de seminormas. Una aplicación lineal
T : X → Y es continua si, y solamente si, para toda p ∈ S existe V ∈ V(0, X) tal que
p(T x) ≤ 1, para todo x ∈ V.
30 Capı́tulo II. Espacios Vectoriales Topológicos
(a) f es continua.
Demostración. Por el Teorema 3.1 basta demostrar que una aplicación lineal T : Kn → Y,
siendo Y un espacio vectorial topológico es continua. Sea V una vecindad de 0 en Y y W una
vecindad equilibrada de 0 tal que W + · · · (n − veces) · · · + W ⊆ V . Sean ei , i = 1, . . . , n,
los vectores de la base canónica de Kn . Como W es absorbente podemos afirmar que existen
n
ri > 0 tal que αT (ei ) ∈ W, |α| < ri . Luego T ( αi ei ) ∈ V , cuando | αi |< r = min{ri :
i=1
i = 1, . . . , n}. En consecuencia, T (rB) ⊆ V , lo que muestra que T es continua.
Completamos esta sección con un teorema que caracteriza los espacios de dimensión finita.
La demostración está basada en la siguiente propiedad.
Teorema 3.2. Sea X un espacio vectorial topológico separado. Si existe una vecindad precom-
pacta de 0, entonces X tiene dimensión finita.
Demostración. Podemos suponer que existe una vecindad cerrada, equilibrada y precompacta
k
1
V de 0 en X. Por lo tanto, existen vectores x1 , . . . , xk ∈ X tal que V ⊆ (xi + V ). Sea
i=1
2
M = {xi : i = 1, . . . , k}. Supongamos que existe x0 ∈ X tal que x0 no pertenece a M .
Sea N = M ⊕ x0 . Entonces N es un espacio de dimensión finita y, por tanto, homeomorfo
e isomorfo con Kn . Sea W = V ∩ N . Entonces W es una vecindad cerrada, equilibrada
y precompacta de 0 en N . Por lo tanto W es compacta. Además W ⊆ ∪ki=1 (xi + 12 W ).
En consecuencia se satisfacen las condiciones del Lema 3.1 y podemos concluir que {xi : i =
1, . . . , k} = N, lo cual es una contradicción. Por este motivo, X = M es un espacio de
dimensión finita
4. Utilice los espacios introducidos en los Ejemplos 1.1 y 1.2 para mostrar que en general
X ∗ es mucho más grande que X .
5. Una forma lineal f sobre un espacio vectorial topológico complejo es continua si, y sola-
mente si, Re(f ) es continua.
II.4 Teoremas de Separación 33
10. Sea α ∈ C([0, a]). Se define P : C([0, a]) → C([0, a]) por P (f )(t) = α(t)f (0). Muestre
que P es una aplicación lineal continua. Determine las funciones α para las cuales P es
una proyección. En este caso obtenga ker(P ) y R(P ).
4 Teoremas de Separación
Este sección está dedicada a la presentación del teorema de Hahn-Banach y algunas de sus con-
secuencias inmediatas en espacios vectoriales topológicos. Se presenta tanto la forma geométrica
o los teoremas de separación como la forma analı́tica o teoremas de extensión de formas lin-
eales continuas. A diferencia del Capı́tulo I, en esta sección presentaremos las propiedades de
extensión como aplicación del teorema de separación.
La consecuencia principal de los resultados de la sección es que el espacio dual de un es-
pacio localmente convexo (en particular, de un espacio normado) es bastante rico y, muchas
propiedades del espacio original pueden ser caracterizadas en términos del espacio dual. El
resultado fundamental de la sección es el teorema que sigue, conocido como Teorema de Sepa-
ración de Hahn-Banach.
Demostración. Como todos los puntos de un conjunto abierto son internos, del Teorema I.2.1
se deduce la existencia de una forma lineal f ∈ X ∗ que satisface (4.1). Para verificar que f es
continua basta observar que si escogemos x0 ∈ A, entonces existe una vecindad V equilibrada
de 0 tal que V ⊆ A − x0 . Por lo tanto, Ref (v) > c − Ref (x0 ), para todo v ∈ V . Como V es
equilibrada, el vector −v ∈ V y Ref (−v) > c − Ref (x0 ). De estas dos desigualdades se deduce
que |Ref (v)| < Ref (x0 ) − c y Ref es acotada sobre V y, como consecuencia del Corolario 3.2
y del Ejercicio 3.5 concluimos que f es continua.
Demostración. Como B es cerrado, para cada x ∈ A existe una vecindad abierta, convexa y
equilibrada Vx de 0 tal que (x+Vx )∩B = ∅. En vista que A es compacto existen x1 , . . . , xn ∈ A
1
n
1
tal que A ⊆ ∪ni=1 (xi + Vi ), siendo Vi = Vxi . El conjunto V = Vi es una vecindad
3 i=1
3
abierta, convexa y equilibrada de 0. Además, los conjuntos A + V y B + V son abiertos,
convexos y disjuntos. Las dos primeras afirmaciones son inmediatas y para verificar que son
disjuntos, supongamos que existen x ∈ A, y ∈ B, v1 , v2 ∈ V tal que x + v1 = y + v2 . Por
otra parte, como x ∈ A existen j ∈ {1, 2, . . . , n} y v ∈ Vj tal que x = xj + 13 v. Reuniendo
estas observaciones resulta que
1
y = x + v1 − v2 = xj + v + v1 − v2 ∈ xj + Vj ,
3
lo cual es absurdo. Se deduce del Teorema 4.1 que existe una forma lineal continua f y una
constante real b tal que
(ii) Si A es equilibrado, existe una forma lineal continua f definida en X tal que
Demostración. Para obtener (i) basta aplicar el Corolario 4.1 al conjunto {x0 }. Para mostrar
(ii), observamos que por lo ya demostrado existen f ∈ X y una constante α tal que Ref (x0 ) >
α y Ref (x) ≤ α, para todo x ∈ A. Sea g = Ref . Como A es equilibrado, 0 ∈ A y por
tanto α ≥ 0. Además, si x ∈ A, existe s ∈ K, |s| = 1, tal que |f (x)| = sf (x) = f (sx) =
g(sx) ≤ α.
Demostración. Se verifican las condiciones del Teorema 4.1. Por lo tanto existe una forma
lineal continua f y un número real c tal que
Este resultado puede también enunciarse geométrivamente afirmando que existe un hiper-
plano cerrado H que contiene a M y no intersecta a A. En efecto, si H = ker(f ), entonces H
es un hiperplano cerrado que contiene a M y claramente H ∩ A = ∅.
Un resultado similar se mantiene válido si M representa una variedad lineal. En este caso
por traslación obtenemos H = f −1 (c) y Ref (A) > c.
Corolario 4.4. Sea X un espacio localmente convexo sobre K y M un subespacio lineal cerrado.
Si x0 ∈
/ M, entonces existe una forma lineal continua f tal que f (M ) = 0 y f (x0 ) = 0.
Demostración. Basta usar Corolario 4.4 observando que M = {0} es un subespacio cerrado
de X.
para todo z ∈ C.
Por otra parte, si y0 ∈ M, entonces por el Ejercicio 2 podemos afirmar que int(C), en
el espacio M , es no vacı́o y usando el Ejercicio 3 obtenemos la existencia de una forma lineal
sobre M que verifica (4.4). La forma lineal anterior se extiende a todo el espacio X aplicando
el Corolario 4.6.
En ambos casos, aplicando (4.4) a z = y − x − x0 , con x ∈ A, y ∈ B se obtiene la
desigualdad (4.3).
Demostración. Sea {x1 , . . . , xn } una base de M . Por el Corolario 4.4 existen formas lineales
continuas fj ∈ X , j = 1, . . . , n tal que fj (xi ) = δij . Definamos P : X → X mediante
n
Px = fj (x) xj .
j=1
II.4 Teoremas de Separación 37
En efecto, sea α = miny∈A Ref (y) y supongamos que x1 , x2 ∈ A y λ ∈ (0, 1) tal que
λx1 + (1 − λ)x2 ∈ B. Entonces Ref (xi ) ≥ α y λRef (x1 ) + (1 − λ)Ref (x2 ) = α. Se deduce
que Ref (x1 ) = Ref (x2 ) = α lo que implica que xi ∈ B, i = 1, 2.
El mismo argumento sirve para mostrar que el conjunto
B = {x ∈ A : Ref (x) = sup Ref (y)}
y∈A
es un subconjunto extremo de A.
Lema 4.1. Sean X un espacio localmente convexo separado y C un subconjunto compacto no
vacı́o de X. Entonces Ext(C) = ∅.
Se define
C1 = {x ∈ C : Ref (x) = sup Ref (y)}.
y∈C
Es claro que Ref (x0 ) ≤ α = supy∈C Ref (y). Por el Ejemplo 4.1, C1 es un subconjunto extremo
de C. Además, C1 ∩ E = ∅ ya que si y ∈ E ⊆ C, de la desigualdad (4.5) se deduce que
Ref (y) < Ref (x0 ) ≤ α. Por otro lado, utilizando nuevamente el Lema 4.1 podemos afirmar
que Ext(C1 ) = ∅. El conjunto Ext(C1 ) es un subconjunto extremo de C1 y luego también un
subconjunto extremo de C. Sea z ∈ Ext(C1 ) y supongamos que z = λx1 + (1 − λ)x2 , con
λ ∈ (0, 1) y x1 , x2 ∈ C. Luego x1 , x2 ∈ Ext(C1 ) ⊆ C1 . Por lo tanto, x1 = x2 = z, lo que
implica que z ∈ E, lo cual es absurdo. Ası́, hemos obtenido que C ⊆ c(Ext(C)). Además,
como este conjunto es convexo cerrado, entonces c(C) ⊆ c(E) lo que implica c(C) = c(E).
Finalmente, si C es convexo, entonces c(C) = C.
5 Topologı́as Débiles
Sea X un espacio vectorial sobre K y F un subespacio vectorial de X ∗ tal que la aplicación
bilineal F × X → K, (x∗ , x) → x∗ (x) es no degenerada. Cuando se presenta esta situación, el
par (X, F ) se llama un par dual. La condición de no degeneración se reduce en este caso a que
para todo x ∈ X, existe x∗ ∈ F tal que x∗ (x) = 0. Por esta razón también suele decirse que
F separa puntos en X. Los dos ejemplos que ya conocemos son:
Ejemplo 5.2. Si X es un espacio localmente convexo separado, por el Corolario 4.5 el par
(X, X ) es un par dual.
Definición 5.1. Se llama topologı́a débil en X inducida por F a la topologı́a localmente convexa
separada generada en X por la familia de seminormas {|f | : f ∈ F }.
40 Capı́tulo II. Espacios Vectoriales Topológicos
Teorema 5.1. Sea X un espacio vectorial sobre K y (X, F ) un par dual. Entonces
(a) La topologı́a σ(X, F ) es la menor topologı́a localmente convexa separada en X tal que todas
las formas lineales f ∈ F son continuas.
El nombre topologı́a débil proviene del hecho que frecuentemente comenzamos con un espa-
cio topológico (X, T ) y F es un subespacio del espacio dual. Entonces la topologı́a σ(X, F ) T .
Proposición 5.1. Sea Ω un espacio topológico y (X, F ) un par dual. Una aplicación
T : Ω → X es σ(X, F )-continua si, y solamente si, las aplicaciones f ◦ T : Ω → K son
continuas, para todo f ∈ F .
T σ
Demostración. Como σ(X, X ) T , entonces A ⊆ A . Verifiquemos la inclusión opuesta.
σ T T
Con este objeto supongamos que existe x0 ∈ A y x0 ∈ A . Como A es un conjunto
convexo y cerrado, del Corolario 4.2 se deduce que existe f ∈ X tal que
Escojamos ε > 0 para el cual se verifica que Ref (x0 ) − ε > α y consideremos la σ-vecindad
σ
V = {x ∈ X :| f (x) − f (x0 ) |< ε} de x0 . Como x0 ∈ A , entonces V ∩ A = ∅. Por otra
parte, si x ∈ V ∩ A, entonces
de lo que se deduce que Ref (x) ≥ Ref (x0 ) − ε > α, lo que contradice la definición de α.
Es evidente que la afirmación recı́proca es falsa. Basta considerar un espacio localmente convexo
(X, T ) y definir T = I : Xσ → X, que no es continua.
En un espacio de dimensión finita, la topologı́a débil coincide con la topologı́a inducida
por la norma. La situación es completamente diferente en espacios de dimensión infinita en
los cuales, al contrario de lo que parece insinuar la Proposición 5.2, la topologı́a débil es poco
intuitiva. Veremos algunos ejemplos.
Ejemplo 5.3. Sea X un espacio normado de dimensión infinita y sea S = {x : x = 1}.
σ
Entonces S = {x : x ≤ 1}.
En efecto, escojamos x0 ∈ X con x0 < 1 y sea V una σ-vecindad de x0 . Podemos suponer
que V es el conjunto
V = {x ∈ X : |fi (x − x0 )| < ε, i = 1, .., n},
para ε > 0 y fi ∈ X , i = 1, . . . , n. Sea 0 = y0 ∈ X tal que fi (y0 ) = 0, i = 1, . . . , n.
La existencia del punto y0 está garantizada por la Proposición I.1.1, ya que de lo contrario
{f1 , . . . , fn } serı́a un sistema generador de X .
El punto x0 + ty0 ∈ V, para todo t ∈ R y existe t tal que x0 + ty0 = 1. Por lo tanto,
σ σ
V ∩S = ∅, de lo que se deduce que x0 ∈ S . En consecuencia, S ⊆ {x : x ≤ 1} ⊆ S y como
la bola unitaria es convexa y cerrada, de las inclusiones anteriores se obtiene la afirmación.
Ejemplo 5.4. En las mismas condiciones del Ejemplo 5.3, el conjunto U = {x : x < 1} no
es abierto para la topologı́a σ(X, X ).
42 Capı́tulo II. Espacios Vectoriales Topológicos
gı́a localmente convexa separada en X . Esta topologı́a la denotaremos por σ(X , X). En el
Capı́tulo III la estudiaremos con más detalle.
A ⊆ X. Entonces A◦◦◦ = A◦ .
5. Sea X un espacio localmente convexo separado y ∅ =
(i) M es total.
(ii) M ⊥ = {0}.
(iii) M es σ(X, X )-denso en X.
Capı́tulo III
Espacios de Banach
d(x, y) = x − y, x, y ∈ X.
Por consiguiente todo espacio normado es un espacio topológico y en el Ejemplo II.2.2 hemos
establecido que esta topologı́a es vectorial, localmente convexa y separada.
Definición 1.1. Se llama espacio de Banach a un espacio normado (X, · ) que es completo
para la métrica inducida por la norma.
Dejamos como ejercicio demostrar la siguiente propiedad, que se deduce fácilmente de esta
definición y de la Proposición 1.1.
para todo x ∈ X.
44
III.1 Propiedades Elementales de Espacios Normados 45
Corolario 1.1. Todas la normas definidas en un espacio vectorial de dimensión finita son
equivalentes.
definen normas en X. Por los resultados previos estas normas son equivalentes y X es un
espacio de Banach.
Entonces B(S) es un espacio Banach. Como una sucesión (fn )n converge a f en B(S) si, y
solamente si, las sucesiones (fn (s))n convergen a f (s), uniformemente para s ∈ S, la norma
definida en B(S) se llama norma de la convergencia uniforme.
De manera similar, podemos considerar también el espacio de las funciones vectoriales acotadas.
f = sup f (s) .
s∈S
En los ejemplos siguientes introducimos algunos espacios de sucesiones que surgen a menudo.
∞ 1/p
xp = |ξn | p
n=1
Claramente, ∞ coincide con el espacio B(S), introducido en el Ejemplo 1.2 para S = N y, por
tanto también es un espacio de Banach.
Observación 1.1. De manera similar podemos definir espacios de sucesiones con valores en
C o, más general, si X es un espacio normado, espacios de sucesiones con valores en X. En
este caso utilizaremos las notaciones p (X), c(X), c0 (X). Si X es un espacio de Banach, estos
espacios también son espacios de Banach.
es un espacio de Banach. Análogamente, denotamos por L∞ ([a, b]) al espacio formado por las
clases de equivalencia de funciones iguales c.t.p. y que son medibles y esencialmente acotadas
en sentido de Lebesgue en el intervalo [a, b]. El espacio L∞ ([a, b]) dotado con la norma
|g(t) − g(t0 )| ≤ |g(t) − fn (t)| + |fn (t) − fn (t0 )| + |fn (t0 ) − g(t0 )|
≤ |fn (t) − fn (t0 )| + 2g − fn ∞ .
III.1 Propiedades Elementales de Espacios Normados 47
V (f ) = sup Vd (f ) < ∞
d
y, en este caso el número V (f ) se llama variación de la función f en [a, b]. Denotaremos por
BV ([a, b], X) al conjunto formado por las funciones de variación acotada. Se puede verificar
fácilmente que BV ([a, b], X) es un espacio vectorial y que la función V (·) es una seminorma
en BV ([a, b], X).
Se deduce inmediatamente de la definición que toda función en BV ([a, b], X) es acotada y
tiene lı́mites laterales. En efecto, si f ∈ BV ([a, b], X), entonces para cada t ∈ [a, b] se verifica
f (t) ≤ f (a) + V (f ).
Para la segunda afirmación ver Ejercicio 11 o consultar las referencias [7, 19, 31]. Denotaremos
por BV0 ([a, b], X) al subespacio de BV ([a, b], X) formado por las funciones que se anulan en
a y que son continuas por la derecha en (a, b). Estas funciones se llaman funciones de variación
acotada normalizadas. De la desigualdad anterior se deduce que f ∞ ≤ V (f ), para toda
f ∈ BV0 ([a, b], X) y que V es una norma en BV0 ([a, b], X). Además, si (fn )n es una sucesión
de Cauchy en BV0 ([a, b], X), entonces (fn )n converge uniformemente a una función acotada
f , la cual es continua por la derecha en (a, b). Si d denota una división de [a, b], entonces
lo que muestra que (fn )n converge a f en la norma V y, en consecuencia, que BV0 ([a, b], X)
es un espacio de Banach.
48 Capı́tulo III. Espacios de Banach
Completamos esta lista de ejemplos con un par de espacios normados no completos que
utilizaremos a menudo para ilustrar diversos conceptos.
Denotamos por C pm (Ω) al espacio vectorial formado por las funciones f ∈ C m (Ω) tal que
pm (Ω) y que C
f m,p < ∞. Se verifica fácilmente que · m,p es una norma en C pm (Ω) es un
espacio normado no completo.
Definición 1.3. Sea (X, ·) un espacio normado. Se llama subespacio de X a todo subespacio
vectorial Y de X provisto con la restricción de la función · . En este caso la inclusión
ι : Y → X es continua.
n
(x1 , . . . , xn ) = xi .
i=1
(c) La aplicación ω es continua y abierta. Más aún, ω(B1 (0, X)) = B1 (0, X/M ).
Demostración. Para verificar la afirmación (a), observemos inicialmente que cada número
ω(x) es real y positivo. Además, si abreviamos la notación y representamos por x̄ = ω(x) y
α ∈ K, α = 0, entonces
es decir, 1
(1 − h(t)) dt = 0,
0
de lo que se deduce que h(t) = 1, para todo t ∈ [0, 1] y h ∈ X.
III.1 Propiedades Elementales de Espacios Normados 51
Demostración. Sea wn = ω(xn ) una sucesión de Cauchy en X/M . Podemos seleccionar una
subsucesión wnk tal que
1
wnk+1 − wnk < k , k ≥ 1.
2
Procediendo inductivamente, escogemos una sucesión zk ∈ wnk tal que
1
zk+1 − zk < , (1.3)
2k
para k ≥ 1. En efecto, para k = 1 , escojamos z1 ∈ wn1 . Supongamos que hemos seleccionado
z1 , . . . , zk que satisfacen las condiciones señaladas. Sea xk+1 ∈ wnk+1 . Entonces existe y ∈ M
1
tal que xk+1 − zk − y < k . Si definimos zk+1 = xk+1 − y, entonces z1 , . . . , zk+1 satisfacen
2
las condiciones del enunciado, lo que completa la construcción inductiva.
De la condición (1.3) se obtiene que (zk )k es una sucesión de Cauchy en X y, por tanto
convergente a z ∈ X . Como ω es continua, la sucesión wnk = ω(zk ) converge a ω(z). Se
deduce de esto que la sucesión inicial (wn )n también converge a ω(z) y, en consecuencia, el
espacio X/M es completo.
De manera similar a lo que ocurre para espacios métricos, todo espacio normado puede ser
completado con una métrica proveniente de una norma. Comenzamos formalizando la idea con
una definición.
f ) , se llama una completación de
Definición 1.5. Sea X un espacio normado. Un par (X,
es un espacio de Banach, f : X → X
X si X es una isometrı́a lineal y f (X) es denso en
X.
Lema 1.1. Sean X un espacio métrico e Y un espacio métrico completo. Toda aplicación
uniformemente continua T : D → Y, definida en un subconjunto denso D de X, posee una
única extensión continua T : X → Y . La aplicación T es uniformemente continua y si T es
una isometrı́a, entonces T también es una isometrı́a. Además, si X, Y son espacios normados
y T es lineal, entonces T es lineal.
Teorema 1.2. Para todo espacio normado X existe una completación. Además, todas las
completaciones son isométricas e isomorfas entre ellas.
(xn )n ∼
= (yn )n ⇐⇒ lim xn − yn = 0
n→∞
se define por
y que la métrica en X
Ejemplo 1.18. Si X es el espacio Cpm (Ω) definido en el Ejemplo 1.15, entonces su completación
se llama Espacio de Sobolev de orden (m, p) y se denota por W m,p (Ω).
2. Un espacio normado (X, · ) es completo si, y solamente si, toda serie de elementos de
X absolutamente convergente es convergente en X.
11. Sea X un espacio de Banach y f : [a, b] → X una función de variación acotada. Se define
la función
α(t) = V[a, t] (f ).
(a) Muestre que α es positiva, creciente en [a, b] y que si [t1 , t2 ] ⊆ [a, b], entonces
(b) Deduzca de lo anterior que f tiene lı́mites laterales y que el conjunto de puntos en
los cuales f es discontinua es numerable.
54 Capı́tulo III. Espacios de Banach
12. Sea D el disco unitario abierto en el plano complejo y H(D) el conjunto de funciones
holomorfas sobre D .
(a) Si fn , n ∈ N , es una sucesión en H(D) que converge uniformemente sobre con-
juntos compactos contenidos en D a una función f, entonces f es holomorfa sobre D.
(Compare con el Ejercicio II.2.13).
(b) Si f es holomorfa sobre D , entonces f puede representarse en la forma
f (z) = an z n ,
n≥0
rn |an | ≤ Mp (f, r) ≤ f p .
d(x, N ) ≥ rx.
17. Sea Cb el espacio formado por las funciones continuas y acotadas de [0, ∞) en R, dotado
con la norma de la convergencia uniforme. Considere los siguientes subespacios: Cu es
el subespacio formado por las funciones uniformemente continuas; C00 es el subespacio
consistente de las funciones con soporte compacto; M es el subespacio formado por las
funciones periódicas; L = {f ∈ Cb : limt→∞ f (t) existe } y C0 es el subespacio de las
funciones que se anulan en ∞.
(i) Establecer todas las relaciones de inclusión entre estos subespacios y mostrar que son
estrictas.
(ii) Mostrar que C0 , L, Cu y Cb son espacios de Banach, que C00 es denso en C0 y que
M no es completo.
(iii) Mostrar que si f ∈ M es una función con valor medio igual a cero, entonces
d(f, L) = f ∞ . Deduzca de lo anterior que M + L es cerrado.
t
(iv) Sea T : C([0, 1]) → L la aplicación definida por T f (t) = f ( ). Muestre que T
t+1
es un isomorfismo isométrico. Concluya que C00 , C0 y L son espacios separables.
(v) Identifique el espacio L/C0 .
(vi) Muestre que M no es separable. Indicación. Estime cos λx − cos x∞ , para λ
irracional. Para esto recuerde que el grupo G = {mα + n : m, n ∈ Z}, α ∈ Q, es
denso en R. Extienda el resultado obtenido para cos λx − cos μx∞ . Concluya de esta
estimación que M, Cu y Cb no son separables.
20. Los espacios que se indican a continuación se consideran normados con las normas defi-
nidas en los ejemplos de esta sección.
(a) Los espacios normados Kn , c , c0 y p , Lp ([0, 1]), W m,p (Ω), para 1 ≤ p < ∞, son
separables.
(b) Sea K un espacio métrico compacto, entonces C(K) es separable. (La condición de
metrizabilidad es necesaria y suficiente. Ver [18]).
(c) Muestre que los espacios B(S) con S no finito, ∞ , L∞ ([0, 1]) y BV0 ([a, b]) , no
son separables.
(d) Los espacios de Hardy H p (D) , 1 ≤ p < ∞ , son separables y H ∞ (D) no lo es.
para todo x ∈ X. Esto permite que a cada aplicación lineal continua T : X → Y le asociemos
el número
T = inf{M > 0 : M satisface (2.1)}. (2.2)
Es fácil verificar que
T (x)
T = sup = sup T (x) = sup T (x).
x=0 x
x
≤1
x
=1
Ejemplo 2.1. Sea K : [a, b] × [a, b] → R una función continua. Definamos el operador
T : C([a, b]) → C([a, b]) por
b
T x(s) = K(s, t)x(t)dt.
a
58 Capı́tulo III. Espacios de Banach
Puede verificarse fácilmente que T es una aplicación bien definida, lineal y continua. Para
poner en evidencia la última afirmación, denotemos M = supa≤s, t≤b |K(s, t)|. Es inmediato
que b
|T x(s)| ≤ M |x(t)|dt ≤ M (b − a)x,
a
lo que establece la continuidad de T . Sin embargo, esta estimación no nos permite calcular
T . El mismo argumento anterior muestra que
b
T ≤ sup |K(s, t)|dt
a≤s≤b a
Para obtener una expresión de esta solución en términos de la función K es suficiente calcular
T n . Observemos inicialmente que
b
T 2y = K(s, t)(T y)(t) dt
a
b b
= K(s, t) K(t, u)y(u) du dt
a a
b b
= K(s, t)K(t, u)y(u) dt du.
a a
Por otra parte, los núcleos Kn son funciones continuas en [a, b] × [a, b] y
Kn ∞ ≤ T Kn−1 ∞ , n ≥ 2,
converge uniformemente en C([a, b] × [a, b]) a una función continua h. Por consiguiente,
b
x(s) = y(s) + h(s, t)y(t)dt.
a
El primero de estos resultados es conocido como Principio del Acotamiento Uniforme. Para
su demostración requerimos de la siguiente propiedad elemental, la que dejamos como ejercicio.
La importancia del Principio del Acotamiento Uniforme radica en que caracteriza, en término
de condiciones fáciles de verificar en muchas situaciones, el que un conjunto de aplicaciones
lineales sea equicontinuo.
Γ(x) = {T x : T ∈ Γ}
Fn = {x ∈ X : T x ≤ n, para todo T ∈ Γ}
Aplicando el Lema 2.1 se deduce que intT (B1 (0, X)) = ∅ y, por el Ejercicio II.1.2 podemos
afirmar que 0 ∈ intT (B1 (0, X)) . Finalmente, el Lema 2.2 muestra que existe r > 0 tal que
Br (0, Y ) ⊆ T B1 (0, X), lo que en conjunto con el Ejercicio II.1.13 implica que T es abierta.
Uno de los resultados más utilizados en análisis funcional es el Teorema del Gráfico Cerrado.
Recordemos la terminologı́a. Sean X e Y espacios normados y T : X → Y una aplicación
lineal. Se llama gráfico de T al conjunto G(T ) = {(x, T x) : x ∈ X} ⊆ X × Y . El espacio
X × Y lo consideramos normado con la norma introducida en la Definición 1.4. Es fácil ver que
G(T ) es un subespacio vectorial de X × Y y que si T es continua, entonces G(T ) es cerrado
(ver Ejercicio 17). El Teorema del Gráfico Cerrado establece un recı́proco para esta afirmación.
Teorema 2.3. Sean X e Y espacios de Banach y sea T : X → Y una aplicación lineal tal
que G(T ) es cerrado en X × Y . Entonces T es continua.
Se puede verificar fácilmente que ·1 es una norma en G(T ) . Además el espacio (G(T ), ·1 )
es completo, ya que si (xn , T xn )n es una sucesión de Cauchy para · 1 , se deduce que (xn )n
es una sucesión de Cauchy en X . Como X es completo, entonces (xn )n converge a x ∈ X y
es evidente que (xn , T xn )n converge a (x, T x) para · 1 . Por otra parte
para todo (x, y) ∈ G(T ). Por lo tanto, del Corolario 2.5 deducimos que existe una constante
b > 0 tal que
(x, y) = x + y ≤ b (x, y)1 = b x.
Como y = T x , resulta que T es continua.
Como aplicación del Teorema del Gráfico Cerrado mostraremos que los resultados sobre la
suma topológica, definida en el Ejercicio II.3.9 y estudiada también en el Ejercicio 1.18, admiten
una presentación más simple cuando el espacio es completo.
Relacionado con este problema es interesante observar que existen subespacios cerrados que
no tienen suplemento topológico. Más aún, Lindenstrauss y Zafriri ([29]) han probado que esta
propiedad caracteriza a los espacios de Banach que no son espacios de Hilbert.
Ejercicios. Demuestre las afirmaciones que se efectúan en los enunciados que siguen. En estos
enunciados, a menos que se indique algo diferente, X, Y, Z denotan espacios normados.
64 Capı́tulo III. Espacios de Banach
(a) B es continua,
(b) B es continua en 0 ,
(c) Existe una constante M ≥ 0 tal que B(x, y) ≤ M x y , para todo x ∈ X ,
y∈Y .
(ii) Una aplicación bilineal se llama separadamente continua o continua por componentes
si todas las secciones determinadas por ella son continuas. Claramente toda aplicación
bilineal continua es separadamente continua. La afirmación recı́proca
es falsa. Indicación.
1
Considere el espacio X = C([0, 1]) dotado con la norma f 1 = 0 |f (t)| dt. Muestre
que la forma bilineal
1
B(f, g) = f (t)g(t) dt,
0
3. En el espacio Mm,n (K) de las matrices de m × n, defina una norma de modo que no se
verifique la desigualdad
T ◦ S ≤ T S.
∞
(I − T )−1 = T k.
k=0
Además,
1
(I − T )−1 ≤ .
1 − T
III.2 Aplicaciones Lineales Continuas 65
(a) T (0) = I .
(b) T (s + t) = T (s)T (t) t, s ≥ 0.
(c) La función T (·)x es continua, para cada x ∈ X.
(a) Mostrar que · Lip es una norma, (X, · Lip ) es un espacio de Banach y que la
inclusión ι : X → C([0, 1]) es lineal continua.
(b) Sea X0 = {f ∈ X : f (0) = 0}. Mostrar que X0 es un subespacio vectorial cerrado de
X.
t
(c) Sea T : L∞ ([0, 1]) → X0 la aplicación definida por T (f )(t) = 0 f (s) ds. Muestre que
T es un isomorfismo isométrico y obtenga T −1 .
16. Sea X un espacio de Banach y sean Pk ∈ B(X), k ∈ N, aplicaciones tales que la sucesión
(Pk x)k converge para todo x ∈ X. Mostrar que para cada n ∈ N, la sucesión (Pkn x)k
converge para todo x ∈ X.
(a) f (x0 ) = r.
(b) f = 1.
(c) f (M ) = {0}.
f0 (y + αx0 ) = αr, y ∈ M, α ∈ K.
Es inmediato de esta definición que f0 es una forma lineal que verifica las condiciones (a) y (c).
Además,
1
|f0 (y + αx0 )| = |α|r ≤ |α| y + x0 = y + αx0 ,
α
cuando α = 0. Se deduce de esta desigualdad que f0 ≤ 1. Por otra parte, si escogemos una
sucesión (yn )n en M tal que x0 − yn → r, n → ∞, entonces
Corolario 3.2. Sea X un espacio normado. Entonces para cada x ∈ X, existe f ∈ X tal que
f = 1 y f (x) = x. Además,
∞
T (xn )(an ) = x n an .
n=1
∞ ∞
|T (x)(an )| ≤ |xn ||an | ≤ ( |xn |) max |an | = x1 (an )n ,
n≥1
n=1 n=1
lo que implica que T (x) es una forma lineal continua sobre c0 y que T x ≤ x1 . Se deduce
de esta afirmación que T es lineal y continua. Por otra parte, si fijamos x = (xn )n ∈ 1 y
consideramos la sucesión (an )n ∈ c0 definida por ak = sgn(xk ), k = 1, . . . , n, y ak = 0, k ≥
n n
n + 1, entonces claramente (an )n = 1 y T x(an ) = |xk |. Se deduce que T x ≥ |xk |
k=1 k=1
y, haciendo n → ∞, se obtiene que T x ≥ x1 . En consecuencia, T x = x1 y T es
III.3 Dualidad y Topologı́a Débil 69
una isometrı́a lineal. Mostremos finalmente que T es epiyectiva. Con este objeto, escojamos
F ∈ c0 . Denotemos en = (0, 0, . . . , 1, 0, . . .) ∈ c0 y xn = F (en ). Entonces
n
n
|xk | = sgn(xk ) xk
k=1 k=1
n n
= sgn(xk )F (ek ) = F ( sgn(xk )ek )
k=1 k=1
n
≤ F sgn(xk )ek = F , n ∈ N,
k=1
En el Ejemplo 1.11 hemos establecido que el espacio BV0 ([a, b]) de las funciones de variación
acotada normalizadas es un espacio de Banach, considerando como norma la variación de cada
función. Definamos la aplicación T : BV0 ([a, b] → C([a, b]) por
b
T (α)(f ) = f dα, (3.1)
a
Se deduce de esta propiedad que T (α) es continua, con T (α) ≤ V (α) y que la aplicación T
está bien definida. Se verifica también fácilmente que T es una aplicación lineal.
(ii) Mostraremos a continuación que T (α) = V (α). Para cada ε > 0, utilizando la función
gk definida en el Ejercicio 2 obtenemos que T (α)gk ≥ V (α) − ε , para k grande. Por lo tanto,
T (α) ≥ V (α) − ε,
y como ε es arbitrario resulta que T (α) ≥ V (α). En consecuencia, reuniendo (i) y (ii)
obtenemos que T (α) = V (α).
70 Capı́tulo III. Espacios de Banach
(iii) Verifiquemos finalmente que T es epiyectiva. Sea Λ una forma lineal continua sobre
C([a, b]) . Como C([a, b]) es un subespacio lineal cerrado de B([a, b]) , entonces existe una
de Λ a B([a, b]) con igual norma que Λ. Sea a < s ≤ b . Se define la función
extensión lineal Λ
ks por
1, a ≤ t ≤ s,
ks (t) =
0, s < t ≤ b.
Completamos esta construcción definiendo ka = 0. Claramente ks ∈ B([a, b]). Sea α(s) =
s ), a ≤ s ≤ b. Mostremos en primer lugar que α es una función de variación acotada. Con
Λ(k
este objeto, para una división d = {t0 , t1 , . . . , tn } de [a, b], es decir, a = t0 < t1 · · · < tn = b,
sean si = sgn(α(ti ) − α(ti−1 )), i = 1, . . . , n y definamos la función
s1 , t0 ≤ t ≤ t1 ,
y(t) =
si , ti−1 < t ≤ ti .
n
y(t) = si (kti − kti−1 )(t).
i=1
n
n
Λ(y) = t − kt ) =
si Λ(k si (α(ti ) − α(ti−1 ))
i i−1
i=1 i=1
n
= = Λ,
|α(ti ) − α(ti−1 )| ≤ Λ
i=1
de lo que se obtiene que α es una función de variación acotada con V (α) ≤ Λ.
Se deduce de esta propiedad que la integral en (3.1), existe para toda función continua f .
Verificaremos que
b
Λ(f ) = f dα,
a
para toda f continua. Manteniendo las notaciones anteriores, para una división d =
{t0 , t1 , . . . , tn } de [a, b] denotaremos por Δ(d) = max{|ti − ti−1 | : i = 1, . . . , n} y llamaremos
suma de Riemann-Stieltjes de f con respecto a α a
n
Sd (f, α) = f (ti−1 )(α(ti ) − α(ti−1 )).
i=1
Definamos la función
n
zd (t) = f (ti−1 )(kti − kti−1 )(t).
i=1
obtenemos
Volviendo a usar la linealidad de Λ
n
d) =
Λ(z f (ti−1 )(α(ti ) − α(ti−1 )) = Sd (f, α). (3.2)
i=1
III.3 Dualidad y Topologı́a Débil 71
Por lo tanto, T (x , y ) ≥ (x , y ) y podemos afirmar que T (x , y ) = (x , y ), de
modo que T es una isometrı́a.
Finalmente, para establecer que T es epiyectiva consideremos f ∈ (X × Y ) y definamos x ,
y mediante las expresiones x , x = f (x, 0), para x ∈ X, y y , y = f (0, y), para y ∈ Y .
Es fácil verificar que x ∈ X , y ∈ Y y que
verificar fácilmente que T está bien definida y que es una aplicación lineal. Además, T es una
isometrı́a. En efecto, como
Para completar la demostración establecemos que T es epiyectiva. Sea f una forma lineal en
M ⊥ . Como M ⊆ ker(f ) , existe la aplicación inducida en el cociente f˜ tal que f = f˜ ◦ ω =
T (f˜) y por el Ejercicio 2.13 sabemos que f˜ ∈ (X/M ) .
Una consecuencia ampliamente utilizada del Principio del Acotamiento Uniforme es la posi-
bilidad de caracterizar los conjuntos acotados de un espacio normado X en términos de su
dual.
Corolario 3.4. Sea X un espacio normado y (xn )n una sucesión en X tal que (x , xn )n
es convergente, para todo x ∈ X . Entonces la sucesión (xn )n es acotada.
Por ser f una función continua, si Γ es una curva rectificable, entonces la integral en (3.3) tiene
f (λ)
sentido como la integral de Riemann-Stieltjes de la función con respecto a la función de
λ−z
variación acotada λ en Γ.
Por otra parte, como las aplicaciones lineales continuas conmutan con la integral, para todo
x ∈ X se verifica
1 f (λ) 1 x , f (λ)
x , dλ = dλ = x , f (z),
2πi Γ λ − z 2πi Γ λ − z
donde la última igualdad surge del hecho que la función x , f (z) es holomorfa. Como por el
Corolario 3.2 el espacio dual X separa puntos en X, de la igualdad anterior se deduce (3.3).
Demostremos finalmente que f es holomorfa. Como f es continua y verifica la fórmula integral
de Cauchy, esta parte de la demostración es apenas una reformulación del Teorema de Morera
([33, Teorema 10.17]). Tal como en la parte inicial, para simplificar el desarrollo supongamos
que 0 ∈ Ω y mostremos que f es derivable en 0 . Para esto escojamos r > 0 de modo que el
disco D2r está contenido en Ω y sea C su frontera. Entonces, para z ∈ Dr podemos escribir
f (z) − f (0) 1 f (λ) 1 f (λ) 1 f (λ)
− dλ = dλ − dλ
z 2πi C λ 2 2πi C λ(λ − z) 2πi C λ2
z f (λ)
= dλ.
2πi C λ2 (λ − z)
Como ya sabemos que f es continua, y luego acotada en D2r , utilizando la igualdad anterior
podemos evaluar
f (z) − f (0) 1 f (λ)
lim = dλ,
z→0 z 2πi C λ2
lo que justifica nuestra última afirmación y completa la demostración.
Demostración. Fijemos t0 ∈ (a, b) y sea δ > 0. Consideremos |h| < δ tal que t0 +h ∈ (a, b).
Procediendo como en la demostración
! del Teorema 3.2 podemos establecer que el conjunto
f (t0 + h) − f (t0 )
: |h| < δ es acotado en X. En consecuencia, f es continua en t0 .
h
Terminamos estas aplicaciones con un resultado de carácter negativo en relación con la
convergencia de series de Fourier.
Ejemplo 3.10. Convergencia de series de Fourier.1
1
El lector no conocedor del concepto de producto interior puede postponer la lectura de este ejemplo hasta
después del Capı́tulo IV.
III.3 Dualidad y Topologı́a Débil 75
1
Es inmediato que el conjunto { √ exp(int) : n ∈ Z} es ortonormal para este producto
2π
interior. Definimos las sumas parciales
n
1
Sn (f )(t) = f, exp(iks) exp(ikt).
k=−n
2π
n
2n
D(s) = exp(iks) = exp(−ins) exp(iks)
k=−n k=0
exp(i(n + 1)s) − exp(−ins)
=
exp(is) − 1
exp(i(n + 12 )s) − exp(−i(n + 12 )s) sin(2n + 1) 2s
= = ,
exp(i 2 ) − exp(−i 2 )
s s
sin( 2s )
y, en consecuencia,
2π
1 sin (2n + 1) t−s2
Sn (f )(t) = f (s) ds.
2π 0 sin( t−s
2
)
Para estudiar la convergencia puntual de la sucesión Sn (f ), fijemos t = 0 y definamos las
funcionales Fn : C([0, 2π], C) → C por la expresión
2π
1 sin (2n + 1) 2s
Fn (f ) = Sn (f )(0) = f (s) ds.
2π 0 sin ( 2s )
76 Capı́tulo III. Espacios de Banach
Claramente Fn son lineales. Para verificar que son continuas para la norma de la convergencia
sin [(2n + 1) 2s ]
uniforme en C([0, 2π], C) notemos que la función es acotada en [0, 2π], ya
sin ( 2s )
que tiene lı́mite cuando s se aproxima a 0 y a 2π. Si suponemos que la sucesión (Fn (f ))n
es convergente para toda f , como consecuencia del Corolario 2.3 obtenemos que el conjunto
{Fn : n ∈ N} es equicontinuo. Sin embargo esta afirmación es falsa. En efecto, escojamos las
funciones fn (s) = sin (n + 12 )s, s ∈ [0, 2π]. Entonces fn = 1, y
1 2π
sin2 (n + 12 )s
Fn (fn ) = ds.
2π 0 sin ( 2s )
Una sucesión (xn )n puede converger para la topologı́a σ(X, X ) y no converger para la topo-
logı́a fuerte. Consideremos el espacio X = L1 ([−π, π]). Por el Lema de Riemann-Lebesgue
([16]), para toda función f ∈ L1 ([−π, π]) las integrales
π
cos (nx)f (x) dx → 0, n → ∞.
−π
Utilizando la dualidad entre L1 ([−π, π]) y L∞ ([−π, π]) ([8, 16, 40]) podemos afirmar
que L1 ([−π, π]) = L∞ ([−π, π]) ⊆ L1 ([−π, π]), lo que nos permite concluir que la sucesión
fn (x) = cos (nx) ∈ X y fn → 0, n → ∞, en la topologı́a débil. Por otra parte, como
π
| cos (nx)| dx = 4 la sucesión (fn )n no converge a cero en la topologı́a fuerte de X.
−π
No obstante el ejemplo anterior, existen espacios donde la convergencia débil de sucesiones
implica su convergencia fuerte ( dejamos como ejercio mostrar que esto ocurre en 1 ). Natu-
ralmente esto no significa que la topologı́a débil coincida con la fuerte, ya que para comparar
III.3 Dualidad y Topologı́a Débil 77
topologı́as en términos de convergencia es necesario utilizar redes y, vimos en los Ejemplos II.5.3
y II.5.4 que la igualdad solo ocurre en espacios de dimensión finita. Un problema relacionado
es caracterizar aquellos espacios X para los cuales se verifica la propiedad que si (xn )n es una
sucesión en X tal que x , xn converge para todo x ∈ X , entonces (xn )n es convergente
para la topologı́a σ(X, X ). Estos espacios se llaman débilmente secuencialmente completos.
En la sección siguiente presentaremos una respuesta parcial a este problema.
Procediendo de manera análoga a lo efectuado en X, podemos definir topologı́as débiles en
X . Especı́ficamente, si F es un subespacio vectorial de X , con el método desarrollado en el
capı́tulo II podemos definir en X la topologı́a débil σ(X , F ). Interesa en particular estudiar
dos situaciones especiales, cuando F = X y F = X .
Teorema 3.3. Sea X un espacio normado. Entonces la bola unitaria B X es compacta para
la topologı́a σ(X , X).
Demostración.
Para cada x ∈ B X , definamos Dx = D = {α ∈ K : |α| ≤ 1} y sea Ω =
Dx = {f |f : B X → D} dotado con la topologı́a producto. Por el Teorema de Tychonoff
x∈B X
(Teorema A-1.6) el espacio topológico Ω es compacto. Consideramos B X dotado con la
traza de la topologı́a débil*. Se define la aplicación T : B X → Ω por T (x )(x) = x , x.
Mostraremos que T es un homeomorfismo sobre su imagen y que R(T ) es un subconjunto
cerrado de Ω.
Claramente T es inyectiva. Para mostrar que T es continua, sea (xd )d∈D una red en B X
convergente a x para la topologı́a σ(X , X). Entonces
Se deduce de esta propiedad que la red xd , x converge para todo x ∈ X. Definamos el escalar
βx = limxd , x y la función ϕ : X → K por ϕ(x) = βx . Entonces ϕ es lineal. En efecto, de
d∈D
las propiedades del lı́mite se obtiene que
ϕ(c1 x1 + c2 x2 ) = limxd , c1 x1 + c2 x2
d∈D
= c1 ϕ(x1 ) + c2 ϕ(x2 ),
En particular, si nos restringimos a considerar los elementos x de la forma J(x) podemos
afirmar que
|x0 , x0 | > sup{|x0 , x̃| : x̃ ∈ J(B X )} = x0 ,
III.3 Dualidad y Topologı́a Débil 79
El teorema de Goldstine nos aporta ejemplos de que un conjunto convexo cerrado para la
topologı́a fuerte no es, en general, cerrado para la topologı́a débil*. Un ejemplo concreto
de esta afirmación se encuentra en el Ejercicio 29. En consecuencia, esta propiedad y la
Proposición II.5.2 establecen un comportamiento diferente entre las topologı́as débiles y las
topologı́as débiles*.
No es fácil describir las topologı́as débiles en espacios de dimensión infinita. Esto se debe a
que no son metrizables (ver Ejercicio 21). Una situación más simple se presenta en subconjuntos
acotados. Los siguientes resultados establecen criterios de metrizabilidad para la topologı́a débil
en subconjuntos acotados del espacio. En general, usaremos la notación Aτ para indicar que
el conjunto A está dotado con la topologı́a inducida por una topologı́a τ .
Teorema 3.5. Sea X un espacio normado. El conjunto B X , provisto con la topologı́a inducida
por la topologı́a débil*, es metrizable si, y solamente si, X es separable.
Corolario 3.5. Sea X un espacio normado. Entonces B X dotado con la topologı́a débil
σ(X, X ) es metrizable si, y solamente si, el espacio (X , · ) es separable.
de la cual se deduce que x = 0 y, como consecuencia del Corolario 3.1, se obtiene que M es
denso en X.
La afirmación recı́proca es falsa, ya que, por ejemplo, el espacio dual de 1 es ∞ . Por este
motivo es conveniente introducir el siguiente concepto.
En este caso el conjunto T separa puntos en X, por lo que esta definición es similar a la
considerada en el Ejercicio II.5.8.
Ejemplo 3.13. Sea X un espacio normado separable tal que X no es separable. Sea D ⊆ X
un conjunto numerable y denso en X. Entonces J(D) ⊆ X es total y no es denso. Como
ejemplo concreto basta considerar X = 1 .
Lema 3.1. Sea X un espacio de Banach cuyo dual X contiene un conjunto numerable total.
Sea A ⊆ X un subconjunto débilmente compacto. Entonces la traza de la topologı́a σ(X, X )
en A es metrizable.
∞
1
ρ(x, y) = n
|xn , x − y|, x, y ∈ A.
n=1
2
Sabemos que J(X) es denso en X para la topologı́a débil*. Surge entonces el problema
de caracterizar los subconjuntos de X que son cerrados para la topologı́a débil*. Observemos
previamente que si X es un espacio de Banach y A es un subconjunto convexo de X con la
propiedad que A ∩ Br [0, X] es σ-cerrado, para todo r > 0, entonces A es cerrado para la
topologı́a débil. En efecto, como A es convexo es suficiente probar que A es cerrado para la
topologı́a fuerte. Como toda sucesión convergente es acotada se deduce que toda sucesión de
A convergente tiene su lı́mite en A y, por tanto, A es cerrado.
82 Capı́tulo III. Espacios de Banach
Demostración. Separamos la demostración en dos partes. (i) Existe una sucesión (Fn )n de
subconjuntos finitos de X que verifican las condiciones:
(a) Para todo n ∈ N0 , nFn ⊆ B1 [0, X].
(b) Para todo n ∈ N, A ∩ (nB1 [0, X ]) ∩ (∩n−1 ◦
i=0 Fi ) = ∅.
Para establecer esta afirmación se efectúa una costrucción inductiva. Sea F0 = {0} y supong-
amos que se han definido F0 , . . . , Fn−1 de manera que se satisfacen las condiciones (a) y (b).
Sea Q = A ∩ ((n + 1)B1 [0, X ]) ∩ (∩n−1 ◦
i=0 Fi ). Claramente Q es compacto para la topologı́a
débil*. Luego, si Q ∩ F = ∅, para todo subconjunto finito F ⊆ n1 B1 [0, X], utilizando las
◦
Se deduce de esta propiedad que T (A) ∩ B1 [0, c0 (K)] = ∅. Utilizando el Teorema II.4.1 con los
conjuntos T (A) e int(B1 [0, c0 (K)]) se deduce que existe f ∈ c0 (K) = 1 y una constante c
tal que
Re(f (u)) < c ≤ Re(f (v)),
para todo u ∈ int(B1 [0, c0 (K)]) y todo v ∈ T (A). Como c > 0, dividiendo por c y re-
definiendo f por f /c = (an )n ∈ 1 y, aplicando la desigualdad anterior con v = T (x )
obtenemos que
∞ ∞
1 ≤ Ref (v) = Re ak xk , x = Re ak x k , x .
k=1 k=1
III.3 Dualidad y Topologı́a Débil 83
∞
El vector x = ak xk ∈ X porque el espacio X es completo, y satisface la afirmación del
k=1
enunciado.
Corolario 3.8. Sea X un espacio de Banach separable y sea ϕ : X → K una forma lineal.
Entonces ϕ es σ(X , X)-continua si, y solamente si, es secuencialmente continua para la
topologı́a débil*.
Demostración. Sabemos que ϕ es σ(X , X)-continua si, y solamente si, su núcleo es σ(X , X)
-cerrado y, por el Corolario 3.7, esto último es equivalente a que su núcleo sea secuencialmente
σ(X , X)-cerrado.
Cuando X es un espacio métrico, estos tres conceptos de compacidad son equivalentes. Esta
propiedad no se verifica para espacios topológicos. Sin embargo, el torema siguiente, conocido
como Teorema de Eberlein-Smulian, asegura que esta propiedad de los espacios métricos se
mantiene para la topologı́a débil.
Demostración. La afirmación (b) implica (c) se verifica en todo espacio topológico, por lo
cual omitiremos su demostración.
Mostremos que la condición (a) implica la (b). Con este objeto, escojamos una sucesión (xn )n
en A y sea X0 la adherencia del subespacio vectorial {xn : n ∈ N} en la topologı́a fuerte de
X. Entonces X0 es un espacio de Banach separable el cual, por la Proposición II.5.2, es cerrado
para la topologı́a débil en X. Se deduce que A ∩ X0 es σ(X, X )-compacto. Por otra parte,
como X0 es separable, el Ejercicio 11 nos permite afirmar que existe un conjunto numerable
total en X0 y aplicando el Lema 3.1 obtenemos que la topologı́a σ(X0 , X0 ) en A ∩ X0 es
metrizable. Por lo tanto, en este conjunto se cumplen las propiedades de los espacios métricos
y los tres conceptos de compacidad son equivalentes. En particular, existe una subsucesión de
(xn )n que es convergente para la topologı́a σ(X0 , X0 ) y utilizando el Ejercicio 10 obtenemos
que es convergente para la topologı́a σ(X, X ).
Finalmente establecemos que (c) implica (a). Para cada x ∈ X , el conjunto x (A) ⊆ K es rel-
ativamente contablemente compacto y, como K es un espacio métrico, este conjunto es relativa-
mente compacto y acotado. Por el Principio del Acotamiento Uniforme podemos afirmar que A
es acotado. En consecuencia, J(A) es acotado y utilizando el Teorema de Alaoglú obtenemos que
J(A) es relativamente compacto para la topologı́a σ(X , X ). Considerando que la aplicación
J : (X, σ(X, X )) → (X , σ(X , X )) es un homeomorfismo sobre su imagen, para mostrar que
A es relativamente compacto es suficiente verificar que la adherencia de J(A) en la topologı́a
débil* está contenida en J(X).
τ
Sea x ∈ J(A) , donde τ = σ(X , X ). Sin pérdida de generalidad suponemos que 0 ∈ A. Se
efectúa una construcción inductiva usando el Ejercicio 12 con Y = X . Afirmamos que existe
una sucesión (ak )k≥0 en A, con a0 = 0, una sucesión creciente de números naturales (nk )k y
una sucesión (xi )i en X , con xi = 1, que verifican las condiciones:
1
(i) max |y , xj | ≥ y , para todo y ∈ {x − J(ai ) : 0 ≤ i ≤ k}.
nk <j≤nk+1 2
1
(ii) max |x − J(ak ), xi | < , k ∈ N.
1≤i≤nk k
Demostremos esta afirmación. Sea x1 ∈ X , con x1 = 1, escogido arbitrariamente. Como
τ
x ∈ J(A) , existe a1 ∈ A tal que |x − J(a1 ), x1 | < 1. Seleccionamos n1 = 1. Supongamos
que hemos escogido ni ∈ N, ai ∈ A, 1 ≤ i ≤ k, xj ∈ X , 1 ≤ j ≤ · · · nk , de modo que se
verifican las condiciones (i) y (ii) y formemos el subespacio vectorial de X definido por
1
max |y , xj | ≥ y ,
nk +1≤j≤nk+1 2
para todo y ∈ F . Los elementos xj , 1 ≤ j ≤ nk+1 , definen la vecindad
1
V = {z ∈ X : |z , xj | < , j = 1, . . . , nk+1 }
k+1
de 0 en la topologı́a débil* de X y, por lo tanto (x + V ) ∩ J(A) = ∅. Se deduce de esto que
puede escogerse ak+1 ∈ A tal que J(ak+1 ) ∈ x + V . En consecuencia,
1
max |x − J(ak+1 ), xj | < ,
1≤j≤nk+1 k+1
lo que completa la construcción inductiva.
El conjunto numerable B = {ak : k ∈ N0 } ⊆ A tiene un punto de acumulación x ∈ X, para
la topologı́a débil y x − J(x) es un punto de acumulación del conjunto {x − J(ak ) : k ≥ 0}
para la topologı́a débil*. Sean m ∈ N y ε > 0. Para todo N ∈ N, existe k ≥ N tal que
|xm , ak − x| < ε. Podemos escoger k de modo que k1 < ε y m < nk . Por lo tanto,
En consecuencia, para cada ε > 0 existe z ∈ x −J(ak ) : k ∈ N0 tal que x −Jx−z < ε.
Utilizando la afirmación (i) se deduce que existe m ∈ N tal que
1
|z , xm | ≥ z .
2
Podemos resumir estas estimaciones en
x − J(x) ≤ε + z ≤ ε + 2|z , xm |
≤ε + 2|z − (x − J(x)), xm | + 2|x − J(x), xm | ≤ 3ε,
Terminamos esta sección con una aplicación del Teorema de Eberlein-Smulian al estudio de
la compacidad de la envolvente convexa de un conjunto compacto. Para establecer la propiedad
necesitamos de dos resultados previos, el primero de los cuales caracteriza los elementos de
J(X).
86 Capı́tulo III. Espacios de Banach
Lema 3.3. Sea X un espacio de Banach separable y sea x ∈ X . Supongamos que para cada
sucesión (xn )n que converge a x en la topologı́a σ(X , X), la sucesión x , xn converge a
x , x . Entonces x ∈ J(X).
y, por lo tanto, |xn , x| ≤ 2ε, n ≥ j. Se deduce de esta propiedad que x , xn → 0 cuando
n → ∞, lo cual es una contradicción con lo establecido previamente.
y |μ|(Ω) = Λ.
Ejercicios. Demuestre las afirmaciones que siguen. En estos ejercicio X representa un espacio
normado.
1. Sea X un espacio de Banach. Una sucesión (xn )n se llama base de Schauder de X si para
∞
todo x ∈ X, existe una única sucesión (an )n en K tal que x = an xn (la convergencia
n=1
debe entenderse en sentido de la topologı́a fuerte de X). Mostrar las afirmaciones:
(i) Los vectores xn , n ∈ N, son linealmente independientes.
n
(ii) Se define Pn : X → X, n ∈ N, por Pn x = ai xi . Entonces Pn es una proyección
i=1
lineal continua y sup Pn < ∞. Indicación. Utilice la indicación incluida en el Ejerci-
n∈N
cio 1.15 para deducir que G(Pn ) es cerrado.
(iii) Se definen ϕn : X → K, ϕn (x) = an . Entonces ϕn ∈ X , ϕn (xm ) = δm,n y
∞
x= ϕn (x)xn .
n=1
(tj , f (tj )), j = 0, 1, . . . , n. Mostrar que las aplicaciones Pn verifican las condiciones
consideradas en (iv).
(vii) Sea (xn )n una sucesión en X tal que para todo x ∈ X, existe una única sucesión
∞
(an )n en K de modo que la serie an xn converge a x en sentido débil. Mostrar que
n=1
(xn )n es una base de Schauder de X. Indicación. Verifique que el procedimiento de (ii)
también es aplicable en este caso.
2. Sea α ∈ BV0 ([a, b]) y t1 < t2 , t1 , t2 ∈ (a, b). Sea c = sgn(α(t2 ) − α(t1 )) y considere
la sucesión de funciones continuas
⎧
⎪
⎪ 0, a ≤ t ≤ t1 ,
⎪
⎪
⎨ cn(t − t1 ), t1 ≤ t ≤ t1 + n1 ,
fn (t) = c, t1 + n1 ≤ t ≤ t2 , (3.4)
⎪
⎪
⎪
⎪ −cn(t − t2 ) + c, t2 ≤ t ≤ t2 + n1 ,
⎩
0, t2 + n1 < t ≤ b,
b
entonces a
fn dα → |α(t2 ) − α(t1 )|, n → ∞.
Para todo ε > 0 , existe una división d = {t0 , t1 , . . . , tn } de [a, b] tal que
n
Vd (α) = |α(ti ) − α(ti−1 )| ≥ V (α) − ε.
i=1
Sea fki , i = 2, . . . , n − 1 , la sucesión de funciones definidas como en (3.4) para los puntos
ti−1 , ti . Se definen fk1 y fkn , de manera análoga en los intervalos [t0 , t1 ] y [tn−1 , tn ],
Entonces la función gk = fk1 + fk2 + · · · + fkn es continua y |gk | ≤ 1, para todo k ∈ N, y
b n
b
n
gk dα = fki dα −→ |α(ti ) − α(ti−1 )| = Vd (α), k → ∞.
a i=1 a i=1
(b) Si la red (xd )d∈D converge a x en la norma de X, entonces la red (xd )d∈D converge a
x en la topologı́a débil.
(c) Si xn → x, n → ∞, en la topologı́a débil, entonces el conjunto {xn : n ∈ N} es
acotado y x ≤ lim inf xn .
n→∞
6. Mostrar que una sucesión (xn )n en X verifica el criterio de Cauchy para la topolo-
gı́a σ(X, X ) si, y solamente si, x , xn verifica el criterio de Cauchy (y, por tanto es
convergente) para todo x ∈ X .
9. Establecer demostraciones directas del Lema 3.2 en los siguientes casos, donde los con-
ceptos topológicos se consideran en relación a la topologı́a σ(X , X):
(i) A ∩ B X = ∅.
(ii) int(A) = ∅.
13. Sean X, Y espacios normados y sea T : X → Y una aplicación lineal continua. Sea
T : Y → X la aplicación traspuesta (o dual) de T definida por T (y ) = y ◦T . (Compare
con la definición en el Ejercicio I.1.12). Mostrar que se verifican las siguientes propiedades:
(a) La aplicación T es lineal, continua y T = T .
(b) La aplicación T es continua para las topologı́as débil* en X e Y .
90 Capı́tulo III. Espacios de Banach
24. Sea X un espacio vectorial y p, q dos normas en X. Mostrar que existe una constante
c > 0 tal que p(x) ≤ cq(x), para todo x ∈ X si, y solamente si, (X, p) ⊆ (X, q) .
Mostrar que ϕε y ϕ0 son formas lineales continuas y determinar ϕε , para 0 ≤ ε < 1.
(c) Mostrar que ϕε → ϕ0 , ε → 0+ , en la topologı́a débil.
(d) Analizar si ϕε → ϕ0 , ε → 0+ , en la topologı́a fuerte.
27. Sean X, Y espacios normados y sea T : X → Y una aplicación lineal continua tal que
R(T ) es denso en Y . Mostrar que T es epiyectiva si, y solamente si, T es epiyectiva.
28. Sea X un espacio de Banach y sea (xn )n una
sucesión en X tal que la serie ∞
n=1 |x , xn |
∞
< ∞, para cada x ∈ X . Mostrar que n=1 a n xn , es convergente en X, para toda
sucesión (an )n ∈ c0 y que T : c0 → X, T (an ) = ∞ n=1 an xn es una aplicación lineal
continua.
29. Mostrar que c0 ⊆ ∞ es un conjunto convexo cerrado, que no es cerrado para la topologı́a
σ(∞ , 1 ).
4 Espacios Reflexivos
Sea X un espacio normado y sea J : X → X la inclusión canónica. Sabemos que J es una
isometrı́a.
Teorema 4.1. Sea X un espacio de Banach. Entonces las siguientes afirmaciones son equiv-
alentes:
(a) X es reflexivo.
(b) X es reflexivo.
92 Capı́tulo III. Espacios de Banach
Demostración. Por la Proposición II. 5.2 sabemos que K es un conjunto cerrado para la
topologı́a débil. Como K está contenido en nB X , para algún n ∈ N, obtenemos que K es
compacto para la topologı́a débil.
Demostración. Sea (xn )n una sucesión en X que satisface la condición que (x , xn )n
es convergente, para todo x ∈ X . Por el Principio del Acotamiento Uniforme el conjunto
{xn : n ∈ N} es acotado en norma y luego {xn : n ∈ N} ⊆ αB X , para algún α > 0. Utilizando
el Teorema 4.1 podemos afirmar que la red (xn )n∈N tiene un punto de acumulación x para la
topologı́a débil. Se deduce que x , x es un punto de acumulación de la red (x , xn )n y,
en consecuencia, x , xn → x , x, cuando n → ∞. Por lo tanto xn → x, n → ∞, en la
topologı́a σ(X, X ).
Ejemplo 4.1. El espacio C([0, 1]) no es débilmente secuencialmente completo.
para todo α ∈ BV0 ([0, 1]). Sea t0 > 0. Escogiendo n suficientemente grande y α conveniente,
de la propiedad anterior se deduce que f (t0 ) = 0. Como f es continua en [0, 1] se obtiene que
f = 0 y, en consecuencia,
1 1
(fn − f ) dα = fn dα → 0, n → ∞,
0 0
para todo α ∈ BV0 ([0, 1]), lo que contradice nuestra afirmación inicial.
Se deduce de este ejemplo que los espacios C([0, 1]) y BV0 ([0, 1]) no son reflexivos.
Corolario 4.4. Sea X un espacio de Banach. Las siguientes afirmaciones son equivalentes:
Demostración. La afirmación (b) implica (a) es consecuencia directa del Teorema 4.1 y de
la Proposición 3.3. Por otra parte, si el espacio X es reflexivo, entonces X y X son espa-
cios reflexivos. Si además, X es separable, entonces X es separable y, volviendo a utilizar la
Proposición 3.3 se obtiene que X es separable, lo que establece que la condición (a) implica
la (b).
Observación 4.2. Si X es un espacio de Banach separable, entonces B X es secuencialmente
compacto para la topologı́a débil*.
En efecto, por el Teorema 3.5 la bola B X dotada con la topologı́a σ(X , X) es metrizable y,
por el Teorema de Banach-Alaoglú, es un espacio topológico compacto. En consecuencia, toda
sucesión acotada en X contiene una subsucesión convergente para la topologı́a débil*.
El siguiente resultado establece que en espacios reflexivos no se requiere la condición de
separabilidad.
94 Capı́tulo III. Espacios de Banach
Corolario 4.5. Sea X un espacio de Banach reflexivo. Entonces toda sucesión acotada en X
contiene una subsucesión convergente para la topologı́a σ(X, X ) .
Ejercicios. Demuestre las afirmaciones que siguen, donde X denota un espacio de Banach.
1. Sean X un espacio reflexivo, Y un espacio de Banach y sea T : X → Y una aplicación
lineal continua. Mostrar las siguientes afirmaciones:
(a) Si M es un subespacio vectorial cerrado de X, entonces X/M es reflexivo.
(b) Si T es epiyectiva, entonces Y es reflexivo. Indicación. Demuestre en primer término
que la afirmación es verdadera cuando T es un isomorfismo y homeomorfismo.
2. Mostrar las siguientes afirmaciones:
(a) Si X es identificado con J(X), entonces σ(X , X ) |X = σ(X, X ).
(b) La aplicación J : (X, σ(X, X )) → (X , σ(X , X )) es continua.
3. Sea X un espacio reflexivo y sea A un subconjunto convexo, cerrado y no vacı́o de X. Si
f : A → R es una función convexa y semicontinua inferiormente tal que lim f (x) =
x∈A,
x
→∞
∞, entonces f alcanza su mı́nimo en el conjunto A.
4. Efectúe una demostración directa del Corolario 4.5, usando el Teorema de Eberlein-
Smulian. Utilize esta aproximación para mostrar que un espacio de Banach en el cual
toda sucesión acotada contiene una subsucesión convergente para la topologı́a débil, es
un espacio reflexivo.
t
5. Considere la aplicación T : L2 ([0, 1]) → C0 ([0, 1]) definida por T (f )(t) = 0 f (s) ds.
Mostrar que T no es epiyectiva.
6. Sea X un espacio reflexivo. Mostrar que para todo f ∈ X , existe x0 ∈ B X tal que
f = f, x0 = sup |f, x|.
x∈B X
1 Conceptos Básicos
Definición 1.1. Se llama producto interior en X a una forma sesquilineal, hermitiana y
definida positiva · : X ×X → K. Un espacio vectorial con un producto interior lo llamaremos
espacio con producto interior o espacio pre-hilbertiano.
Para el lector no conocedor de la terminologı́a de formas bilineales, en los Ejercicios 3.2 y 3.4
hemos precisado el significado de los conceptos mencionados en la Definición 1.1. En particular,
se dice que la forma , es definida positiva si x, x ≥ 0, para todo x ∈ X y x, x = 0, si, y
solamente si, x = 0.
El producto interior también se denomina producto interno, escalar o punto. Algunos
ejemplos elementales de espacios con producto interior son los siguientes.
x, y = xt Ay
96
IV.1 Conceptos Básicos 97
Demostración. Sólo presenta alguna dificultad mostrar que se verifica la desigualdad trian-
gular. Con este objeto calculamos x + y2 . Utilizando el Lema 1.1 obtenemos
para todo x, y ∈ X.
(a) Si K = C, entonces
1 k
3
x, y = i x + ik y2 , x ∈ X. (1.2)
4 k=0
(b) Si K = R, entonces
1
x, y = (x + y2 − x − y2 ), x ∈ X. (1.3)
4
para todo x, y ∈ X.
Es sorprendente que esta fórmula no depende explı́citamente del producto interior, por lo
cual puede plantearse el problema de determinar todos los espacios normados que la verifican.
El resultado siguiente muestra que esta propiedad caracteriza los espacios con producto interior.
98 Capı́tulo IV. Espacios de Hilbert
Teorema 1.1. Sea (X, ·) un espacio normado que verifica la ley del paralelógramo. Entonces
la norma · proviene de un producto interior , mediante la definición (1.1).
1 k 1 k 1 k−1
3 3 3
ix, y = i ix + ik y2 = i x + ik−1 y2 = i i x + ik−1 y2
4 k=0 4 k=0 4 k=0
= ix, y
se deduce que la función ·, y es homogénea.
IV.1 Conceptos Básicos 99
Ejemplo 1.2. La norma de la convergencia uniforme en B([0, 1]) no es inducida por un produc-
to interior. Para comprobarlo es suficiente verificar que no se satisface la ley del paralelógramo
para las funciones f = χ{0} y g = χ{1} , donde χA denota la función caracterı́stica o indicadora
de A.
Una situación similar ocurre en Rn con las normas · p, para p = 2 (ver Ejercicio 4). Se
observa sin embargo que todas las normas en Rn son equivalentes a una norma inducida por
un producto interior.
Definición 1.2. Un espacio con producto interior X se llama espacio de Hilbert si es un
espacio de Banach para la norma inducida por el producto interior.
De la desigualdad
∞
∞
∞
|xn y n | = |xn ||yn | ≤ (|xn |2 + |yn |2 )
n=1 n=1 n=1
se obtiene que la serie que define la función · es absolutamente convergente y, por lo tanto, la
función · está bien definida. Se puede verificar fácilmente que , es un producto interior y
la completitud de 2 (C) es conocida del Ejemplo III.1.4.
Ejemplo 1.6. El espacio 2 (C) definido en el ejemplo anterior puede ser generalizado en
el siguiente sentido. Sea I un conjunto no vacı́o ( el ejemplo sólo tiene interés cuando
card(I) > card(N) ). Denotamos por 2 (I, C) al conjunto formado por las familias (xi )i∈I
de números complejos tal que la suma |xi |2 < ∞. Recordemos que esto significa que existe
i∈I
una constante M ≥ 0 tal que
sup{ |xi |2 : F ⊆ I, F finito} ≤ M.
i∈F
El conjunto 2 (I, C) es un espacio vectorial sobre C . Para familias (xi )i∈I , (yi )i∈I ∈ 2 (I, C)
se define
(xi )i , (yi )i = xi y i .
i∈I
Repitiendo lo señalado en el Ejemplo 1.5, es fácil verificar que la familia (xi y i )i es sumable,
por lo cual la función , está bien definida y tiene las propiedades de un producto interior.
Nos restringiremos a mostrar que 2 (I, C) es un espacio de Hilbert. Sea (xn )n una sucesión
de Cauchy en 2 (I, C), donde cada xn = (xni )i∈I . Esto significa que para todo ε > 0, existe
Nε ∈ N tal que si m, n ≥ Nε , entonces
2 2
(xni )i − (xm
i )i = |xni − xm
i | ≤ ε. (1.8)
i∈I
Se deduce de la propiedad anterior que para cada j ∈ I la sucesión escalar (xnj )n verifica el
criterio de Cauchy y, por lo tanto es convergente en C . Definamos
yj = lim xnj .
n→∞
En primer término mostraremos que la familia y = (yi )i∈I ∈ 2 (I, C). Sea F ⊆ I un subcon-
junto finito, entonces
|yi |2 = lim |xni |2 (1.9)
n→∞
i∈F i∈F
≤ 2 + 2(xki )i 2 ,
IV.1 Conceptos Básicos 101
Del Ejemplo III.1.8 se deduce que este producto interior induce la norma del espacio, por lo
que L2 ([a, b], K) es un espacio de Hilbert. Además, es conocido de teorı́a de integración que
C([a, b], K) es denso en L2 ([a, b], K).
Ejemplo 1.8. Si X es un espacio de Hilbert con producto interior , , se define el espacio
L2 ([a, b], X) de manera similar al caso escalar ([12]). La función
b
f, g = f (t), g(t) dt
a
2
es un producto interior y L ([a, b], X) provisto con este producto interior es un espacio de
Hilbert.
Ejemplo 1.9. Espacio de Hardy H 2 (D).
En el Ejemplo III.1.12 hemos definido los espacios de Hardy H p (D), 1 ≤ p < ∞. En particular,
cuando p = 2, la norma está definida por
π 1/2
1
f 2 = sup |f (reiθ )|2 dθ , f ∈ H 2 (D).
0<r<1 2π −π
Si
∞la función f ∈ H 2 (D) se desarrolla en serie de Taylor alrededor del origen, f (z) =
n=0 c n z n
, |z| < 1, entonces se puede verificar fácilmente que
π
∞
1
|f (reiθ )|2 dθ = |cn |2 r2n ,
2π −π n=0
102 Capı́tulo IV. Espacios de Hilbert
∞
de lo que se deduce que f 22 = |cn |2 . Se define la aplicación T : H 2 (D) → 2 (C) por T (f ) =
n=0
(cn )n . De la observación previa se deduce que T es un isomorfismo isométrico. Comparando
con el producto interior en 2 (C), el isomorfismo T motiva definir
π
1
f, g = lim− f (reiθ ) g(reiθ ) dθ, f, g ∈ H 2 (D).
r→1 2π −π
Esta función es un producto interior en H 2 (D) que induce la norma del espacio. En consecuen-
cia, H 2 (D) es un espacio de Hilbert.
Ejemplo 1.10. Espacio de funciones analı́ticas.
Sea D un dominio en el plano complejo. Denotaremos
por H2 (D) al espacio vectorial formado
por las funciones holomorfas f en D tal que |f (z)|2 dxdy < ∞, donde z = x + iy. En
D
este espacio se define
f, g = f (z)g(z) dxdy.
D
Se puede verificar que , es un producto interior y que H2 (D) es un espacio de Hilbert. Para
justificar la completitud, establezcamos previamente una estimación de los valores |f (z)|, para
f ∈ H2 (D). Sea z0 ∈ D y escojamos R > 0 tal que el disco DR con centro z0 y radio R está
contenido en D. Utilizando la desigualdad de Hölder, para cada 0 < r ≤ R, podemos afirmar
que
2π 2π 1/2
1 1
|f (z0 )| ≤ |f (z0 + reiθ )| dθ ≤ √ |f (z0 + reiθ )|2 dθ .
2π 0 2π 0
Como esta propiedad se verifica para cualquier 0 < r ≤ R, integrando en [0, R] obtenemos
R R 2π
1 2 1
R |f (z0 )|2 = |f (z0 )|2 r dr ≤ |f (z0 + reiθ )|2 r dθdr
2 0 2π 0 0
1 1
= |f (z)|2 dxdy ≤ f 2 .
2π DR 2π
1
Por lo tanto, |f (z0 )| ≤ √ f . Como R y z0 son arbitrarios, hemos obtenido que
πR
1
|f (z)| ≤ √ f , z ∈ D, (1.10)
πd(z, ∂D)
donde d(z, ∂D) representa la distancia de z a la frontera de D.
Sea (fn )n una sucesión de Cauchy en H2 (D). Aplicando la estimación (1.10) obtenemos que
(fn )n converge uniformemente sobre conjuntos compactos contenidos en D. Se completa la
demostración utilizando el teorema [33, Teorema 10.28].
Ejemplo 1.11. El producto cartesiano de dos espacios de Hilbert X e Y es un espacio de
Hilbert, definiendo el producto interior
(x1 , y1 ), (x2 , y2 ) = x1 , x2 X + y1 , y2 Y .
La idea anterior puede extenderse al producto cartesiano de un conjunto finito de espacios de
Hilbert. Con una construcción levemente diferente, en el ejemplo siguiente mostramos que
también puede considerarse el producto cartesiano (también llamado suma directa o producto
directo) de infinitos espacios de Hilbert.
IV.1 Conceptos Básicos 103
Ejemplo 1.12. Sean Hn , n ∈ N , espacios de Hilbert con producto interior , Hn . Se llama
suma directa de ellos al conjunto
∞
H = H1 ⊕ H2 ⊕ H3 ⊕ · · · = (hn )n : hn ∈ Hn y hn 2 < ∞ .
n=1
Se demuestra fácilmente que este lı́mite existe. Se define el producto interior en T mediante
a
1
f, g = M(f g) = lim f (t)g(t) dt.
a→+∞ 2a −a
n
Por lo tanto, como cada f ∈ T admite una representación del tipo f = αk eiλk t , con los
k=0
exponentes λ0 , . . . , λn ∈ R distintos entre sı́, obtenemos
n n
n
n
2 −iλj t
|f | = f f = αk eiλk t
αj e = αk αj ei(λk −λj )t
k=0 j=0 k=0 j=0
y, por lo tanto,
n
f, f = M(|f |2 ) = |αk |2 .
k=0
En consecuencia, f, f = 0 si, y solamente si, f = 0 y podemos afirmar que , es una fun-
ción definida positiva. El resto de las condiciones de producto interior se deducen fácilmente
de la definición.
104 Capı́tulo IV. Espacios de Hilbert
entonces , es un producto interior que induce la norma del espacio. Por lo tanto, W 1,2 ((a, b))
es un espacio de Hilbert, el cual se denota H 1 ((a, b)).
yn + ym
Como A es convexo, entonces (yn + ym )/2 ∈ A y, por lo tanto ≥ r. Sustituyendo
2
en la expresión anterior resulta que
# #
# yn − ym #2 1 1 1 1 1
# # ≤ + + r + → 0 , m, n → ∞.
# 2 # 2 n2 m2 n m
o, equivalentemente,
1−t
Rex0 − y0 , y − y0 ≤ y0 − y2
2
y, calculando el lı́mite en la expresión anterior cuando t → 1− , se obtiene la afirmación.
Corolario 1.2. Con las hipótesis del Teorema 1.3, sea PA : X → A la aplicación que a cada
x le asocia su mejor aproximación en A. Entonces PA x − PA y ≤ x − y. En particular,
PA es una aplicación continua.
Rex − PA x, y − PA x ≤ 0,
Rex − PA x , y − PA x ≤ 0,
106 Capı́tulo IV. Espacios de Hilbert
Rex − PA x, PA x − P x ≤ 0,
Rex − PA x , PA x − PA x ≤ 0.
Rex − x , PA x − PA x + RePA x − PA x, PA x − PA x ≤ 0.
Por lo tanto,
x − z y − u ≤ x − y z − u + z − y x − u,
para todo x, y, z, u ∈ X.
3. Un espacio normado X se llama uniformemente convexo si para sucesiones (xn )n , (yn )n tal
que xn = yn = 1 y xn +yn → 2, n → ∞, entonces xn −yn → 0, n → ∞. Mostrar
que todo espacio con producto interior es uniformemente convexo y que R2 provisto con
la norma · ∞ no es uniformemente convexo.
IV.1 Conceptos Básicos 107
4. Mostrar que los espacios normados C([0, 1]) y Rn , provisto con cualquier norma p,
1 ≤ p ≤ ∞, y p = 2, no son espacios con producto interior.
∞
8. En el espacio 2 se define M = {(an )n : an = 0}. Mostrar que M es un subespacio
n=1
vectorial denso en 2 .
11. Sea X un espacio con producto interior , . Para los vectores x1 , . . . , xn ∈ X se de-
fine G(x1 , . . . , xn ) = det(xi , xj )i,j=1,...,n . Mostrar que los vectores x1 , . . . , xn ∈ X son
linealmente independientes si, y solamente si, el determinante G(x1 , . . . , xn ) = 0.
12. Sea M el subespacio de C([0, 1]) formado por las funciones x tal que x(0) = 0 y sea y(t) =
1. Determinar la distancia de y a M y los elementos de M que son mejor aproximación
de y.
2 Ortogonalidad
Las propiedades fundamentales de los espacios con producto interior están relacionadas con el
concepto de ortogonalidad.
Definición 2.1. Sea X un espacio vectorial con producto interior , .
(b) Para cada x ∈ X, el elemento y = PM (x) se puede caracterizar por la propiedad que
x − y ⊥ M.
Una proyección P sobre un espacio con producto interior se llama ortogonal cuando los
subespacios R(P ) y ker(P ) son ortogonales. La proyección PM definida en el Teorema 2.2 es
ortogonal.
Ejemplo 2.1. En el espacio X = L2 ([−1, 1]) consideramos el subespacio M formado por las
funciones simétricas. Es fácil verificar que M es un subespacio vectorial cerrado. Definimos la
1
aplicación P : X → X por P x(t) = (x(t) + x(−t)). Es claro que P es una proyección lineal
2
continua con R(P ) = M . El ker(P ) es el subespacio formado por las funciones anti-simétricas
y M ⊥ ker(P ), por lo que P es una proyección ortogonal.
110 Capı́tulo IV. Espacios de Hilbert
El Teorema 2.2 tiene muchas e importantes consecuencias, algunas de las cuales se incluyen
en los ejercicios de esta sección. Mencionamos explı́citamente la siguiente que es utilizada a
menudo.
Corolario 2.1. Sea M un subespacio vectorial de un espacio de Hilbert X. Entonces M es
denso en X si, y solamente si M ⊥ = {0} .
y, por lo tanto,
PM x2 = |x, xi |2 ≤ x2 ,
i∈F
para todo x ∈ X.
Observación 2.1. Sea X un espacio de Hilbert y sea {xi : i ∈ I} un conjunto ortonormal
en X. Entonces para todo x ∈ X, la familia (x, xi xi )i∈I es sumable en X. En efecto,
utilizando la desigualdad de Bessel se deduce que |x, xi |2 ≤ x2 , para todo conjunto
i∈J
J ⊆ I finito, lo que nos permite afirmar que la familia (|x, xi |2 )i∈I es sumable. Además, por
la ortonormalidad de los vectores xi se obtiene que
x, xi xi 2 = |x, xi |2 ,
i∈J i∈J
lo que a su vez nos lleva a concluir que la familia (x, xi xi )i∈I verifica el criterio de Cauchy.
Se deduce de esta propiedad que para cada x ∈ X, el conjunto {i ∈ I : x, xi = 0} es finito
o numerable.
IV.2 Ortogonalidad 111
En un espacio de Hilbert de dimensión infinita un conjunto ortonormal no puede ser una base
de Hamel. En efecto, si B = {xi : i ∈ I} es un conjunto ortonormal no finito y seleccionamos
∞
1
un subconjunto numerable {xn : n ∈ N}, entonces el vector x = xn es un elemento de
i=1
n
X. Para poner en evidencia esta última afirmación, observamos que por la ortogonalidad
n
1 n
1
x k 2 = 2
→ 0, m, n → ∞,
k=m
k k=m
k
y la completitud implica que la serie es convergente. Sin embargo, x no puede escribirse como
combinación lineal de un número finito de elementos de B.
⊥ ⊥
Supongamos que se verifica (b). En este caso, B = {0} y como X = B ⊕ B = B,
entonces B es total en X, con lo cual hemos mostrado que se satisface la afirmación (c).
Mostremos que la afirmación (c) implica (b). Sea x ∈ X y supongamos que x ⊥ B. Entonces,
usando la continuidad del producto interior, resulta que x ⊥ B y, por lo tanto x = 0.
La afirmación (b) implica (a). En efecto, si x ∈ X, por la Observación 2.1 podemos definir
y= x, xi xi ∈ X.
i∈I
Para mostrar que (d) implica (e) basta aplicar la fórmula anterior con x = y.
Completamos la demostración observando que la condición (b) es consecuencia directa de (e).
Demostración. Sea X un espacio de Hilbert. Por el Teorema 2.4 es suficiente mostrar que
existe en X un conjunto ortonormal maximal y esta afirmación se demuestra con una aplicación
simple del Lema de Zorn.
Corolario 2.3. Sea X un espacio de Hilbert y sean B1 , B2 dos bases ortonormales de X.
Entonces card(B1 ) = card(B2 ).
En el Ejercicio 6 se establece que dos espacios de Hilbert son isomorfos e isométricos si,
y solamente si, tienen la misma dimensión. Un caso particular especialmente notable de este
resultado es el siguiente.
Teorema 2.6. Todo espacio de Hilbert separable X sobre K es isomorfo e isométrico a 2 (K).
Demostración. Recordamos que el conjunto de las funciones C([a, b], K) es separable y denso
en el espacio L2 ([a, b], K).
Los ejemplos que siguen están basados en el Teorema de Stone-Weiertrass ([16, Teorema 7.30
y Teorema 7.34]), que recordamos a continuación.
(a) Si A es una subálgebra en C(M, R) que separa puntos y contiene las funciones constantes,
entonces A es densa en C(M, R).
(b) Si A es una subálgebra en C(M, C) que separa puntos, contiene las funciones constantes
y tal que, para todo f ∈ A, la función f ∈ A, entonces A es densa en C(M, C).
!
1 sin nx cos nx
Ejemplo 2.3. El conjuto B = √ , √ , √ : n ∈ N es una base ortonormal de
2π π π
L2 ([0, 2π], R). En primer término, calculando los productos interiores involucrados, se obtiene
que B es un conjunto ortonormal. Definamos el espacio
X = {f ∈ C([0, 2π]) : f (0) = f (2π) },
dotado con la norma de la convergencia uniforme. Sea S 1 la circunferencia de radio 1 con
centro en el origen. Identificamos X con C(S 1 ) definiendo la aplicación T : X → C(S 1 ) por
T (f )(cos θ, sin θ) = f (θ). Se puede verificar fácilmente que T es un isomorfismo isométrico.
Además, si usamos la notación · para indicar la álgebra generada por un conjunto, entonces
T (B) separa puntos y contiene las funciones constante. En consecuencia, por el Teorema de
Stone-Weiertrass, T (B) = T (B) es densa en C(S 1 ) y, por tanto B es densa en X.
Por otra parte, ya hemos mencionado que C([0, 2π]) es denso en L2 ([0, 2π]). Adicionalmente,
el espacio X es denso en C([0, 2π]), para la norma · 2 . Para mostrar esta afirmación, sea
f ∈ C([0, 2π]) y definamos las funciones Hn : [0, 2π] → R por
⎧
⎪
⎨nt, 0 ≤ t ≤ n1 ,
1
Hn (t) = 1, ≤ t ≤ 2π − n1 , .
⎪
⎩
n
n(2π − t), 2π − n1 ≤ t ≤ 2π.
Entonces Hn f ∈ X y Hn f → f , en · 2 . En efecto,
2π
Hn f − f 22 = (1 − Hn (t))2 f 2 (t) dt
0
1/n 2π
≤ f 2 ∞ (1 − Hn (t))2 dt + f 2 ∞ (1 − Hn (t))2 dt
0 2π−1/n
converge a cero, cuando n → ∞. Reuniendo estas observaciones obtenemos que B es denso
en L2 ([0, 2π]). Como el álgebra generada por B coincide con el espacio vectorial generado por
B, entonces B es un conjunto ortonormal total en L2 ([0, 2π]).
int !
e
Ejemplo 2.4. El conjunto B = √ : n ∈ Z es una base ortonormal de L2 ([0, 2π], C).
2π
Para justificar esta afirmación procedemos de manera similar a lo efectuado en el ejemplo
anterior. Definamos el espacio
X = {f : [0, 2π] → C : f es continua y f (0) = f (2π)},
dotado con la norma de la convergencia uniforme. Identificando X con el espacio C(S 1 , C),
donde S 1 es la circunferencia de radio 1 y centro en el origen, y utilizando el Teorema de
Stone-Weiertrass resulta que B es una subálgebra densa en X.
Por otra parte, es conocido de teorı́a de integración que X es denso en el espacio L2 ([0, 2π], C).
Reuniendo estas propiedades se deduce que B es denso en L2 ([0, 2π], C). Como claramente
B es un conjunto ortonormal podemos afirmar que B es un conjunto ortonormal total.
IV.2 Ortogonalidad 115
Ejercicios. En los ejercicios siguientes, X denota un espacio vectorial dotado con un producto
interior , .
4. Demuestre el Corolario 2.1 y exhiba un ejemplo para mostrar que la afirmación es falsa
cuando X no es completo.
a) (M ⊥ + N ⊥ )⊥ = M ∩ N .
b) (M ∩ N )⊥ = M ⊥ + N ⊥ .
6. Dos espacios de Hilbert son isomorfos e isométricos si, y solamente si, tienen la misma
dimensión.
2kπ 2kπ
{1, sin (t − a), cos (t − a) : k ∈ N}
b−a b−a
12. Sea M = {x ∈ H 1 ((a, b)) : x(a) = x(b)}. Mostrar que M es subespacio vectorial cerrado
y describir M ⊥ .
1
13. Sea M = {x ∈ H 1 ((0, 1)) : 0 x(s) ds = 0}. Mostrar que M es subespacio vectorial
cerrado de H ((0, 1)) y describir M ⊥ .
1
14. Mostrar que toda proyección ortogonal sobre un espacio con producto interior es continua.
Ly + λw(x)y(x) = 0, a ≤ x ≤ b,
α1 y(a) + β1 y (a) = 0,
α2 y(b) + β2 y (b) = 0,
18. Mostrar que los polinomios de Chebychev Tn , n ∈ N0 , definidos por las expresiones
1
T0 (x) = 1 y Tn (x) = n−1 cos (n arccos x), n ∈ N, forman un conjunto ortogonal en
2
C([−1, 1]), para el producto interior definido por (1.7) con w(x) = (1 − x2 )−1/2 .
20. En el espacio C([−1, 1]) se considera el producto interior definido por (1.7) con w(x) = 1.
Sean Pn polinomios ortogonales no nulos de grado n. Mostrar las afirmaciones:
(i) El conjunto {P0 , . . . , Pn } es base del subespacio Pn consistente de los polinomios de
grado menor o igual a n.
(ii) El polinomio Pn es ortogonal con cualquier polinomio de grado menor que n.
Sean un los polinomios obtenidos al aplicar el proceso de ortogonalización de Gram-
Schmidt al conjunto {xn : n ∈ N0 } y sean Pn = cn un , donde la constante cn se escoge
2
de modo que Pn 2 = . Los polinomios Pn se llaman Polinomios de Legendre.
2n + 1
Mostrar las siguientes afirmaciones:
(iii) P0 (x) = 1, P1 (x) = x, P2 (x) = 21 (3x2 − 1).
(iv) El polinomio Pn es una función simétrica para n par y anti-simétrica, para n impar.
(v) d
dx
(Pn+1 (x) − Pn−1 (x)) = (2n + 1)Pn (x), n ∈ N.
(vi) Pn (1) = 1, Pn (−1) = (−1)n , Pn (1) = n(n+1)2
, n ∈ N0 .
2n + 1 n
(vii) Pn+1 (x) = xPn (x) − Pn−1 (x). (Fórmula de recurrencia).
n+1 n+1
) *
d
(viii) dx (1 − x2 ) dx
d
Pn (x) + n(n + 1)Pn (x) = 0, n ∈ N0 . Deduzca que Pn son funciones
propias de un problema de Sturm-Liouville.
1 dn 2
(ix) Pn (x) = n (x − 1)n . (Fórmula de Rodrigues).
2 n! dxn
21. En el espacio C([0, 1]) se consideran el producto interior usual , y el producto interior
, definido a través de la expresión (1.7) con w(x) = x.
(a) Mostrar que la inclusión (C([0, 1]), , ) → (C([0, 1]), , ) es continua. Deduzca
que si W denota la completación del espacio (C([0, 1]), , ), entonces L2 ([0, 1]) está
estrictamente contenido en W .
(b) Sea y(x) una solución no nula de la ecuación diferencial
xy + y + xy(x) = 0, x ≥ 0,
y sean λn , con 0 < λ1 < λ2 < · · · , raı́ces de y(·). Se definen las funciones fn (x) =
y(λn x). Mostrar que fn verifica la ecuación diferencial
xfn + fn + λ2n xfn (x) = 0, x ≥ 0.
(c) Mostrar que el conjunto {fn : n ∈ N} es ortogonal, con respecto al producto interior
, .
22. Sea X el espacio de las matrices complejas de orden n × n con producto interior definido
en el Ejemplo 1.1(iii). Sea A ∈ X y sea Γ una curva simple cerrada rectificable en C que
no contiene valores propios de A. Se define la matriz
1
P = (λI − A)−1 dλ.
2πi Γ
(a) Mostrar que P es una proyección sobre Cn .
(b) Mostrar que P = 0 si Γ no contiene en su interior valores propios de A.
(c) Mostrar que P = I si Γ contiene en su interior todos los valores propios de A.
118 Capı́tulo IV. Espacios de Hilbert
23. Sea AP (C) el espacio de las funciones complejas casi-periódicas definido en el Ejem-
plo III.1.13. En este ejercicio usamos también las notaciones introducidas en el Ejem-
plo 1.13.
(a) Mostrar que para toda f ∈ AP (C) se verifica que M(|f |2 ) < ∞ y que T es un
subespacio vectorial de AP (C).
(b) Mostrar que f, g = M(f g) define un producto interior en AP (C).
Se denota a(λ, f ) = M(f e−iλt ). Mostrar que {λ ∈ R : a(λ, f ) = 0}
(c) Sea f ∈ AP (C).
es numerable y que λ∈R |a(λ, f )|2 ≤ f 2 .
Para una demostración que el conjunto {eiλt : λ ∈ R} es una base ortonormal de AP (C)
puede consultarse [10, 31].
Teorema 3.1. Sea X un espacio de Hilbert y sea f ∈ X . Entonces existe un único y ∈ X tal
que f (x) = x, y, para todo x ∈ X. Además, f = y.
Demostración. Ciertamente si tal y existe, entonces debe ser único y también pertenecer a
(ker f )⊥ . Además, de
|f (x)| = |x, y| ≤ x y
y
se obtiene que f ≤ y. Si y = 0, entonces f = y, de manera que f = y.
y
Para establecer la existencia de y, suponiendo f = 0, utilizamos que X = ker(f ) ⊕ (ker f )⊥ .
f (z)
Escojamos 0 = z ∈ (ker f )⊥ y sea y = z. Como todo x ∈ X puede representarse en la
z2
forma x = u + αy, con u ∈ ker(f ), entonces
|f (z)|2
f (x) = αf (y) = α .
z2
Por otro lado,
|f (z)|2
x, y = αy, y = αy2 = α = f (x),
z2
lo que completa la demostración.
IV.3 Dualidad en Espacios de Hilbert 119
Se deduce del Ejercicio 2 y del Ejercicio 3 que una forma compleja sesquilineal definida
positiva es hermitiana.
Teorema 3.2. Sea X un espacio de Hilbert y sea ϕ : X × X → K una forma bilineal en
el caso K = R (respectivamente, sesquilineal en el caso K = C) continua y definida positiva.
Sea K un conjunto convexo, cerrado y no vacı́o. Entonces para cada f ∈ X , existe un único
u ∈ K tal que
Reϕ(u, x − u) ≥ Ref (x − u), (3.1)
para todo x ∈ K. Si K = R y ϕ es simétrica o K = C, entonces u puede caracterizarse
también por la condición u ∈ K y
1 1
Re ϕ(u, u) − f (u) = min Re ϕ(x, x) − f (x) (3.2)
2 x∈K 2
120 Capı́tulo IV. Espacios de Hilbert
Demostración. Por el Teorema de Riesz, existe un único yf ∈ X tal que f (x) = x, yf ,
para todo x ∈ X. Por otra parte, utilizando el Ejercicio 5 podemos afirmar que existe una
única aplicación lineal continua T : X → X tal que
ϕ(x, z) = T x, z, x, z ∈ X.
con norma asociada ||| · |||. Puede verificarse fácilmente que las normas · y ||| · ||| son
equivalentes, por lo que (X, ||| · |||) es también un espacio de Hilbert.
Como f ∈ X , entonces por el Teorema de Riesz existe un vector zf ∈ X tal que
Reϕ(u, x − u) ≥ Reϕ(x − u, zf ), x ∈ K,
IV.3 Dualidad en Espacios de Hilbert 121
o, también
Re[zf − u, x − u] = Reϕ(−u + zf , x − u) ≤ 0,
para todo x ∈ K. Es decir, por la caracterización (1.12) establecida en el Teorema 1.3, el vector
u es la mejor aproximación a zf en K, con respecto al producto interior [ , ]. Por lo tanto,
u ∈ K es el vector que minimiza la función |||zf − x|||, con x ∈ K, o, equivalentemente, es el
vector que minimiza la función |||zf − x|||2 . De las relaciones
definida para x ∈ K.
Observación 3.1. La fórmula (3.1) en el enunciado del teorema anterior puede cambiarse por
Corolario 3.3. Sea X un espacio de Hilbert y sea ϕ : X × X → K una forma bilineal cuando
K = R (respectivamente, sesquilineal cuando K = C) continua y definida positiva. Entonces
para toda forma lineal continua f ∈ X , existe un único u ∈ X tal que
Re ϕ(z, u) ≥ Re f (z),
Corolario 3.5. En un espacio de Hilbert toda sucesión acotada contiene una subsucesión
débilmente convergente.
Corolario 3.7. Sea X un espacio de Hilbert y sea (xn )n una sucesión que converge débilmente
a x. Entonces existe una subsucesión (xnk )k tal que la sucesión formada por sus medias
aritméticas converge a x en la topologı́a fuerte.
1
|xni , xnk+1 | ≤ , i = 1, 2, . . . , k, (3.6)
k
para todo k ∈ N. Para justificar la existencia de esta subsucesión procedemos utilizando
inducción.
Escojamos arbitrariamente n1 . Considerando que la función ·, xn1 define una forma lineal
continua en X, entonces xn , xn1 → 0, n → ∞. Por lo tanto, existe n2 > n1 tal que
|xn2 , xn1 | ≤ 1. Supongamos que hemos escogido n1 < n2 < · · · < nk de modo que se verifica
(3.6). Repitiendo el argumento anterior, con las formas lineales ·, xni , i = 1, . . . k, obtenemos
la existencia de nk+1 > nk para el cual se verifica (3.6), lo que completa la construcción
inductiva.
1
m
Sea ym = xn la sucesión de medias aritméticas de la sucesión (xnk )k . Como (xn )n es
m k=1 k
una sucesión acotada, existe una constante M ≥ 0 tal que xn ≤ M, para todo n ∈ N. Por
IV.3 Dualidad en Espacios de Hilbert 123
lo tanto, + m ,
1 m j−1
2 2
ym = 2 xnk + 2 Re xni , xnj
m k=1 j=2 i=1
+ ,
1 m j−1
1 1 ) *
≤ 2 mM 2 + 2 ≤ 2 mM 2 + 2(m − 1) ,
m j=2 i=1
j − 1 m
Ejercicios. En los enunciados que siguen X, Y representan espacios normados sobre el cuerpo
K.
Mostrar que
ϕ = sup{|ϕ(x, y)| : x < 1, y < 1}
= sup{|ϕ(x, y)| : x = 1, y = 1}
y que
|ϕ(x, y)| ≤ ϕ x y, x ∈ X, y ∈ Y.
(b) Si K = C, entonces
1 k
3
ϕ(x, y) = i ϕ(x + ik y, x + ik y), x, y ∈ X.
4 k=0
13. Sea X un espacio de Hilbert y sea T : X → X una aplicación lineal contractiva (es decir,
T ≤ 1). Para cada x ∈ X se verifican las afirmaciones:
(a) T x = x si, y solamente si, T ∗ x = x.
(b) T x = x si, y solamente si, T ∗ T x = x.
15. Sea X un espacio de Hilbert y sea T ∈ B(X) un operador que verifica al menos una de
las condiciones:
(a) T es autoadjunto y sup{T n : n ∈ N} < ∞.
(b) T es unitario.
1 k
n
Se define Pn = T , entonces P x = lim Pn x, existe para cada x ∈ X. Además,
n k=1 n→∞
16. En este ejercicio suponemos que el espacio H2 (D), definido en el Ejemplo 1.10 no se
reduce a la función cero. Mostrar las siguientes afirmaciones:
(a) Para cada w ∈ D, existe una única función k(·, w) ∈ H2 (D) tal que
f (w) = f (z)k(z, w) dxdy, f ∈ H2 (D).
D
∞
k(w, w) = |k(z, w)|2 dxdy = |ϕn (w)|2 .
D n=1
k(z, w)
(c) La función fw (z) = tiene norma mı́nima, igual a k(w, w)−1/2 , entre todas
k(w, w)
las funciones f ∈ H2 (D) tales que f (w) = 1. Deducir que fw es la proyección ortogonal
de 0 en el subconjunto convexo cerrado de H2 (D) consistente de las funciones f tal que
f (w) = 1.
(d) Sea D el disco unitario abierto con centro en el origen. Mostrar que existen números
αn , n ∈ N0 , tal que las funciones αn z n forman una base ortonormal en H2 (D). Deducir
1
que, en este caso, k(z, w) = (1 − zw)−2 .
π
Capı́tulo V
Algebras de Banach
1 Conceptos Básicos
Definición 1.1. Llamaremos álgebra a un espacio vectorial A sobre C dotado con una ope-
ración binaria A × A → A, (x, y) → xy, que llamaremos multiplicación, y que verifica las
siguientes propiedades:
(i) x (y z) = (x y) z,
(ii) x (y + z) = x y + x z, (y + z)x = y x + z x,
(iv) e x = x e = x,
Observación 1.1. Es evidente que si una álgebra tiene unidad e, entonces e es única. Además,
e = 0 si A = {0}. Usualmente supondremos que se verifica esta propiedad.
Definición 1.2. Se llama álgebra normada (A, · ) a una álgebra A sobre C, provista con una
norma · que verifica la condición
x y ≤ x y, x, y ∈ A,
y si A tiene unidad e también debe verificarse e = 1. Una álgebra normada se llama álgebra
de Banach si el espacio normado subyacente es un espacio de Banach.
Observación 1.2. Una subálgebra de una álgebra con unidad puede no tener unidad.
126
V.1 Conceptos Básicos 127
En esta definición se considera la integral en sentido generalizado (ver [33, Capı́tulo I]). Es
evidente que la convolución puede no estar definida en R. Nuestro primer resultado establece
algunas condiciones para garantizar que la convolución es una función.
−x 2
∞ = 0 (por ejemplo, h(x) = e ) se deduce
Escogiendo una función h ∈ Lq (R) tal que h(x)
de la estimación anterior que la función x → −∞ | f (x − y)g(y) | dy y la función x →
∞
−∞
|f (t)g(x − t)| dt son finitas, c.t.p. y que la convolución f ∗ g = g ∗ f es una función
compleja definida c.t.p.
Sea p > 1. Aplicando
el Teorema de Fubini ([16, Teorema 21.13]) se obtiene que la función
F : Lq (R) → C, h → R h(x)(f ∗ g)(x) dx es lineal y continua. Como el espacio dual de Lq (R)
V.1 Conceptos Básicos 129
es Lp (R), podemos afirmar que f ∗ g ∈ Lp (R) y de la estimación (1.1) se obtiene también que
F = f ∗ gp ≤ f 1 gp .
Si p = 1 se procede de manera similar. Observemos que en este caso
∞ ∞ ∞ ∞
|f (x − y)g(y)| dxdy = |g(y)| |f (x − y)| dxdy
−∞ −∞
−∞
∞
−∞
= |g(y)| Ty f 1 dy
−∞
∞
= |g(y)| f 1 dy = g1 f 1 ,
−∞
= f (y)(g ∗ h)(z − y) dy
R
= [f ∗ (g ∗ h)](z).
por la elección de ε.
130 Capı́tulo V. Algebras de Banach
∞ Sea h ∈ L (R), 1 ≤ p < ∞, Entonces la función H : R → R definida por
p
Lema 1.2.
H(t) = −∞ |h(t + x) − h(x)|p dx es continua.
Proposición 1.1. Sean 1 ≤ p ≤ ∞ y q exponente conjugado de p. Sean f ∈ Lp (R) y
g ∈ Lq (R). Entonces la convolución f ∗ g está definida en R, es una función uniformemente
continua, acotada y f ∗ g∞ ≤ f p gq . Si 1 < p < ∞, entonces f ∗ g es una función que
se anula en infinito.
cuando np → ∞. p Sea
ε > 0. q Por laq afirmación anterior podemos escoger n ∈ N tal que
En
|f (x)| dx ≤ ε y En |g(x)| dx ≤ ε , donde hemos denotado En = (−∞, −n) ∪ (n, ∞). Si
|y| ≥ 2n y x ∈ [−n, n], entonces |y − x| ≥ n. Por lo tanto,
n
|(f ∗ g)(y)| ≤ |f (y − x)| |g(x)| dx + |f (y − x)| |g(x)| dx
−n En
n p1 1q
≤ |f (y − x)| dx
p
gq + f p |g(x)|q dx
−n En
p1
≤ |f (u)|p du gq + f p ε
En
≤ ε(f p + gq ),
Ejercicios. En los enunciados siguientes representamos por A una álgebra sobre el cuerpo de
los números complejos.
2. Sea A una álgebra con unidad e y · una norma en A tal que x y ≤ M x y,
para todo x, y ∈ A y cierta constante M > 0. Entonces existe una norma ||| · ||| en A,
equivalente con · tal que (A, | · |||) es una álgebra normada. Indicación. Para cada
x ∈ A, se define Lx : A → A, Lx (y) = xy. Mostrar que Lx es una aplicación lineal
continua y definir |||x||| = Lx .
3. Sea A una álgebra con unidad e y · una norma en A tal que (A, · ) es un es-
pacio de Banach y, para cada x, y ∈ A, las aplicaciones Lx : A → A, Lx (z) = xz y
Ry : A → A, Ry (z) = zy son continuas.
(a) Mostrar que L : A → B(A), x → Lx , es una aplicación lineal continua, R(L) es
una subálgebra cerrada de B(A) y L : A → R(L) es un homeomorfismo e isomorfismo de
álgebras.
(b) Mostrar que R : A → B(A), x → Rx , es una aplicación lineal continua, R(R) es una
subálgebra cerrada de B(A) y R : A → R(R) es un homeomorfismo y anti-isomorfismo
de álgebras (es decir, R(xy) = R(y)R(x)).
4. Sea A una álgebra normada con unidad y sea A la completación de A. Justificar que A
es una álgebra de Banach con unidad. Si B es una álgebra de Banach con unidad, A ⊆ B
⊆ B.
y la inclusión ι : A → B es continua, entonces A
Entonces Ae es una álgebra con unidad (0, 1) y si A es una álgebra conmutativa, entonces
Ae también es conmutativa. Si (A, · ) es una álgebra normada (resp. de Banach),
entonces Ae también es una álgebra normada (resp. de Banach) definiendo la norma en
Ae mediante (x, α) = x + |α|.
6. Muestre que la afirmación del Ejercicio 2 se mantiene para una álgebra A sin unidad.
10. Sea A el espacio de sucesiones 1 (Z, C), dotado con la operación de multiplicación definda
por
∞
(xn )n∈Z ∗ (yn )n∈Z = (zn )n∈Z , zn = xk yn−k .
k=−∞
Mostrar que A es una álgebra de Banach conmutativa con unidad e = (xn )n∈Z , xn = 0,
para todo n = 0 y x0 = 1.
132 Capı́tulo V. Algebras de Banach
Mostrar que C (n) ([a, b], C) es una álgebra de Banach conmutativa con unidad.
12. En el espacio A = Lip([a, b], C) se define la norma
!
|f (t) − f (s)|
f Lip = f ∞ + sup : s, t ∈ [a, b], s = t .
|t − s|
Mostrar que A es una álgebra de Banach conmutativa con unidad. (Comparar esta
definición de norma con la establecida en el Ejercicio III.2.12).
13. Sean A1 , A2 álgebras sobre C. En el producto cartesiano A = A1 × A2 se considera la
operación multiplicación
(x1 , x2 ) (y1 , y2 ) = (x1 y1 , x2 y2 ).
Entonces A es una álgebra. Si, además, A1 y A2 son álgebras conmutativas (respectiva-
mente, con unidad), entonces A es una álgebra conmutativa (resp. con unidad). Si A1 y
A2 son álgebras normadas y 1 ≤ p < ∞, se define
(x1 , x2 )p = (x1 p + x2 p )1/p ,
(x1 , x2 )∞ = max{x1 , x2 }.
Entonces (A, · p ) es una álgebra normada, para cualquier 1 ≤ p ≤ ∞, y si Ai , i = 1, 2,
son álgebras de Banach, entonces (A, · p ) es una álgebra de Banach.
14. Sea A una álgebra sobre C. Si p ∈ A se define CA (p) = {x ∈ A : xp = px}. Entonces
CA (p) es una subálgebra de A. Si A tiene unidad, entonces CA (p) también tiene unidad.
Sean A1 = {x ∈ CA (p) : xp = x} y A0 = {x ∈ CA (p) : xp = 0}. Entonces A1 y A0 son
subálgebras tal que A1 ∩ A0 = {0}. Si, además, p2 = p, entonces CA (p) = A1 ⊕ A0 .
15. Sea Ω un espacio topológico separado compacto y A una subálgebra de C(Ω, C). Sea
· 1 una norma en A tal que (A, · 1 ) es una álgebra de Banach.
(i) Para todo f ∈ A, f ∞ ≤ f 1 .
(ii) Si A es cerrada en C(Ω, C), entonces · ∞ y · 1 son equivalentes.
(iii) Si (A, · 2 ) es una álgebra de Banach, entonces · 1 y · 2 son equivalentes.
(iv) Si (A, · 2 ) es una álgebra normada tal que la inclusión (A, · 2 ) → C(Ω, C) es
continua, entonces la identidad I : (A, ·1 ) → (A, ·2 ) es continua. Indicación. Mostrar
· 2 ) es continua.
que la inclusión I : (A, · 1 ) → (A,
Lema 2.1. Sea x ∈ A tal que x − e < 1. Entonces x es regular y x−1 = ∞ n=0 (e − x) .
n
∞
n=0 (e − x)
n
Demostración. Por la hipótesis, la serie es absolutamente convergente y,
como A es un espacio de Banach, entonces la serie es convergente. Sea y = e − x. Usando la
continuidad del producto en A, obtenemos
∞
∞
n
x yn = xy n = lim (e − y)y k
n→∞
n=0 n=0 k=0
n
= lim (y − y
k k+1
) = e.
n→∞
k=0
Análogamente se establece que ( ∞ n
n=0 y ) x = e.
x−1 −1 −1
0 x − e = x0 (x − x0 ) < x0 r = 1.
Definición 2.1. Sea A una álgebra de Banach con unidad e y sea x ∈ A. Se llama espectro de
x, denotado por σ(x), al conjunto formado por los números λ ∈ C tal que λ e − x es singular
en A. El complemento de σ(x) en C se llama conjunto resolvente de x, y se denota por ρ(x).
Ejemplo 2.1. Sean Ω un espacio topológico compacto separado y A = C(Ω, C). Si f ∈ A,
entonces σ(f ) = R(f ). En efecto, la función continua λ−f tiene inversa continua si, y solamente
si, f (t) = λ, para todo t ∈ Ω.
Observación 2.1. Es importante enfatizar que el espectro de un elemento x ∈ A depende tanto
de x como de A.
Ejemplo 2.2. Sea A = C([−π, π], C) y A1 = {eint : n ∈ N0 }. Es decir, A1 es la subálgebra
formada por los lı́mites de los polinomios trigonométricos. Sea x = eit . Es claro que x−1 =
e−it ∈ A, y por tanto, 0 ∈ σA (x). Sin embargo, x−1 ∈ A1 ya que si suponemos que x−1 ∈ A1 ,
entonces x−1 = limn→∞ Pn (t), donde Pn ∈ {eint : n ∈ N0 }. Se deduce de esto que
Demostración. Si λ ∈ C, |λ| > x, entonces λ−1 x < 1 y, utilizando el Lema 2.1, se
deduce que λe − x = λ(e − λ−1 x) es un elemento invertible del álgebra. En consecuencia,
λ ∈ ρ(x), lo que demuestra la afirmación (b). Se obtiene de esta propiedad que σ(x) es un
subconjunto acotado de C. Por otra parte, la función f : C → A, f (λ) = λe − x, es continua
y como ρ(x) = f −1 (G(A)), entonces ρ(x) es un conjunto abierto y su complemento σ(x) es
un conjunto cerrado. Reuniendo estas propiedades establecemos que σ(x) es compacto.
La función R es la compuesta de la función f y de la función ψ : G(A) → A, ψ(x) = x−1 .
Por el Ejercicio 1 esta función es continua, lo que implica que R es continua. Además, si
λ, μ ∈ ρ(x), entonces
1 xn
∞
1 x
R(λ) = (λe − x)−1 = (e − )−1 = ,
λ λ λ n=0 λn
1 xn
∞
1
de lo cual se obtiene R(λ) ≤ = .
|λ| n=0 |λ|n |λ| − x
Mostremos finalmente que σ(x) = ∅. Supongamos que σ(x) = ∅. Entonces ρ(x) = C y, para
cada x ∈ A , la función escalar g : C → C, λ → x , R(λ) es entera y acotada. Por el Teorema
de Liouville ([33, Teorema 10.23]) se deduce que g(λ) = 0 y, aplicando el Corolario III.3.2 se
obtiene que R(λ) = 0, para todo λ ∈ C, lo cual es absurdo ya que R(λ)(λe − x) = e.
Observación 2.2. La función R(λ), o R(λ, x) para indicar su dependencia de x, se llama
resolvente de x. La fórmula (2.1) se llama ecuación de las resolventes.
Observación 2.3. La afirmación del Teorema 2.2 no se mantiene para álgebras de Banach
sobre los números reales.
0 1
Ejemplo 2.3. En la álgebra de Banach M2 (R) la matriz x = tiene espectro σ(x) =
−1 0
∅.
Si A es una álgebra de Banach, se deduce del Teorema 2.2 que r(x) ≤ x y si |λ| > r(x),
entonces λ ∈ ρ(x). El siguiente resultado establece una expresión, conocida en la literatura
como fórmula del radio espectral, para calcular r(x).
Teorema 2.4. Sea A una álgebra de Banach con unidad y sea x ∈ A. Entonces
1 1
r(x) = lim xn n = inf xn n . (2.2)
n→∞ n≥1
Demostración. Si λ ∈ σ(x) se deduce del Teorema 2.3 que λn ∈ σ(xn ), para todo n ∈ N.
1
Por lo tanto, |λ|n ≤ xn y r(x) ≤ inf xn n .
n≥1
Por otra parte, hemos establecido en la demostración del Teorema 2.2 que si |λ| > x,
∞
xn
entonces la función resolvente R(λ, x) = (λe − x)−1 = . La serie converge uniforme-
n=0
λn+1
mente cuando |λ| ≥ x + ε, para ε > 0. Sea Γr la circunferencia con centro en el origen y
radio r > x. Entonces, del Teorema de Cauchy ([33, Teorema 10.15]) se deduce que
n−1
1 1 1 1
λn R(λ, x) dλ = λn−k−1 dλ xk + dλ xn
2πi Γr k=0
2πi Γr
2πi Γ r
λ
∞
1 1
+ k+1−n
dλ xk
k=n+1
2πi Γr
λ
= xn .
Además, volviendo a utilizar el Teorema 2.2, podemos afirmar que la función λ → λn R(λ, x)
es holomorfa sobre ρ(x).
Si r > r(x), entonces Γ r ⊆ ρ(x) y, como las integrales no dependen
1 n n
de la trayectoria, λ R(λ, x) dλ = x . Esta igualdad nos permite estimar
2πi Γr
2π
1
xn ≤ rn einθ R(λ, x) ireiθ dθ ≤ rn+1 M (r),
2π 0
136 Capı́tulo V. Algebras de Banach
1 1 1
donde M (r) = max{R(λ, x) : λ ∈ Γr }. Por lo tanto, xn n ≤ r r n M (r) n , lo
1
que implica lim sup xn n ≤ r y, haciendo la variable r tender a r(x), se obtiene que
n→∞
1
lim sup xn n ≤ r(x). Finalmente, de las desigualdades
n→∞
1 1 1
r(x) ≤ inf xn n ≤ lim inf xn n ≤ lim sup xn n ≤ r(x)
n≥1 n≥1 n≥1
Se deduce de este teorema que si xn < 1, para algún n ∈ N, entonces e − x es un elemento
regular, lo que generaliza el Lema 2.1. El siguiente resultado, llamado Teorema de Gelfand-
Mazur, muestra que, excepto en un caso muy particular, en una álgebra de Banach con unidad
siempre existen elementos singulares.
Teorema 2.5. Sea A una álgebra de Banach con unidad e. Si todo elemento no nulo de A es
regular, entonces A es isomorfa e isométrica con la álgebra C.
Una álgebra con la propiedad que todo elemento no nulo tiene inverso se llama álgebra de
división.
Ejercicios. En los enunciados que siguen A representa una álgebra de Banach sobre C.
1. Si A es una álgebra con unidad, mostrar que la aplicación ϕ : G(A) → G(A), ϕ(x) = x−1 ,
es un homeomorfismo.
4.
Sean X = C([a, b], C) y A = B(X). Se define la aplicación lineal T sobre X por T (x)(t) =
t
a
K(t, s)x(s) ds, para a ≤ t ≤ b, siendo K una función continua definida en la región
V.3 Ideales y Homomorfismos 137
n
triangular a ≤ t ≤ b , a ≤ s ≤ t . Mostrar que T ∈ A, T n ≤ (b−a)
n!
Kn∞ , n ∈ N, y
que σ(T ) = {0}. Deduzca que para todo λ = 0 y toda función y ∈ X, la ecuación integral
t
λx(t) − K(t, s)x(s) ds = y(t), (2.3)
a
5. Procediendo como en el Ejercicio 4, mostrar que la ecuación integral (2.3) tiene solución
única en Lp ([a, b], C), 1 ≤ p < ∞, para todo λ = 0 y toda función y ∈ Lp ([a, b], C).
8. Sea A una álgebra de Banach con unidad y (xn )n una sucesión en A de elementos regulares
conmutativos entre sı́ que converge a x. Si {r(x−1n ) : n ∈ N} es acotado, entonces x es
regular. Indicación. Utilice el Ejercicio 7.
3 Ideales y Homomorfismos
Definición 3.1. Sea A una álgebra.
(d) Un ideal (respectivamente, ideal izquierdo, ideal derecho) I se llama maximal si es propio
y no está estrictamente contenido en otro ideal (respectivamente, ideal izquierdo, ideal
derecho) propio.
Proposición 3.1. Sea A una álgebra con unidad e. Si un elemento x ∈ A es regular, entonces
x no pertenece a un ideal (resp. ideal izquierdo, derecho) propio de A. Si A es conmutativa y
x ∈ A no pertenece a un ideal propio de A, entonces x es regular.
Teorema 3.1. Sea A una álgebra con unidad e. Si I ⊆ A es un ideal (resp. ideal izquierdo,
derecho) propio de A, entonces existe un ideal (resp. ideal izquierdo, derecho) maximal M de
A tal que I ⊆ M .
138 Capı́tulo V. Algebras de Banach
Corolario 3.1. Sea A una álgebra conmutativa con unidad. Entonces un elemento x ∈ A es
regular si, y solamente si, x no pertenece a un ideal maximal de A.
Definición 3.2. Sea A una álgebra. Un ideal I en A se llama regular si existe un elemento
u ∈ A tal que xu − x ∈ I y ux − x ∈ I, para todo x ∈ A.
Proposición 3.2. Sean A una álgebra e I un ideal en A. Entonces el cociente A/I es una
álgebra. Si A es conmutativa, entonces A/I es conmutativa y, si A tiene unidad e I = A,
entonces A/I también tiene unidad. Si A es una álgebra normada e I es un ideal cerrado,
entonces A/I es una álgebra normada y, si además A es una álgebra de Banach, entonces A/I
es una álgebra de Banach.
Teorema 3.2. Sea A una álgebra conmutativa. Si M ⊆ A es un ideal maximal regular, entonces
A/M es una álgebra de división.
Proposición 3.3. Sea A una álgebra normada e I un ideal entonces I también es un ideal.
Corolario 3.2. Todo ideal maximal en una álgebra de Banach con unidad A es cerrado.
V.3 Ideales y Homomorfismos 139
Proposición 3.4. Sean A una álgebra de Banach conmutativa y M un ideal maximal regular
en A. Entonces M es cerrado.
Definición 3.3. Sea A una álgebra de Banach. Se llama espacio de ideales maximales de A al
conjunto Δ(A) = {M ⊆ A : M es ideal maximal regular}.
(iv) Si A es una álgebra conmutativa con unidad, un elemento x ∈ A es regular si, y solamente
si, Λ(x) = 0, para todo Λ ∈ HomC (A).
Demostración. (i) Como los homomorfismos complejos son aplicaciones lineales es suficiente
mostrar que |Λ(x)| ≤ x, para x ∈ A. Supongamos que existe x ∈ A tal que |Λ(x)| > x.
Denotemos por ξ = Λ(x) y sea u = x/ξ. Entonces u < 1 ny Λ(u) = 1. Por otra parte,
como A es una álgebra de Banach, podemos definir y = ∞ n=1 u ∈ A. De la continuidad de la
multiplicación se deduce que u y = y − u. Por lo tanto, Λ(u y) = Λ(y) − Λ(u) = Λ(u) Λ(y) =
Λ(y), de lo que se deduce que Λ(u) = 0. Además, si e es unidad de A, entonces de la igualdad
Λ(e) = Λ(e2 ) = Λ(e)2 se obtiene que Λ(e) = 1 o Λ(e) = 0. Como Λ(e) = 0 implica que Λ = 0,
entonces Λ(e) = 1.
(ii) Claramente ker(Λ) es un ideal propio, ya que Λ = 0, y sabemos que ker(Λ) es un hiperplano
cerrado. En consecuencia, ker(Λ) es un ideal maximal cerrado. Para mostrar que ker(Λ) es
regular, escojamos u ∈ A, u ∈ / ker(Λ) tal que Λ(u) = 1. Claramente, para cada x ∈ A se
verifica
Λ(ux − x) = Λ(u) Λ(x) − Λ(x) = 0 = Λ(xu − x)
y, por tanto, ux − x ∈ ker(Λ) y xu − x ∈ ker(Λ).
(iii) Utilizando el Teorema 3.2 y la Proposición 3.4 podemos afirmar que A/M es una álgebra
de Banach conmutativa y de división. Por el Teorema 2.5 existe un isomorfismo multiplicativo
ψ : A/M → C. La compuesta Λ : A → C, Λ = ψ ◦ w, donde w es la aplicación canónica en
el cociente, es un homomorfismo complejo y ker(Λ) = M . Además, de la igualdad Λ(u)2 =
Λ(u2 ) = Λ(u) se deduce que Λ(u) debe ser igual a 1. Si Λ1 es otro homomorfismo complejo tal
que M = ker(Λ1 ), entonces también Λ1 (u) = 1, lo que implica Λ = Λ1 .
(iv) Sea e unidad de A y x ∈ A un elemento regular. Si Λ es un homomorfismo complejo,
entonces 1 = Λ(e) = Λ(x) Λ(x−1 ), de modo que Λ(x) = 0. Recı́procamente, si Λ(x) = 0, para
todo Λ ∈ HomC (A), entonces x no pertenece a un ideal maximal. Luego, por la Proposición 3.1,
el elemento x es regular.
(v) Sea e unidad de A y x ∈ A. Como λ ∈ ρ(x) si, y solamente si, λe − x es regular, esta
afirmación es consecuencia inmediata de (iv).
Corolario 3.3. Sea A una álgebra de Banach conmutativa y M un ideal maximal regular en
A. Entonces A/M es una álgebra de división.
Ejemplo 3.1. Este resultado es falso sin la hipótesis de conmutatividad. Considerese el álgebra
de matrices A = M2 (C). Los únicos ideales bilaterales en esta álgebra son M = {0} y M = A.
Luego el único ideal maximal es M = {0} y A/M no es una álgebra de división.
Observación 3.2. Se deduce de (ii) y (iii) que la correspondencia HomC (A) → (A), Λ →
ker(Λ), es biyectiva. Por este motivo es costumbre identificar los ideales maximales regulares
con los homomorfismos complejos y a (A) lo consideraremos indistintamente como un con-
junto de ideales o de homomorfismos. En este último caso, (A) es un subconjunto de la bola
unitaria del espacio dual A . Por otra parte, debido a la afirmación (v) de la Proposición 3.5 al
conjunto (A) también se le llama espectro de A.
Definición 3.5. Sea A una álgebra de Banach conmutativa. Llamaremos topologı́a de Gelfand
en (A) a la traza de la topologı́a σ(A , A) en (A).
Ejemplo 3.2. Sea A un espacio de Banach con el producto definido por x y = 0, para todo
x, y ∈ A. Si Λ es un homomorfismo complejo en A, entonces Λ(x)2 = Λ(x2 ) = 0, para todo
x ∈ A. Por lo tanto, Λ = 0.
Proposición 3.6. Sea A una álgebra de Banach conmutativa con unidad. Entonces el conjunto
(A) = ∅.
Proposición 3.7. Sea A una álgebra de Banach conmutativa y con unidad. Para cada x ∈ A
se verifican:
(i) R(
x) = σ(x).
Teorema 3.3. Sea A una álgebra de Banach conmutativa. Entonces Δ(A) es un espacio to-
pológico separado localmente compacto y la aplicación G : A → Cb (Δ(A), C), x → x , es un
homomorfismo del álgebra A sobre una subálgebra A de Cb (Δ(A), C), que separa puntos de
(A), y G ≤ 1. Si A tiene unidad, entonces (A) es compacto y A contiene las funciones
constantes.
obtenemos que
G(xy)(Λ) = x
y(Λ) = Λ(xy) = Λ(x)Λ(y) = x
(Λ)
y (Λ) = (G(x)G(y))(Λ),
Ejercicios. En estos ejercicios se supone que los homomorfismos de álgebras con unidad
transforman la unidad del dominio en la unidad del codominio.
5. Sean B una álgebra de Banach conmutativa con unidad y R la intersección de los ideales
maximales de B. Sea A una álgebra de Banach con unidad y ϕ : A → B un homomorfismo
de álgebras.
(i) Mostrar que R es un ideal. Este ideal se llama radical de B y B se llama semi-simple
si R = {0}.
(ii) Mostrar que ϕ(ker(ϕ)) ⊆ R y que ker(ϕ) es cerrado cuando R = {0}. Indicación. Si
Λ ∈ (B), entonces Λ ◦ ϕ es continuo.
(iii) Si B es semi-simple, entonces la transformada de Gelfand G en B es un monomorfismo.
(iv) Si B es semi-simple, entonces ϕ es continuo. Indicación. Sea C la subálgebra G ◦ϕ(A)
1 = x, y ϕ(x)
en C((B), C), provista con las normas ϕ(x) 2 = ϕ(x). Aplicando
el Ejercicio 1.15 mostrar que I : (C, · 1 ) → (C, · 2 ) es continua.
6. Sea A una álgebra de Banach con unidad. Para todo x, y ∈ A se verifican σ(xy) ⊆
σ(x)σ(y) y σ(x + y) ⊆ σ(x) + σ(y).
10. Sea A una álgebra de Banach con unidad y sea x ∈ A tal que {xn : n ∈ N0 } es denso
en A. Entonces x : (A) → σ(x) es un homeomorfismo.
15. Sea A una C ∗ -álgebra con unidad e y sea x ∈ A un elemento auto-adjunto tal que
x − e < 1. Entonces σ(x) ⊆ [0, ∞).
16. Sean A una C ∗ -álgebra con unidad e y sea x ∈ A un elemento auto-adjunto. Sea
P ⊆ C(σ(x), C) el álgebra de los polinomios y sea T : P → A la transformación definida
por T (p) = p(x).
V.3 Ideales y Homomorfismos 145
(a) Mostrar que T es uniformemente continua. Deduzca que la transformación T tiene una
única extensión, que también denotaremos por T , a C(σ(x), C). Esta transformación se
llama cálculo operacional para elementos auto-adjuntos y se usa la notación T (f ) = f (x).
Indicación. Como p(x) es un elemento normal, utilice el Ejercicio 13 y el Teorema 2.3 para
obtener que p(x) = p∞ . Posteriormente aplique el Teorema de Stone-Weiertrass.
(b) La aplicación T es un *-homomorfismo de álgebras.
(c) Para f ∈ C(σ(x), C) se verifican las siguientes propiedades:
(i) f (x) = f ∞ .
(ii) f (x) es normal.
(iii) f (x) es auto-adjunto si, y solamente si, f es real sobre σ(x).
(iv) Si y ∈ A conmuta con x, entonces y conmuta con f (x).
(v) Si σ(x) ⊆ [0, ∞), entonces existe un elemento auto-adjunto y ∈ A tal que x = y 2 .
Apéndice
Espacios Topológicos y Espacios Uniformes
Este apéndice reúne las principales definiciones y propiedades relacionadas con los conceptos
de espacio topológico y de espacio uniforme, y que son utilizadas en los capı́tulos precedentes.
1 Espacios Topológicos
Las definiciones y resultados que se mencionan a continuación se encuentran en [1, 13, 22, 30, 37].
(T1) ∅, X ∈ T .
(T3) Si A, B ∈ T , entonces A ∩ B ∈ T .
En este caso, (X, T ) se llama espacio topológico. Los elementos de T se llaman conjun-
tos abiertos de X y los subconjuntos de X cuyo complemento es abierto se llaman conjuntos
cerrados de X.
Denotaremos por F la colección formada por los conjuntos cerrados de un espacio topológico
X.
(ii) Se llama adherencia (también, clausura) de A, denotado A, al menor conjunto cerrado que
contiene a A. Es decir, A = ∩{F : F ∈ F, A ⊆ F }.
Teorema 1.1. Sea (X, T ), un espacio topológico. La aplicación x → V(x, T ) verifica las
siguientes propiedades:
146
A.1 Espacios Topológicos 147
Recı́procamente, si la aplicación x → ∅ =
V(x) ⊆ P(X) verifica las condiciones (i), (ii) y (iii),
entonces la colección T = {G ⊆ X : G ∈ V(x), para todo x ∈ G} es una topologı́a en X. Si,
además se verifica (iv), entonces V(x) = V(x, T ).
Definición 1.4. Sea (X, T ) un espacio topológico. Una red (xd )d∈D en X converge a un
punto x si para toda vecindad V de x, existe un ı́ndice dV ∈ D tal que xd ∈ V , para todo d ∈ D
tal que dV ≤ d.
Definición 1.5. Sea (xd )d∈D una red en el espacio topológico X. Un punto x ∈ X se llama
punto de acumulación de la red si para cada vecindad V de x y cada d ∈ D, existe d ∈ D, d ≤
d , tal que xd ∈ V .
(a) Sea x0 ∈ X. La función f se llama continua en x0 si para toda vecindad W de f (x0 ) existe
una vecindad V de x0 tal que f (V ) ⊆ W .
(b) La función f se llama continua en X1 si es continua en todos los puntos del espacio X1 .
Proposición 1.1. Sea f : X → Y una función entre dos espacios topológicos y sea x0 ∈ X.
Entonces son equivalentes:
(i) f es continua en x0 .
(ii) Para toda red (xd )d∈D en X convergente a x0 , la red (f (xd ))d∈D converge a f (x0 ).
(i) f es continua.
Teorema 1.3. Para un espacio topológico X las siguientes afirmaciones son equivalentes:
(i) X es compacto.
(ii) Toda familia de subconjuntos cerrados de X con la propiedad de intersección finita tiene
intersección no vacı́a.
A.1 Espacios Topológicos 149
Teorema 1.4. Para un espacio métrico (X, d), las siguientes afirmaciones son equivalentes:
(i) X es compacto.
Algunas propiedades muy utilizadas del concepto de compacidad son las siguientes.
Proposición 1.2. Sea f : X → Y una función continua entre dos espacios topológicos. Si K
es un subconjunto compacto de X, entonces f (K) es un subconjunto compacto de Y .
Teorema 1.6. El producto de espacios topológicos no vacı́os es compacto si, y solamente si,
cada factor es compacto.
(i) El espacio X es regular si para cada x ∈ X y cada conjunto cerrado F ⊆ X tal que x no
pertenece a F, existen abiertos disjuntos U y V tal que x ∈ U y F ⊆ V .
(ii) El espacio X es normal si para cada par de conjuntos cerrados disjuntos A, B existen
abiertos disjuntos U, V tal que A ⊆ U y B ⊆ V .
El siguiente resultado, conocido en la literatura como Lema de Urysohn ([22, Lema 4.4]),
garantiza la existencia de funciones continuas no triviales.
2 Espacios Uniformes
Definición 2.1. Sea X un conjunto. Una colección ∅ =
F ⊆ P(X) se llama filtro en X si
verifica las condiciones:
(F1) ∅ ∈
/ F.
(F2) Si A, B ∈ F, entonces A ∩ B ∈ F.
(F3) Si A ∈ F, A ⊆ B, entonces B ∈ F.
(B1) ∅ ∈
/ B.
Definición 2.4. Sea U una uniformidad. Se dice que que B ⊆ P(X × X) es base de U si B
es base del filtro U.
i) Un conjunto G ∈ T si, y solamente si, para todo x ∈ G, existe U ∈ U tal que U [x] ⊆ G.
ii) La topologı́a T es separada si, y solamente si, {U : U ∈ U} = D. En este caso, la
uniformidad U se llama separante.
Definición 2.6. Sean (X, U1 ), (Y, U2 ) espacios uniformes. Una función f : (X, U1 ) → (Y, U2 )
se llama uniformemente continua si para todo V ∈ U2 , existe U ∈ U1 tal que {(f (x), f (y)) :
(x, y) ∈ U )} ⊆ V .
Observación 2.3. Toda función uniformemente continua es continua para las topologı́as in-
ducidas por las uniformidades. El siguiente resultado establece un criterio para la validez de la
afirmación recı́proca.
Teorema 2.1. Toda función continua de un espacio uniforme compacto en un espacio uniforme
es uniformemente continua.
Definición 2.7. Sea (X, U) un espacio uniforme. Una red (xd )d∈D verifica el criterio de
Cauchy (o es una red de Cauchy) si para todo U ∈ U, existe d0 ∈ D tal que para todo d, d ∈ D,
con d0 ≤ d, d0 ≤ d se tiene que (xd , xd ) ∈ U .
El espacio (X, U) se llama completo cuando toda red de Cauchy es convergente en X, para
la topologı́a inducida por la uniformidad.
Teorema 2.5. Un espacio uniforme (X, U) es compacto si, y solamente si, es precompacto y
completo.
La demostración de estos resultados, asi como otras propiedades de los espacios uniformes,
se encuentra en [13, 22].
Referencias
[1] Aliprantis, C. D. y Border, K. C., Infinite Dimensional Analysis. Springer-Verlag, Berlin,
1994.
[2] Arendt, W., Batty, C., Hieber, M. y Neubrander, F., Vector-valued Laplace Transforms
and Cauchy problems, Birkhäuser Verlag, 2001, Basel.
[3] Balakrishnan, A. V., Applied Functional Analysis, Springer-Verlag, New York, 1981.
[4] Banach, S., Théorie des Opérations Linéaires, Chelsea Publ. Co., New York. Primera
Edición 1932.
[5] Berenstein, C. A. y Gay, R., Complex Variables. Springer-Verlag, New York, 1991.
[7] Brézis, H., Opérateurs Maximaux Monotones, North Holland Publ. Co., Amsterdam, 1973
[9] Conway, J. B., A Course in Functional Analysis, Springer-Verlag, New York, 1990.
[10] Corduneanu, C., Almost Periodic Functions. Chelsea Publ. Co., New York, 1989. (Primera
edición 1961).
[11] Diestel, J., Geometry of Banach Spaces. Lect. Notes in Mathematics, 485. Springer-Verlag,
berlin, 1975.
[12] Diestel, J. y Uhl, J. J., Vector Measures. American Mathematical Society, Providence,
Rhode Island, 1977.
[13] Dugundji, J., Topology. Allyn and Bacon, Inc. Boston, 1966
[14] Dunford, N. y Schwartz, J. T., Linear Operators, Part I. John Wiley & Sons, New York,
1988 (Primera edición 1957).
[15] Edwards, R. E., Functional Analysis. Theory and Applications, Dover Publ. Inc., New
York, 1995.
[16] Hewitt, E. y Stromberg, K., Real and Abstract Analysis. Springer-Verlag, Berlin, 1969.
[17] Hille, E. y Phillips, R. S., Functional Analysis and Semigroups, American Mathematical
Society, Providence, 1957.
[18] Hönig, C. S., Aplicações da Topologia à Análise. Publicaciones IMPA. Editora Edgard
Blücher, Ltda. São Paulo, 1976.
[19] Hönig, C. S., The Abstract Riemann-Stieltjes Integral and its Applications to Linear Differ-
ential Equations with Generalized Boundary Conditions. Notas do Instituto de Matemática
e Estatı́stica da Universidade de São Paulo, São Paulo, 1978.
153
154 Referencias
[22] Kelley, J. L., General Topology, D. Van Nostrand Co. New York, 1955.
[24] Koosis, P., Introduction to Hp -spaces. London Math. Soc., Lecture Notes 40, Cambridge
Univ. Press., 1980.
[25] Kreyszig, E., Introductory Functional Analysis with Applications. John Wiley & Sons,
New York, 1978.
[27] Larsen, R., Banach Algebras. Marcel Dekker, Inc., New York, 1973.
[28] Lima, E. L., Curso de Análise. Vol. 1. Publicaciones IMPA, Rio de Janeiro, 1982.
[30] Naylor, A. W. y Sell, G. R., Linear Operator Theory in Engineering and Science, Springer-
Verlag, New York, 1982.
[31] Riesz, F. y Sz.-Nagy, B., Functional Analysis, Dover Publ. Inc., New York, 1990 (Primera
edición 1955).
[32] Rudin, W., Functional Analysis, Mc-Graw-Hill Co., New York, 1973.
[33] Rudin, W., Real and Complex Analysis. Mc-Graw-Hill Co., New York, 1974.
[34] Schaefer, H. H., Topological Vector Spaces, Macmillan, New York, 1968.
[35] Schechter, M., Principles of Functional Analysis, American Mathematical Society, Provied-
nce, 2002
[36] Stone, M. H., Linear Transformations in Hilbert Spaces. American Mathematical Society,
Providence, Rhode Island, 1975 (Primera Edición 1932).
[37] Taylor, A. E., Introduction to Functional Analysis, John Wiley & Sons, New York, 1958.
[38] Wong, Y-C., Introductory Theory of Topological Vector Spaces, Marcel Dekker, Inc., New
York, 1992.
[39] Yosida, K., Functional Analysis, Springer-Verlag, Berlin, 1971 (Primera edición 1965).
[40] Zaanen, A. C., Continuity, Integration and Fourier Theory, Springer-Verlag, Berlin, 1989.
[41] Zeidler, E., Applied Functional Analysis, Springer-Verlag, New York, 1995.
Indice de Materias
155
156 Indice de Materias
de Morera 74
de punto fijo de Banach 120
de Pitágoras 108
de representación de Riesz 86, 90
de Riesz 118, 120, 121
de Stone-Weiertrass 113, 114, 145
de Tychonoff 77, 149
ergódico 125
forma geométrica de Hahn-Banach
19, 33
lema de Riemann-Lebesgue 76
lema de Urysohn 149
principio del acotamiento uniforme
60, 61, 72, 73, 84, 93
principio del máximo de Bauer 38
tonel 42
topologı́a
cociente 22
compacto-abierta 22, 27
débil 39-41, 67, 77, 79, 80,
81, 83-86, 89-94, 119
débil* 77-89, 92, 93, 94, 141, 143
de Gelfand 140
de la convergencia en medida 20
de la convergencia puntual 21, 27, 33
de la convergencia uniforme 22, 57
localmente convexa 25-29, 39, 40, 42,
44, 83
producto 21, 22, 27, 32, 77,
148, 152
relativa 22, 148
vectorial 19-22, 31
unidad 126, 127, 129, 131-144
uniformidad 18, 19, 150-152
variedad lineal 10, 13, 35
maximal 10, 13
vectores ortogonales 108, 109
Buy your books fast and straightforward online - at one of world’s
fastest growing online book stores! Environmentally sound due to
Print-on-Demand technologies.