Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
e- ecto
ibris
Bernardo Cascales, José Manuel Mira,
José Orihuela y Matías Raja
Análisis
textos universitarios
Funcional
Bernardo Cascales José Orihuela es
es Catedrático de Catedrático de Análisis
Análisis Matemático Matemático de la
en la Universidad de Universidad de Murcia
Murcia. Se doctoró en desde 1991 donde se
Matemáticas por doctoró en 1984. Ha sido Profesor Visitante
la Universidad de Murcia en el University College London (1995) (UCL)
en 1985 y ha sido Profesor Visitante en la y en el Mathematical Institute of the
University of Missouri at Columbia (Mizzou) University of Oxford donde fue Fellow del
(1998-99) y en la Kent State University Brasenose College (2001-02). Tiene amplia
(KSU), Ohio (2009-10). Con amplia experiencia docente y de gestión, habiendo
experiencia docente, ha dirigido varios sido Vicerrector de Planificación de
proyectos competitivos de investigación Enseñanzas y de Profesorado en su
financiados por el Estado Español y por la Universidad (1991-1994). Ha dirigido distintos
UE. Investiga en el desarrollo de técnicas de proyectos de investigación financiados por el
topología y teoría de la medida con Gobierno Español, así como por la Agencia de
aplicaciones al análisis funcional y es autor de Ciencia y Tecnología de la Región de Murcia.
un buen número de trabajos originales y En su investigación desarrolla técnicas de la
director de varias tesis doctorales. Editor topología, geometría y optimización en
asociado del Journal of Mathematical análisis funcional y estudia aplicaciones de
Analysis and Applications (JMAA) y éstas a las matemáticas de los mercados
miembro del Comité Editorial de la RSME financieros. Ha publicado numerosos trabajos
para publicaciones conjuntas con la AMS. Es de investigación originales y dirigido varias
también coordinador de la Red de Análisis tesis doctorales. Editor asociado de Serdica
Funcional y sus Aplicaciones de España Mathematical Journal (1999-2011). Es
(NFAAS). Más informacion en: Académico Correspondiente de la Real
http://webs.um.es/beca. Su dirección Academia de Ciencias Exactas, Físicas y
electrónica es: beca@um.es. Naturales, desde 2005 y editor de su revista,
José Manuel Mira Serie A, RACSAM. Es miembro del equipo de
Ros es Profesor Titular coordinación de NFAAS. Su página web es
de Análisis Matemático webs.um.es/joseori y su correo electrónico
de la Universidad de joseori@um.es.
Murcia. Se Matías Raja es Profesor
doctoró en Matemáticas Titular de la Universidad
por la Universidad de de Murcia y desarrolla
Zaragoza en 1979 siendo su docencia en distintos
docente de la misma aspectos del Análisis
hasta su incorporación a Matemático.
la Universidad de Murcia. Es Licenciado por la
Tiene una amplia experiencia docente y de Universidad de Murcia y
gestión universitaria. Es usuario convencido e se doctoró en 1998 por la
impulsor del software libre de código abierto Universidad de Burdeos. Desde entonces
entre sus estudiantes y amigos, como puede realiza su investigación principalmente en
apreciarse en su página personal geometría y topología de los espacios de
http://webs.um.es/mira. Ha publicado, junto Banach, área en la que ha publicado varios de
con otros cuatro coautores, dos libros sobre trabajos de investigación originales. Su
LATEX: http://www.latex.um.es. Su dirección dirección electrónica es matias@um.es.
electrónica es: mira@um.es.
Primera edición
e- l ecto
ibris
A.M.S. Mathematics Subject Classification (2010):
Primaria: 46-01
Secundarias: 46Axx, 46Bxx, 46Cxx, 46Exx, 46Fxx
Código IBIC: PBKF
Código CDU: 517
c Bernardo Cascales Salinas, José Manuel Mira Ros, José Orihuela Calatayud y
Matías Raja Baño
c Ediciones Electolibris, S. L. (2012)
C.I.F. B-73749186
Pablo Neruda, 7
30820 Murcia (España)
www.electolibris.es
c Real Sociedad Matemática Española (R.S.M.E.)
C.I.F. G-28833523
e-ISBN: 978-84-940688-2-9
Depósito legal: MU 1177-2012
Los dos productos identificados por sus respectivos ISBN más abajo, publicados
por Ediciones Electolibris S. L., tienen por título
Análisis Funcional
y autores Bernardo Cascales, José Manuel Mira, José Orihuela y Matías Raja.
ISBN: 978-84-940688-1-2 Versión en papel: libro de teoría con relación de ejer-
cicios propuestos.
eISBN: 978-84-940688-2-9 Versión en formato digital PDF con el contenido de
978-84-940688-1-2 más:
• sistema de navegación interno e hipervínculos internos para referencias cru-
zadas, índices y lista bibliográfica;
• seis hiperenlaces externos a aplicación web para acceso a la solución a dos
problemas de cada uno de los tres capítulos.
• hiperenlaces de acceso para lectura complementaria en internet (requiere sus-
cripción aparte y acceso a internet).
• hiperenlaces de acceso para las soluciones de todos los problemas propuestos
a través de aplicación web (requiere suscripción aparte y acceso a internet).
• hiperenlaces de acceso a programa de cálculo Maxima (GPL) en la web, para
ilustrar aspectos numéricos del libro (requiere suscripción aparte y acceso a
internet).
Acceso a la
página web de la
r.s.m.e.
La solución Acceso a la
incluye una solución de un
grabación de voz ejercicio
Información
Páginas de sobre nuevas
e-Lectolibris versiones
de la obra
Acceso al correo
Indicador de la electrónico
dificultad de un
ejercicio
Acceso a Maxima
en la web
Pestañas de acceso a
capítulos: en color intenso
el capítulo actual
1. Espacios
1. Espacios dede Hilb
Hilbert 1
os los
1.1. 1.1. Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . .
Espacios de de dimensión finita . . . . . . . . . . . . . 4
rn u
te nc
1.2. Espacios normados 11
in rví
1.3. Ejemplos de espacios de Banach . . . . . . . . . . . . . . . . . 18
1.2. Espacios normados
e
ip
Índice general con
H
1.3. Ejemplos de hipervínculos internos
Laurent Schwartz (1915–2002)
brillante matemático
Laurent Schwartzfrancés
(1915–2002)
brillante matemático francés
dialmente conocido por
dialmente conocido por hab
Índice de capítulos con
hipervínculos internos ría de distribuciones, [13
ría de distribuciones, [13
y [62]. La idea de derivada
y [62]. La véase
idea deque derivada
(1.23), ya estaba
Sobolev, encuentra su marco
véase (1.23), que
espacios yadistribuciones
de las estaba
que se definen como espacios
Sobolev, encuentra
situaciones adecuadas su
conducen
pacios de funciones marco
infinitamen
espacios decon una cierta topología.
las distribuciones
distribuciones le supuso a Sch
trabajar con derivadas generalizadas
trar soluciones débiles para algunas ecuaciones
la Medalla Fields (1950);
que en situaciones adecuadas conducen a soluciones
de distribuciones le supuso a Schwartz el premio
página web de la International
matemáticas que es la Medalla Fields (1950); como glosa
leer en la página web de la International Mathematical
otorga lasof medallas, lo siguien
organización que otorga las medallas, lo siguiente: “Schwartz
distributions, a new notion of generalize
1.1. Espacios 1.1.
deEspacios
Banac de Banach
distributions, a new notion of
the Dirac delta-function of theoretical physics”.
1.2. Espacios normados de dimensión
1.2. Espacios 1.3.
normados Hiperenlace externos
Ejemplos de espacios de Banac
1.4. Espacios de Hilbert
delta-function of theoretic
1.3. Ejemplos1.5.deMejor
espacios
aproximación. Teorema
0 0.2
0 0.2
0
0 0.2
c0 .c.0 .. .. ..... ..... . . . . . .
Polinomios de
Polinomios de Berstein
para la función .... .. ..... ...143. . . . . . 143c00 c.00. .. ..... ..... . . . . . .
. . . . . . . . . . . . . . . 28 d(x, S) . . . . . . . . .
para la función
Aproximar funciones por polinomios . ... .. ..... .. ... .28. . . . . 28 S)A. ..... . . . . . .
d(x,span
jados no es una buena estrategia, y .... .. ..... ..... .28 span
. . . . . 28 HA (D). . .. .. . . . . . .
interpolación en [a, b] siempre se puede . . . . . . . . . . . . . . . 30
ximarcuyos
funciones por polinomios
polinomios de interpolación en .. ..... ..... .. ... 28 H
. . . . . . 14 (D). ... A
una buena estrategia, . . . . . . . . . . . . . . . .30 aglomeración, pun
. . . . . . . . . . . . . . . 38 aplicación lineal
Acceso a la web para
ejecutar Maxima Índice terminológico con
hipervínculos a páginas
Introducción 1
1. Espacios de Hilbert 7
1.1. Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2. Espacios normados de dimensión finita . . . . . . . . . . . . . 17
1.3. Ejemplos de espacios de Banach . . . . . . . . . . . . . . . . . 24
1.4. Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 31
Reseña histórica sobre David Hilbert, 34
1.5. Mejor aproximación. Teorema de la proyección . . . . . . . . 41
1.6. Dual de un espacio de Hilbert: teorema de Riesz–Fréchet . . . 52
1.7. Problemas variacionales cuadráticos . . . . . . . . . . . . . . 56
1.8. Convolución y aproximación de funciones . . . . . . . . . . . 59
1.9. El principio de Dirichlet: justificación analítico funcional . . . 64
1.10. Operadores diferenciales y soluciones débiles . . . . . . . . . . 74
Reseña histórica sobre Laurent Schwartz, 80
1.11. El método de Galerkin . . . . . . . . . . . . . . . . . . . . . . 81
1.12. Bases en espacios de Hilbert . . . . . . . . . . . . . . . . . . . 84
1.13. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
Bibliografía 358
cio de Banach, resaltando los ejemplos más destacados; se estudian los espa-
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
En este libro hemos elegido seis matemáticos que han cimentado gran
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Bernardo Cascales.
José Manuel Mira.
José Orihuela.
Matias Raja.
1.1. Espacios de Banach
1.2. Espacios normados de dimensión finita
1.3. Ejemplos de espacios de Banach
1.4. Espacios de Hilbert
1.5. Mejor aproximación. Teorema de la proyección
1.6. Dual de un espacio de Hilbert: teorema de Riesz–Fréchet
1.7. Problemas variacionales cuadráticos
1.8. Convolución y aproximación de funciones
1.9. El principio de Dirichlet: justificación analítico funcional
1.10. Operadores diferenciales y soluciones débiles
1.11. El método de Galerkin
1.12. Bases en espacios de Hilbert
1.13. Ejercicios
Objetivos centrales del capítulo
Aunque en las primeras secciones se incluyen conceptos y propiedades bá-
sicas de los espacios normados, este capítulo está esencialmente dedicado a la
estructura de espacio de Hilbert. De ese modo se resaltan mejor las caracte-
rísticas específicas de los espacios de Hilbert en comparación con los espacios
normados, que constituyen un modelo más flexible, pero de menor riqueza
estructural, que los espacios de Hilbert.
Como objetivos específicos del capítulo señalamos:
Recordar los conceptos de espacio normado y de espacio de Banach, que se han
podido introducir en otras asignaturas previas de Análisis Matemático,
resaltando los ejemplos más destacados.
Estudiar los espacios de dimensión finita caracterizándolos a través de la
compacidad de sus bolas cerradas (teorema 1.2.8). Analizar los espacios
de sucesiones, espacios de funciones continuas, espacios de funciones di-
ferenciables, holomorfas, etc. que el lector ha encontrado anteriormente
en otras asignaturas.
Recordar el concepto de espacio de Hilbert y caracterizar los espacios de
Hilbert a través de una propiedad geométrica de la norma, la “ley del
paralelogramo” (teorema 1.4.6).
Resolver el problema de la existencia y unicidad del vector de mejor aproxima-
ción a uno dado para un determinado conjunto de vectores, relacionán-
dolo con la noción de ortogonalidad (teoremas 1.5.3 y 1.5.4). Establecer
la existencia en los espacios de Hilbert de proyecciones ortogonales sobre
subespacios cerrados (teorema 1.5.7).
Calcular el dual topológico de un espacio de Hilbert (teorema 1.6.1).
Estudiar la convolución de funciones y utilizarla para aproximar funciones
arbitrarias por funciones infinitamente diferenciables 1.8.6.
Analizar la conexión existente entre el problema de mejor aproximación y
ciertos problemas variacionales sobre la existencia de mínimo para de-
terminado tipo de funciones (teorema 1.7.1). Aplicar estos resultados a
la justificación analítico funcional de la existencia y unicidad de solución
del problema de Dirichlet general.
Aplicar la teoría de espacios de Hilbert para demostrar el teorema de Mal-
grange y Erhenpreis sobre existencia de soluciones débiles de ecuacio-
nes en derivadas parciales lineales y de coeficientes constantes (teore-
ma 1.10.7).
Aprender el método de Galerkin que sirve de base para la resolución numérica
de los problemas diferenciales tratados en este capítulo.
Introducir el concepto de base hilbertiana, que permite el empleo de
coordenadas con una utilidad similar a la de los espacios de dimensión
finita (1.12.22). Con este propósito se introduce la noción de red y el
concepto familia sumable, concepto que se relaciona, en espacios de
dimensión finita, con otras nociones de sumabilidad que el lector conoce
en el cuerpo de los números reales o complejos.
Construir una base hilbertiana del espacio L2 ([−π, π]) (1.12.34), que se
encuentra ligada a los orígenes de las series de Fourier clásicas. Para lo
cual se establece el teorema de Weierstrass (1.12.30) sobre aproximación
uniforme de las funciones continuas por polinomios.
Presentar, en la sección 1.12.7, otro tipo de bases hilbertianas sumamente
interesantes en las aplicaciones, en particular en Análisis Numérico: los
polinomios ortogonales.
Utilizar la noción de base hilbertiana para analizar la posibilidad de
representar una función holomorfa en un abierto Ω del plano complejo
mediante una fórmula del tipo
∞
X
f (z) = an wn (z),
n=0
Mis notas
1.1. Espacios de Banach 10
Definición 1.1.2.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
d(x, y) = kx − yk
Notaciones:
(i) A veces, por brevedad, nos referiremos a un espacio normado (X, k · k)
únicamente como espacio normado X.
(ii) En un espacio normado (X, k · k), con BX o con B[0, 1] denotare-
mos indistintamente su bola unidad cerrada, es decir, BX = B[0, 1] =
{x ∈ X : kxk ≤ 1}.
(iii) Con int BX y B(0, 1) se denotará, indistintamente, la bola unidad abier-
ta del espacio normado (X, k · k), es decir, B(0, 1) = int BX = {x ∈ X :
kxk < 1}.
(iv) SX = {x ∈ X : kxk = 1} designa la esfera unidad del espacio normado
(X, k · k).
(v) Si Y es un subespacio vectorial del espacio normado X, con (Y, k · k)
denotamos el espacio normado Y con la norma inducida por X.
(vi) Para cada conjunto A ⊂ X denotamos con span A el menor subespacio
vectorial que contiene al conjunto A, es decir, la intersección de todos
los subespacios vectoriales que contienen al conjunto A. Con span A de-
notamos la clausura topológica del conjunto anterior, es decir, el menor
espacio vectorial topológicamente cerrado que contiene al conjunto A
(así, spanA = span A).
(vii) Si (X, k · k) es un espacio normado y S un subconjunto de X, fijado
x ∈ X, con d(x, S) denotaremos, como es usual en los espacios métricos,
la distancia de x a S, es decir,
Proposición 1.1.3.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
s(x, y) = x + y y p(a, x) = ax
son continuas.
(ii) Las aplicaciones sy : X → X y pa : X → X, con a 6= 0, definidas,
respectivamente, por
sy (x) = x + y y pa (x) = ax
y por
P∞ tanto k=1 kxnk − xnk+1 k es convergente, con lo que también conver-
ge k=1 (xnk − xnk+1 ), es decir, la subsucesión (xnk )k es convergente. Pero
siendo (xn )n una sucesión de Cauchy y la subsucesión (xnk )k convergente,
necesariamente (xn )n es convergente (al mismo límite que (xnk )k ).
Definición 1.1.4.
Si (X, k · k) es un espacio normado, un subconjunto A ⊂ X se dice
acotado si
sup{kxk : x ∈ A} < ∞,
o equivalentemente, si existe M ≥ 0 tal que kxk ≤ M para cada x ∈ A.
Proposición 1.1.5.
Sean X e Y espacios normados.
(i) Si T : X → Y es lineal, las siguientes afirmaciones son equivalentes:
(a) T es continua en 0.
(b) La imagen por T de un conjunto acotado en X es un conjunto
acotado en Y .
(c) sup{kT (x)k : kxk = 1} < ∞.
(d) kT (x)k ≤ M kxk para algún M ≥ 0 y para todo x de X.
(e) T es uniformemente continua en X.
(f ) T es continua.
(ii) Si denotamos por L(X, Y ) el conjunto de las aplicaciones lineales y
continuas de X en Y , entonces L(X, Y ) es un espacio vectorial y la
función definida para cada T de L(X, Y ) mediante la fórmula
1.1. Espacios de Banach 14
Definición 1.1.7.
Sean X e Y dos espacios normados.
(i) Una aplicación T : X → Y se llama isomorfismo topológico de X
en Y si es un isomorfismo algebraico tal que T y T −1 son conti-
nuas. En tal caso se dice que los espacios X e Y son topológica-
mente isomorfos 2 .
(ii) Un isomorfismo topológico T se dice isométrico si conserva la dis-
tancia, equivalentemente, si kT (x)k = kxk para x ∈ X. En tal
caso X e Y se dicen isométricamente isomorfos.
(iii) Si k · k y | · | son normas en X, se dice que son equivalentes si la
aplicación identidad
I : (X, k · k) → (X, | · |)
2
No es infrecuente que en textos de Análisis Funcional, con un indudable abuso de
lenguaje, se emplee la terminología espacios normados isomorfos para referirse a espacios
normados topológicamente isomorfos.
1.1. Espacios de Banach 15
Proposición 1.1.8.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
b
ción como espacio métrico, es fácil comprobar que X es un espacio vectorial
y que la fórmula |bx| = lı́mn kxn k, supuesto que x b db), define
b = lı́mn xn en (X,
una norma que genera la distancia d, b es decir,
Proposición 1.1.10.
Para cada espacio normado X existen un espacio de Banach X b y una
b b El
aplicación lineal isométrica J : X −→ X tales que J(X) es denso en X.
espacio Xb recibe el nombre de compleción de X.
Utilizando los ejemplos de la sección 1.3 construiremos otro modelo para
la compleción de un espacio métrico.
Proposición 1.1.11.
Sea X un espacio normado. Si Y es un subespacio vectorial cerrado del
espacio normado X, entonces el espacio vectorial cociente X/Y es un espacio
normado para la norma cociente dada por
|x + Y | = ı́nf{kx + yk : y ∈ Y }.
P∞ P
la convergencia de la serie n=1 (xn + Y ) = ∞ n=1 Q(yn ) en X/Y , aplicando
la continuidad de Q.
Definición 1.1.12.
Sea X un espacio normado y sean Y, Z subespacios vectoriales tales
que X es la suma directa algebraica4 de Y y Z, que denotamos con
X = Y ⊕ Z. Se dice que X es la suma directa topológica de Y y Z si las
proyecciones canónicas PY y PZ de X en X, definidas respectivamente
por las fórmulas PY (y + z) = y y PZ (y + z) = z, son continuas. En ese
caso se dice que Z es un complementario topológico de Y respecto de X.
Obsérvese que en una suma directa topológica los sumandos son cerrados
y que es suficiente que una de ambas proyecciones sea continua para que
la suma sea topológica. La topología producto en Y × Z coincide con la
topología que engendra en Y × Z la norma k(y, z)k = kyk + kzk. Es sencillo
comprobar que X es la suma directa topológica de Y y Z si, y sólo si, la
aplicación s : Y × Z −→ X definida por s(y, z) = y + z es un isomorfismo
topológico de espacios normados.
definida por
kxk∞ := sup{|xi |; 1 ≤ i ≤ n}.
1.2. Espacios normados de dimensión finita 20
desigualdades
kxk∞ ≤ kxkp ≤ n1/p kxk∞
y, por tanto, definen la misma topología. La topología que definen es la pro-
ducto (determinada por la convergencia coordenada a coordenada) y como
K es completo, Kn con cualquiera de esas normas es un espacio de Banach.
La proposición que sigue establece que, de hecho, es cierto un resultado más
general.
Proposición 1.2.4.
Si X e Y son espacios normados finito dimensionales con la misma di-
mensión, entonces X e Y son topológicamente isomorfos. Más específicamen-
te, si n es la dimensión común y {ek : 1 ≤ k ≤ n} es una base algebraica de
X, entonces el isomorfismo algebraico natural entre ℓ1n y X, dado por
n
X
T (z) := T (a1 , a2 , . . . , an ) = ai ei ,
k=1
f (a1 , a2 , . . . , an )
≥ β,
k(a1 , a2 , . . . , an )k1
de donde
1.2. Espacios normados de dimensión finita 21
n
X
X
n
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
β |ai | ≤
ai ei
= kT (a1 , a2 , . . . , an )k,
i=1 i=1
lo que prueba la continuidad de T −1 .
d
≥ > 1 − ε,
kx − y0 k
luego d(xε , Y ) ≥ 1 − ε.
1.2. Espacios normados de dimensión finita 22
Corolario 1.2.7.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
n
[ 1 1 1
BX/Y = Q(BX ) ⊂ Q xi + BX = Q(BX ) = BX/Y ,
2 2 2
i=1
Proposición 1.2.9.
Para un espacio normado X se verifican:
(i) Si Y ⊂ X es un subespacio vectorial cerrado y Z ⊂ X es un subespacio
vectorial finito dimensional, entonces Y + Z es un espacio vectorial
cerrado.
(ii) Si Y es un espacio normado y T : X → Y una aplicación lineal cuya
imagen es un subespacio de dimensión finita, entonces T es continua
si, y sólo si, Ker T es cerrado.
Demostración. Sea Q : X −→ X/Y la aplicación cociente. Q(Z) es un
subespacio finito dimensional y por tanto cerrado. Como Q es continua, en-
tonces Y + Z = Q−1 (Q(Z)) es cerrado, lo que demuestra la afirmación (i).
Para probar (ii) consideremos la descomposición canónica de T dada por
Q
.
J
X −→ X Ker T −→ T (X) ֒→ Y.
Corolario 1.2.10.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Proposición 1.3.1.
Los conjuntos definidos a continuación son espacios vectoriales sobre K
y las funciones k · kp y k · k∞ son normas.
X ∞ 1
p
p N p
(i) ℓ := x = (xn )n ∈ K : kxkp := |xn | < ∞ , 1 ≤ p < ∞.
n=1
n o
(ii) ℓ∞ := x = (xn )n ∈ KN : kxk∞ := sup |x(n)| < ∞ .
n∈N
(iii) c0 := x = (xn )n ∈ KN : lı́m |x(n)| = 0 .
n
(iv) c := x = (xn )n ∈ KN : existe lı́m x(n) .
n
N
(v) c00 := x = (xn )n ∈ K : x(n) = 0 si n > n0 para cierto n0 ∈ N .
(vi) (ℓp , k · kp ), con 1 ≤ p ≤ ∞, son espacios de Banach. Los espacios c, c0
son subespacios cerrados de ℓ∞ y c00 (llamado espacio de las sucesiones
finitamente no nulas) es denso en ℓp para 1 ≤ p < ∞.
(vii)
ℓ1 ⊆ ℓp ⊂ ℓq ⊂ c0 ⊂ c ⊂ ℓ∞
siendo las inclusiones continuas y, en esta ocasión, estrictas cuando
aparecen denotadas con el símbolo ⊂, donde 1 ≤ p < q < ∞.
(viii) ℓp , 1 ≤ p < ∞, c0 y c son separables, mientras que ℓ∞ no lo es.
1.3. Ejemplos de espacios de Banach 25
ℓ1 ⊆ ℓp ⊂ ℓq ⊂ c0 ⊂ c ⊂ ℓ∞
T : (ℓ1 , k · k1 ) → (c0 , k · k∞ )∗
1.3. Ejemplos de espacios de Banach 26
T está bien definida, es lineal y continua con kT (y)k ≤ kyk1 . Para acabar la
demostración es suficiente ver que T es sobreyectiva y que kyk1 ≤ kT (y)k.
Denotemos con ep el vector que tiene nulas todas sus coordenadas salvo la
p-ésima, que es 1. Dado u ∈ (c0 , k · k∞ )∗ , si x = (xn )n ∈ c0 , se tiene
X
n n
X ∞
X
u(x) = lı́m u xk ek = lı́m u(ek )xk = ξ k xk ,
n n
k=1 k=1 k=1
T : (ℓ∞ , k · k∞ ) −→ (ℓ1 , k · k1 )∗
y que (u(ek ))k ∈ ℓ∞ siendo k(u(ek ))k k∞ ≤ kuk, sin más que tener en cuenta
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
primeros apartados es una tarea rutinaria que dejamos al cuidado del lector.
Para el cuarto apartado procedemos como sigue. Dada f ∈ C0 (S) y fijado
ε > 0 existe un compacto K ⊂ S tal que |f (s)| ≤ ε para s ∈/ K. Si G es un
abierto relativamente compacto tal que K ⊂ G ⊂ S entonces, por el lema de
Urysohn [44, Lema 4. pág. 137], existe una función ϕ ∈ Cc (S) tal que
0 ≤ ϕ ≤ 1, ϕ(x) = 1 si x ∈ K, y sop(ϕ) ⊂ G.
La función f ϕ está en Cc (S) y kf − f ϕk∞ ≤ ε y así acaba la prueba.
Entonces el conjunto
H p (D) := f ∈ H (D) : kf kHp := sup Mp (f ; r) < ∞
0<r<1
se tiene:
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Z
1 fn (w) − fm (w)
|fn (z) − fm (z)| = dw
2πi Γ w−z
Z 2π
R
≤ |fn (Reiθ ) − fm (Reiθ )| dθ.
2π(R − r) 0
Mp (f − fm ; r) = lı́m Mp (fn − fm ; r) ≤ ε.
n→∞
cuerpo de los reales, el producto escalar viene dado, como es sabido, por la
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
fórmula
Xn
hx, yi = xk y k .
k=1
h·, ·i : H × H −→ K
que verifica
(i) hax + by, zi = ahx, zi + bhy, zi para todo x, y, z ∈ H y a, b ∈ K.
(ii) hx, yi = hy, xi para todo x, y ∈ H.
(iii) hx, xi ≥ 0 y hx, xi = 0 si, y sólo si, x = 0.
Se llama espacio prehilbertiano a un espacio vectorial H dotado de
un producto escalar. En lo sucesivo los espacios prehilbertianos serán
denotados con (H, h·, ·i), o bien simplemente con H, cuando no haya
lugar a confusión.
1.4. Espacios de Hilbert 33
h·, ·i es una forma hermitiana definida positiva; las dos primeras correspon-
den al concepto de forma hermitiana y la tercera corresponde al carácter de
definida positiva.
Un producto escalar permite definir una estructura de espacio normado
en la forma que se describe a continuación.
Proposición 1.4.2.
Si (H, h·, ·i) es un espacio prehilbertiano entonces:
(i) |hx, yi|2 ≤ hx, xihy, yi para todo x, y ∈ H
(desigualdad de Cauchy-Schwarz). Dicha desigualdad es una igualdad
si, y sólo si, x e y son linealmente dependientes.
p
(ii) La función kxk := + hx, xi define una norma en H. Además para x
e y no nulos se da la igualdad kx + yk = kxk + kyk si, y sólo si, x = ay
con a > 0.
Demostración. En la prueba del primer apartado distinguiremos dos casos.
Si hx, yi = 0 la desigualdad es trivial. Supongamos ahora que hx, yi =
6 0.
Entonces para cada a ∈ K, se tiene
0 ≤ hx − ay, x − ayi
= kxk2 − ahy, xi − ahx, yi + |a|2 kyk2 (1.4)
2 2 2
= kxk − 2 Re(ahy, xi) + |a| kyk .
hx, yi
Haciendo a = t con t ∈ R arbitrario, la fórmula anterior se transfor-
|hx, yi|
ma en
0 ≤ kxk2 − 2t|hx, yi| + t2 kyk2 . (1.5)
Por tanto, el polinomio de segundo grado en t que aparece en la fórmu-
la (1.5) ha de tener su discriminante menor o igual que cero, y esta condición,
|hx, yi|2 ≤ kxk2 kyk2 , es precisamente la desigualdad de Cauchy-Schwarz.
Es una comprobación inmediata que si x e y son linealmente dependien-
tes, entonces la desigualdad de Cauchy-Schwarz se convierte en una igual-
dad. Recíprocamente, si la desigualdad de Cauchy-Schwarz es una igualdad
y hx, yi =6 0, entonces x = ay. En efecto, la fórmula (1.5) adoptaría entonces
la forma
0 ≤ kxk2 − 2t|hx, yi| + t2 kyk2 ≤ (kxk − tkyk)2 , (1.6)
1.4. Espacios de Hilbert 34
kxk |hx,yi|
de modo que para t = = se da la igualdad en (1.6) y por tanto
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
kyk kyk2
en (1.4). Esto se traduce en que para a = hx,yi
kyk2
se tiene x = ay y así acaba la
demostración de (i). p
Para probar que kxk := + hx, xi define una norma en H basta con
verificar la desigualdad triangular, pues las otras dos propiedades de la nor-
ma son inmediatas. La desigualdad triangular se obtiene con ayuda de la
desigualdad de Cauchy-Schwarz del siguiente modo:
Definición 1.4.3.
Se llama espacio de Hilbert a un espacio prehilbertiano H en el que
el espacio normado asociado (H, k · k) es completo.
Ejemplo 1.4.4. Los ejemplos más básicos de espacios de Hilbert son los
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
siguientes:
(i) Kn con el producto escalar
n
X
hx, yi = xi y i ,
i=1
Proposición 1.4.5.
Sean H un espacio prehilbertiano y k · k la norma asociada.
(i) Se verifica la siguiente “ley del paralelogramo”:
kx + yk2 + kx − yk2 = 2(kx2 k + kyk2 ) para todo x, y ∈ H.
1.4. Espacios de Hilbert 36
0 x
Obsérvese que, en particular, de lo anterior se sigue que el producto es-
calar es continuo en la topología que define. La ley del paralelogramo carac-
teriza a las normas que proceden de un producto escalar, como se prueba a
continuación.
Teorema 1.4.6. Jordan-Von Neumann, 1935.
Si (X, k · k) es un espacio normado, las siguientes afirmaciones son
equivalentes:
(i) Existe un producto escalar en X tal que hx, xi = kxk2 para todo
x ∈ X.
(ii) La norma k · k verifica la ley del paralelogramo
Definición 1.4.7.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Dos espacios prehilbertianos (H1 h·, ·i1 ), (H2 , h·, ·i2 ) se dicen equiva-
lentes si existe T : H1 −→ H2 isomorfismo algebraico tal que
Proposición 1.4.9.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
(teorema de Pitágoras).
(ii) Si (xi )i∈I es una familia ortogonal y xi 6= 0 para todo i ∈ I, entonces
(xi )i∈I es un conjunto linealmente independiente.
(iii) Si M ⊆ H, entonces M ⊥ es un subespacio cerrado de H.
Demostración. Las afirmaciones primera y última son de comprobación
directa. Para la segunda, supóngase que J ⊂ I es un conjunto finito y que
P
j∈J aj xj = 0. Haciendo el producto escalar de este sumatorio por cada uno
de los xj se obtiene aj = 0 para el correspondiente j ∈ J.
span{u1 , . . . , un } = span{x1 , . . . , xn }.
les tales que para los espacios generados se tenga span{u1 , . . . , un−1 } =
span{x1 , . . . , xn−1 }, vamos a construir un vector y en span{x1 , . . . , xn } =
span{u1 , . . . , un−1 , xn } que sea ortogonal a {u1 , . . . , un−1 }. Dicho vector será
de la forma y = a1 u1 + · · · + an−1 un−1 + an xn , pero como ha de ser or-
togonal a los vectores u1 , . . . , un−1 , no puede pertenecer al subespacio que
ellos generan. Por tanto, an tiene que ser no nulo y, por homogeneidad, po-
demos suponer que an = 1. Además el requerimiento de ortogonalidad exige
también que
Teorema de la proyección
Definición 1.5.1.
Sean (H, h·, ·i) un espacio prehilbertiano, k · k la norma asociada
a h·, ·i, d la métrica asociada a k · k y S un subconjunto no vacío de
H. Fijado x ∈ H, si la función d(x, ·) alcanza un mínimo, es decir, si
existe y ∈ S tal que d(x, y) = d(x, S), se dice que y es un vector de
mejor aproximación de x a S.
Teorema 1.5.3.
Sea H un espacio prehilbertiano y sea C ⊂ H un subconjunto con-
vexo y completo. Entonces para cada x ∈ H existe una única mejor
aproximación de x a C.
d(0, C). Dado ε > 0, sea n0 tal que si n ≥ n0 se tenga kyn k2 < α2 + ε. Por
la ley del paralelogramo se tiene
y − y
2 1
n m
yn + ym
2
= kyn k2 + kym k2 −
2 2 2
y por la convexidad de C
y + y
2
n m
≥ α2 .
2
Así, si n, m > n0 se tiene
y − y
2 1
n m
≤ (α2 + ε + α2 + ε) − α2 = ε.
2 2
Supongamos ahora que existieran y, z ∈ C con α = kyk = kzk. Utilizando
de nuevo la ley del paralelogramo y la convexidad de C se tiene
y − z
2 1
y + z
2 1 2
= kyk2 + kzk2 −
≤ (α + α2 ) − α2 = 0,
2 2 2 2
y por tanto z = y, lo que prueba la unicidad de la mejor aproximación.
de donde
0 ≤ 2 Re ahz, x − yi + |a|2 kzk2
y tomando a = thx − y, zi, con t ∈ R, se obtiene
0 ≤ 2t + t2 kzk2 ,
n
X
(ii) d(x, M )2 = kxk2 − |hx, ei i|2 .
i=1
Teorema 1.5.6.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
última fila.
Para la distancia d := d(x, M ) se tiene
d2 = kx − yk2 = hx − y, xi = hx, xi − hy, xi
n
X
= hx, xi − ai hxi , xi
i=1
o bien
a1 hx1 , xi + a2 hx2 , xi + · · · + an hxn , xi = hx, xi − d2 ,
que se puede reescribir juntamente con las ecuaciones (1.13) en la siguiente
forma
a1 hx1 , x1 i + . . . + an hxn , x1 i − hx, x1 iα = 0
a1 hx1 , x2 i + . . . + an hxn , x2 i − hx, x2 iα = 0
... ... ... ... ...
a1 hx1 , xn i + . . . + an hxn , xn i − hx, xn iα = 0
a1 hx1 , xi + . . . + an hxn , xi + (d2 − hx, xi)α = 0
donde α = 1. Y como este sistema homogéneo de n + 1 ecuaciones en las
variables (a1 , . . . , an , α) tiene solución no nula, el determinante principal del
mismo ha de ser nulo, es decir,
a11 a 12 · · · a 1n h−x, x 1 i
a21 a22 ··· a2n h−x, x2 i
··· ··· ··· ··· ... = 0.
an1 a · · · a h−x, x i
n2 nn n
hx1 , xi hx2 , xi · · · hxn , xi d2 − hx, xi
pero como Dn+1 = G(x1 , . . . , xn ), esta igualdad puede expresarse del siguien-
te modo:
d2 G(x1 , . . . , xn ) = hx, xiDn+1 + hx, xn iDn + · · · + hx, x1 iD1 ,
1.5. Mejor aproximación. Teorema de la proyección 47
es decir,
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
a11 a12 ··· a1n hx, x1 i
a21 a22 ··· a2n hx, x2 i
2
d G(x1 , . . . , xn ) = · · · ··· ··· ··· . . .
an1 a ··· ann hx, xn i
n2
hx1 , xi hx2 , xi ··· hxn , xi hx, xi
= G(x1 , . . . , xn , x).
y = a1 x 1 + a2 x 2 + · · · + an x n ,
t
AAX = t AY,
que, al ser desarrollada en coordenadas, proporciona las llamadas ecuaciones
normales asociadas al sistema lineal sobredimensionado definido en (1.14).
Definición 1.5.8.
El operador PM , que a cada x ∈ H le hace corresponder la mejor
aproximación de x a M , recibe el nombre de proyección ortogonal de H
sobre M .
Ejemplo 1.5.9.
para (an )n ∈ c00 . Es claro que f está bien definida, pues la serie se
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
reduce a una suma finita en cada caso, y que es una aplicación lineal
no nula. Además f es continua pues, por la desigualdad de Hölder 1.2.2,
se tiene
∞
X 1
f (an )n ≤ |an | ≤ k(an )n k2 C.
n
n=1
donde y := f (z)z.
Finalmente, por la desigualdad de Cauchy-Schwarz, se tiene kf k ≤ kyk.
Pero, por otra parte, se tiene f (ykyk−1 ) = kyk, lo que permite concluir
kf k = kyk.
Proposición 1.6.3.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
ejercicio 1.39) que una forma bilineal o sesquilineal B es acotada si, y sólo
si, es continua. También se satisface la siguiente identidad:
que corresponde con la ley del paralelogramo para un producto escalar, véase
la proposición 1.4.5.
Una herramienta que se ha manifestado muy útil en la discusión de pro-
blemas de frontera para ecuaciones lineales en derivadas parciales de tipo
elíptico es el siguiente resultado de Lax-Milgram.
Teorema 1.6.5. Lax-Milgram, 1954.
Sean H un espacio de Hilbert sobre K y B una forma sesquilineal
en H acotada y fuertemente positiva. Entonces existe un isomorfismo
de espacios de Hilbert T : H −→ H, unívocamente determinado, tal que
es decir, y ∈ Y .
Además Y = H, pues si z ∈ Y ⊥ , la forma lineal f (x) := B(x, z) es
continua y, por el teorema 1.6.1, existe w ∈ H de modo que f (x) = hx, wi =
1.7. Problemas variacionales cuadráticos 56
1
F (x) := B(x, x) − b(x). (1.16)
2
Entonces:
(i) Es condición necesaria y suficiente para que F alcance su mínimo
en w ∈ H que se verifique la siguiente ecuación:
Definición 1.8.2.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Km (x) = mn K(mx), m = 1, 2, · · ·
Z Z
f (x) = f (x) Km (t) dt = f (x)Km (t) dt.
Rn Rn
Por tanto:
Z
fm (x) − f (x) = f (x − t) − f (x) Km (t) dt.
Rn
Proposición 1.8.5.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Teorema 1.8.6.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
y la prueba concluye.
cualquier 1 ≤ p < ∞.
Demostración. Fijado el compacto K ⊂ G soporte de una función con-
tinua f , extendemos dicha función a todo Rn anulándola fuera de G. La
aproximación f ∗ Km es una función cuyo soporte estará contenido en
K + sop(Km ).
Corolario 1.8.8.
Sea f ∈ L2 (G) donde G es un abierto de Rn . Si
Z
f (x)ψ(x) dx = 0 para cualquier ψ ∈ D(G),
G
Proposición 1.9.1.
Sea G un abierto acotado y no vacío de Rn y supónganse dadas las fun-
ciones continuas f : G −→ R y g : ∂G −→ R. Supóngase también que las
funciones u que aparecen en las ecuaciones (1.18), (1.19) y (1.20) son fun-
ciones de clase C 2 (G) (es decir, u ∈ C 2 (G) y las derivadas parciales de orden
2 admiten prolongación continua a la frontera de G).
(i) Una función w ∈ C 2 (G) es solución del problema de valores frontera
definido en (1.18) si, y sólo si, es solución del problema generalizado
de valores frontera definido en (1.19).
(ii) Si w ∈ C 2 (G) es un mínimo para la función F en las condiciones
del problema variacional (1.20), entonces w es también solución del
problema de valores frontera definido en (1.18).
1.9. El principio de Dirichlet: justificación analítico funcional 67
Definición 1.9.3.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
El corolario 1.8.8 nos asegura que las definiciones anteriores están bien
formuladas, al ser D(G) denso en L2 (G).
Proposición 1.9.4.
La fórmula
Z n
X
hu, vi1,2 := uv + ∂j u∂j v
G j=1
tanto u como Dα u pertenecen a Lp (G). W k,p (G) es un espacio de Banach para la norma
X Z 1/p
kukk,p := |Dα u(x)|p dx
|α|≤k G
u∂j v = − wj v,
G G
Definición 1.9.5.
Con H01 (G) denotamos el espacio de Hilbert obtenido como la clau-
sura en W 1 (G) de D(G).
u = 0 en ∂G. (1.24)
Esta definición está motivada, entre otras razones, por el hecho de que
cuando G es un abierto de Rn , con una frontera “suficientemente regular”, el
concepto de anulación en la frontera en sentido generalizado significa que u
realmente vale 0 en la frontera de G.
De aquí se sigue
Z b Z b
2 2
2
u(x) dx ≤ (b − a) u′ (x) dx.
a a
Integrando sobre R
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Z Z
2
u(x1 , x2 )2 dx1 dx2 ≤ (d − c)2 ∂2 u(x1 , x2 ) dx1 dx2
R R
Z X
2
≤M (∂j u(x))2 dx.
G j=1
Sólo resta probar que B y b satisfacen las condiciones del teorema 1.7.1.
Desde luego, B es bilineal simétrica y acotada, ya que
Z X n
|B(u, v)| ≤ |∂j u∂j v| dx
G j=1
n
X
≤ k∂j uk2 k∂j vk2 ≤ nkuk1,2 kvk1,2
j=1
Proposición 1.10.1.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Corolario 1.10.2.
Sea G un abierto en Rn , f ∈ L2 (G) y u ∈ L2 (G) de clase C k . Si Lu = f
entonces se tiene que
hf, ψi = hu, L∗ ψi
para cualquier ψ ∈ D(G).
Podemos ahora ampliar la definición de solución para el operador L a
través de la siguiente
Definición 1.10.3.
Dada f ∈ L2 (G) diremos que una función u ∈ L2 (G) es solución
débil de la ecuación
Lu = f
siempre que tengamos
hf, ψi = hu, L∗ ψi
para cualquier ψ ∈ D(G).
Notemos que el corolario (1.10.2) nos dice que las soluciones clásicas para
el operador L son soluciones débiles, por lo que ampliamos el concepto de
solución con la nueva definición de solución débil. Las derivadas en sentido
débil nos aparecieron en el estudio variacional que hemos hecho del problema
de Dirichlet en la sección anterior. Soluciones débiles que no son soluciones
clásicas aparecen, por ejemplo, al analizar el teorema fundamental del cálculo
para la integral de Lebesgue, como detallamos a continuación
1.10. Operadores diferenciales y soluciones débiles 76
d
L = dx sobre el abierto G = (0, 1) ⊂ R. Para u, f ∈ L2 (G) tenemos que
Lu = f en sentido débil si, y solo si, existe F : (0, 1) → R absolutamente
continua con F (x) = u(x), F ′ (x) = f (x) para casi todo x ∈ (0, 1).
Demostración. Si la función u es absolutamente R t continua el teorema fun-
damental del cálculo nos dice que u(t) − u(a) = a u′ (x) dx y la fórmula de
integración por partes nos da
Z 1 Z 1
u′ (x)ψ(x) dx = − u(x)ψ ′ (x) dx
0 0
rador:
∂2u ∂2u
Lu = − 2
∂x2 ∂t
buscándose u(x, t) tal que Lu = 0 con las condiciones frontera
∂u(x, 0)
u(x, 0) = f (x), =0
∂t
fm (x + t) + fm (x − t)
um (x, t) =
2
se sigue ahora que um es de clase C ∞ comprobándose directamente que
Lum = 0. Por consiguiente, tras el corolario 1.10.2 sabemos que hum , L∗ ψi = 0
para todo m y, pasando al límite, obtendremos hu, L∗ ψi = 0 para cualquier
ψ ∈ D(R2 ), tal y como queríamos demostrar.
Lema 1.10.6.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
P ∂ α
Sea G un abierto acotado en Rn y L = |α|≤n aα ∂x un operador
diferencial lineal con coeficientes constantes reales o complejos. Existe una
constante c > 0, dependiente tan solo del abierto G y del operador L tal que
kψk2 ≤ c kL∗ ψk2
para toda ψ ∈ D(G).
Demostración. Hagamos el caso mas sencillo asumiendo que L∗ = ∂x∂ 1 .
La desigualdad en este caso se debe a S. Zaremba. Nuestro razonamiento es
similar al realizado anteriormente en la prueba de la desigualdad de Poincaré-
Friedrichs (1.25). Para cualquier función ψ ∈ D(G) tenemos, gracias a que
el soporte de ψ es compacto y está contenido en G:
Z x1
∂
ψ(x1 , x2 , · · · , xn ) = ψ(t, x2 , · · · , xn ) dt.
−∞ ∂x1
K : L2 (G) → L2 (G)
completado H con klk ≤ C = ckf kL2 (G) . El teorema de Riesz (1.6.1) aplicado
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
kK(f )kL2 (G) = kukL2 (G) = kLˆ∗ ûkL2 (G) = kûkH ≤ C = c kf kL2 (G)
donde la última igualdad se sigue de la aplicación que hemos hecho del teo-
rema de Riesz y la anterior es un paso al completado que termina con la
prueba.
a(x, un ) = b(x)
lı́m Pn (x) = x
n→∞
para cualquier x ∈ H
Demostración. Por el teorema de la proyección, teorema 1.5.7, sabemos
que kx−Pn (x)k = d(x, Mn ). La densidad nos asegura que d(x, ∪∞
n=1 Mn ) = 0,
y por ello lı́mn→∞ Pn (x) = x para cualquier x ∈ H que fijemos. En efecto,
dado ε > 0 encontremos y ∈ Mn0 tal que kx − yk < ε. Dado que la sucesión
de espacios Mn es creciente tendremos
siempre que n ≥ n0 .
ku − un k ≤ d · c−1 d(u, Mn ).
1.11. El método de Galerkin 83
1
cku − un k2 ≤ J(un ) − β
2
para todo n ∈ N
Demostración.
(i) En efecto, kuk2 ≤ c−1 a(u, u) = c−1 b(u) ≤ c−1 kbkkuk.
(ii) Se comprueba como la anterior:
ku − un k2 ≤ c−1 a(u − un , u − un ) ≤ c−1 a(u − x, u − x)2 ≤ c−1 dku − xk2
para cualquier x ∈ Mn .
(iii) Finalmente,
1
J(u + v) = a(u + v, u + v) − b(u + v)
2
1 1
= a(u, u) + (a(u, v) − b(v)) + a(v, v) − b(u)
2 2
y, teniendo en cuenta la ecuación variacional a(v, u) = b(v), tendremos
1
J(u + v) − J(u) = a(v, v),
2
por tanto J(u + v) − J(u) ≥ 12 ckvk2 para cualquier v ∈ H. Tomando
w := u + v, como J(u) ≥ β tendremos J(w) − β ≥ 12 cku − wk2 .
1.12.1. Redes
Comenzaremos fijando una noción nueva: la noción de red convergente.
En [44] se puede encontrar una exposición más detallada de los conceptos
aquí comentados.
Definición 1.12.1.
Definición 1.12.4.
Dada una red φ : D −→ Y , una red ψ : J −→ Y diremos que es
una subred de φ si existe una aplicación ρ : J −→ D satisfaciendo las
propiedades:
(i) φ ◦ ρ = ψ.
(ii) Para cada i0 ∈ D existe j0 ∈ J tal que si j ≥ j0 , entonces
ρ(j) ≥ i0 .
Proposición 1.12.5.
Se tienen las siguientes propiedades:
(i) Un espacio topológico es de Hausdorff si, y sólo si, cada red que converge
lo hace hacia un único punto.
(ii) Un punto s de un espacio topológico es de aglomeración de una red
(xi )i∈D si, y sólo si, existe una subred de (xi )i∈D que converge hacia s.
(iii) Un conjunto A de un espacio topológico es cerrado si, y sólo si, para
cualquier red contenida en A que sea convergente, su límite pertene-
ce a A.
(iv) Un punto s en un espacio topológico está en la clausura de un conjunto
A si, y sólo si, s es límite de alguna red contenida en A.
1.12. Bases en espacios de Hilbert 87
y consideramos
Entonces:
(i) El conjunto D es sucesionalmente cerrado, denso y no cerrado en Y .
(ii) Toda sucesión en D tiene una subsucesión convergente a un punto de D.
(iii) D no es compacto.
Claramente D 6= Y pero D = Y . Así, D no es cerrado y por ende no es com-
pacto. Las otras propiedades que hemos enunciado se siguen del hecho de que
si A es un conjunto numerable, entonces [0, 1]A es un espacio compacto
S me-
trizable, [44], y dada una sucesión (yn )n en D podemos tomar A := n sop yn
y mirar (yn )n en [0, 1]A .
P0 (I) := {J : J ⊆ I, J es finito}.
Definición 1.12.8.
Sea (X, k.k) un espacio normado.
P Se dice que la familia (xi )i∈I es
sumable con suma x, si la Pred ( i∈J xi )J∈P0 (I) tiene límite x en X, y en
este caso, se escribe x = i∈I xi . Se dice que (xi )i∈I es absolutamente
sumable si la familia (kxi k)i∈I es sumable en R.
P
Dada la forma especial del conjunto P0 (I), la red ( i∈J xi )J∈P0 (I) sa-
tisface la condición de Cauchy, como es fácil comprobar, si, y sólo si, para
cada ε > P 0 existe J0 ∈ P0 (I) tal que si J ∈ P0 (I) y J ∩ J0 = ∅, en-
tonces k i∈J xi k < ε. Con esto en mente se prueba fácilmente la siguiente
proposición.
1.12. Bases en espacios de Hilbert 89
Proposición 1.12.9.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Sea (X, k.k) un espacio normado y sea (xi )i∈I una familia en X.
(i) Si X es un espacio de Banach y (xi )i∈I es absolutamente sumable,
entonces (xi )i∈I es sumable.
P
(ii) Si la red ( i∈J xi )J∈P0 (I) es de Cauchy, el conjunto {i ∈ I : xi 6= 0}
es contable (finito o numerable).
P
(iii) Si la red ( i∈J xi )J∈P0 (I) es de Cauchy, entonces se tiene que
n
X
o
sup
xi
: J ∈ P0 (I) < ∞. (1.34)
i∈J
Definición 1.12.10.
Diremos que una norma k · k en un espacio de Banach X tiene la
propiedad S si cumple la siguiente propiedad:
(S) Existe una constante 1 > C > 0 tal que para cada conjunto finito
{zj : j ∈ J} en X existe un subconjunto S ⊂ J con la propiedad
X
X
C kzj k ≤
zj
. (1.36)
j∈J j∈S
particular en X.
Si k · k en X satisface (S) escribimos
C(S) := sup{C : C satisface (1.36)}. (1.37)
Lema 1.12.11.
La norma euclídea k · k2 en Rn tiene la propiedad (S) con constante
1
cn = √ satisfaciendo la desigualdad (1.36). Para (Rn , k · k2 ) tenemos las
2n n
estimaciones
1 1
√ ≤ Cn (S) ≤ √ ,
2n n n
donde Cn (S) está definida como en (1.37). En consecuencia, todos los espa-
cios de Banach de dimensión finita tienen la propiedad (S).
Demostración. Probemos que (1.36) se satisface en (Rn , k · k2 ) cuando
1
tomamos cn = √ . Consideremos las 2n pirámides en Rn definidas por
2n n
Ai = (x1 , x2 , . . . , xn ) : xi ≥ 0, |xj | ≤ xi , j 6= i, j ∈ J , i ∈ J,
Ai+n = (x1 , x2 , . . . , xn ) : xi ≤ 0, |xj | ≤ |xi |, j 6= i, j ∈ J , i ∈ J,
donde J = P{1, 2, . . . , n}. Para cada conjunto finito {zj : j ∈ J} en X defina-
mos α = j∈J kzj k2 . Quitando algunas caras (aquí y allí) de los Ai es fácil
convencerse uno mismo de que Rn puede partirse en 2n conjuntos disjuntos
Bi tales que para sus clausuras tenemos Bi = Ai , i = 1, 2, . . . , 2n. Así, uno
al menos de los Ai tiene la propiedad de que
X
kzj k2 ≥ α/2n. (1.38)
zj ∈Ai
Proposición 1.12.12.
Sea (X, k · k) un espacio normado de dimensión finita y sea (xi )i∈I una
familia en X. Las siguientes propiedades son equivalentes:
(i) (xi )i∈I es absolutamente sumable.
(ii) (xi )i∈I es sumable.
P
(iii) sup{ i∈J kxi k : J ∈ P0 (I)} < ∞.
Demostración. La equivalencia (i)⇔(iii) y la implicación (i)⇒(ii) son,
respectivamente, las propiedades (iv) y (i) de la proposición 1.12.9. Veamos
cómo (ii)⇒(iii). Como X es de dimensión finita, X tiene la propiedad (S) y
por tanto existe 1 > C > 0 satisfaciendo la desigualdad (1.36). Si (xi )i∈I es
sumable, entonces
n
X
o
α = sup
xi
: J ∈ P0 (I) < ∞,
i∈J
Dejamos como ejercicio para el lector constatar que, para series, la pro-
posición 1.12.12 se lee como sigue:
1.12. Bases en espacios de Hilbert 93
Proposición 1.12.13.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Sea (X, k.k) un espacio normado de dimensión finita y sea (xn )n una
sucesión en X. Las siguientes propiedades son equivalentes:
P
(i) La serie ∞ n=1 xn es absolutamente convergente.
P n
(ii) sup i=1 kxi k : n ∈ N < ∞.
P
(iii) sup i∈J kxi k : J ∈ P0 (N) < ∞.
(iv) (xn )n∈N es absolutamente sumable.
(v) (xn )n∈N es sumable.
El teorema de reordenación de Riemann, que apareceP∞ en los textos de
cálculo, asegura que si una serie de números reales n=1 xn es convergente
pero no es absolutamente convergente, entoncesP∞ para cada x ∈ [−∞, ∞]
existe una biyección π : N → N tal que x = n=1 xπ(n) . Como consecuencia,
todas las “reordenaciones” de una serie de números reales son convergentes
a un número real sólo cuando la serie es absolutamente convergente. En
espacios de Banach convergencia absoluta e incondicional de series coinciden
si, y sólo si, el espacio es de dimensión finita, lo que es de nuevo el teorema
de Dvoretzky y Rogers [18] comentado anteriormente, tal y como aclaramos
en las páginas que siguen.
Definición 1.12.14.
Sean X un P∞espacio de Banach y (xn )n una sucesión en X. Se dice
que la serie n=1 xn es incondicionalmente
P∞ convergente si para cada
biyección π : N → N la serie n=1 xπ(n) converge.
P∞
serie n=1 xn es incondicionalmente convergente. Llamemos x = n∈N xn
y sea π : N → N una biyección. Dado ε > 0 existe P un conjunto finito
J0 ∈ P0 (I) tal que si J ⊃ J0 y J ∈ P0 (I), entonces k n∈J xn − xk < ε. Si
mε = sup π −1 (J0 ), entonces π({1, 2, . . . , n}) ⊃ J0 siempre que n ≥ mε . Por
lo tanto,
n
X
X
xπ(j) − x
xm − x
=
< ε,
j=1 m∈π({1,2,...,n}
P∞
para n ≥ mε , y consecuentemente n=1 xπ(n) = x para cada biyección π.
El recíproco lo estableceremos razonando por contradicción.
P Suponemos
que (xn )n no es sumable, y por ende suponemos que ( i∈J xi )J∈P0 (N) no
satisface la condición de Cauchy, es decir, existe ε > 0 tal que para cada
J ∈ P0 (N) existe J ′ ∈ P0 (N) con
X
′
J ∩J =∅ y
xi
≥ ε. (1.40)
i∈J ′
entonces X
kzj k < ε.
j∈J
X 2M
kzn k ≤
δ
n∈J
P
lo que significa que n zn es absolutamente convergente.
La implicación (iv)⇒(i) es el teorema de Dvoretsky-Rogers.
X 1/2
kxk := kxi k2Hi
i∈I
Definición 1.12.18.
El espacio (H, k · k) descrito en la proposición 1.12.17 se llama
L suma
directa hilbertiana de los espacios {Hi : i ∈ I} y se denota con i∈I Hi .
El espacio H recibe también el nombre de suma ℓ2 de los espacios
{Hi : i ∈ I}, utilizándose a veces la notación H = ℓ2 (Hi )i∈I .
L
isométrica. Además F es denso en i∈I Hi y φ(F ) = span{Hi : i ∈ I} lo es
en H. Entonces φ puede extenderseLde forma única a una aplicación lineal
isométrica, que es sobreyectiva, de i∈I Hi en H.
X 1/2
2
|hx, ei i| ≤ kxk, (1.44)
i∈J
Proposición 1.12.21.
Sean H un espacio prehilbertiano y (ei )i∈I un conjunto ortonormal en H.
Sea b : H −→ KI definida por x
b = (hx, ei i)i∈I . Entonces:
(i) La aplicación b tiene rango en ℓ2 (I), es lineal y continua de norma 1.
(ii) Si además H es un espacio de Hilbert la aplicación anterior es sobre-
yectiva sobre ℓ2 (I) (Teorema de Riesz-Fischer).
Demostración. La primera parte es una consecuencia directa de la de-
sigualdad de Bessel (1.43). Veamos que b es sobreyectiva cuando H es un
espacio de Hilbert. En efecto,
P dado (ai )i∈I ∈ ℓ (I), la familia (ai ei )i∈I es su-
2
Teorema 1.12.22.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Parseval).
Definición 1.12.23.
Sea H un espacio de Hilbert. Un conjunto ortonormal (ei )i∈I verifi-
cando una de las condiciones equivalentes de la proposición anterior (y
por tanto todas) se llama una base hilbertiana de H o sistema ortonor-
mal completo.
Una aplicación sencilla del lema de Zorn garantiza que cualquier espacio
de Hilbert posee una base hilbertiana; de hecho, cualquier conjunto ortonor-
1.12. Bases en espacios de Hilbert 102
Corolario 1.12.24.
Para cada espacio de Hilbert H existe un conjunto I y un isomorfismo
isométrico de H sobre ℓ2 (I).
Proposición 1.12.25.
El espacio de Hilbert ℓ2 (I) es topológicamente isomorfo a ℓ2 (J) si, y sólo
si, I y J tienen el mismo cardinal.
Corolario 1.12.28.
Si Z es un subespacio cerrado de dimensión infinita de ℓ2 , entonces Z es
isomorfo a ℓ2 .
en espacios de funciones
En este apartado probamos el clásico teorema de Weierstrass de aproxi-
mación uniforme mediante polinomios de funciones continuas en un intervalo
compacto de R. La demostración que realizamos hace uso del siguiente teo-
rema de Korovkin.
Teorema 1.12.29. Korovkin, 1953.
Consideremos las funciones f0 , f1 y f2 definidas en [a, b] por
para cada t ∈ [a, b]. Para n = 1, 2, . . . , sea Pn : C([a, b]) → C([a, b])
lineal. Supongamos que:
(i) Cada Pn es positivo, i.e., Pn (f ) ≥ 0, para n = 1, 2, . . . y cada
f ≥ 0 en C([a, b]).
(ii) Para m = 0, 1, 2 se tiene lı́mn→∞ kPn (fm ) − fm k∞ = 0.
Entonces:
lı́m kPn (f ) − f k∞ = 0, (1.45)
n→∞
Pn (gs )
−εPn (f0 ) − 2α ≤ Pn (f ) − f (s)Pn (f0 )
δ2 (1.49)
Pn (gs )
≤ εPn (f0 ) + 2α
δ2
Por hipótesis, Pn (f0 )(s) converge hacia 1 uniformemente en s ∈ [a, b]. Por
otro lado, Pn (gs )(s) converge uniformemente a cero en s ∈ [a, b], dado que
gs = f2 − 2sf1 + s2 f0 y consecuentemente
lı́m Pn (gs )(s) = lı́m Pn (f2 )(s) − 2sPn (f1 )(s) + s2 Pn (f0 )(s)
n→∞ n→∞
= s2 − 2ss + s2 1 = 0
uniformemente. Este último hecho junto con las desigualdades (1.49) per-
miten concluir ahora que Pn (f )(s) converge uniformemente hacia f (s) en
s ∈ [a, b].
Xn X n
k n k n−k n−1 k
Bn (f1 )(t) = t (1 − t) = t (1 − t)n−k
n k k−1
k=1 k=1
X n − 1
n−1
= tk+1 (1 − t)(n−1)−k
k
k=0
X n − 1
n−1
=t tk (1 − t)(n−1)−k = t;
k
k=0
n
k 2 n k
X Xn
k n−1 k
Bn (f2 )(t) = t (1 − t)n−k = t (1 − t)n−k
n k n k−1
k=1 k=1
Xn h i
(n − 1)(k − 1) 1 n − 1 k
= + t (1 − t)n−k
n(n − 1) n k−1
k=1
n n
(n − 1) X n − 2 k n−k 1 X n−1 k
= t (1 − t) + t (1 − t)n−k
n k−2 n k−1
k=2 k=1
(n − 1) 2 1
= t + t.
n n
Obsérvese para terminar que cada Bn (f ) es un polinomio de grado n a lo
sumo (polinomio de Bernstein asociado a f ).
1
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
0.8
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1
2 2
1.5 1.5
1 1
0.5 0.5
0 0
-0.5 -0.5
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
Definición 1.12.31.
Recibe el nombre de polinomio trigonométrico real cualquier función
p : R −→ R de la forma
m
X
p(x) := an cos(nx) + bn sen(nx)
n=0
con an , bn ∈ R.
1.12. Bases en espacios de Hilbert 109
posible elegir δ0 > 0 con δ0 < mı́n{η, π} de modo que |f (x)| < ε para
x∈/ [δ, π − δ], siempre que 0 < δ < δ0 . Para cada δ > 0 en las condiciones
anteriores sea gδ : [0, π] −→ R definida por
f π(x − δ) si δ ≤ x ≤ π − δ
gδ (x) := π − 2δ
0 en otro caso.
gδ (x)
G(x) := , si x ∈ (−π, π) y G(0) := 0.
sen x
Así definida, G es continua y par, por lo que, aplicando el Caso 1 ya demos-
trado, existe un polinomio trigonométrico p que verifica |G(x) − p(x)| < ε.
Pero entonces |gδ (x) − p(x) sen x| < ε y, de nuevo, p(x) sen x es un polinomio
trigonométrico, con lo que se ha probado el lema para funciones continuas
impares en [−π, π] que se anulan en 0 y π.
Definición 1.12.33.
El valor fb(n) anterior recibe el nombre de n-ésimo coeficiente de
Fourier de f .
1.12. Bases en espacios de Hilbert 111
La serie formal X
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
fb(n)e−int
n∈Z
X∞
1
a0 + an cos(nt) + bn sen(nt) .
2 n=1
Teorema 1.12.34.
Sean Σ y m la σ-álgebra y la medida de Lebesgue en [−π, π]. Sea
µ= m m
π si K = R o bien µ = 2π si K = C. Entonces:
(i) La familia eint : n = 0, ±1, ±2, . . . es una base hilbertiana en el
espacio L2C ([−π, π], Σ, µ) que se conoce con el nombre de sistema
trigonométrico.
(ii) La familia 12 , cos(nt), sen(nt) : n ∈ N es una base hilbertiana
en el espacio L2R ([−π, π], Σ, µ).
P
(iii) Para cada f ∈ L2C ([−π, π], Σ, µ) es f (t) = n∈Z fb(n)eint en k · k2 .
(iv) Para cada f ∈ L2R ([−π, π], Σ, µ) es
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí: 1.12. Bases en espacios de Hilbert 112
1 X
f (t) = a0 + an cos(nt) + bn sen(nt)
2
n∈N
en k · k2 .
(v) La aplicación F : L2C [−π, π] −→ ℓ2 (Z) definida por
F (f ) = (fd
(n))n∈Z
Es decir, la familia (eint )n∈Z considerada en (i) es ortonormal en L2C [−π, π].
Recordando que
con ak , bk ∈ C, que cumple kf − pk2 < ε. Ahora bien, los polinomios trigo-
nométricos complejos
P pueden escribirse (usando las ecuaciones (1.56)) como
sumas del tipo nk=−n ck eikt , con ck ∈ C (y recíprocamente). Por tanto la
familia considerada en (i) es una base hilbertiana de L2C ([−π, π]).
Proposición 1.12.36.
Si p es un peso en el intervalo I, entonces:
Z
2
Hp := f ∈ C(I) : |f (t)| p(t) dt < ∞
I
n=0 es-
Por definición, si p es un peso en I, la sucesión de polinomios {tn }∞
tá en Hp y, siendo una familia linealmente independiente, podemos aplicarle
el método de Gram-Schmidt, véase el lema 1.4.10, para obtener una familia
ortonormal {P0 , . . . , Pn , . . . } en (Hp , h·, ·i) que satisface
span{1, t, . . . , tn } = span{P0 , P1 , . . . , Pn },
Proposición 1.12.37.
Sea {P0 , P1 , . . . , Pn , . . . } la sucesión de polinomios ortonormales en el
intervalo I asociada al peso p. Se tienen las siguientes propiedades.
(i) Cada Pn tiene coeficientes reales y es un polinomio de grado n.
(ii) Cada Pn es ortogonal al subespacio de polinomios de grado menor
que n.
(iii) Cada Pn tiene n raíces distintas e interiores a I.
Q(t) = (t − t1 )(t − t2 ) . . . (t − tr ),
2
dos al peso p(t) = e−t en el intervalo I = (−∞, +∞). El término
general es
2
et dn 2
Pn (t) = 1/4 n 1/2 n e−t .
π (2 n!) dt
Proposición 1.12.39.
Si I es un intervalo compacto y p un peso en I, entonces la sucesión de
polinomios ortonormales {P0 , P1 , . . . , Pn , . . . } es total en Hp . En particular
los polinomios de Legendre forman una base hilbertiana de L2 ([−1, 1]).
P = span{P0 , P1 , . . . , Pn , . . . }
k·k∞
y que P = C([a, b]) después del teorema de Weierstrass 1.12.30. La
k·k
fórmula (1.59) implica ahora que P = C([a, b]) y en consecuencia, la
sucesión {P0 , P1 , . . . , Pn , . . . } es total.
Cuando [a, b] = [−1, 1] y p(t) = 1, los polinomios asociados, es de-
cir los polinomios de Legendre, son una base de L2 ([−1, 1]) porque siendo
una familia total en C([−1, 1]) se tiene además que C([−1, 1]) es denso en
(L2 ([−1, 1]), k · k2 ).
Z b n
X
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Aplicando
Rb esta
Pn igualdad a la función constantemente igual a 1 se tiene que
a p(t) dt = k=1 Ank para cada n = 1, 2, . . . Dados f ∈ C([a, b]) y ε > 0 el
teorema de Weierstrass 1.12.30 nos asegura la existencia de un polinomio Q
tal que |f (t) − Q(t)| < ε si t ∈ [a, b]. Para todo n ∈ N tal que 2n sea mayor
que el grado de Q se verifica
1.12. Bases en espacios de Hilbert 120
Z b n
X Z b Z b
Q(t)p(t)dt
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 1.12.43.
Sea Ω ⊂ C un abierto del plano complejo. Definimos el espacio de
Bergman para Ω como
ZZ
A2 (Ω) := f ∈ H (Ω) : |f (x + iy)|2 dxdy < +∞ .
Ω
El lema que sigue lo necesitamos para luego obtener las propiedades del
espacio de Bergman analizadas en la proposición 1.12.45.
Lema 1.12.44.
Sean Ω ⊂ C un abierto del plano complejo, M > 0 y
ZZ
2
F := f ∈ H (Ω) : |f (x + iy)| dxdy ≤ M .
Ω
D(a,R) 0 0
Z 2π Z R X
∞ X
∞
= an r n einθ am r m e−imθ r drdθ
0 0 n=0 m=0
∞
X X Z R Z 2π
= an am r j+1 ei(n−m)θ dθdr
j=0 n+m=j 0 0
X∞ Z R Z 2π ∞
X R
r 2n+2
= |an |2 r 2n+1 dθdr = 2π |an |2
2n + 2
n=0 0 0 n=0 0
∞
X R2n+2 R2
= 2π |an |2 ≥ 2π|a0 |2 = π|f (a)|2 R2 .
n=0
2n + 2 2
f D(a,r)
= lı́m fn D(a,r)
= lı́m fnj D(a,r)
= lı́m fmk D(a,r)
n j k
correspondiente.
Teorema 1.12.47.
Sean Ω ⊂ C abierto y A2 (Ω) con el producto escalar inducido por
L2 (Ω).Se tiene:
(i) Si Ω = D(0, R), R > 0, entonces la sucesión {φ1 , φ2 , . . . , φn , . . . }
dada por
n 1/2
φn (z) := R−n z n−1 , z ∈ D(0, R),
π
es una base hilbertiana de A2 (D(0, R)).
(ii) Si Ω es simplemente conexo y distinto de C y f : Ω → D(0, 1) es un
isomorfismo conforme, entonces la sucesión {w1 , w2 , . . . , wn , . . . }
dada por
n 1/2
wn (z) := [f (z)]n−1 f ′ (z), z ∈ Ω,
π
es una base hilbertiana de A2 (Ω).
Demostración. Establezcamos
P primero la validez de (i). Tomemos f ∈
A2 (D(0, R)) y sea f (z) = ∞ n=0 n z su desarrollo en serie de potencias en
a n
π 1/2 n 1/2
hφn , φn i = Rn R−n = 1,
n π
y así queda establecida la validez de (i) dado que {φ1 , φ2 , . . . , φn , . . . } es
claramente total.
Veamos ahora (ii). De acuerdo con (i) la sucesión {φ1 , φ2 , . . . , φn , . . . }
donde n 1/2
φn (z) := z n−1 , z ∈ D(0, 1),
π
es una base hilbertiana de A2 (D(0, 1)). El isomorfismo conforme f = u +
iv : Ω → D(0, 1) es un cambio de variable cuyo jacobiano, después de las
condiciones de Cauchy-Riemann, es
ux (z) uy (z)
J(f (z)) = = ux (z)vy (z) − vx (z)uy (z)
vx (z) vy (z)
= (ux (z))2 + (vx (z))2 = |f ′ (z)|2 , z = x + iy ∈ Ω,
donde ux , uy , vx y vy son las derivadas parciales de u y v respecto de las
variables consideradas. Como por otra parte
wn (z) = f ′ (z)φn (f (z)), z ∈ Ω,
y |φn |2 ∈ L1 (D), por el teorema del cambio de variable A.3.10 se tiene
|φn ◦ f |2 J(f ) = |wn |2 ∈ L1 (Ω),
es decir, wn ∈ A2 (Ω). Por otra parte, efectuando de nuevo el cambio de
variable w = f (z), se tiene que para cada h ∈ A2 (Ω) será
ZZ ZZ
h(z)wn (z) dxdy = h(z)φn [f (z)]f ′ (z) dxdy
Ω Ω
ZZ
h(z)
= φ [f (z)]|f ′ (z)|2 dxdy
′ (z) n
f
Z ZΩ
(1.66)
= (f −1 )′ [f (z)](h ◦ f −1 )[f (z)]φn [f (z)]|f ′ (z)|2 dxdy
Z ZΩ
= (f −1 )′ [w](h ◦ f −1 )(w)φn (w) dxdy
D
= h(f −1 )′ (h ◦ f −1 ), φn iA2 (D) .
1.13. Ejercicios 126
dado que (f −1 )′ (wm ◦f −1 ) = φm . Utilizando otra vez (i) obtenemos que la fa-
milia {w1 , w2 , w3 , . . . } es ortonormal en A2 (Ω). Para acabar la demostración
será suficiente ver que si h ∈ A2 (Ω) es tal que
hh, wn i = 0, n = 1, 2, . . . , (1.67)
1.13. Ejercicios
1.1 Demuestre que sup |3x + 4y| : x2 + y 2 = 1 = 5.
1.2 Sea (X, k · k) un espacio normado. Pruébese que si toda forma
lineal en X es continua, entonces X es de dimensión finita. ¿Es cierto el
recíproco? Razónese la respuesta.
√
1.3 Demuestre que sup |x + 4y + 9z| : |x|3 + |y|3 + |z|3 = 1 = 6 3 6.
Indicación. 36=1+8+27.
1.4 Sea g ∈ C[a, b] y considere la forma lineal L : C[a, b] −→ R definida
Rb
por L(f ) = a f (x)g(x) dx. Demuestre que L es continua y calcule su
norma.
Indicación. Suponga en primer lugar que g es positiva.
1.5 Sea (X, k · k) un espacio de Banach. Sea A ⊂ X un conjunto
absolutamente convexo (i.e. para cada x, y ∈ A y cada |λ| + |µ| ≤ 1,
entonces λx + µy ∈ A), cerrado y con la propiedad de que para cada
x ∈ X existe un n ∈ N tal que x ∈ nA. Pruébese que A es un entorno del
origen. ¿Es cierto el resultado si la última hipótesis sobre A se reemplaza
por la condición de que para todo x ∈ A existe r > 0 real, tal que
x ∈ rA?
1.13. Ejercicios 127
kx + yk = kxk + kyk.
1.21 Sea (H, h·, ·i) un espacio de Hilbert y sea {Hi : i ∈ I} una colección
de subespacios cerrados mutuamente ortogonales. Para cada i ∈ I, sea
Pi : H −→ Hi la proyección ortogonal de H sobre Hi . Pruébese que para
cada x ∈ H el conjunto {i ∈ I : Pi (x) 6= 0} es a lo sumo numerable.
1.22 Pruebe que la norma en un espacio prehilbertiano real H es diferen-
ciable en todos los puntos salvo en el origen y calcule su diferencial.
1.13. Ejercicios 129
M1 = {f ∈ E : f (x) = 0 si x ≤ 0} M2 = {f ∈ E : f (0) = 0}
P
1.31 Sea (an )n una sucesión en [0, +∞) tal que ∞ n=1 an bn < +∞ para
cada sucesión (bn )n de números reales positivos que verifique (bn )n ∈ ℓ2 .
Pruebe que (an )n ∈ ℓ2 .
1.32 Sean a, b, c ∈ C. Pruebe que la función
Z 1
F (a, b, c) := |x3 − a − bx − cx2 |2 dx
−1
(n!)2 22n+1
kPn k2 =
(2n + 1)
ortogonal de Li .
(ii) Encuentre las proyecciones ortogonales en estos espacios.
(iii) Encuentre la distancia de f (t) = t2 +t a estos subespacios. Encuen-
tre la distancia de cualquier f ∈ L2 ([−a, a]) a estos subespacios.
1.54 Demuestre que entre todas las curvas regulares cerradas y simples
en el plano, la circunferencia es la que encierra un área máxima. Proceda
del siguiente modo:
(i) Demuestre que si f es una función definida en un intervalo [0, 2π]
derivable, con derivada continua, entonces el desarrollo de Fou-
rier de f ′ se obtiene derivando término a término el desarrollo de
Fourier de f .
(ii) Si s es el parámetro arco y L la longitud de la curva entonces
la curva admite una parametrización en función de t := s/L con
t ∈ [0, 1] dada por
1.13. Ejercicios 136
√ X X
x(t) = a0 + 2 an cos 2πnt + bn sin 2πnt
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
n≥1 n≥1
√ X X
y(t) = c0 + 2 cn cos 2πnt + dn sin 2πnt .
n≥1 n≥1
Deduzca que
Z 1 X
L2 = (x′ (t)2 + y ′ (t)2 ) dt = 4π 2 n2 (a2n + b2n + c2n + d2n ).
0 n≥1
Mis notas
140
en espacios de Hilbert
Comencemos recordando que, tal y como fue definido en la sección 1.1, el
término operador acotado se refiere genéricamente a las aplicaciones lineales
y continuas T : X → Y entre espacios normados X e Y . Aquí nos ocuparemos
del estudio de algunas propiedades de los operadores acotados entre espacios
de Hilbert H1 y H2 . También se convino con anterioridad que L(H1 , H2 )
denota el espacio de Banach de los operadores acotados entre H1 y H2 con la
norma definida por la fórmula (1.1). Cuando H1 = H2 = H simplificaremos
la escritura poniendo L(H) = L(H1 , H2 ). El espacio vectorial L(H) no es
nunca un espacio de Hilbert si la dimensión de H es mayor o igual que 2,
véase el ejercicio 1.24.
Damos a continuación algunos ejemplos de operadores en espacios de
Hilbert que son de interés para el desarrollo que vamos a realizar con pos-
terioridad, ya sea porque resultan particularmente sencillos, o porque tienen
interés en las aplicaciones. Como el objetivo fundamental del capítulo es ver
cómo operadores complicados pueden ser “troceados” mediante elementos
más simples, es conveniente comprender bien el funcionamiento y propieda-
des de algunos operadores concretos.
Ejemplo 2.1.1.
n
X
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
kT xk ≤ |hx, en i| kT en k
i=1
X
n 1/2 X
n 1/2 X
n 1/2
≤ |hx, en i|2 kT en k2 = kxk kT en k2
i=1 i=1 i=1
se tiene que T está bien definido y que kT k ≤ supn |an |. Además, como
para todo n ∈ N se cumple T en = an fn , entonces kT k ≥ supn |an |.
y por tanto se tiene kT k ≤ kgk∞ . Por otra parte, fijado ε > 0, por
la definición de k · k∞ , existe un conjunto medible A de medida no
2.1. Ejemplos de operadores acotados en espacios de Hilbert 143
nula tal que |g(t)| > kgk∞ − ε para t ∈ A, y, entonces, para la función
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Demostración.
P Para ver que T está bien definido hemos de probar
que la serie ∞ i=1 ij hx, ui i es convergente en K para
a cada j, y que si
P∞ 2
llamamos bj (x) a la suma de dicha serie se tiene que j=1 bj (x) < ∞.
Pero fijado j ∈ N se verifica
∞
X X
∞ 1/2 X
∞ 1/2
2
|aij ||hx, ui i| ≤ |aij | |hx, ui i|2
i=1 i=1 i=1
P
y por tanto la serie i aij hx, ui i = bj (x) es absolutamente convergente.
Además, para cada j ∈ N,
X
∞ 2 X
∞ X
∞
bj (x)2 ≤ |aij ||hx, ui i| ≤ |aij |2 |hx, ui i|2
i=1 i=1 i=1
X
∞
= |aij |2 kxk2 ,
i=1
2.1. Ejemplos de operadores acotados en espacios de Hilbert 144
de donde se obtiene
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
∞
X 2 X
∞ X
∞
kT xk =2
bj (x) ≤ |aij |2 kxk2
j=1 j=1 i=1
siendo en particular la función k(t, ·)f (·) integrable Lebesgue en [a, b].
Por la desigualdad anterior tenemos
Z b Z b 2 Z bZ b
2 2
kKf k = |k(t, s)f (s)| ds dt ≤ kf k |k(t, s)|2 dt ds ,
a a a a
2.1. Ejemplos de operadores acotados en espacios de Hilbert 145
Z bZ b 1/2
kKk ≤ |k(t, s)|2 dt ds .
a a
Entonces la fórmula
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Z b
Kf (t) := k(t, s)f (s) ds
a
para casi todo t ∈ [a, b]. La función Kf (·) está definida en casi todo
punto y pertenece a L2 ([a, b]) ya que, por lo anterior se tiene
Z b Z b Z b
2
|Kf (t)| dt ≤ C1 |k(t, s)||f (s)|2 ds dt
a a a
Z b Z b
= C1 |f (s)|2 |k(t, s)| dt ds
a a
≤ C1 kf k22 C2 = C1 C2 kf k22 .
Proposición 2.1.2.
Sea H un espacio de Hilbert separable de dimensión infinita con base
ortonormal (en )n y sea T ∈ L(H). Entonces para todo x ∈ H se tiene
2.1. Ejemplos de operadores acotados en espacios de Hilbert 147
∞ X
X ∞
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 2.1.3.
Una aplicación lineal T : X → Y entre los espacios vectoriales X e
Y se llama de rango finito si dim T (X) < ∞.
Proposición 2.1.4.
Sean H1 , H2 espacios de Hilbert y T ∈ L(H1 , H2 ). Las siguientes afirma-
ciones son equivalentes:
Además, si T es de rango finito los vectores (vi )ni=1 pueden elegirse de forma
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 2.2.1.
Sean X e Y espacios normados y T ∈ L(X, Y ). Se dice que T es in-
vertible si existe un operador S ∈ L(Y, X) tal que ST = IX y T S = IY ,
donde IX e IY designan los operadores identidad en X e Y respectiva-
mente. En ese caso se escribe S = T −1 .
entonces T ∈ L(X) tiene inverso por un lado si, y sólo si, es invertible, dado
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Sr (x1 , x2 , . . . xn , . . . ) = (0, x1 , x2 , . . . xn , . . . ),
Definición 2.2.2.
Sean X un espacio normado sobre K, T ∈ L(X) e I ∈ L(X) la
identidad en X.
(i) Se dice que λ ∈ K es un valor regular de T si T −λI es un operador
invertible. El conjunto de los valores regulares de T se denomina
la resolvente de T .
(ii) Los valores no regulares de T se llaman valores espectrales de T ;
el conjunto de valores espectrales recibe el nombre de espectro de
T y se denota con σ(T ).
Definición 2.2.3.
Sean X un espacio normado sobre K y T ∈ L(X).
(i) Un número λ ∈ K se dice que es un valor propio de T si
Ker(T − λI) 6= 0. El conjunto de los valores propios de T se llama
el espectro puntual de T y se denota con σp (T ).
(ii) Si λ ∈ σp (T ) y T x = λx con x 6= 0, entonces x se llama un
vector propio de T correspondiente al valor propio λ. Al subespacio
Ker(T − λI) se le llama subespacio propio correspondiente al valor
propio λ.
2.2. Inversión de operadores. Espectro 150
dad (2.8) nos dice que el espectro de T coincide con el espectro puntual, ya
que en este caso el operador T − λI es no invertible si, y sólo si, T − λI es no
inyectivo. Además, el conjunto de valores propios tiene a lo sumo n elementos
que coinciden con las raíces del polinomio característico P (λ) = det(T − λI),
véase [37].
Para espacios de dimensión infinita, en general, se tiene σp (T ) ⊂ σ(T ),
aunque la inclusión puede ser estricta en este caso. Por ejemplo, consideran-
do Sr : ℓ2 −→ ℓ2 el operador desplazamiento a derecha, entonces 0 ∈ σ(Sr ),
debido a que Sr no es sobreyectivo, pero 0 6∈ σp (Sr ), ya que de hecho,
σp (Sr ) = ∅.
La siguiente proposición establece una condición suficiente para la exis-
tencia de inverso y un procedimiento iterativo que nos dice cómo calcularlo.
La idea para obtener el inverso del operador I − T está sugerida por la suma
de la serie geométrica
1
= 1 + a + a2 + . . . , con |a| < 1.
1−a
n
Si T ∈ L(X) escribimos T n := T ◦ · · · ◦T para denotar la composición de
T consigo mismo n veces y T 0 := I.
Teorema 2.2.4.
Sea X un espacio de Banach y T ∈ L(X) tal que kT k < 1. Entonces
I − T es invertible y se tiene
∞
X
(I − T )−1 = Tn
n=0
1
en L(X), siendo k(I − T )−1 k ≤
1 − kT k
Pq Pq
Demostración. PComo n
n=p kT k ≤ n=p kT k y kT k < 1, la serie
n
∞
definida por S := n=0 T es convergente después de la propiedad (vii) de
n
S(I − T ) = S − ST = T 0 = I, (I − T )S = S − T S = I,
2.2. Inversión de operadores. Espectro 151
∞
X ∞
X 1
k(I − T )−1 k = kSk ≤ kT n k ≤ kT kn =
1 − kT k
n=0 n=0
Corolario 2.2.5.
Sea X un espacio de Banach.
1
(i) Si T ∈ L(X) es invertible y S ∈ L(X) es tal que kT − Sk < kT −1 k ,
entonces S también es invertible, y se tiene
∞
X n kT −1 k2 kT − Sk
S −1 = T −1 (T − S) T −1 y kT −1 − S −1 k ≤
n=0
1 − kT −1 kkT − Sk
kT −1 − S −1 k = k(I − S −1 T )T −1 k
X∞
kT −1 k2 kT − Sk
≤
(T −1 (T − S))n T −1
≤
1 − kT −1 kkT − Sk
n=1
2.2. Inversión de operadores. Espectro 152
Esto prueba el apartado (i), del cual se deduce, de forma directa, el aparta-
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
do (ii).
Proposición 2.2.7. P
Dada la matriz (aij )∞
i,j=1 donde
2
i,j |aij | < 1, el sistema
∞
X
xi − aij xj = yi , i = 1, 2, . . . , (2.9)
j=1
primeras coordenadas de ℓ2 .
X
∞ ∞ X
X ∞
A(x) = A xn en := xn ank ek .
n=1 k=1 n=1
1 X∞
≤ ky − y (n) k + kA − An k ky (n) k kαk−1
1 − kAk
k=0
1
≤ ky − y (n) k + kA − An k kykC.
1 − kAk
Proposición 2.2.8.
Sea k ∈ L2 ([a, b] × [a, b]) con kkk2 < 1. Entonces si g ∈ L2 ([a, b]), la
ecuación integral
Z b
f (t) − k(t, s)f (s) ds = g(t) (2.11)
a
tiene una única solución que es de la forma
Z b
g(t) + e
k(t, s)g(s) ds,
a
donde e
k ∈ L2 ([a, b] × [a, b]).
2.2. Inversión de operadores. Espectro 155
Demostración. La fórmula
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Z b
Kf (t) := k(t, s)f (s) ds
a
define, como vimos en el ejemplo 2.1.1 apartado (v), un operador lineal con-
tinuo de L2 ([a, b]) en sí mismo con norma menor o igual que kkk2 < 1. Por lo
tanto el operador I − K es invertible, y así la ecuación (2.11) tiene para cada
g ∈ L2 ([a, b]) una única solución. Dicha solución viene dada por la fórmula
∞
X
f = (I − K)−1 g = g + K n g. (2.12)
n=1
y por tanto
Z b Z b Z bZ b
2 2
|k2 (t, u)| du ≤ |k(t, s)| ds |k(s, u)|2 ds du
a a a a
2.2. Inversión de operadores. Espectro 156
de donde
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Z bZ b Z b Z b Z b Z b
2 2 2
|k2 (t, u)| du dt ≤ |k(t, s)| ds dt |k(s, u)| ds du
a a a a a a
Z b Z b Z b Z b
2 2
= |k(t, s)| ds dt |k(s, u)| ds du
a a a a
= kkk22 .
∞
X
kkn k2 < ∞.
n=1
después de las estimaciones dadas Pen (2.5). Tomando límites cuando m tiende
e ∞
a infinito se concluye que K = n=1 K n y en consecuencia, para casi todo
t ∈ [a, b] la solución f (t) de la ecuación (2.11) viene dada por la fórmula
∞
X Z b
f (t) = (I − K)−1
g(t) = g(t) + n
K g(t) = g(t) + e
k(t, s)g(s) ds.
n=1 a
y uniformemente, porque
∞
X 1
C 1/2 kKkn−1 kgk2 = C 1/2 kgk2 < +∞.
n=1
1 − kKk
Proposición 2.3.1.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Proposición 2.3.2.
Sean H1 y H2 espacios de Hilbert y T : H1 −→ H2 un operador lineal
continuo. Entonces existe un único operador lineal T ∗ : H2 −→ H1 tal que
hT x, yi = hx, T ∗ yi
para todo x ∈ H1 y para todo y ∈ H2 . Además kT k = kT ∗ k.
Demostración. Para cada y ∈ H2 definimos la aplicación lineal continua
en H2 dada por
fy (w) := hw, yi
para w ∈ H2 . Entonces fy ◦ T es una forma lineal y continua en H1 . Por
tanto, aplicando el teorema 1.6.1, existe z ∈ H1 unívocamente determinado
de modo que fy ◦ T (x) = hT x, yi = hx, zi. Poniendo z = T ∗ y se verifica la
fórmula
hT x, yi = hx, T ∗ yi. (2.13)
Así definida, T ∗ es lineal y se tiene
sup |hT x, yi| : kxk ≤ 1, kyk ≤ 1 = sup |hT ∗ y, xi| : kxk ≤ 1, kyk ≤ 1 ,
de donde, aplicando la proposición 2.3.1, se concluye que kT k = kT ∗ k.
2.3. Adjunto de un operador en espacios de Hilbert 160
Definición 2.3.3.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Ejemplo 2.3.5.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Sl r(x1 , x2 , x3 , . . . ) = (x2 , x3 , . . . ),
Sr (x1 , x2 , x3 , . . . ) = (0, x1 , x2 , x3 , . . . ).
Así,
hSl x, yi = x2 y1 + x3 y 2 + · · · = hx, Sl∗ yi
y como el vector y ∗ := (0, y1 , y2 , . . . ) cumple que hSl x, yi = hx, y ∗ i, se
tiene que
Sl∗ y = Sr y
para todo y ∈ ℓ2 .
2.3. Adjunto de un operador en espacios de Hilbert 162
Análogamente,
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
para x ∈ H.
Demostración. Basta observar que
DX
n E Xn
hKx, yi = hx, ui ivi , y = hx, ui ihvi , yi
i=1 i=1
D n
X E
= x, hy, vi iui = hx, K ∗ yi,
i=1
Rb
siendo g∗ (s) := a k(t, s)g(t) dt para casi todo s ∈ [a, b].
Definición 2.3.6.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
H = Ker A ⊕ Im A.
u = ax + (1/a)Ax, v = ax − (1/a)Ax,
2.3. Adjunto de un operador en espacios de Hilbert 165
kAxk2 = hAx, Axi = hA2 x, xi, se comprueba que hAu, ui−hAv, vi = 4kAxk2
y por tanto
1 1
kAxk2 = (hAu, ui − hAv, vi) ≤ α(kuk2 + kvk2 )
4 4
1 2 2 −2 2
= α(a kxk + a kAxk ).
2
Supongamos ahora que kxk ≤ 1 y que Ax 6= 0, y tomemos a2 = kAxk en
la desigualdad anterior. Entonces se obtiene kAxk2 ≤ αkAxk y por tanto,
kAxk ≤ α para todo x ∈ H con kxk ≤ 1, lo que demuestra (i). Es claro que
(ii) es consecuencia directa de (i).
Para la demostración de (iii) basta observar que, como consecuencia de
la proposición 2.3.4, H = Ker A ⊕ (Ker A)⊥ = Ker A ⊕ Im A. Aplicando otra
vez la proposición que acabamos de citar se tiene (A + B)∗ = A∗ + B ∗ =
A + B y por tanto A + B es autoadjunto si A y B lo son. Si AB = BA
entonces (AB)∗ = B ∗ A∗ = BA = AB. Recíprocamente, si (AB)∗ = AB,
tenemos (AB)∗ = B ∗ A∗ = BA = AB. Hemos probado así (iv).
Demostremos ahora (v). Si hAx, xi ∈ R para todo x ∈ H, se verifica que
hA(x + ay), x + ayi ∈ R para todo a ∈ C, cualesquiera que sean x, y ∈ H. Lo
que, una vez desarrollado, equivale a que se cumpla ahAy, xi+ahA∗ y, xi ∈ R.
Y por tanto
ahAy, xi + ahA∗ y, xi = ahAy, xi + ahA∗ y, xi,
de donde
ah(A − A∗ )y, xi = ah(A − A∗ )y, xi. (2.14)
En particular, haciendo a = 1 y a = i, respectivamente, en la ecuación (2.14)
se obtiene
h(A − A∗ )y, xi = h(A − A∗ )y, xi y h(A − A∗ )y, xi = −h(A − A∗ )y, xi,
es decir, h(A − A∗ )y, xi = 0 para todo x, y ∈ H, lo que permite concluir que
A = A∗ . Finalmente, tomando
A + A∗ A − A∗
S= y T =
2 2i
se obtiene (vi).
2.3. Adjunto de un operador en espacios de Hilbert 166
Definición 2.3.9.
Un operador A ∈ L(H) se dice normal si AA∗ = A∗ A.
Re A ◦ Im A = Im A ◦ Re A.
y por tanto se cumple que (i)⇒(ii). Es evidente que (ii) implica (iii). Para
cerrar el ciclo sólo resta probar que (iii)⇒(i). De la igualdad hAx, Axi =
hA∗ x, A∗ xi se obtiene que hA∗Ax, xi = hAA∗ x, xi, es decir,
∗
(A A − AA∗ )x, x = 0,
y por tanto
Proposición 2.3.12.
Sea P : H −→ H una proyección continua no nula en un espacio de
Hilbert H, es decir, un operador acotado tal que P 2 = P . Las siguientes
afirmaciones son equivalentes:
(i) Ker P = (Im P )⊥ .
(ii) P es una proyección ortogonal.
(iii) kP k = 1.
(iv) Im P = (Ker P )⊥ .
(v) P es autoadjunto.
(vi) P es normal.
(vii) hP x, xi = kP xk2 para todo x ∈ H.
(viii) hP x, xi ≥ 0 para todo x ∈ H.
(ii) Im P ⊂ (Ker P )⊥ .
Si x ∈ Im P , entonces x ∈ (Ker P ∗ )⊥ , como consecuencia de la pro-
posición 2.3.4. Pero al ser P ∗ una proyección con kP ∗ k = kP k = 1
podemos aplicar lo que hemos demostrado en el párrafo anterior y con-
cluir que (Ker P ∗ )⊥ ⊆ Im P ∗ . Así pues, existe z ∈ H tal que x = P ∗ z
y en consecuencia, para todo y ∈ Ker P se tiene
hx, yi = hP ∗ z, yi = hz, P yi = hz, 0i = 0.
Luego x ∈ (Ker P )⊥ , es decir,
Im P ⊂ (Ker P )⊥ .
2.3. Adjunto de un operador en espacios de Hilbert 170
Por tanto, −kyk2 ≤ hy, axi para todo a ∈ K, lo cual es imposible a menos
que hy, xi = 0. Como P ∗ es también una proyección que satisface (viii) se
tiene Ker P ∗ ⊆ (Im P ∗ )⊥ . Pero entonces,
Proposición 2.3.14.
Sean H un espacio de Hilbert y T ∈ L(H) un operador. Entonces, λ ∈ σ(T )
si, y sólo si, λ ∈ σ(T ∗ ).
Proposición 2.3.15.
Sean H un espacio de Hilbert y T ∈ L(H) un operador normal. Entonces:
(i) Para todo λ ∈ C se tiene que Ker(T − λI) = Ker(T ∗ − λI).
2.4. Operadores compactos 171
Definición 2.4.1.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Proposición 2.4.2.
Sean X e Y espacios normados y T : X −→ Y una aplicación lineal. Las
siguientes afirmaciones son equivalentes:
(i) T es compacto.
(ii) Para cada sucesión acotada en norma (xn )n , la sucesión (T xn )n posee
una subsucesión convergente.
(iii) Para cada sucesión (xn )n tal que kxn k = 1, existe una subsucesión de
(T xn )n convergente.
Proposición 2.4.3.
Sean X e Y espacios normados. Entonces:
(i) El conjunto K (X, Y ) de los operadores compactos de X en Y es un
subespacio vectorial de L(X, Y ), que es cerrado en el caso de que Y sea
un espacio de Banach.
(ii) Si A ∈ L(X, Y ), T ∈ K (Y, Z) y B ∈ L(Z, W ) se cumple que BTA ∈
K (X, W ). En particular K (X) := K (X, X) es un ideal bilátero
de L(X).
2.4. Operadores compactos 173
subconjunto
S precompacto en un espacio normado es separable y por tanto
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
kT x − Pn T xk ≤ kT x − T xj k + kT xj − Pn T xj k + kPn T xj − Pn T xk < ε,
Corolario 2.4.5.
El conjunto de los operadores compactos en un espacio de Hilbert es la
clausura, en la topología de la norma de operadores, del conjunto de los ope-
radores acotados de rango finito.
Corolario 2.4.6.
Sean H1 , H2 espacios de Hilbert y T ∈ L(H1 , H2 ). El operador T es com-
pacto si, y sólo si, T ∗ lo es.
operadores. Los operadores (Tn )∗ son acotados de rango finito (véase el ejem-
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Ejemplo 2.4.7.
(i) Sea T un operador diagonal entre espacios de Hilbert separables de di-
mensión infinita, H1 y H2 , definido por T en = λn fn , donde (en )n∈N y
(fn )n∈N son bases de Hilbert en los respectivos espacios (véase el apar-
tado (ii) del ejemplo 2.1.1). Entonces T es compacto si, y sólo si, se
verifica lı́m λn = 0.
Demostración. Sea Pn la proyección ortogonal sobre el subespacio
Fn = span{f1 , . . . , fn }. Entonces los operadores Pn T y T − Pn T son
operadores diagonales con
( (
λj fj si 1 ≤ j ≤ n 0 si 1 ≤ j ≤ n
Pn T (ej ) = (T − Pn T )(ej ) =
0 si j > n, λj fj si j > n,
(ii) Sea g ∈ L∞ ([a, b]). El operador multiplicación T : L2 ([a, b]) → L2 ([a, b])
dado por T (f ) = gf , para f ∈ L2 ([a, b]), es un operador compacto si,
y sólo si, g = 0.
Demostración. Si g ∈ L∞ ([a, b]) es no nula, existen δ > 0 y un
conjunto medible A de medida positiva tales que |g(t)| > δ para todo
t ∈ A. Sea (en )n una base ortonormal en L2 (A). Sea ẽn ∈ L2 ([a, b])
dado por ẽn A = en y ẽn [a,b]\A = 0, n ∈ N. Entonces
2.4. Operadores compactos 176
Z
kT en − T em k2 ≥ |g(t)|2 |en (t) − em (t)|2 dt ≥ 2δ2
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
P∞
(iii) Sean (aij )∞ i,j=1 tal que
2
i,j=1 |aij | < ∞ y H1 , H2 dos espacios de
Hilbert separables. El operador A : H1 → H2 asociado a la matriz
i,j=1 por la fórmula (2.2) es un operador compacto.
(aij )∞
Demostración. Para cada n ∈ N utilicemos la fórmula (2.2) para
definir el operador An asociado a la matriz (bij )∞ i,j=1 , donde bij = aij
para 1 ≤ i, j ≤ n y bij = 0 en otro caso. Es P
claro que el operador
Pn An es
∞
acotado de rango finito y que kA − An k ≤ i,j=1 |aij | − i,j=1 |aij |2 ,
2 2
(iv) Sea k ∈ L2 ([a, b]×[a, b]). El operador integral K : L2 ([a, b]) → L2 ([a, b])
con núcleo k dado por la fórmula (2.4) es un operador compacto.
Demostración. Comenzamos haciendo notar que: si (en )n∈N es una
base hilbertiana de L2 ([a, b]), entonces (φnm )nm es base hilbertiana de
L2 ([a, b] × [a, b]), donde φnm (s, t) := en (s)em (t).
En efecto, por el teorema de Fubini A.3.8, se tiene
Z bZ b
hφnm , φpq i = en (s)em (t) ep (s)eq (t) ds dt = hen , ep ihem , eq i
a a
ces ft ∈ L2 ([a, b]) para casi todo t ∈ [a, b]. Llamando ωn (t) = hen , ft i,
t ∈ [a, b], se tiene que
2.4. Operadores compactos 177
∞
X ∞ Z b
X
2
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
X∞ Z b Z b 2
= f (t, u)en (u)em (s) ds du
m=1 a a
X∞
= |hf, φnm i|2 = 0.
m=1
Por tanto, para casi todo t ∈ [a, b], ft tiene nulos todos sus coeficientes
de Fourier en L2 ([a, b]) y consiguientemente es nula. De aquí se sigue
que f también es nula ya que
Z bZ b Z b
kf k22 = 2
|f (s, t)| ds dt = kft k2 dt = 0.
a a a
De este modo concluye la prueba de que (φnm )nm es una base ortonor-
mal de L2 ([a, b] × [a, b]).
El operador K está determinado por la matriz (hKem , en i)nm , pero
como k ∈ L2 ([a, b] × [a, b]) se tiene
∞
X
+∞ > kkk22 = |hk, φnm i|2
n,m=1
∞ Z b Z b
X 2
= k(s, t)en (s)em (t) ds dt
n,m=1 a a
∞
X Z b 2
= [k(s, t)em (t) dt] en (s) ds
n,m=1 a
X∞
= |hKem , en i|2 .
n,m=1
(v) Si k ∈ C([a, b]× [a, b]), el operador integral K con núcleo k definido por
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
es compacto.
Demostración. Fijado ε > 0, sea δ > 0 tal que
si |t1 − t2 | < δ y |s1 − s2 | < δ, entonces |k(t1 , s1 ) − k(t2 , s2 )| < ε.
Cuando |t1 − t2 | < δ tenemos la desigualdad
Z b
|Kf (t1 ) − Kf (t2 )| = (k(t1 , s) − k(t2 , s))f (s) ds
a
Z b
≤ sup |k(t1 , s) − k(t2 , s)| : s ∈ [a, b] |f (s)| ds (2.16)
a
≤ ε(b − a)kf k∞ .
Así, K(C([a, b])) ⊂ C([a, b]). De forma análoga se prueba que
K C([a,b])
: (C([a, b]), k · k∞ ) → (C([a, b]), k · k∞ )
es un operador acotado. Sea (fn )n∈N una sucesión en la bola unidad del
espacio (C([a, b]), k · k∞ ). La estimación (2.16) muestra que la sucesión
(Kfn )n∈N es uniformemente equicontinua. Como (Kfn )n∈N es unifor-
memente acotada, el teorema de Ascoli, véase [58, A5], nos dice que el
conjunto {Kfn : n ∈ N} es relativamente compacto en (C([a, b]), k·k∞ ).
Así, K es un operador de C([a, b]) en C([a, b]) compacto para la nor-
ma k · k∞ .
Teorema 2.5.1.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Por tanto, existe una sucesión (xn )n en H con kxn k = 1 tal que la sucesión
(h T xn , xn i)n , de números reales, converge a, digamos, λ ∈ R y |λ| = kT k.
2.5. Teorema espectral para operadores compactos normales 180
Corolario 2.5.3.
Si T es un operador normal compacto en un espacio de Hilbert sobre C,
entonces σp (T ) 6= ∅.
Proposición 2.5.4.
Sean H un espacio de Hilbert sobre K y T ∈ L(H) un operador compacto.
(i) Si λ 6= 0, entonces Ker(T − λI) es de dimensión finita (teorema de
Riesz).
(ii) Si T es además normal, entonces σp (T ) es un conjunto finito o nume-
rable. En caso de ser numerable, es una sucesión acotada que tiene al
0 como único punto de acumulación.
2.5. Teorema espectral para operadores compactos normales 181
infinita y sea (en )n∈N un conjunto ortonormal en dicho espacio. Por la com-
pacidad de T existe una subsucesión de (T en )n convergente, pero entonces,
como en = (1/λ)T en , alguna subsucesión
√ de (en )n es de Cauchy, lo cual es
imposible puesto que ken − em k = 2 si n 6= m. Esto prueba (i).
Veamos cómo se demuestra (ii). Dejamos al cuidado del lector probar que
la afirmación en (ii) es equivalente a esta otra:
M
H = Ker T ⊕ Ker(T − λI) . (2.19)
λ∈σp (T )\{0}
X
RD 0 x = λn Pλn x
n∈D\D0
y por tanto RD0 es un operador diagonal. Pero entonces, por el ejemplo 2.1.1
(ii), se tiene que
X
kT − λn Pλn k = kRD0 k = sup{|λn | : n ∈ D \ D0 }
n∈J0
Corolario 2.5.6.
Sean H un espacio de Hilbert sobre K y T ∈ L(H) un operador. Las
siguientes afirmaciones son equivalentes:
(i) T es un operador compacto autoadjunto.
(ii) Existen un conjunto ortonormal contable (en )n∈J en H y un conjun-
to contable de número reales (µn )n∈J , con cero como único punto de
acumulación, tales que
X
Tx = µn hx, en ien . (2.26)
n∈J
{n ∈ N : |µn | ≥ ε}
en este caso,
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
1 X µn
x= y+ hy, en ien + z,
λ µ
λ − µn
n∈Jλ
Por tanto, hx, en i = λ−1 (µn hx, en i + hy, en i), o sea (λ − µn )hx, en i = hy, en i.
Para probar (i) observamos que si λ 6∈ σp (T ) ∪ {0}, entonces λ − µn 6= 0
y podemos sustituir hx, en i por hx, en i/(λ − µn ) en la ecuación (2.29) para
obtener el único valor posible de x (si existe) que viene dado por
1 X µn
x= hy, en ien + y . (2.30)
λ λ − µn
n∈J
Sólo resta demostrar que la serie de la fórmula (2.30) converge y que, definido
así, x es solución de la ecuación (λI − T )x = y. Para la convergencia de la
serie basta observar que si σp (T ) es infinito, entonces lı́mn µn = 0 y por tanto
|µn /(λ − µn )| es acotada, con lo que
X µn 2
|hy, en i|2 < ∞,
λ − µn
n∈J
2.5. Teorema espectral para operadores compactos normales 189
(ii) A∗ A = I.
(iii) hAx, Ayi = hx, yi para todo x, y ∈ H.
Definición 2.5.9.
Un operador A ∈ L(H) en un espacio de Hilbert se dice unitario si
A es un isomorfismo isométrico.
Proposición 2.5.10.
Sea A ∈ L(H) un operador en H. Las siguientes afirmaciones son equi-
valentes:
(i) A es un operador unitario.
(ii) A es una isometría sobreyectiva.
(iii) A es sobreyectiva y hAx, Ayi = hx, yi para todo x, y ∈ H.
(iv) AA∗ = A∗A = I (es decir, existe A−1 = A∗ ).
Proposición 2.5.11.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 2.5.12.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
para cada x ∈ H.
Proposición 2.5.13.
Sean S, T ∈ L(H) operadores compactos autoadjuntos en el espacio de
Hilbert H. Las siguientes afirmaciones son equivalentes:
(i) Los operadores S y T son simultáneamente diagonalizables.
(ii) Se verifica que ST = T S.
Demostración. La implicación (i)⇒(ii) se comprueba inmediatamente.
Para probar el recíproco (ii)⇒(i), observemos que, como ST = T S, se tie-
ne S(T − λI) = (T − λI)S y por tanto, para cada λ ∈ K, el subespacio
Ker(T − λI) es invariante
P por S. Por el teorema espectral 2.5.5, T se expresa
en la forma T = n λn Pn , siendo (λn )n el conjunto de los diferentes valo-
res propios de T no nulos y Pn la proyección ortogonal sobre el subespacio
Ker(T − λn I), que es de dimensión finita e invariante por S. La restricción
de T a cada Ker(T − λn I) es un múltiplo de la identidad y por ello diagonali-
zable en cualquier base ortonormal de dicho subespacio. Aplicando de nuevo
el teorema espectal al operador S restringido a cada uno de los subespacios
Ker(T − λn I) se obtienen bases ortonormales en ellos que permiten diagona-
lizar S en Ker(T − λn I) y por supuesto también T . Del mismo modo puede
actuarse con la restricción de S a Ker T . Es claro que la unión de todos estos
conjuntos ortonormales permite una diagonalización simultánea de T y S.
y por tanto
X X
Tx = (αn + iβn )hx, en ien = µn hx, en ien , (2.31)
n∈J n∈J
Corolario 2.5.15.
Sean H un espacio de Hilbert sobre C y T ∈ L(H). Las siguientes afir-
maciones son equivalentes:
(i) El operador T es compacto normal.
(ii) Existen un conjunto ortonormal contable de vectores (en )n∈J y un con-
junto de escalares (µn )n∈J con 0 como único punto de acumulación,
tales que X
Tx = µn hx, en ien . (2.32)
n∈J
Corolario 2.5.16.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
(ii) Si 1/µ 6= µn para todo n, entonces para cada g ∈ L2 ([a, b]) existe
una única solución f de la ecuación (2.36) que viene dada por
X Z b
µj
f (t) = g(t) + µ g(s)ej (s) ds ej (t) , (2.37)
1 − µµj a
j
Sean (µn )n∈J y (en )n∈J como en el teorema 2.6.1. Entonces para cada
f ∈ L2 ([a, b]) se tiene
Z b X Z b
k(t, s)f (s)ds = λj f (s)ej (s)ds ej (t), para casi todo t ∈ [a, b].
a j∈J a
X∞ Z b
λj f (s)e (s) ds e (t),
j j
j=1 a
P
es uniformemente de Cauchy en [a, b], es decir, ∞ j=1 |λj hf, ej iej (t)|, es uni-
formemente de Cauchy en [a, b]. Tenemos
Xq X
q 1/2 X q 1/2
2 2
|λk ek (t)| |hf, ek i| ≤ |λk ek (t)| |hf, ek i| .
k=p k=p k=p
Pq
Como lı́mp,q k=p |hf, ek i|2 = 0, la prueba terminará si vemos que
q
X
sup sup |λk ek (t)|2 < +∞. (2.39)
p,q∈J t∈[a,b] k=p
Pero Z b
λk ek (t) = K(ek )(t) = k(t, s)ek (s) ds = hek , kt i
a
donde kt (s) := k(t, s). Y por tanto, para todo t ∈ [a, b]
X q 1/2 Xq 1/2
2 2
|λk ek (t)| ≤ |hek , kt i| ≤ kkt k2 ≤ sup kkt k2 < ∞.
k=p k=p t∈[a,b]
Z b 1/2
1 ′
2
≤ ken k2 k(t, s) − k(t , s) ds
|µn | a
1
≤ (b − a)1/2 sup |k(t, s) − k(t′ , s)|.
|µn | s∈[a,b]
Corolario 2.6.4.
Sea k ∈ L2 ([a, b] × [a, b]) un núcleo simétrico tal que
Z b
sup |k(t, s)|2 ds < ∞.
t∈[a,b] a
Sean (µn )n∈J y (en )n∈J como en el teorema 2.6.1. Entonces las series in-
volucradas en las fórmulas dadas en (2.37) y (2.38) convergen absoluta y
uniformemente en [a, b]. Consecuentemente las soluciones que allí se dan
coinciden en casi todo punto con la suma de estas series.
Demostración. Veamos que la tesis del corolario es cierta para las series
que intervienen en (2.37). Si 1/µ 6= µn , como lı́mn µn = 0, se tiene que
mı́n{|1 − µλk | : k ∈ J} ≥ δ,
para cierto δ > 0. Utilizando la proposición 2.6.2 se concluye que la serie
en (2.37) converge absoluta y uniformemente en [a, b]. El otro caso con la
serie (2.37) se razona igual.
2.6. Aplicaciones del teorema espectral 201
donde q ∈ C([a, b]) con valores reales, y ∈ C([a, b]) con valores complejos
y µ ∈ C . Una solución de esta ecuación es una función x ∈ C 2 ([a, b]) con
valores complejos que satisface la ecuación diferencial (2.40). El problema
(regular) de Sturm-Liouville consiste en hallar una solución de (2.40) que
verifique además las condiciones frontera siguientes:
para x ∈ DS .
El operador S se conoce con el nombre de operador de Sturm-Liouville.
En términos de S el problema de Sturm-Liouville planteado consiste en dada
y ∈ C([a, b], C) determinar x ∈ DS tal que
(S − µI)x = y. (2.44)
2.6. Aplicaciones del teorema espectral 202
Lema 2.6.5.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
(i) Para cada par de números reales xa , x′a , el problema de valores iniciales
−x′′ + qx = 0
x(a) = xa
x′ (a) = x′a
tiene una única solución que toma valores reales. Además, si (xa , x′a ) re-
corren la recta de ecuación αxa +α1 x′a = 0, α, α1 ∈ R con |α|+|α1 | =6 0,
las correspondientes soluciones recorren un subespacio vectorial real de
C 2 ([a, b]) de dimensión 1.
(ii) Existen soluciones reales no idénticamente nulas de los problemas
−x′′ + qx = 0 −x′′ + qx = 0
(Pa ) : (Pb ) :
Ba (x) = 0 Bb (x) = 0
Por lo tanto, W (ua , ub )(t) := ua (t)u′b (t)−ub (t)u′a (t) = M para todo t ∈ [a, b],
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 2.6.6.
Sea S el operador de Sturm-Liouville asociado al problema de Sturm-
Liouville (
−x′′ (t) + q(t)x(t) − µx(t) = y(t),
(2.45)
Ba (x) = 0 = Bb (x).
Si S es inyectivo en DS y ua , ub son funciones como en el lema anterior,
entonces se llama función de Green asociada a S a la función definida
mediante la fórmula
ua (t)ub (s)
− W (ua , ub )(a) si a ≤ t ≤ s ≤ b
k(t, s) := (2.46)
ua (s)ub (t)
− si a ≤ s ≤ t ≤ b.
W (ua , ub )(a)
Definición 2.6.7.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Proposición 2.6.8.
Sean S el operador Sturm-Liouville y G el operador de Green asociados
al sistema (2.45). Si S es inyectivo, entonces:
(i) G(C([a, b])) = DS .
(ii) GS = IDS y SG = IC([a,b]) .
siendo
Z t Z b
1 1
ϕa (t) = − ua (s)f (s) ds y ϕb (t) = − ub (s)f (s) ds.
M a M t
2.6. Aplicaciones del teorema espectral 205
De donde, derivando
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
h′ (t) = u′b (t)ϕa (t) + u′a (t)ϕb (t) + ub (t)ϕ′a (t) + ua (t)ϕ′b (t)
1 1
= u′b (t)ϕa (t) + u′a (t)ϕb (t) − ub (t) ua (t)f (t) + ua (t) ub (t)f (t)
M M
= u′b (t)ϕa (t) + u′a (t)ϕb (t).
Derivando de nuevo
1 1
h′′ (t) = u′′b (t)ϕa (t) − u′b (t) ua (t)f (t) + u′′a (t)ϕb (t) + u′a (t) ub (t)f (t),
M M
lo que prueba que h′′ es continua, y en consecuencia que Gf es una función
dos veces derivable con continuidad.
Por otra parte
( (
αu(a) + α1 u′ (a) = 0 βu(b) + β1 u′ (b) = 0
αv(a) + α1 v ′ (a) = 0 βv(b) + β1 v ′ (b) = 0
con incógnitas respectivas α, α1 y β, β1 , tienen ambos solución no nula.
Utilizando (i) y observando que si Sx = λx con x 6= 0 se tiene
λhx, xi = hλx, xi = hSx, xi = hx, Sxi = hx, λxi = λhx, xi,
concluimos que λ = λ, es decir (ii). La demostración de (iii) es idéntica a la
que aparece en la prueba de la proposición 2.3.15 (ii).
De las definiciones de S y DS junto con el primer apartado del lema 2.6.5
se sigue que los subespacios propios de S son unidimensionales. Por otra parte
q(t) es real y los valores propios también lo son, por tanto si Sx = µx con
x 6= 0, poniendo x = u + iv donde u y v son respectivamente las partes real
e imaginaria de x, se obtiene inmediatamente que Su = µu y Sv = µv. Pero
como u y v no pueden ser simultáneamente nulos alguno de ellos es un vector
propio no nulo con valores reales que engendra el subespacio unidimensional
Ker(S − µI). Esto prueba (iv).
Puesto que los subespacios propios correspondientes a vectores propios
distintos de S son ortogonales después de (ii) y L2 ([a, b]) es separable, sólo
puede haber, a lo más, una cantidad numerable de valores propios de S
distintos.
Lema 2.6.10.
Sean S el operador de Sturm-Liouville y G el de Green asociados al sis-
tema (2.45). Supongamos que S es inyectivo.
Consideremos G : L2 ([a, b]) → L2 ([a, b]). Entonces,
(i) El operador G es un operador integral con núcleo continuo y simétrico.
Por tanto G es un operador compacto autoadjunto.
(ii) Existe un conjunto de valores propios reales (λn )n no nulos y un con-
junto ortonormal de vectores propios asociados (un )n , que forman una
base de G(L2 ([a, b])), que permiten escribir para cada f ∈ L2 ([a, b]),
Z b ∞
X Z b
G(f )(t) = k(t, s)f (s) ds = λn f (s)un (s) ds un (t),
a n=1 a
Teorema 2.6.11.
Consideremos el problema de Sturm-Liouville
−x′′ + qx − µx = y
(2.49)
Ba (x) = Bb (x) = 0
∞ Z
X b
x(t) = x(s)un (s) ds un (t),
n=1 a
donde kt (s) := k(t, s), para s ∈ [a, b]. De aquí se sigue que
∞
X ∞
X
|λn |2 |un (t)|2 = |hkt , un i|2 ≤ kkt k22
n=1 n=1
2.6. Aplicaciones del teorema espectral 211
X∞ Z b ∞
X Z b Z b
2 2 2
|λn | |un (t)| = |λn | ≤ |k(t, s)|2 ds dt = kgkL2 ([a,b]×[a,b]) .
n=1 a n=1 a a
P 2
Esto prueba que ∞ n=1 νn
1
< ∞, es decir que (i) se cumple, y la prueba
del caso inyectivo está completa.
Para terminar completamente la prueba veamos ahora cómo el caso ge-
neral se puede reducir al caso inyectivo. Cada operador de Sturm-Liouville
está determinado por la función q que lo define. Supongamos que el opera-
dor S1 , que no es inyectivo, esté determinado por la función q1 . En virtud
del lema 2.6.9 el conjunto de valores propios de S1 es numerable por lo que
existe un número real c que no es un valor propio para S1 . Sea S el operador
de Sturm-Liouville asociado a la función q := q1 − c. Entonces el operador
S es inyectivo ya que si fuera Sx = 0 se tendría 0 = Sx = −x′′ + qx =
−x′′ + (q1 − c)x = S1 x − cx pero puesto que c no es un valor propio de S1
necesariamente x = 0 y por tanto S es inyectivo. Es claro que los valores pro-
pios de S1 se obtienen sumando c a los de S y que las funciones propias son
las mismas. Ello nos permite asegurar que el enunciado del teorema también
es cierto en el caso no inyectivo.
−x′′ − µx = y
x(0) = 0
x(1) = 0
Para resolverlo hay que determinar los valores propios y los vectores propios
de S en DS . Si Sx = αx, entonces
′′
x + αx = 0
x(0) = 0
x(1) = 0
x′′ + αx = 0
viene dada por x(t) = Aew1 t + Bew2 t , t ∈ [a, b], siendo w1 , w2 las soluciones
de la ecuación característica
w2 + α = 0
√ √
que, en nuestro caso, son w1 = + −α y w2 = − −α. La solución general
es por tanto √ √
x(t) = Ae −αt + Be− −αt , t ∈ [a, b].
Las condiciones frontera exigen
(
x(0) = 0 = A + B
√ √
x(1) = 0 = Ae −α + Be− −α .
2.6. Aplicaciones del teorema espectral 213
√
mente A 6= 0 siendo por tanto e 2 −α = 1 = e2kπi . Así los valores propios son
(kπ) , k = 1, 2, 3, . . . , con vectores propios correspondientes los múltiplos
2
donde C es arbitrario.
Ejemplo 2.6.14. Algunos problemas de ecuaciones en derivadas parciales
pueden reducirse a problemas de Sturm-Liouville usando el método de sepa-
ración de variables. Así ocurre con el problema de Dirichlet en un cuadrado
que analizamos en este ejemplo.
Sean a, b > 0 y C = [0, a] × [0, b] se trata de encontrar una función
u : C −→ R armónica en el interior de C, es decir,
∂2u ∂2u
△u = + 2 = 0, (2.50)
∂x2 ∂y
que verifique las siguientes condiciones:
2.6. Aplicaciones del teorema espectral 214
(ii) u(x, 0) = f (x) para todo x ∈ [0, a], donde f de clase C 2 ([0, a]) que se
anula en 0 y a.
(iii) u(x, b) = 0 para todo x ∈ [0, a].
Resolución. Para resolverlo supongamos que exista una solución de
variables separadas, es decir, que se pueda expresar en la forma u(x, y) =
α(x)β(y), lo cual, llevado a la ecuación de Laplace (2.50), se convierte en
r Z a nπ nπ nπb
2
f (x) sen x dx = An senh − b = −An senh , (2.52)
a 0 a a a
lo que permite calcular An y escribir, todavía en un nivel puramente formal,
∞ r Z a
X nπ senh nπ(b − y)a−1 nπ
2
u(x, y) = f (t) sen t dt sen x .
a 0 a senh(nπba−1 ) a
n=1
Vamos a probar que esta serie converge y que su suma es la solución del
problema de Dirichlet en elPcuadrado.
Para cada n la función nk=1 uk es armónica en el interior de C, continua
en C y verifica:
Pn Pn
(i) k=1 uk (0, y) = 0 = k=1 uk (a, y) = 0 para todo y ∈ [0, b].
Pn
(iii) k=1 uk (x, b) = 0 para todo x ∈ [0, a].
Pn
(iv) k=1 uk (x, 0) converge uniformemente a f (x), como hemos visto en
(2.52).
El aserto siguiente permite concluir que la serie
∞
X
u(x, y) = un (x, y)
n=1
2.7. Ejercicios
P
2.1 Sea H un espacio de Hilbert separable y sea ∞ n=1 fn una serie
absolutamente convergente en H. Demuestre que existe A ∈ L(H) tal
que A(en ) = fn , siendo (en ) una base ortonormal de H.
L
2.2 Sea (Hi )i∈I una colección de espacios de Hilbert y sea H = i Hi .
Sea Ai ∈ L(Hi ). Pruebe que existe un operador lineal continuo A ∈ L(H)
que coincide con Ai al restringirlo a Hi si, y sólo si, supi∈I kAi k < ∞; y
en ese caso dicho supremo coincide con kAk.
2.3 Pruebe mediante ejemplos que existen matrices (aij )∞ i,j=1 tales que
P∞
i,j=1 |aij | < ∞ y que no verifican las condiciones del test de Schur
2
2.4 Sea (aij )ij una matriz infinita tal que existen pi > 0, i ∈ N, β > 0,
γ > 0 de modo que
∞
X ∞
X
|aij |pi ≤ βpj , para todo j; |aij |pj ≤ γpi para todo i.
i=1 j=1
2.10 Sea H un espacio de Hilbert separable y sea (en )n una base hil-
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
(iii) M1 ⊂ M2 .
(iv) P2 P1 = P1 .
(v) P1 P2 = P1 .
(vi) P2 − P1 es una proyección ortogonal.
Suponga que P2 − P1 es una proyección ortogonal. Determine, en este
caso, Im(P2 − P1 ) y Ker(P2 − P1 ).
2.15 Pruebe que si A, B son operadores positivos en un espacio de
Hilbert y t ≥ 0 entonces A + B y tA son también operadores positivos.
Pruebe que 0 ≤ A ≤ B no implica A2 ≤ B 2 .
2.16 Pruebe que si A es un operador positivo entonces I + A es un
operador invertible.
2.17 Sea H un espacio de Hilbert. Un operador acotado T ∈ L(H) se
dice positivo si T = T ∗ y para todo x ∈ H se verifica hT x, xi ≥ 0. Sea
I el operador identidad y pongamos T 0 := I.
(i) Sea T ∈ L(H) un operador positivo.
(a) Demuestre que, para todo operador S ∈ L(H), el operador
S ∗ T S es positivo. Deduzca de lo anterior que T n es positivo
para cada n ∈ N.
(b) Demuestre que, para todo x, y ∈ H, se tiene
hT x, T xi ≤ hT x, xi.
convergente.
(c) Pruebe que existe P x := lı́mn T n x para cada x ∈ H y que, así
definido, P es un operador autoadjunto que satisface
T P = P = P T.
convergencia R, 0 < R ≤ ∞.
(i) Pruebe que existe un operador T , que se denota con T = f (A), tal
que cualesquiera que sean x, y en H se verifica
∞
X
hT x, yi = an hAn x, yi.
n=0
P
(ii) Pruebe que T = ∞ n=0 an A para la norma de L(H).
n
es continua.
(v) Demuestre que todo operador de rango finito es de Hilbert-Schmidt.
Pruebe que los operadores de rango finito son un subespacio denso
en el conjunto de los operadores de Hilbert-Schmidt para la norma
k · kHS y que los operadores de Hilbert-Schmidt son compactos.
a b
b c
aji . Pruebe que existe una matriz infinita ortonormal (i.e. sus columnas
son vectores ortonormales) U tal que U ∗AU es diagonal.
2.37 Sea H = L2 ([0, 1]) con la medida de Lebesgue y para cada f ∈ H
pongamos
Z x Z 1
iπx −iπt −iπt
T (f )(x) := ie e f (t) dt − e f (t) dt ,
0 x
lı́m kT fn − T f k2 = 0.
n
Sturm–Liouville siguiente
Mis notas
230
es a su vez equivalente a
Así pues, una condición necesaria para que exista f˜ cumpliendo (3.1) es
que exista α ∈ R satisfaciendo
f (z)+f (w) = f (z +w) ≤ p(z +w) = p(z +x0 +w−x0 ) ≤ p(z +x0 )+p(w−x0 )
para cada z, w ∈ Y .
se obtiene del lema anterior que |f˜(x)| ≤ p(x) y que f˜ es una extensión
C-lineal de f .
Corolario 3.1.7.
Si (X, k · k) es un espacio normado sobre K, Y es un subespacio vectorial
de X y f : Y −→ K es una aplicación lineal y continua, entonces existe
f˜ : X −→ K extensión lineal continua de f con kf˜k = kf k.
donde E = {f ∈ X ∗ : Y ⊂ Ker f }.
(v) Si S es un subconjunto de X, entonces
\
span S = Ker f,
f ∈E
donde E = {f ∈ X ∗ : S ⊂ Ker f }.
(vi) Un conjunto S ⊂ X es total (es decir, su clausura lineal cerrada coin-
cide con X) si, y sólo si, la única aplicación lineal y continua que se
anula en S es la nula.
(vii) Sean {x1 , x2 , . . . , xn } ⊂ X linealmente independientes, entonces existen
{f1 , f2 , . . . , fn } ⊂ X ∗
topológico1 .
(ix) Si Y es un subespacio de X, la aplicación restricción ψ : X ∗ −→ Y ∗ es
lineal continua, sobreyectiva y abierta. En particular si X ∗ es separable,
Y ∗ también lo es.
Demostración.
(i) Dado x 6= 0, la aplicación f0 (ax) := akxk es lineal continua en el
subespacio de X engendrado por x y tiene norma 1. Cualquier extensión
lineal f de f0 que conserve la norma satisface las condiciones pedidas.
(ii) Sea α := sup{|f (x)| : f ∈ BX ∗ }. Como |f (x)| ≤ kf kkxk se tiene
α ≤ kxk. Por el apartado anterior, existe f ∈ SX = {f ∈ X ∗ : kf k = 1}
con f (x) = kxk y así se tiene probado (ii).
(iii) La aplicación f0 definida por la fórmula f0 (y + ax) := a para cada
y ∈ Y , a ∈ K, es una aplicación lineal continua con dominio el subes-
pacio vectorial generado por Y y x. Además,
|a| 1 1
kf0 k = sup : y + ax 6= 0 = sup : y∈Y = .
ky + axk ky + xk δ
Proposición 3.1.10.
Sean X un espacio normado e Y un subespacio vectorial cerrado de X.
Sea Q : X −→ X/Y la aplicación cociente y sea Y ⊥ := {f ∈ X ∗ : f (Y ) = 0}
el ortogonal de Y . Entonces:
(i) La aplicación α : X ∗ /Y ⊥ −→ Y ∗ definida por α(g + Y ⊥ ) = g Y
es un
isomorfismo isométrico.
(ii) La aplicación β : (X/Y )∗ −→ Y ⊥ definida por β(g) = g ◦ Q es un
isomorfismo isométrico.
kg Y
k = k(g + h) Y
k ≤ kg + hk,
Teorema 3.1.13.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Afirmación B. c0 ⊂ Ker L.
Para x ∈ c0 escribimos x(1) := x′ y x(n+1) := (x(n) )′ para n ≥ 1.
Observemos que x(n+1) − x = [x(n+1) − x(n) ] + · · · + [x(1) − x] ∈ F y
por lo tanto L(x(n) ) = L(x) para cada n ∈ N. Si ε > 0, tomamos nε
tal que |xm | < ε para m > nε . Se tiene
Así x ∈ Ker L.
Definición 3.1.14.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Proposición 3.1.16.
Si (X, ≤) es un espacio vectorial ordenado entonces el conjunto de los
elementos positivos, P = {x ∈ X : x ≥ 0}, satisface las propiedades (i) y (ii)
de la definición anterior. P es un cono (i.e. verifica además (iii)) si, y sólo
si, ≤ satisface la propiedad antisimétrica. Recíprocamente, si X es un espacio
vectorial real y P ⊂ X es un cono, entonces la relación ≤ definida por
Definición 3.1.17.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
T (x) ≥ 0, para x ≥ 0.
x = p1 + (y − p2 ) ∈ (Y − P ) + (Y − P ) ⊂ Y − P.
{f (y1 ) : y1 ∈ Y, y1 ≥ x1 } + {f (y2 ) : y2 ∈ Y, y2 ≥ x2 }
⊂ {f (y) : y ∈ Y, y ≥ x1 + x2 }
Corolario 3.1.20.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 3.2.1.
Sea X un espacio normado sobre K. Diremos que X tiene la propie-
dad de extensión si para cada terna (Y, Y0 , T0 ), donde Y es un espacio
normado sobre K, Y0 un subespacio vectorial de Y y T0 : Y0 −→ X una
aplicación lineal continua, existe una aplicación lineal T : Y −→ X que
extiende a T0 con kT k = kT0 k.
Observaciones
• Si X tiene la propiedad de extensión, entonces X es un espacio de
e X, I), siendo X
Banach. Esto se obtiene de la definición aplicada a (X, e
el completado de X e I la identidad de X en X.
• Utilizando el lema de Zorn, en la forma usual, es fácil probar que X
tiene la propiedad de extensión si, y sólo si, X tiene la propiedad de
extensión “inmediata”, que corresponde a considerar en la definición
anterior únicamente ternas para las que Y0 es de codimensión 1 en Y .
3.2. La propiedad de extensión 250
Definición 3.2.3.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Xn
X k n
X
aj x j
=
aj xj + ak+1 xk − ak+1 xk + aj x j
j=1 j=1 j=k+1
Xk−1 n
X
=
aj xj + (ak + ak+1 )xk + aj xj + ak+1 (−xk + xk+1 )
j=1 j=k+2
Xk−1 n
X
≤
aj xj +(ak + ak+1 )xk + aj xj
+ kak+1 (−xk + xk+1 )k
j=1 j=k+2
k−1
X n
X
≤ |aj |rj + |ak + ak+1 |rk + |aj |rj + |ak+1 |kxk − xk+1 k
j=1 j=k+2
k−1
X n
X
= aj rj + (ak + ak+1 )rk + −aj rj − ak+1 (rk + rk+1 )
j=1 j=k+2
Xn
= |aj |rj
j=1
sin más que aplicar a cada una de las dos normas que aparecen en las ecua-
ciones anteriores las fórmulas (In−1 ) e (I2 ) respectivamente.
Por brevedad nos referiremos a una aplicación P del tipo anterior como
una proyección de Y sobre X. Aunque la equivalencia entre la propiedad de
extensión y la propiedad de proyección puede establecerse de forma directa,
aquí será probado a través de la propiedad de intersección, cerrando, como
se verá, un ciclo de equivalencias.
3.2. La propiedad de extensión 253
condición buscada.
Desde luego, la función | · | satisface |λx| = |λ||x| y |x| ≤ kxk, para
cada x ∈PX y cada λ ∈ R. Pero de hecho se tiene |x| = kxk, P ya que si
x = x + j∈J aj (xj − y0 ), con x ∈ X, entonces necesariamente j∈J aj = 0
′ ′
tales que
X X
kx1 k + |aj |rj < |y1 | + ε/2 y kx2 k + |aj |rj < |y2 | + ε/2.
j∈J1 j∈J2
P P
Así, y1 + y2 = (x1 + x2 ) + j∈J1 aj (xj − y0 ) + j∈J2 aj (xj − y0 ), siendo
X X
|y1 + y2 | ≤ kx1 + x2 k + |aj |rj + |aj |rj
j∈J1 j∈J2
X X
≤ kx1 k + |aj |rj + kx2 k + |aj |rj
j∈J1 j∈J2
X X X X
′
ε > kx k + |aj |rj ≥ |aj |rj ≥ r |aj | ≥ r aj = r|a|,
j∈J j∈J j∈J j∈J
y en consecuencia \
P (y0 ) ∈ B[xi , kP kri ].
i∈I
Lema 3.2.7.
Una colección de bolas cerradas en R tiene intersección no vacía si, y sólo
si, cada pareja de ellas tiene intersección no vacía.
Y tomando ínfimos
c ≤ ı́nf dj =: d.
j∈I
\
En consecuencia [c, d] ⊂ B[xi , ri ].
i∈I
Lema 3.2.8.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
impide que las bolas puedan ser tangentes externas dos a dos, es decir, que
cada pareja sólo tenga en común un punto. En efecto, si tal cosa ocurriera,
mediante una traslación podría suponerse que z3 = 0, y entonces la ecua-
ción (3.6) se traduce en
para todo a, b ∈ C. Eligiendo a y b para que az1 = |z1 | y bz2 = |z2 | (con lo
cual |a| = |b| = 1), la desigualdad precedente se transforma en
|α(z1 − z) + β(z2 − z) + (z − z3 )|
= α|z1 − z|eiθ1 + β|z2 − z|eiθ2 + |z − z3 |eiθ3
= λei(θ3 −θ1 ) |z1 − z|eiθ1 + µei(θ3 −θ2 ) |z2 − z|eiθ2 + |z − z3 |eiθ3
= λ|z1 − z| + µ|z2 − z| + |z − z3 |
= λ|z1 − z| + µ|z2 − z| + |z − z3 |
= |α||z1 − z| + |β||z2 − z| + |z − z3 |
Como ya dijimos con ocasión del lema 3.2.7, también el lema 3.2.8 pro-
porciona, junto con el teorema 3.2.6, una prueba alternativa para el teorema
de Hahn-Banach en el caso de los espacios normados complejos.
Analizamos ahora la condición (3.5) que aparece en la definición 3.2.3 en
términos del dual.
Definición 3.2.9.
Una colección {B[xi , ri ] : i ∈ I} de bolas cerradas en un espacio
normado X se dice que tiene la propiedad de intersección débil si la
colección de bolas {B[x∗ (xi ), ri ] : i ∈ I} tiene intersección no vacía en
K para cada x∗ ∈ BX ∗ .
Proposición 3.2.10.
Sea {B[xi , ri ] : i ∈ I} una familia de bolas cerradas en el espacio normado
X sobre K. Son equivalentes:
(i) La familia {B[xi , ri ] : i ∈ I} tiene la propiedad de intersección débil.
(ii) La familia {B[xi , ri ] : i ∈ I} cumple la propiedad siguiente: para cada
J ⊂ I finito, y cada familia (aj )j∈J ⊂ K
X
X
X
aj x j
si aj = 0 entonces
≤ |aj |rj .
j∈J j∈J j∈J
Además:
(iii) Para K = R, cada una de las condiciones anteriores equivale a que las
bolas se corten dos a dos.
(iv) Para K = C, cada una de las condiciones anteriores equivale al caso
particular de (ii) que se obtiene al exigir, además, card J = 3.
Demostración.
P Veamos en primer lugarT que (i) implica (ii). Sean J ⊂ I
finito y j∈J aj = 0. Si x∗ ∈ BX ∗ y α ∈ i∈I B[x∗ (xi ), ri ] se tiene
3.2. La propiedad de extensión 261
X
∗ X X X
x ∗ aj x (xj ) − α ≤
∗
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 3.3.2.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Demostración.
T Sea (Gn )n∈N una sucesión de abiertos densos. Para demos-
trar que n∈N Gn es denso,Tprobaremos que para cualquier abierto no vacío
V ⊂ M se tiene que V ∩ ( n∈N Gn ) es no vacío. Por la densidad de G1 en
M , G1 ∩ V es un abierto no vacío. Tomemos x1 ∈ M y r1 < 1 de modo que
B[x1 , r1 ] ⊂ V ∩ G1 . Por la densidad de G2 en M , existen x2 ∈ M y r2 < 1/2
de modo que B[x2 , r2 ] ⊂ G2 ∩B(x1 , r1 ) ⊂ G1 ∩G2 ∩V . Por inducción se cons-
truyen sucesiones (xn )n en M y (rn )n en (0, ∞) con rn < 1/n, de modo que
B[xn , rn ] ⊂ Gn ∩ B(xn−1 , rn−1 ) ⊂ G1 ∩ G2 . . . Gn ∩ V . La sucesión (xn )n así
construida es de Cauchy puesto que B(xn , rn ) ⊂ B[xn , rn ] ⊂ B(xn−1 , rn−1 )
y lı́mn rn = 0. Y si denotamos con x el límite de (xn )n se tiene que x ∈
⊂ Gn ∩ V para cada n, debido a que B[xn , rn ] es cerrado. Es decir,
B[xn , rn ] T
x ∈ V ∩ ( n∈N Gn ).
Corolario 3.3.4.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
tiene kAi yk ≤ 2n0 para todo i ∈ I, o sea, supi∈I kAi k < ∞ y D es vacío.
Esto prueba (i).
Veamos ahora (ii). Si D es denso, entonces todos los Dn son densos,
pero, recíprocamente, si todos los Dn son densos también lo es D, como
consecuencia del teorema de Baire. Por tanto se tiene la siguiente alternativa:
o algún Dn no es denso, en cuyo caso Dnc tiene interior no vacío, y procediendo
como en el apartado anterior se obtendría que D es vacío y supi∈I kAi k < ∞;
o bien todos los Dn son densos, en cuyo caso D también es denso.
Corolario 3.3.8.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
donde M := supn kTn k < ∞. Por otro lado existe n0 ∈ N tal que kTn xi k < ε/2,
si n ≥ n0 y 1 ≤ i ≤ p. Si x ∈ A, entonces existe xj tal que x ∈ B(xj , ε/2M )
y, por tanto,
ε ε
kTn xk ≤ kTn (x − xj )k + kTn (xj )k < + = ε.
2 2
Así pues, lı́m Tn x = 0 uniformemente en el compacto A.
3.3. Teorema de la acotación uniforme 267
Corolario 3.3.9.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 3.3.10.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
f (z) − f (a)
lı́m =: f ′ (a)
z→a z−a
Al ser {Γ(θ) : θ ∈ [0, 2π]} compacto, {x∗ f (Γ(θ)) : θ ∈ [0, 2π]} también lo
es, para cada x∗ ∈ X ∗ y, por tanto, {f (Γ(θ)) : θ ∈ [0, 2π]} es un conjunto
acotado en X (véase el corolario 3.3.9). Por otra parte, fijados z y w existe
(véase el corolario 3.1.8) x∗ ∈ SX ∗ tal que kG(z, w)k = |x∗ G(z, w)| y en
consecuencia, si z, w ∈ B(z0 , r/2) la ecuación (3.10) conduce a
1 α|z − w| 4
kG(z, w)k = |x∗ G(z, w)| ≤ 2πr = 2 α|z − w|,
2π (r/2)(r/2)r r
Corolario 3.3.12.
Sean (X, k · k) un espacio de Banach complejo y f : C → X una función
holomorfa para la que x∗ f es acotada para cada x∗ ∈ X ∗ . Entonces f es
constante.
Demostración. Para cada x∗ ∈ X ∗ , x∗ f es una función entera acotada.
Por el teorema de Liouville x∗ f es constante y así x∗ f (z) = x∗ f (0) para
cada z ∈ C. Como X ∗ separa los puntos de X (véase el corolario 3.1.8) se
obtiene que f (z) = f (0) para cada z ∈ C.
Teorema 3.3.13.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
un Gδ -denso de [0, 2π], véase la proposición 3.3.16, pero sin embargo, las
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
x ∈ c, el teorema
P∞de Banach-Steinhaus 3.3.8 nos dice que f n es continua
n
P y que
supk kfk k = m=1 |knm | < ∞. De aquí se sigue que kf k = ∞
n
m=1 nm |.
|k
Dado que M es un método de sumabilidad permanente, para cada x ∈ c,
la sucesión (f n (x))n es convergente, y una nueva aplicación del teorema de
Banach-Steinhaus nos da ahora que
nX
∞ o
n
sup{kf k : n ∈ N} = sup |knm | : n = 1, 2, . . . = s < ∞,
m=1
Entonces
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
X∞ X ∞ X∞
|yn − λ| = knm xm − λ ≤ knm (xm − λ) + |λ| knm − 1
m=1 m=1 m=1
X
m0 X ∞
≤ knm (xm − λ) + knm (xm − λ) + |λ|ε
m=1 m=m0 +1
≤ c1 ε + sε + |λ|ε,
s∗ (f ; x) := sup{|sn (f ; x)| : n ∈ N} = ∞,
Qf := {x ∈ [−π, π] : s∗ (f ; x) = ∞}
y {x : m < s∗ (f, x)} es abierto, puesto que las sumas de Fourier sn de una
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
De hecho puede probarse (véase [59, sección 5.3]) que F y los conjuntos
Qf son no numerables.
Cuando las funciones f de X = f ∈ C([−π, π]) : f (π) = f (−π) son
además de clase C 1 se tiene que lı́mn−→∞ sn (f ; x) = f (x) para cualquier
x ∈ [−π, π]. Este resultado debido a Dirichlet llevó a matemáticos como
el propio Dirichlet, Riemann, Weierstrass o Dedekind a conjeturar que lo
análogo debiera ser cierto para cualquier f ∈ X. El teorema 3.3.16, que
se debe también a S. Banach, es un resultado que niega la convergencia
en conjuntos de puntos Gδ densos para un conjunto amplio de funciones
continuas 2π-periódicas. Sin embargo, L. Carleson fue capaz de probar en
1966 que para cualquier función continua f se tiene lı́mn sn (f ; x) = f (x)
para casi todo x ∈ [−π, π]; incluso si f ∈ L2 ([−π, π]) el resultado sigue siendo
cierto, [8]. El resultado de Carleson forma parte de las aportaciones esenciales
del análisis matemático al conocimiento del siglo pasado. Considerando las
medias de Césaro de las sumas parciales de la serie de Fourier se obtienen
otros resultados de convergencia a la función inicial f , [41].
La figura que sigue muestra la aproximación a la función f (x) = x3 en el
intervalo [−3, 3] mediante sumas parciales de su serie de Fourier.
30
20
10
-10
-20
-30
-3 -2 -1 0 1 2 3
Proposición 3.4.2.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
es de Banach y A es acotado,
P P∞ entonces para cada sucesión (λn )n en [0, 1] con
∞
n=1 λn = 1,Pla serie n=1 λn xn converge en X cualquiera que sea (xn )n
en A, ya que ∞ n=1 kλn xn k < ∞. Como A es CS-cerrado se concluye que la
suma de la serie anterior se queda en A y así acaba la prueba.
Proposición 3.4.3.
Sean X, Y espacios normados y T : X −→ Y lineal y continua. Si A ⊂ X
es CS-compacto, entonces T (A) es CS-compacto.
P
Demostración. Sean (T xn )n ⊂ TP(A) y (λn )n ⊂ [0, 1] tal que ∞ n=1 λn = 1.
Como A es CS-compacto, la P serie λn xn converge a un punto x ∈ A y por
la continuidad de T , la serie λn T xn converge a T x ∈ T (A).
3.4. Teoremas de la aplicación abierta y de la gráfica cerrada 278
Proposición 3.4.4.
Sean X un espacio normado y A ⊂ X CS-cerrado. Entonces A y A tienen
el mismo interior.
n+1
1
X 1
r
kSn + (x − x n+1 )k =
(x − x k
< n+2
)
2n+1 2k 2
k=1
Corolario 3.4.6.
Sean X e Y espacios de Banach y T : X → Y una aplicación lineal
continua. Son equivalentes:
(i) T es sobreyectiva.
(ii) T es abierta.
Corolario 3.4.9.
mación (ii) se sigue del apartado anterior. Para demostrar (iii) definimos en
X la norma kxk1 = kyk + kzk supuesto que x = y + z con y ∈ N, z ∈ M . Las
proyecciones canónicas son continuas para la norma k·k1 y como kxk ≤ kxk1 ,
las dos normas son equivalentes por el apartado (ii) ya que (X, k · k1 ) es un
espacio de Banach también.
Proposición 3.4.14.
Sean (X, k·k) un espacio de Banach e Y un subconjunto de X ∗ que separa
los puntos de X (si x 6= y entonces existe x∗ ∈ Y tal que x∗ (x) 6= x∗ (y)).
Si k · k1 es otra norma para la cual X es completo y los elementos de Y
son continuos en dicha norma, entonces k · k y k · k1 son equivalentes; en
3.4. Teoremas de la aplicación abierta y de la gráfica cerrada 283
vectorial X producen el mismo dual topológico si, y sólo si, son equivalentes.
Demostración. Basta probar que la identidad I : (X, k · k) → (X, k · k1 )
tiene gráfica cerrada, o lo que es lo mismo, que si (xn )n es una sucesión en
X tal que x = lı́mn xn en k · k e y = lı́mn xn en k · k1 , entonces x = y. Por
hipótesis, si y ∗ ∈ Y entonces y ∗ es continua para ambas normas k · k y k · k1 ;
en consecuencia y ∗ (x) = lı́mn y ∗ (xn ) = y ∗ (y) para cada y ∗ ∈ Y , y dado que
Y separa los puntos de X concluimos que x = y.
Definición 3.4.16.
Sea X un espacio normado. Una base de Schauder en X es una
sucesión (xn )n∈N ⊂ X, con kxn k = 1 tal que, para cada x ∈ X existe
una sucesión (λn )n∈N en KX , unívocamente determinada, que satisface
la igualdad
∞
X
x= λn (x)xn .
n=1
(n
Ejemplo 3.4.17. La sucesión (en )n∈N definida por en := (0, . . . , 1 , 0, . . . )
es base de Schauder natural en los espacios de sucesiones c0 y ℓp (1 ≤ p <
∞), como es fácil comprobar. Los espacios de funciones (C([0, 1]), k · k∞ )
y (Lp [0, 1], k · kp ) también tienen base de Schauder, pero en estos casos la
construcción no es tan sencilla, véase [54, Chapter III].
Si ahora (y(n))n es una sucesión de Cauchy en (Y, ||| · |||), entonces para cada
n, m ∈ N se tiene, como consecuencia de la ecuación (3.15),
se obtiene que
Xi
sup
(y(n)j − yj )xj
≤ ε. (3.16)
i j=1
i
X
T (y(nε )) − y(nε )j xj
< ε.
j=1
Definición 3.5.1.
Un espacio vectorial topológico es un espacio vectorial E con una
topología T Hausdorff tal que las aplicaciones s : E[T ]×E[T ] → E[T ]
y p : K × E[T ] → E[T ] definidas por s(x, y) = x + y y p(λ, x) = λx
son continuas.
Definición 3.5.3.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
si para cada punto fijamos a través de una base de filtro lo que será una base
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
T
Es útil tener presente que la convergencia de una sucesión (o red) xj → x
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
x+y σ′ x ρ′ y
= + ∈A
σ ′ + ρ′ σ ′ + ρ′ σ ′ σ ′ + ρ′ ρ′
y en consecuencia podemos concluir que pA (x+y) ≤ pA (x)+pA (y). Obsérvese
que si A es equilibrado y t > 0 entonces la condición λx ∈ tA equivale
a |λ|x ∈ tA, para cada λ ∈ K. Así, cuando A es absolutamente convexo
tenemos que para λ ∈ K, λ 6= 0, la igualdad
pA (λx) = ı́nf{t > 0 : x ∈ |λ|−1 tA} = |λ|ı́nf{|λ|−1 t : x ∈ |λ|−1 tA} = |λ|pA (x)
establece que pA es una seminorma. Nos queda sólo demostrar las inclusio-
nes (3.20). Es claro que A ⊂ {x ∈ E : pA (x) ≤ 1}. Por otro lado si A es
absorbente y convexo y x ∈ λA para λ > 0 entonces x ∈ ρA para ρ > λ, de
donde se sigue que {x ∈ E : pA (x) < 1} ⊂ A.
Teorema 3.5.12.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 3.5.14.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
donde
V (f, z1 , z2 , ..., zn , ε) = g ∈ KZ : |f (zi ) − g(zi )| < ε, i = 1, 2, ..., n .
donde
donde
donde
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
V (f, K, ε) = g ∈ C(S) : |f (x) − g(x)| < ε; para cada x ∈ K .
compactos de Ω.
En el espacio E m (Ω) se considera la topología de la convergencia uni-
forme sobre compactos de las funciones y sus derivadas hasta el grado
m. Una familia de seminormas definiendo dicha topología es {pK : K ∈
K } donde
pK (f ) := sup sup |D α f (x)|
|α|≤m x∈K
∂ |α| f (x)
D α f (x) :=
∂xα1 1 ∂xα2 2 · · · ∂xαk k
Definición 3.6.2.
Un espacio de Fréchet es un espacio localmente convexo metrizable
y completo.
y en consecuencia, tenemos que εU = {x ∈ E : pU (x) < ε} : ε > 0 es
una TpU -base de entornos del origen en E. Para probar que T ≤ TpU es
suficiente demostrar que dado un T -entorno del origen V , existe ε > 0 tal
que εU ⊂ V , lo que se obtiene de la definición de acotación para U .
Teorema 3.7.1.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
f [(α1 , α2 , . . . , αn )] = α1 u1 + α2 u2 + · · · + αn un ,
Corolario 3.7.3.
Sea E[T ] un e.l.c.
(i) Si F ⊂ E es un subespacio, entonces la aplicación restricción
Definición 3.7.4.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición 3.7.6.
Sean E[T ] un e.v.t, f ∈ E ′ y α ∈ R. Los semiespacios abiertos
(resp. cerrados) en E[T ] determinados por f y α son los conjuntos
Dado que f (A) y f (B) son intervalos abiertos de la recta real, se concluye
que f (a) < α < f (b) para cada a ∈ A y cada b ∈ B y en consecuencia A y
B están estrictamente separados por un hiperplano real cerrado.
Obsérvese que la tesis del corolario anterior sigue siendo válida si se su-
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Corolario 3.7.11.
Sean E[T ] un e.l.c. y A un subconjunto de E. La envoltura convexa y
cerrada de A es la intersección de todos los semiespacios que contienen a A
determinados por hiperplanos afines cerrados en E, i.e,
\
co(A) = Fα .
A⊂Fα
T
En particular, si A es convexo y cerrado, entonces A = A⊂Fα Fα .
T
Demostración. Claramente se tiene co(A) ⊂ A⊂Fα Fα . Por otro lado si
x 6∈ co(A), entonces existen una forma f : E → R lineal y continua y α ∈ R
tales que f (x) > α > f (y) para cada y ∈ co(A). Esto significa que para el
semiespacio determinado por Tf y α se tiene que x 6∈ Fα mientras que A ⊂ Fα ,
lo que prueba que co(A) = A⊂Fα Fα .
F = {x ∈ E : f (x) = 0 si f ∈ E ′ y f |F = 0}.
3.8. Pares duales. Polares. El teorema bipolar 310
Corolario 3.7.14.
Sean E[T ] un e.l.c. y S un subconjunto de E. Son equivalentes:
T
(i) S es total en E[T ], i.e, span S = E.
(ii) Si f ∈ E ′ y f |S = 0, entonces f = 0 en E.
Definición 3.8.1.
Un par dual hF, Gi son dos espacios vectoriales F y G y una aplica-
ción bilineal h·, ·i : F × G → K satisfaciendo:
(i) Si hx, yi = 0 para cada x ∈ F , entonces y = 0.
(ii) Si hx, yi = 0 para cada y ∈ G, entonces x = 0.
Ejemplo 3.8.2.
(i) Si E es un espacio vectorial y E ∗ su dual algebraico, hE, E ∗ i es un
par dual con la aplicación bilineal natural hx, x∗ i = x∗ (x) para cada
(x, x∗ ) ∈ E × E ∗ .
(ii) Si E[T ] es un e.l.c. y E ′ es su dual topológico, entonces hE, E ′ i es
un par dual con la aplicación bilineal hx, x′ i = x′ (x), tal y como se
comentó anteriormente.
(iii) Si A es Qun conjunto L cualquiera y Kα = K, para cada α ∈ A, en-
tonces h α∈A Kα , α∈A P Kα i es un par dual con la aplicación bilineal
h(λα )α∈A , (ξα )α∈A i = α∈A λα ξα .
3.8. Pares duales. Polares. El teorema bipolar 311
Proposición 3.8.4.
Si hF, Gi es un par dual y f : F → K una forma lineal, entonces f
es σ(F, G)-continua si, y sólo si, existe y ∈ G (necesariamente único) tal
que f = f y .
3.8. Pares duales. Polares. El teorema bipolar 312
Esta inclusión implica que p(x) ≤ sup1≤i≤n |f yi (x)|, para cada x ∈ F , y por
tanto
|f (x)| ≤ sup |f yi (x)|,
1≤i≤n
T
para cada x ∈ F . De la desigualdad anterior se obtiene que ni=1 Ker f yi ⊂
. De aquí se sigue la existencia de escalares λ1 , λ2 , . . . , λnP
Ker fP tales que
n
f = i=1 λi f (véase el ejercicio 1), lo que significa que si y = ni=1 λi yi ,
y i
Definición 3.8.6.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Ejemplo 3.8.7.
(i) Sea (X, k·k) un espacio normado, consideremos hX, X ∗ i y sea A = BX .
Entonces:
o
BX = {x∗ ∈ X ∗ : |x∗ (x)| ≤ 1, x ∈ BX } = BX ∗
oo
BX = {x ∈ X : |x∗ (x)| ≤ 1, x∗ ∈ BX ∗ } = BX .
Definición 3.8.10.
Sea E[T ] un e.l.c.
(i) Un conjunto M ⊂ E ′ se dice que es T -equicontinuo si para cada
ε > 0 existe un T -entorno del origen U en E tal que |x′ (x)| < ε
para cada x ∈ U y cada x′ ∈ M .
(ii) Una familia T -equicontinua E en E ′ se dice fundamental si para
cada M ⊂ E ′ T -equicontinuo existe N ∈ E tal que M ⊂ N .
(ii) Si U es una base de entornos del origen de E[T ], entonces las polares
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Corolario 3.8.12.
Si E[T ] es un e.l.c, entonces T es la topología de convergencia uniforme
sobre los T -equicontinuos de E ′ .
Corolario 3.8.13.
Sean hF, Gi un par dual y {Sα : α ∈ A} una familia de subconjuntos
σ(F, G)- cerrados absolutamente convexos. Entonces:
\ o [ σ(F,G)
Sα =Γ Sαo .
α∈A α∈A
Tomando ahora polares en la igualdad anterior y haciendo uso, otra vez, del
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
c
b T ] es el lema 3.9.1 aplicado a E ′ [σ(E ′ , E)]
rio 3.8.12. La densidad de E en E[
y a cada elemento x∗ ∈ E b restringido a equicontinuos absolutamente con-
vexos σ(E , E)-cerrados. La completitud de E[
′ b Tc] es simplemente el hecho
de que los límites de redes de formas lineales son lineales, junto con que el
límite uniforme de redes de funciones continuas es continuo.
Los corolarios que siguen son consecuencias directas del teorema de com-
pletitud de Grothendieck.
Corolario 3.9.3.
Para un e.l.c. E[T ], las siguientes afirmaciones son equivalentes:
(i) E[T ] es completo.
(ii) Toda forma lineal x′ : E ′ → K que es σ(E ′ , E)-continua sobre los equi-
continuos de E ′ es σ(E ′ , E)-continua en E ′ , es decir, es un elemento
de E.
Corolario 3.9.4.
Para un espacio normado (X, k · k), las siguientes afirmaciones son equi-
valentes:
(i) (X, k · k) es un espacio de Banach.
(ii) Toda forma lineal x∗ : X ∗ → K que es σ(X ∗ , X)-continua en BX ∗ es
σ(X ∗ , X)-continua en X ∗ , i.e, es un elemento de X.
Corolario 3.9.5.
Sea (X, k · k) un espacio normado, sea K = (BX ∗ , σ(X ∗ , X)) y sea
i : (X, k · k) → (C(K), k · k∞ )
propiedad (ii) del corolario 3.1.8; la segunda parte se sigue de las definiciones
de topologías débiles y topologías de convergencia puntual. La propiedad (ii)
se obtiene inmediatamente del corolario anterior.
Definición 3.10.2.
Un espacio de Banach (X, k · k) se dice reflexivo si la aplicación
b: X → X ∗∗
siendo c0 6= ℓ∞ .
El siguiente resultado, que es una mejora de la segunda parte de (iv) en la
proposición 3.10.1, es fundamental para caracterizar los espacios de Banach
reflexivos.
Teorema 3.10.4. Goldstine.
Sean (X, k·k) un espacio normado, BX su bola unidad y BX ∗∗ la bola
unidad de X ∗∗ . Si consideramos X como un subespacio de X ∗∗ (vía b),
entonces BX es un subconjunto σ(X ∗∗ , X ∗ )-denso de BX ∗∗ .
desigualdades:
kx∗ k = sup |x∗ (x)| < |x∗∗ (x∗ )| ≤ kx∗∗ k kx∗ k ≤ kx∗ k
x∈BX
Corolario 3.10.6.
Sea (X, k · k) un espacio de Banach.
(i) Si X es reflexivo e Y ⊂ X es un subespacio cerrado, entonces Y es
reflexivo.
(ii) X es reflexivo si, y sólo si, (X ∗ , k · k) es reflexivo.
(iii) Si X es reflexivo, entonces X es separable si, y sólo si, X ∗ es separable.
entonces
1
(x + y)
≤ 1 − δ(ε).
2
Proposición 3.10.9.
Sea (X, k · k) un espacio normado. Las siguientes afirmaciones son equi-
valentes:
(i) La norma k · k es uniformemente convexa.
3.10. Topologías débiles en espacios de Banach. Reflexividad 324
(ii) Para cada par de sucesiones (xn )n e (yn )n en X con kxn k ≤ 1, kyn k ≤ 1,
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
n ∈ N, si
1
lı́m
(xn + yn )
= 1,
n 2
entonces
lı́m kxn − yn k = 0.
n
Proposición 3.10.10.
Si (Ω, Σ, µ) es un espacio de medida y 2 ≤ p < ∞, (Lp (Ω, Σ, µ), k · kp ) es
un espacio uniformemente convexo.
Demostración. El resultado es consecuencia de la desigualdad
es uniformemente convexa.
Para terminar la prueba demostramos la desigualdad (3.23). Si p ≥ 2
entonces
1 1 √ 1
(|α + β|p + |α − β|p ) p ≤ (|α + β|2 + |α − β|2 ) 2 ≤ 2(|α|2 + |β|2 ) 2 .
2 p−2
Usando la desigualdad de Hölder para + = 1, obtenemos
p p
2 p−2 2 p−2
|α|2 + |β|2 ≤ (|α|p + |β|p ) p (1 + 1) 2 ≤ (|α|p + |β|p ) p 2 2
Combinando las dos últimas desigualdades se obtiene (3.23) y con ello con-
cluimos la prueba.
débil∗ de la red (xi )i∈D existe j ∈ D tal que si i ≥ j, entonces f (xi ) > 1−δ(ε).
Por lo tanto, si i, i′ ≥ j tenemos que
x + x ′
i i
f > 1 − δ(ε)
2
y consecuentemente
x + x ′
i i
> 1 − δ(ε).
2
La última desigualdad implica que kxi − xi′ k ≤ ε si i, i′ ≥ j y así (xi )i∈D es
una red de Cauchy como queríamos demostrar.
x = x(∅),
1
x(s) = (x(s, −1) + x(s, 1))
2
y
kx(s, −1) − x(s, 1)k ≥ ε
para cada s ∈ {−1, 1}<N .
Combinando los resultados anteriores se pueden calcular los duales de los
espacios Lp , para 1 < p < +∞, como hacemos en el siguiente corolario.
Corolario 3.10.12.
Sea (Ω, Σ, µ) un espacio de medida. Si 1 < p < ∞, entonces Lp (Ω, Σ, µ)
es reflexivo. Más en concreto, si 1p + 1q = 1, entonces la aplicación Φ que hace
corresponder Ra cada g ∈ Lq (µ) el elemento de (Lp (µ), k · kp )∗ que lleva cada
f ∈ Lp (µ) a Ω f gdµ es un isomorfismo isométrico.
3.10. Topologías débiles en espacios de Banach. Reflexividad 327
f = kgk1−q
q h|g|q−1 .
nZ o
kf kp = sup f g dµ: kgkq ≤ 1, g ∈ Lq ,
Ω
es base de entornos del origen en (BX , σ(X, X ∗ )). Vamos a ver que el conjunto
F = {x∗n : n ∈ N} es total en (X ∗ , k · k), y por tanto (X ∗ , k · k) es separable.
k·k
Efectivamente, sea Y = span F y supongamos que Y 6= X ∗ . Si esto último
es así existe, por el apartado (vi) del corolario 3.1.8, un elemento x∗∗ ∈ BX ∗∗
tal que
x∗∗ |F = 0 y x∗∗ 6= 0.
Tomemos y ∗ ∈ X ∗ tal que x∗∗ (y ∗ ) = d > 0 y consideremos el conjunto
n do
V := x ∈ BX : |y ∗ (x)| < .
2
El conjunto V es un σ(X, X ∗ )-entorno abierto del origen en BX y por lo
tanto existe m ∈ N tal que
y
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
d
|d − y ∗ (x)| = |x∗∗ (y ∗ ) − y ∗ (x)| <
. (3.29)
2
Las desigualdades (3.28) nos dicen que x ∈ V (0, x∗1 , ..., x∗m , εm )∩BX , mientras
que la fórmula (3.29) implica que |y ∗ (x)| > d2 . Esto nos dice que x 6∈ V , lo
que contradice la inclusion 3.27 y termina así la prueba.
Proposición 3.11.3.
Si (X, k · k) es un espacio de Banach con dual separable, entonces X es
separable.
para cada x∗ ∈ X ∗.
Fijemos x∗ ∈ X ∗.
La desigualdad kx∗ k ≤ supn,m |x∗ (xnm )|
es clara. Por otro lado sea (yn∗ )n una sucesión elegida en D tal que x∗ =
lı́mn yn∗ (en norma) y sea (ynm )m la sucesión de F que satisface la igual-
dad (3.30) para yn∗ , n ∈ N. Dado ε > 0 elijamos n0 tal que
X
J X∞
ε
f (j)φ(j) − |f (j)|≤ , (3.33)
n n 3
j=1 j=J+1
para
PJ n ≥ m. Por otro lado, existe m1 ∈ N tal que si n ≥ m1 , entonces
j=1 |fn (j)| < ε/3. Así se tiene que
∞
X ∞
X
ε
kfn k1 = |fn (j)| ≤ + |fn (j)|
3
j=1 j=J+1
∞ J J
ε X X X
≤ + |fn (j)| − fn (j)φ(j) + fn (j)φ(j)
3
j=J+1 j=1 j=1
J
ε ε X
≤ + + |fn (j)| ≤ ε,
3 3
j=1
para n ≥ m1 .
Obsérvese que la propiedad de Schur asegura que las sucesiones conver-
gentes en las topologías σ(ℓ1 , ℓ∞ ) y asociada a la norma de ℓ1 son las mismas,
a pesar de que ambas topologías son distintas: efectivamente, σ(ℓ1 , ℓ∞ ) no
puede coincidir con la topología asociada a la norma, porque si coincidiera
sería metrizable y así ℓ1 sería de dimensión finita después del apartado (ii)
de la proposición 3.10.1.
De hecho, el resultado de Schur implica que los conjuntos débilmente
compactos de ℓ1 y los conjuntos compactos en norma coinciden. Para ello
necesitamos el siguiente resultado.
Teorema 3.11.5. Šmulian, 1940.
Sea X un espacio normado. Los conjuntos σ(X, X ∗ )-compactos son
σ(X, X ∗ )-sucesionalmente compactos, i.e., si H ⊂ X es débilmente com-
pacto, entonces cada sucesión (xn )n en H tiene una subsucesión débil-
mente convergente hacia un punto de H.
3.12. Ejercicios
3.1 Sea E un espacio
T vectorial y f, g1 , g2 , . . . , gn formas lineales en E
tal que Ker f ⊃ ni=1 Ker gi . Pruebe que f es una combinación lineal de
g1 , g2 , . . . , gn .
Indicación. Usar inducción.
3.12. Ejercicios 334
n para n > 2.
los posibles pares tomados de entre ℓ1n , ℓ2n y ℓ∞
3.3 Sea M = {x ∈ ℓp : x2n = 0}. Pruébese que M y ℓp /M son
isométricamente isomorfos a ℓp .
3.4 Sea X un espacio normado y A ⊂ X un conjunto convexo.
(i) Sean x ∈ int A, y ∈ A y z = (1 − t)x + ty con 0 ≤ t < 1. Pruebe
que z ∈ int A.
(ii) Pruebe que int A es convexo.
(iii) Sean x ∈ int A, y ∈ A y z = (1 − t)x + ty con 0 ≤ t < 1. Pruebe
que z ∈ int A.
(iv) Pruebe que si int A 6= ∅ entonces A = int A.
(v) Pruebe que int A = int A si el interior de A es no vacío.
(vi) Pruebe que A es convexo.
3.5 Pruébese el siguiente criterio de compacidad relativa en los espa-
cios ℓp ,
1 ≤ p < ∞: un subconjunto acotado K ⊂ ℓp es relativamente
compacto en (ℓp , k · kp ) si, y sólo si,
∞
X
lı́m |xk |p = 0
m
k=m
para i = 1, 2, . . . , n.
3.9 Dada una matriz real (aij ) de tamaño m × n y un vector (bi ) ∈ Rm
demuestre que sólo una de estas alternativas ocurre:
Pn
(a) Existe (xj ) ∈ Rn tal que j=1 aij xj = bi y xj ≥ 0 para cada
j = 1, . . . , m.
P Pm
(b) Existe (yi ) ∈ Rm tal que m i=1 yi bi < 0 y i=1 yi aij ≥ 0 para cada
j = 1, . . . , m.
3.10 Sea K un compacto y B la σ-álgebra de Borel de K. El teorema
de Riesz establece que para cada funcional lineal continuo definido en
(C(K), k·k) Rexiste una única medida de Borel µ de variación acotada tal
que T (f ) = K f dµ, para cada f ∈ C(K). Usando el teorema de Riesz
pruebe el siguiente resultado de Hurwitz: Si (fn )n y f son funciones
continuas en [0, 1] tales que
(a) lı́mn fn (t) = f (t) para todo t ∈ [0, 1],
(b) sup kf k∞ < +∞,
entonces existe una sucesión (gn )n de combinaciones convexas de (fn )n
tal que lı́mn gn = f uniformemente en [0, 1].
3.11 Sea (X, k · k) un espacio normado. Un subespacio Y ⊂ X se dice
que es proximinal si para cada x ∈ X existe y ∈ Y tal que
kx − yk = ı́nf kx − zk = d(x, Y )
z∈Y
PY (x) := {y ∈ Y : kx − yk = d(x, Y )}
(ii) si F ⊂ X es un subespacio y
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
de T a Y es un isomorfismo topológico.
(ii) X = Y ⊕ ker T .
3.29 Pruebe que en C 1 ([a, b]) sólo existe una topología normada com-
pleta que implique la convergencia puntual para la función y su primera
derivada.
3.30 Sean X e Y espacios de Banach. Se define la norma k·k1 en la suma
directa algebraica X ⊕ Y mediante la fórmula kx ⊕ yk1 := kxk + kyk.
(i) Pruébese que X ⊕ Y es un espacio de Banach para dicha norma y
que las proyecciones canónicas
π1 : X ⊕ Y −→ X, π2 : X ⊕ Y −→ Y
definidas respectivamente por π1 (x ⊕ y) = x y π2 (x ⊕ y) = y son
lineales continuas.
(ii) Supóngase otra norma k · k en X ⊕ Y de forma que (X ⊕ Y, k · k) es
un espacio de Banach y las proyecciones canónicas son continuas.
Pruébese que las normas k · k y k · k1 son equivalentes. Así, todas
las normas completas en X ⊕ Y , para la que las proyecciones son
continuas, son equivalentes.
3.31 Sea (X, k · k) un espacio normado. Pruébese:
(i) Si (Y, k·k) es otro espacio normado y T : X → Y es lineal y abierta,
entonces existe 0 < γ < +∞ tal que para cada y ∈ Y existe x ∈ X
con T x = y y kxk ≤ γkyk.
(ii) Si (X, k·k) Banach y A, B ⊂ X son subespacios vectoriales cerrados
tales que X = A + B, entonces existe una constante 0 < γ < +∞
tal que para cada y ∈ X existe una representación y = a + b con
a ∈ A, b ∈ B y kak + kbk ≤ γkyk. ⊙J⊙ : La suma X = A + B no
tiene por qué ser directa.
SX = {x ∈ X : kxk = 1}
Pruébese que,
(i) Λ(P ) es un espacio vectorial;
(ii) Definiendo para cada α ∈ P
∞
X
pα (λ) := k(λn αn )k1 = |λn |αn
n=1
Definición A.1.2.
Si (Ω, Σ) es un espacio medible, una medida positiva en Σ es una
función
µ : Σ −→ [0, ∞]
que verifica [ X
µ An = µ(An )n
n∈N n∈N
Proposición A.1.3.
Para una función f : Ω −→ R son equivalentes:
A.1. Medida e integración abstracta 346
Definición A.1.4.
Una función f se dice medible si verifica alguna de las condiciones
anteriores.
Definición A.1.6.
Si (Ω, Σ) es un espacio medible, una función simple es una función
s que se puede expresar en la forma
n
X
s= αi χAi
i=1
donde αi ∈ K, Ai ∈ Σ y χAi es la función que vale 1 en Ai y cero
en el complementario.
A.1. Medida e integración abstracta 347
Proposición A.1.7.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición A.1.8.
Sea (Ω, Σ,Pµ) un espacio de medida.
(i) Si s = ni=1 ai χAi es una función simple con Ai ∈ Σ se llama
integral de s respecto a la medida µ a la definida por
Z n
X
s dµ := ai µ(Ai )
Ω i=1
cuyo valor es independiente de la descomposición de s.
(ii) Si f es una función medible no negativa se define la integral de f
respecto a la medida µ por la fórmula
Z nZ o
f dµ := sup s dµ : 0 ≤ s ≤ f
Ω Ω
siendo s una función simple en (Ω, Σ, µ).
(iii) Si A ∈ Σ se define
Z Z
f dµ := f χA dµ.
A Ω
Definición A.1.9.
Sea (Ω, Σ, µ) un espacio de medida. Una función f : Ω −→ R dice
integrable respecto de µ si cumple:
(i) f es medible.
R
(ii) Ω |f | dµ < ∞.
El conjunto de las funciones integrables se denota con L 1 (Ω, Σ, µ).
Y para cada f = f + − f − se define la integral de f mediante la fórmula
Z Z Z
+
f dµ = f dµ − f − dµ. (A.1)
Ω Ω Ω
A.1. Medida e integración abstracta 348
Proposición A.1.10.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Definición A.1.11.
Si dos funciones medibles f y g cumplen que
µ {x ∈ Ω : f (x) 6= g(x)} = 0
se dice que f y g son iguales para casi todo punto en Ω, lo que se indica
con f = g p.c.t. Ω.
nótona.
Sea (Ω, Σ, µ) un espacio de medida y sea (fn )n una sucesión de funciones
medibles tales que
0 ≤ f1 (x) ≤ f2 (x) ≤ . . .
para todo x ∈ Ω. Entonces la función f (x) := lı́mn fn (x) es medible y
Z Z
lı́m fn dµ = f dµ.
n Ω Ω
entonces f ∈ L 1 (Ω, Σ, µ) y
Z
lı́m |fn − f | dµ = 0.
n Ω
En particular Z Z
lı́m fn dµ = f dµ.
n Ω Ω
A.2. Espacios Lp
Los espacios de Lebesgue Lp son básicos tanto para el Análisis Funcional
como para sus aplicaciones; esta sección está dedicada a la definición de ta-
les espacios. En lo que sigue (Ω, Σ, µ) será un espacio de medida fijo. En la
sección anterior, por simplicidad, nos hemos limitado a las funciones f de-
finidas en Ω con valores reales. En esta sección vamos a considerar también
funciones con valores en C. Para funciones con valores complejos la medibili-
dad de f significa que tanto la parte real como la parte imaginaria de f son
funciones medibles, o equivalentemente, que la antiimagen de cada abierto
de C pertenece a Σ.
Definición A.2.1.
Si 1 ≤ p < +∞ se denota con L p (Ω, Σ, µ) el conjunto de las fun-
ciones medibles f : Ω −→ C tales que
Z
|f |p dµ < ∞
Ω
y se define
Z 1/p
kf kp = |f |p dµ .
Ω
A.2. Espacios Lp 351
Proposición A.2.3.
Para 1 ≤ p < +∞ , L p (Ω, Σ, µ) es un espacio vectorial y k · kp es una
seminorma en este espacio, es decir se cumple:
(i) Si f ∈ L p (Ω, Σ, µ) y f = 0 entonces kf kp = 0.
(ii) Para cada a ∈ C y f ∈ L p (Ω, Σ, µ) se tiene kaf kp = |a| kf kp .
(iii) Para cada f, g ∈ L p (Ω, Σ, µ) se tiene kf + gkp ≤ kf kp + kgkp .
Teorema A.2.4.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Proposición A.2.5.
Para cada 1 ≤ p < ∞ el conjunto de las funciones simples pertenecientes
a (Lp (Ω, Σ, µ), k · kp ) es denso en (Lp (Ω, Σ, µ), k · kp ).
n
Y
m(I) := (bi − ai ).
i=1
(ii) Si E ⊂ Rn se define
nX
∞ [ o
m∗ (E) := ı́nf m(Im ) : E ⊂ Im
m=1 n∈N
m∗ (A) = m∗ (A ∩ E) + m∗ (A\E).
Proposición A.3.2.
Si M es la familia de los conjuntos medibles Lebesgue de Rn , entonces
(i) M es una σ-álgebra.
(ii) m∗ es una medida σ-aditiva al restringirla a M .
A la medida m∗ restringida a M se le llama la medida de Lebesgue y se
denota con m.
Teorema A.3.3.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
Teorema A.3.5.
Si G es un abierto de Rn el espacio Cc (G) de las funciones continuas
de soporte compacto contenido en G es denso en (Lp (G), k · kp ) para
1 ≤ p < ∞.
A.3. La medida de Lebesgue en Rn 355
Proposición A.3.6.
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
kf kp ≤ (b − a)q−1/q kf kq .
Proposición A.3.7.
Sea E ⊂ Rn acotado medible y sea f : E −→ K perteneciente a Lp (E)
para 1 ≤ p < ∞. Definiendo f como cero fuera de E se cumple que para cada
ε > 0 existe δ > 0 tal que si |h| < δ se cumple
Z
|f (x + h) − f (x)|p dx < ε.
E
que F es una función de clase C 1 ([a, b]) si, y sólo si, la siguiente fórmula es
cierta Z x
F (x) = F (a) + f (t) dt
a
para cierta función f continua en [a, b]. Además en ese caso se tiene F ′ = f .
Para el caso de la integral de Lebesgue en [a, b] es natural considerar la
fórmula anterior cuando f ∈ L1 ([a, b]), ello da origen al concepto de función
absolutamente continua.
Definición A.4.2.
Una función f : [a, b] → K se dice absolutamente continua si para cada
ε > 0, existe δ > 0 tal que si a = t0 < t′0 < t1 <Pt′1 < . . . < tm < t′m = b es
una partición delPm intervalo [a, b] que verifica m ′
j=0 |tj − tj | < δ entonces
se verifica que j=0 |f (tj ) − f (t′j )| < ε.
neral topology, ch. Banach spaces and topology, I, pp. 449–453, Elsevier,
2004. 6
[10] , Enciclopaedia of general topology, ch. Banach spaces and topo-
logy, II, pp. 454–458, Elsevier, 2004. 6
[11] Joan Cerdà, Linear functional analysis, Graduate Studies in Mathema-
tics, vol. 116, American Mathematical Society, Providence, RI, 2010.
MR 2647959 (2011j:47001) 2
[12] G. Choquet, Topología, Toray Masson, 1971. 2, 3
[13] J. B. Conway, Functions of one complex variable, second ed., Springer-
Verlag, New York, 1978. 298
[14] , A course in functional analysis, Springer Verlag, 1985. 2, 3, 4,
80, 299
[15] Mahlon M. Day, Normed linear spaces, third ed., Springer-Verlag, New
York, 1973, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band
21. MR 0344849 (49 #9588) 5
[16] J. Diestel, Sequences and series in Banach spaces, Springer-Verlag, 1984.
5, 95
[17] Nelson Dunford and Jacob T. Schwartz, Linear operators. Part I, Wiley
Classics Library, John Wiley & Sons Inc., New York, 1988. MR 1009162
(90g:47001a) 5
[18] A. Dvoretzky and C. A. Rogers, Absolute and unconditional convergence
in normed linear spaces., Proc. Nat. Acad. Sci. U. S. A. 36 (1950), 192–
197. 90, 93
[19] H. G. Eggleston, Convexity, Cambridge University Press, 1958. 257
[20] Yuli Eidelman, Vitali Milman, and Antonis Tsolomitis, Functional
analysis, Graduate Studies in Mathematics, vol. 66, American Mathe-
matical Society, Providence, RI, 2004, An introduction. MR 2067694
(2006a:46001) 3, 4, 5
[21] P. Enflo, Banach spaces which can be given an equivalent uniformly con-
vex norm, Proceedings of the International Symposium on Partial Dif-
ferential Equations and the Geometry of Normed Linear Spaces (Jeru-
salem, 1972), vol. 13, 1972, pp. 281–288 (1973). 326
Bibliografía 360
B polar de un . . . . . . . . . . . . . . . . . . . . 313
Ejemplar de cortesía. adquisición de ejemplares, así como de otros servicios, enlazando aquí:
espacio forma
dual, definición . . . . . . . . . . . . . . . . . 14 bilineal . . . . . . . . . . . . . . . . . . . . . . . . . 54
espacio(s) acotada . . . . . . . . . . . . . . . . . . . . . . .54
bidual . . . . . . . . . . . . . . . . . . . . . . . . . 239 fuertemente positiva . . . . . . . . . . 54
cociente . . . . . . . . . . . . . . . . . . . . . . . . . 16 positiva . . . . . . . . . . . . . . . . . . . . . . .54
de Baire . . . . . . . . . . . . . . . . . . . . . . . 263 simétrica . . . . . . . . . . . . . . . . . . . . . 54
de Banach . . . . . . . . . . . . . . . . . . . . . . 11 hermitiana
de Bergman . . . . . . . . . . . . . . . . . . . 121 definida positiva . . . . . . . . . . . . . . 33
de dimensión finita . . . . . . 17, 91, 95 lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
de Hilbert . . . . . . . . . . . . . . . . . . . . 43 sesquilineal . . . . . . . . . . . . . . . . . . . . . 54
localmente convexos . . . . . . . . . 303 Fourier
de Fréchet . . . . . . . . . . . . . . . . . . . . . 301 coeficiente de . . . . . . . . . . . . . . . . . . 110
de Fréchet-Montel . . . . . . . . . . . . . 302 desarrollo de . . . . . . . . . . . . . . . . . . . 101
de funciones continuas . . . . . . . . . . 28 series de . . . . . . . . . . . . . . . . . . . . . . . . 99
de Hardy . . . . . . . . . . . . . . . . . . . . . . . 30 convergencia puntual de . . . . . 273
de Hilbert . . . . . . . . . . . . . . . . . . . . . . 34 Fréchet, espacio de . . . . . . . . . . . . . . . . . 301
de Montel . . . . . . . . . . . . . . . . . . . . . 302 función
de Sobolev . . . . . . . . . . . . . . . . . . . . . . 69 de Green . . . . . . . . . . . . . . . . . . . . . . 203
de sucesiones. . . . . . . . . . . . . . . . . . . .24 holomorfa vectorial . . . . . . . . . . . . 267
localmente convexo . . . . . . . . . . . . 291 positivamente homogénea . . . . . . . 10
Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 subaditiva . . . . . . . . . . . . . . . . . . . . . . 10
normado, definición . . . . . . . . . . . . . 11 funcional
prehilbertiano . . . . . . . . . . . . . . . . . . .32 de Minkowski . . . . . . . . . . . . . . . . . . 292
reflexivo . . . . . . . . . . . . . . . . . . . . . . . 320 positivo . . . . . . . . . . . . . . . . . . . . . . . . 247
topológico completamente
regular . . . . . . . . . . . . 297 G
vectorial topológico . . . . . . . . . . . . 287 Galerkin-Riesz, teorema de . . . . . . . . . . 81
vectoriales ordenados . . . . . . . . . . 246 Gauss, teorema de . . . . . . . . . . . . . . . . . . 118
Gδ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262
espectro . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
Goldstine, teorema de . . . . . . . . . . . . . . 321
puntual . . . . . . . . . . . . . . . . . . . . . . . . 149
estrictamente convexa, norma . . . . . . 241 Goodner, teorema de . . . . . . . . . . . . . . . 262
gráfica cerrada, teorema de la . . . . . . 281
e.v.t. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
Gram, determinante de . . . . . . . . . . . . . . 44
F Gram-Schmidt, ortonormalización . . . 39
fórmulas de cuadratura gaussiana . . . 118 Green, función de . . . . . . . . . . . . . . . . . . 203
familia Grothendieck, teorema de
alsolutamente sumable . . . . . . . . . . 88 completitud de . . . . 317
fundamental de equicontinuos . . 315
ortonormal. . . . . . . . . . . . . . . . . . . . . .38 H
Hahn-Banach, teorema de . . . . . . . . . . 232
Índice terminológico 367
Sobolev, espacios de . . . . . . . . . . . . . . . . . 69 de
Jordan-Von Neumann . . . . . . . . 36
solución débil de una ecuación de
Kolmogoroff . . . . . . . . . . . . . . . . 301
diferencial . . . . . . . . . . 75 de
Korovkin . . . . . . . . . . . . . . . . . . . 104
soporte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 de
la acotación uniforme . . . . . . . 265
Stieltjes, teorema de . . . . . . . . . . . . . . . . 119 de
la aplicación abierta . . . . . . . . 278
Sturm-Liouville de
la base (Banach) . . . . . . . . . . . . 285
operador de . . . . . . . . . . . . . . . . . . . . 203 de
la gráfica cerrada . . . . . . . . . . . 281
problema de . . . . . . . . . . . . . . . . . . . 201 de
la mejor aproximación . . . . . . . 41
subespacio propio . . . . . . . . . . . . . . . . . . 149 en espacios de dimensión
subred. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .86 finita . . . . . . . . . . . . . . . 45
sucesión de la proyección . . . . . . . . . . . . . 42, 50
de Dirac . . . . . . . . . . . . . . . . . . . . . . . . 60 de Lax-Milgram . . . . . . . . . . . . . . . . . 55
exhaustiva de compactos . . . . . . . 298 del bipolar . . . . . . . . . . . . . . . . . . . . . 314
suma del homomorfismo de Banach . . 280
directa . . . . . . . . . . . . . . . . . . . . . . . . . . 17 de Liouville . . . . . . . . . . . . . . . . . . . . 269
hilbertiana . . . . . . . . . . . . . . . . . . . . . . 96 de Malgrange-Ehrenpreis . . . . . . . . 79
sumable, familia . . . . . . . . . . . . . . . . . . . . . 88 de Mazur . . . . . . . . . . . . . . . . . . . . . . 305
de Milman . . . . . . . . . . . . . . . . . . . . . 325
T de Nachbin-Goodner-Hasumi . . . 262
Taylor-Foguel, teorema de . . . . . . . . . . 241 de Pitágoras . . . . . . . . . . . . . . . . . . . . 39
teorema de representación
alternativa de Fredhom . . . . . . . . 187 de Riesz-Fréchet . . . . 53
de Alaoglu-Bourbaki . . . . . . . . . . . 316 de Riesz-Fischer . . . . . . . . . . . . . . . 103
de Baire (de la categoría) . . . . . . 263 de separación (primer) . . . . . . . . . 307
de Banach-Steinhaus . . . . . . . . . . . 266 de separación (segundo). . . . . . . .307
de caracterización de la de Šmulian . . . . . . . . . . . . . . . . . . . . 332
reflexividad . . . . . . . . 321 de Sobczyk . . . . . . . . . . . . . . . . . . . . 236
de compacidad de Riesz . . . . . . . . . 22 de Stieltjes. . . . . . . . . . . . . . . . . . . . .119
de completitud de de Taylor-Foguel . . . . . . . . . . . . . . . 241
Grothendieck . . . . . . 317 de Toeplitz . . . . . . . . . . . . . . . . . . . . 271
de Dirichlet . . . . . . . . . . . . . . . . . . . . . 72 de Tychonoff. . . . . . . . . . . . . . . . . . .234
de Dunford . . . . . . . . . . . . . . . . . . . . 268 de Weierstrass . . . . . . . . . . . . 105, 109
de Dvoretzky-Rogers . . . . . . . . . . . . 90 espectral para operadores
de Galerkin-Riesz . . . . . . . . . . . . . . . 81 compactos
de Gauss . . . . . . . . . . . . . . . . . . . . . . 118 autoadjuntos . . . . . . . . . . . . . . . . 181
de Goldstine . . . . . . . . . . . . . . . . . . . 321 normales . . . . . . . . . . . . . . . . . . . . 192
de Hahn-Banach . . . . . . . . . . 232, 235 principal de los problemas
en e.l.c. . . . . . . . . . . . . . . . . . . . . . 303 variacionales cuadráticos . . . 56
en normados separables . . . . . . 234 test de Schur . . . . . . . . . . . . . . . . . . . . . . . 145
Índice terminológico 370
topología(s)
débil . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
débiles y débiles∗ . . . . . . . . . . . . . . 296
metrizabilidad . . . . . . . . . . . . . . . 319
de convergencia puntual . . . . . . . 296
en espacios de funciones
continuas . . . . . . . . . . . . . . . . . . . . 297
diferenciables . . . . . . . . . . . . . . . . 298
holomorfas . . . . . . . . . . . . . . . . . . 298
vectorial . . . . . . . . . . . . . . . . . . . . . . . 287
total, conjunto . . . . . . . . . . . . . . . . . . 52, 237
U
unidad del orden . . . . . . . . . . . . . . . . . . . 247
uniformemente convexo(a)
espacio . . . . . . . . . . . . . . . . . . . .323, 324
norma . . . . . . . . . . . . . . . . . . . . . . . . . 323
V
valor
espectral . . . . . . . . . . . . . . . . . . . . . . . 149
propio . . . . . . . . . . . . . . . . . . . . . . . . . 149
regular . . . . . . . . . . . . . . . . . . . . . . . . 149
variedad afín . . . . . . . . . . . . . . . . . . . . . . . 305
vector(es)
de mejor aproximación . . . . . . . . . . 41
ortogonales . . . . . . . . . . . . . . . . . . . . . 38
propio . . . . . . . . . . . . . . . . . . . . . . . . . 149
W
Weierstrass, teorema de. . . . . . . .105, 109
Este libro es un curso de introducción al Análisis Funcional.
De entre las posibles elecciones al tema, los autores han
optado por los contenidos que habitualmente explican en sus
cursos de Análisis Funcional y que parece que otros docentes
comparten como pertenecientes a un curso de iniciación. Los
autores son miembros del grupo de Análisis Funcional de la
Universidad de Murcia y tienen amplia experiencia
investigadora y docente en la temática del libro. Creemos
que el contenido, nivel y forma de presentación de este texto
puede hacerlo especialmente útil tanto para estudiantes de
grado como para estudiantes de máster. No es fácil encontrar
un libro de Análisis Funcional con estas características que
vaya acompañado de una larga lista de ejercicios propuestos,
a cuyas soluciones, escritas por especialistas, se pueda
acceder a través de una aplicación web. A veces se pueden
encontrar ejercicios y sus soluciones en internet, pero no es
tan frecuente que las soluciones a problemas tenga autoría
reconocida y se puedan encontrar desde el propio libro.
ISBN 978-84-940688-2-9
9 788494 068829