Documentos de Académico
Documentos de Profesional
Documentos de Cultura
l
e- ibris José Orihuela y Matías Raja
Análisis
universitarios
Funcional
s
tica
emá
textos
mat
1
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
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.
Enlace AQUÍ para adquirir el libro
ta
ui
at
gr
tra
es
Primera edición
mu
e- l ecto
ibris
A.M.S. Mathematics Subject Classification (2010):
Primaria: 46-01
Secundaria: 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 20-2013
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
Enlace AQUÍ para adquirir el libro
ta
ui
Introducción 1
1. Espacios de Hilbert 7
at
1.1. Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2. Espacios normados de dimensión finita . . . . . . . . . . . . . 17
gr
1.3. Ejemplos de espacios de Banach . . . . . . . . . . . . . . . . . 24
1.4. Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 31
tra
ta
Reseña histórica sobre Stefan Banach, 230
3.1. El teorema de Hahn-Banach: versión analítica . . . . . . . . . 231
ui
3.2. La propiedad de extensión . . . . . . . . . . . . . . . . . . . . 249
3.3. Teorema de la acotación uniforme . . . . . . . . . . . . . . . . 262
Enlace AQUÍ para adquirir el libro
at
Reseña histórica sobre Joseph Fourier, 276
3.4. Teoremas de la aplicación abierta y de la gráfica cerrada
gr . . . 276
3.5. Espacios vectoriales topológicos . . . . . . . . . . . . . . . . . 287
3.6. Espacios localmente convexos metrizables y normables . . . . 299
3.7. Versión geométrica del teorema de Hahn-Banach . . . . . . . 302
tra
Bibliografía 358
Enlace AQUÍ para adquirir el libro
ta
Este texto corresponde a nuestra elección de lo que podría ser una asigna-
ui
tura larga de Análisis Funcional en nuestras universidades en España. Para
cursos cortos de Análisis Funcional será necesario hacer una selección de te-
at
mas. Este libro ha sido escrito tanto pensando en un formato clásico en papel
como en su versión digital. La versión en papel goza de la comodidad que
gr
da nuestra tradición y gusto por los libros. La versión digital en pdf, como
realidad moderna, no es copia muerta de la versión en papel. Esta versión
digital tiene los contenidos de la versión en papel y le hemos añadido la po-
tra
nitiva, este libro en su versión digital no es otra cosa que una muestra de
nuestras clases sacadas del aula y ofrecidas en un libro digital vivo. Cerrada
esta edición, ya estamos deseando volver a ponerle más vida a la siguiente.
Desde el punto de vista del contenido científico, la elaboración de un tex-
to como éste, base para un curso que puede ser introductorio, lleva consigo
siempre un problema de elección. Esto es especialmente cierto en el caso del
Análisis Funcional, por la gran cantidad de temas que abarca, siendo bas-
tante difícil, cualquiera que sea la elección, no caer en omisiones que puedan
parecer graves a determinados especialistas en la materia. La elección lleva-
da a cabo en este texto trata de responder a los objetivos concretos que nos
Introducción 2
ta
“El Análisis Funcional es la rama de las Matemáticas que estudia
ui
los espacios vectoriales topológicos y las aplicaciones U : Ω → F
de una parte Ω de un espacio vectorial topológico E en un espacio
Enlace AQUÍ para adquirir el libro
at
vectorial topológico F , donde estas aplicaciones se supone que
verifican ciertas condiciones algebraicas y topológicas.”
gr
Un momento de reflexión muestra cómo esta definición, que no es todo lo
amplia que podría ser, cubre gran parte del Análisis Moderno, como por ejem-
plo, los espacios de Hilbert y de Banach, la teoría espectral de operadores,
tra
cio de Banach, resaltando los ejemplos más destacados; se estudian los espa-
cios de dimensión finita, caracterizándolos a través de la compacidad de sus
bolas cerradas, teorema 1.2.8; se analizan, en el marco de los espacios de
Banach, los espacios de sucesiones, espacios de funciones continuas, espacios
de funciones diferenciables u holomorfas, etc. estableciendo, en particular,
las desigualdades de Hölder 1.2.2 y Minkowski 1.2.3; se estudia el concepto
ta
de espacio de Hilbert y se caracterizan las normas hilbertianas a través de
la “ley del paralelogramo”, teorema 1.4.6; se resuelve, en el contexto de los
ui
espacios de Hilbert, el problema de la existencia y unicidad del vector de
mejor aproximación a uno dado para un determinado conjunto de vectores,
Enlace AQUÍ para adquirir el libro
at
relacionándolo con la noción de ortogonalidad, teoremas 1.5.3 y 1.5.4; la exis-
tencia de mejores aproximaciones se utiliza, entre otras cosas, para resolver
gr
sistemas sobredimensionados, sección 1.5.1.1, y para calcular el dual topoló-
gico de un espacio de Hilbert, teorema 1.6.1; se analiza la conexión existente
entre el problema de mejor aproximación y ciertos problemas variacionales,
tra
ta
ma espectral para operadores compactos y autoadjuntos o bien compactos y
normales en espacios de Hilbert, teoremas 2.5.5 y 2.5.14; se discuten algunas
ui
aplicaciones del teorema espectral a la resolución de determinados tipos de
ecuaciones integrales —ecuaciones en las que la incógnita es una función que
Enlace AQUÍ para adquirir el libro
at
aparece bajo el signo integral—, sección 2.6.1, y de ecuaciones diferenciales
—ecuaciones en las que la incógnita es una función de la que se conocen
gr
ciertas propiedades de sus derivadas—, sección 2.6.2; concretamente se es-
tudia la Alternativa de Fredholm, véase el teorema 2.6.1, para operadores
integrales, que se aplica a la resolución de problemas de Sturm–Liouville,
tra
capítulo son: para operadores en espacios de Banach: [57, 47, 20, 14], para
operadores en espacios de Hilbert [28, 51, 66, 73] y para aplicaciones de las
mu
ta
versión geométrica del teorema de Hahn-Banach—, teorema 3.7.5; se reco-
nocen muchas nociones de convergencia en espacios de funciones continuas,
ui
holomorfas, diferenciables, espacios base para distribuciones, etc., como con-
ceptos asociadas a topologías localmente convexas, véanse las secciones 3.5,
Enlace AQUÍ para adquirir el libro
at
3.6, 3.7 y 3.8; se estudian los teoremas de Alaoglu 3.8.15 y Goldstine 3.10.4,
la noción de reflexividad en espacios de Banach, y se aprende cuáles de los
gr
espacios de Banach clásicos son reflexivos y cuáles no; se introduce la no-
ción de convexidad uniforme, y en particular se demuestra el teorema de
Milman 3.10.11 que se aplica para calcular los duales de los espacios Lp ,
tra
En este libro hemos elegido seis matemáticos que han cimentado gran
parte del moderno Análisis Funcional para comentar su historia brevemente.
Nuestra elección es: David Hilbert (pág. 34), Laurent Schwartz (pág. 80),
Frigyes Riesz (pág. 158), John von Neumann (véase página 185), Stefan Ba-
nach (pág. 230) y Joseph Fourier (pág. 276).
Para aquellos lectores que hayan disfrutado con el estudio de los temas
ta
tratados en esta obra y que deseen introducirse en aspectos más recientes y
avanzados del Análisis Funcional, sugerimos las siguientes referencias [1, 2,
ui
5, 9, 10, 25, 40, 32, 53].
Enlace AQUÍ para adquirir el libro
at
Agradecemos a todas las personas que nos han hecho llegar sugerencias,
a lo largo de mucho tiempo, sobre materiales que han conducido a este libro.
gr
En particular nombramos a nuestros alumnos Juan de la Cruz González
y Antonio José Guirao y a nuestros compañeros María Ángeles Hernández
y Antonio José Pallarés. Nuestro agradecimiento muy especial para nuestro
tra
Bernardo Cascales.
José Manuel Mira.
José Orihuela.
Matias Raja.
Enlace AQUÍ para adquirir el libro
ta
ui
at
gr
tra
es
ta
normados, que constituyen un modelo más flexible, pero de menor riqueza
estructural, que los espacios de Hilbert.
ui
Como objetivos específicos del capítulo señalamos:
Recordar los conceptos de espacio normado y de espacio de Banach, que se han
at
podido introducir en otras asignaturas previas de Análisis Matemático,
resaltando los ejemplos más destacados.
gr
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-
tra
ta
Introducir el concepto de base hilbertiana, que permite el empleo de
coordenadas con una utilidad similar a la de los espacios de dimensión
ui
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
at
dimensión finita, con otras nociones de sumabilidad que el lector conoce
en el cuerpo de los números reales o complejos.
gr
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
tra
polinomios ortogonales.
Utilizar la noción de base hilbertiana para analizar la posibilidad de
mu
Mis notas
1.1. Espacios de Banach 10
ta
buenas estructuras de clasificación para los objetos del Análisis Matemático,
el estudio abstracto de las propiedades de éstas y la utilización de aplicaciones
ui
lineales continuas como herramienta para modelizar problemas. Los espacios
de Banach y de Hilbert constituyen estructuras de clasificación de objetos
Enlace AQUÍ para adquirir el libro
at
matemáticos tan útiles como puedan ser las estructuras que se manejan en
otras ciencias. La mayor parte de los resultados aquí expuestos son válidos
gr
para espacios vectoriales reales o complejos, aunque eventualmente pueden
presentarse algunos que sólo son ciertos, y se indicará, o bien para espacios
reales o bien para espacios complejos. Por ello, en lo sucesivo K denotará
tra
Definición 1.1.2.
Un espacio normado es un espacio vectorial X con una norma k · k.
Un espacio normado (X, k·k) se llama espacio de Banach si la distancia
d : X × X → R asociada a la norma mediante la fórmula
d(x, y) = kx − yk
ta
es completa, es decir, si cada sucesión de Cauchy en (X, d) es conver-
ui
gente.
Enlace AQUÍ para adquirir el libro
at
Notaciones:
(i) A veces, por brevedad, nos referiremos a un espacio normado (X, k · k)
gr
únicamente como espacio normado X.
(ii) En un espacio normado (X, k · k), con BX o con B[0, 1] denotare-
tra
Proposición 1.1.3.
Sea X un espacio normado. Entonces:
(i) Las aplicaciones s : X × X → X y p : K × X → X definidas, respecti-
vamente, por las fórmulas
s(x, y) = x + y y p(a, x) = ax
ta
son continuas.
ui
(ii) Las aplicaciones sy : X → X y pa : X → X, con a 6= 0, definidas,
Enlace AQUÍ para adquirir el libro
at
respectivamente, por
sy (x) = x + y
gr y pa (x) = ax
tonces K + F es cerrado.
(v) Si Y ⊂ X es un subespacio1 vectorial también lo es su clausura topoló-
mu
gica Y .
(vi) Un subespacio Y ⊂ X es un subespacio propio de X si, y sólo si, el
interior de Y es vacío.
(vii) El espacio normado X es completo Psi, y sólo si, para cualquier sucesión
(yn )nPen X tal que la serie real ∞
n=1 kyn k es convergente se verifica
∞
que n=1 yn converge a un punto de X.
(viii) Si Y ⊂ X es un subespacio vectorial de X, entonces Y es un espacio
normado para la norma inducida. Si X es de Banach, entonces Y es
cerrado si, y sólo si, Y es de Banach.
ta
n=1
ja al lector. Recíprocamente. Tomemos (xn )n una sucesión de Cauchy en
(X, k · k). Existe
P∞ una subsucesión (xnk )k que satisface kxnk − xnk+1 k ≤ 2
−k
ui
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
Enlace AQUÍ para adquirir el libro
at
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 ).
gr
Definición 1.1.4.
tra
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
ta
Demostración. El lector no tendrá dificultad en realizarla por sí mismo.
ui
Las aplicaciones lineales de X en K se suelen llamar formas lineales y
el conjunto de las mismas recibe el nombre de dual algebraico. Para formas
Enlace AQUÍ para adquirir el libro
at
lineales la continuidad de T equivale a que Ker T sea cerrado (véase la pro-
posición 1.2.9). gr
Definición 1.1.6.
Si X es un espacio normado, el espacio de Banach L(X, K), que se
tra
Definición 1.1.7.
es
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.
Sean X e Y espacios normados.
(i) Sea T : X → Y una aplicación lineal sobreyectiva. Entonces T es un
isomorfismo topológico si, y sólo si, existen constantes m, M > 0 tales
que mkxk ≤ kT (x)k ≤ M kxk para todo x ∈ X.
ta
(ii) Si k · k y | · | son dos normas en X, entonces son equivalentes si, y sólo
si, existen m, M > 0 tales que m|x| ≤ kxk ≤ M |x| para todo x ∈ X.
ui
(iii) Si X e Y son espacios normados isomorfos, la completitud de uno
Enlace AQUÍ para adquirir el libro
at
Demostración. Se deja como ejercicio al lector.
gr
tados.
Demostración. Sea X un espacio normado de dimensión infinita y sea
Y un espacio normado no nulo. Sea (xn )n una sucesión de vectores en X,
linealmente independientes con norma 1 y sea y 6= 0 un vector arbitrario
de Y . Podemos completar la sucesión (xn )n con vectores (zi )i hasta tener
una base algebraica de X. Entonces definiendo T xn = ny, para cada n, y
T zi = 0, para cada i, se construye una aplicación lineal T de X en Y que
no es continua, debido a que kT xn k = nkyk y, en consecuencia, la sucesión
(kT xn k)n no es acotada.
ta
Para cada espacio normado X existen un espacio de Banach X
b b El
aplicación lineal isométrica J : X −→ X tales que J(X) es denso en X.
b recibe el nombre de compleción de X.
ui
espacio X
Utilizando los ejemplos de la sección 1.3 construiremos otro modelo para
Enlace AQUÍ para adquirir el libro
at
la compleción de un espacio métrico.
Proposición 1.1.11. gr
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
tra
normado para la norma cociente dada por
|x + Y | = ı́nf{kx + yk : y ∈ Y }.
es
Definición 1.1.12.
ta
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
ui
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
Enlace AQUÍ para adquirir el libro
at
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.
gr
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
tra
ta
X
n 1/p
p
kxkp := |xi | (1.3)
ui
i=1
Enlace AQUÍ para adquirir el libro
at
define también una norma en Kn . Como antes, la única propiedad no evidente
de la norma k · kp es la desigualdad triangular, al menos, para p > 1, ya
gr
que para p = 1 la desigualdad triangular es una consecuencia directa de la
desigualdad triangular del valor absoluto en K. La desigualdad triangular
para p > 1 se sigue de la desigualdad de Minkowski que se establece en el
tra
ab ≤ +
p q
Demostración. Como la función exponencial es convexa se tiene
1 p+ 1 log bq 1 log ap 1 log bq ap bq
e p log a q ≤ e + e = +
p q p q
1
log ap + q1 log bq
Y al ser ab = elog ab = e p se obtiene el resultado.
ta
k=1 k=1 k=1
ui
Esta desigualdad recibe el nombre de desigualdad de Schwarz cuando p = 2.
Enlace AQUÍ para adquirir el libro
at
Corolario 1.2.3. Desigualdad de Minkowski.
Sean ak , bk ≥ 0 para 1 ≤ k ≤ n y n ∈ N. Si p ≥ 1 entonces se verifica
gr
X n 1/p Xn 1/p X n 1/p
p p p
(ak + bk ) ≤ ak + bk
tra
k=1 k=1 k=1
definida por
kxk∞ := sup{|xi |; 1 ≤ i ≤ n}.
1.2. Espacios normados de dimensión finita 20
ta
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
ui
general.
Enlace AQUÍ para adquirir el libro
Proposición 1.2.4.
at
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-
gr
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
tra
n
X
T (z) := T (a1 , a2 , . . . , an ) = ai ei ,
k=1
es
f (a1 , a2 , . . . , an )
≥ β,
k(a1 , a2 , . . . , an )k1
de donde
1.2. Espacios normados de dimensión finita 21
n
n
X
X
|ai | ≤
ai ei
β
= kT (a1 , a2 , . . . , an )k,
i=1 i=1
lo que prueba la continuidad de T −1 .
ta
Corolario 1.2.5.
(i) Todas las normas en un espacio finito dimensional son equivalentes.
ui
(ii) Todo espacio normado de dimensión finita es de Banach.
Enlace AQUÍ para adquirir el libro
at
(iii) Todo subespacio de dimensión finita de un espacio normado es cerrado.
(iv) Toda aplicación lineal de un espacio normado de dimensión finita en
gr
un espacio normado arbitrario es continua.
(v) En espacios normados de dimensión finita los conjuntos cerrados y
tra
acotados son compactos (teorema de Bolzano-Weierstrass).
Veremos más adelante, aplicando el teorema de Baire 3.3.3, que la di-
mensión algebraica de un espacio de Banach o es finita o es no numerable.
es
ortogonales”.
Lema 1.2.6.
Sean X un espacio normado e Y ⊂ X un subespacio cerrado propio. Si
0 < ε < 1, entonces existe xε ∈ X con kxε k = 1 y d(xε , Y ) ≥ 1 − ε.
Demostración. Sea x ∈ X \ Y . Al ser Y cerrado se tiene d := d(x, Y ) > 0.
Puesto que d < d/(1 − ε) existe y0 ∈ Y verificando d ≤ kx − y0 k < d/(1 − ε).
Sea xε el vector normalizado de x − y0 , es decir, xε = (x − y0 )kx − y0 k−1 .
Para cada y ∈ Y arbitrario se tiene
x − y0
1
kxε − yk =
kx − y0 k − y
=
kx − y0 k
x − y 0 − kx − y ky
0
d
≥ > 1 − ε,
kx − y0 k
luego d(xε , Y ) ≥ 1 − ε.
1.2. Espacios normados de dimensión finita 22
Corolario 1.2.7.
Si X es un espacio normado de dimensión infinita, entonces existen una
sucesión de subespacios (Mn )n (que pueden tomarse finito dimensionales) y
una sucesión de vectores (yn )n tales que para cada n ∈ N se verifica que
1
Mn ⊂ Mn+1 , yn ∈ Mn , kyn k = 1, d(yn+1 , Mn ) ≥
ta
2
Demostración. Tomamos x1 ∈ X con kx1 k = 1 y llamamos M1 = span{x1 }.
ui
Si ε = 21 , por el lema de Riesz existe x2 ∈ X\M1 con kx2 k = 1 de forma que
Enlace AQUÍ para adquirir el libro
at
existirá x3 en X\M2 tal que d(x3 , M2 ) = 21 . Al ser X de dimensión infinita,
procediendo de forma recursiva obtenemos el resultado buscado.
gr
es localmente compacto).
ta
1 1 1
BX/Y ⊂ BX/Y ⊂ BX/Y ⊂ · · · ⊂ n BX/Y ⊂ · · ·
2 4 2
ui
Si z ∈ BX/Y entonces z ∈ 21n BX/Y para cualquier n ∈ N, es decir, si kzk ≤ 1
Enlace AQUÍ para adquirir el libro
at
en X/Y entonces kzk ≤ 21n para todo n ∈ N. Por tanto BX/Y = {0} y así
X/Y = 0, lo que significa que X = Y .
gr
Proposición 1.2.9.
tra
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
es
cerrado.
(ii) Si Y es un espacio normado y T : X → Y una aplicación lineal cuya
mu
Corolario 1.2.10.
Sean X un espacio de Banach e Y ⊂ X un subespacio cerrado de codi-
mensión finita. Entonces cualquier complementario algebraico Z de Y es un
complementario topológico.
ta
también el corolario 3.1.8).
ui
1.3. Ejemplos de espacios de Banach
Enlace AQUÍ para adquirir el libro
at
La desigualdad de Minkowski puede extenderse a series, permitiendo así
gr
definir espacios clásicos de sucesiones.
Proposición 1.3.1.
tra
p
p N p
(i) ℓ := x = (xn )n ∈ K : kxkp := |xn | < ∞ , 1 ≤ p < ∞.
n=1
n o
mu
ta
utilizando adecuadamente la condición de Cauchy y que la convergencia en
las correspondientes normas implica la convergencia por coordenadas. Como
ui
el término general de una serie convergente tiene por límite 0 se tiene que
Enlace AQUÍ para adquirir el libro
at
acotadas nos proporciona c ⊂ ℓ∞ . Finalmente el hecho de que si 0 ≤ x ≤ 1
y p ≤ q entonces es xq ≤ xp permite probar fácilmente que ℓp ⊂ ℓq , siendo
gr
además el contenido estricto. Resumiendo, se verifican las inclusiones
ℓ1 ⊆ ℓp ⊂ ℓq ⊂ c0 ⊂ c ⊂ ℓ∞
tra
aj ∈ Q si K = R,
D := {(a1 , a2 , . . . , an , 0, 0, . . . ) : n ∈ N} con
aj ∈ Q + iQ si K = C
mu
T : (ℓ1 , k · k1 ) → (c0 , k · k∞ )∗
1.3. Ejemplos de espacios de Banach 26
ta
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.
ui
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
Enlace AQUÍ para adquirir el libro
at
X
n n
X ∞
X
u(x) = lı́m u xk ek = lı́m
gr u(ek )xk = ξ k xk ,
n n
k=1 k=1 k=1
x = (x1 , x2 , . . . , xm , 0, 0, . . . ) tengamos
Pm la igualdad u(x) = k=1 |u(ek )|. Así
pues, para cada m ∈ N, se tiene k=1 |u(ek )| ≤ kuk, que es lo que queríamos
demostrar.
mu
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
que, en el supuesto de que u(ek ) sea no nulo, se tiene
|u(ek )|
|u(ek )| = u ek ≤ kuk.
u(ek )
Vamos a probar ahora que si 1 < p < ∞ y 1/p + 1/q = 1, entonces
ta
es isométricamente isomorfo a (ℓq , k · kq ). Para ello consideramos
(ℓp , k · kp )∗
la aplicación
ui
T : (ℓq , k · kq ) → (ℓp , k · kp )∗
que a cada y := (ξn )n le hace corresponder T (y) ∈ (ℓp , k · kp )∗ definido de la
Enlace AQUÍ para adquirir el libro
at
siguiente manera:
X∞
gr
T (y) (xn )n := ξn xn , para (xn )n ∈ ℓp .
n=1
La desigualdad de Hölder, proposición 1.2.2, garantiza que T está bien defi-
tra
x = (xn )n ∈ ℓp entonces
n
X ∞
X
mu
ta
n 1 o
Y := (xn )n ∈ ℓ1 : x2n = 0 y Z := (xn )n ∈ ℓ1 : x2n = n x2n−1
ui
2
son cerrados, como es fácil comprobar. El espacio Y + Z no es cerrado, ya
Enlace AQUÍ para adquirir el libro
at
que Y + Z 6= ℓ1 e Y + Z contiene al espacio c00 , que es un conjunto denso
en ℓ1 . gr
espacio de Banach.
En los apartados que siguen a continuación S denota un espacio topológico.
mu
ta
0 ≤ ϕ ≤ 1, ϕ(x) = 1 si x ∈ K, y sop(ϕ) ⊂ G.
ui
La función f ϕ está en Cc (S) y kf − f ϕk∞ ≤ ε y así acaba la prueba.
Enlace AQUÍ para adquirir el libro
at
Observación 1.3.4. Sobre la compleción de un espacio métrico.
gr
Como ya se comentó anteriormente, es un hecho bien conocido de topología
general que cualquier espacio métrico puede ser completado. Veamos ahora
cómo el espacio ℓ∞ (S) puede ser utilizado para construir un modelo para la
tra
de (S, d) es la terna ((S, d), φ, φ(S)), donde φ(S) se considera con la norma
inducida de ℓ∞ (S).
Ejemplo 1.3.5. Espacios de funciones diferenciables. Sean Ω ⊂ Rn un
abierto no vacío y K ⊂ Ω un conjunto compacto. Sea DK m (Ω) el espacio de
α = (α1 , . . . , αn ), |α| = α1 + · · · + αn
donde f ∈ DK m (Ω), define una norma completa en D m (Ω).
K
Si se designa con D m (Ω) el espacio de las funciones de clase m en Ω con
soporte compacto contenido en Ω, la fórmula kf km también define una norma
en dicho espacio. Con D(Ω) se designa el subespacio del anterior formado
por las funciones infinitamente diferenciables.
1.3. Ejemplos de espacios de Banach 30
ta
Ejemplo 1.3.7. Espacios de Hardy. Sean D el disco unidad abierto del
ui
plano complejo C, H (D) el espacio de las funciones holomorfas en D y
Enlace AQUÍ para adquirir el libro
at
Z 2π 1/p
1 gr iθ p
Mp (f ; r) := |f (re )| dθ , 0 < r < 1, 1 ≤ p < ∞,
2π 0
0≤θ≤2π
Entonces el conjunto
es
H p (D) := f ∈ H (D) : kf kHp := sup Mp (f ; r) < ∞
0<r<1
mu
se tiene:
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
ta
Aplicando la desigualdad de Hölder A.2.2 a la función constantemente igual
ui
a 1 y a la función g(θ) := |fn (Reiθ ) − fm (Reiθ )|, θ ∈ [0, 2π], se tiene
Z
Enlace AQUÍ para adquirir el libro
2π
at
R
|fn (Reiθ ) − fm (Reiθ )| dθ
2π(R − r) 0
≤
R
(2π)
1− 1p
gr
Z 2π
|fn (Reiθ ) − fm (Reiθ )|p dθ
p1
2π(R − r) 0
R
tra
≤ Mp (fn − fm ; R) < ε, n, m ≥ nε .
(R − r)
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
fórmula
Xn
hx, yi = xk y k .
k=1
ta
n
X
hx, yi = xk y k .
ui
k=1
Enlace AQUÍ para adquirir el libro
at
En ambos casos se tiene kxk2 = + hx, xi. Esto puede extenderse al espacio
ℓ2 real o complejo mediante
gr ∞
X
hx, yi = xk y k x, y ∈ ℓ2 ,
tra
k=1
Definición 1.4.1.
Sea H un espacio vectorial sobre K donde K es R o C. Un producto
escalar sobre H es una aplicación
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
ta
Proposición 1.4.2.
Si (H, h·, ·i) es un espacio prehilbertiano entonces:
ui
(i) |hx, yi|2 ≤ hx, xihy, yi para todo x, y ∈ H
Enlace AQUÍ para adquirir el libro
at
(desigualdad de Cauchy-Schwarz). Dicha desigualdad es una igualdad
si, y sólo si, x e y son linealmente dependientes.
pgr
(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.
tra
0 ≤ hx − ay, x − ayi
mu
kxk |hx,yi|
de modo que para t = kyk = kyk2 se da la igualdad en (1.6) y por tanto
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-
ta
ma son inmediatas. La desigualdad triangular se obtiene con ayuda de la
desigualdad de Cauchy-Schwarz del siguiente modo:
ui
kx + yk2 = kxk2 + 2 Rehx, yi + kyk2 ≤ kxk2 + 2|hx, yi| + kyk2
Enlace AQUÍ para adquirir el libro
at
≤ kxk2 + 2kxkkyk + kyk2 = (kxk + kyk)2 .
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.
es
Ejemplo 1.4.4. Los ejemplos más básicos de espacios de Hilbert son los
siguientes:
(i) Kn con el producto escalar
n
X
hx, yi = xi y i ,
ta
i=1
ui
P∞
(ii) ℓ2 = x = (xn )n ∈ KN : 2
n=1 |xn | < ∞ con el producto escalar
Enlace AQUÍ para adquirir el libro
at
∞
X
hx, yi = xn y n .
gr n=1
Z
hf, gi = f g dµ.
Ω
es
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
ta
para todo x, y ∈ H.
ui
Demostración. Comprobación simple usando la definición de la norma
hilbertiana.
Enlace AQUÍ para adquirir el libro
at
y
gr y−x
x+y
tra
0 x
Obsérvese que, en particular, de lo anterior se sigue que el producto es-
es
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
ta
La ley del paralelogramo interviene en la prueba de la igualdad
ui
D yE D yE
hx + z, yi = 2 x, + 2 z, , (1.9)
Enlace AQUÍ para adquirir el libro
2 2
at
que se establece a continuación, y que sirve como base para demostrar la
igualdad hx + z, yi = hx, yi + hz, yi.
gr
4hx + z, yi = kx + z + yk2 − kx + z − yk2 + ikx + z + iyk2 − ikx + z − iyk2
tra
Definición 1.4.7.
Dos espacios prehilbertianos (H1 h·, ·i1 ), (H2 , h·, ·i2 ) se dicen equiva-
lentes si existe T : H1 −→ H2 isomorfismo algebraico tal que
ta
Es inmediato, a partir de la identidad de polarización, que una condición
necesaria y suficiente para que esto ocurra es que T sea un isomorfismo
ui
isométrico entre los espacios normados asociados H1 y H2 .
Enlace AQUÍ para adquirir el libro
at
normado (véase la proposición 1.1.10), es decir, existen un espacio de Banach
Hb y una aplicación lineal isométrica J : H −→ H
gr b tales que J(H) es denso en
Hb (sección 1.1). Pero como la norma de H verifica la ley del paralelogramo,
también (por densidad) la verifica la norma de H. b En otras palabras, H b es
tra
un espacio de Hilbert para un producto escalar h·, ·iHb que genera la norma de
Hb y J es una aplicación lineal isométrica de H sobre un subconjunto denso
de Hb tal que hx, yiH = hJx, Jyi b para cada x, y ∈ H.
H
es
Proposición 1.4.9.
Sea H un espacio prehilbertiano.
(i) Si x, y ∈ H y x ⊥ y, entonces
ta
(teorema de Pitágoras).
(ii) Si (xi )i∈I es una familia ortogonal y xi 6= 0 para todo i ∈ I, entonces
ui
(xi )i∈I es un conjunto linealmente independiente.
Enlace AQUÍ para adquirir el libro
at
(iii) Si M ⊆ H, entonces M ⊥ es un subespacio cerrado de H.
Demostración. Las afirmaciones primera y última son de comprobación
gr
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.
tra
span{u1 , . . . , un } = span{x1 , . . . , xn }.
ta
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
ui
también que
Enlace AQUÍ para adquirir el libro
at
hy, uj i = 0 = aj + hxn , uj i, para j = 1, . . . n − 1,
gr
es decir, aj = −hxn , uj i, para j = 1, . . . n − 1, por lo que el vector
n−1
X
yn := xn − hxn , uj iuj
tra
j=1
span{x1 , . . . , xn }.
ta
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
ui
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.
Enlace AQUÍ para adquirir el libro
at
Obsérvese que no siempre existe un vector de mejor aproximación (tóme-
gr
se, por ejemplo, como S un semiespacio abierto de R2 y como x cualquier
elemento de R2 que no pertenezca a S) y que, en caso de que exista, puede
no ser único (tómese como S el exterior de la bola abierta con centro x y
tra
radio 1).
El objetivo de esta sección es probar que para conjuntos convexos com-
pletos en un espacio prehilbertiano la mejor aproximación existe y es única.
es
Definición 1.5.2.
Un conjunto A de un espacio vectorial X se dice convexo si
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.
ta
y por la convexidad de C
y + y
2
ui
n m
≥ α2 .
2
Enlace AQUÍ para adquirir el libro
at
Así, si n, m > n0 se tiene
y − y
2 1
n
m
gr
≤ (α2 + ε + α2 + ε) − α2 = ε.
2 2
tra
= kyk2 + kzk2 −
≤ (α + α2 ) − α2 = 0,
2 2 2 2
y por tanto z = y, lo que prueba la unicidad de la mejor aproximación.
mu
de donde
0 ≤ 2 Re ahz, x − yi + |a|2 kzk2
ta
y tomando a = thx − y, zi, con t ∈ R, se obtiene
ui
0 ≤ 2t|hx − y, zi|2 + t2 |hx − y, zi|2 kzk2 .
Enlace AQUÍ para adquirir el libro
at
Si para algún z ∈ Y fuera hx − y, zi =
6 0 se tendría
gr
0 ≤ 2t + t2 kzk2 ,
ta
n
X
(ii) d(x, M )2 = kxk2 − |hx, ei i|2 .
ui
i=1
at
está caracterizado por ser el único vector y ∈ M que cumple x − y ⊥ M .
Es inmediato comprobar que el vector definido en la ecuación (1.12) cumple
gr
esta condición y así se obtiene (i).
Utilizando la fórmula (1.12) y que x − y ⊥ y se obtiene
n
X n
X
tra
Teorema 1.5.6.
Sean H un espacio prehilbertiano, M ⊂ H un subespacio de dimen-
sión finita con base {xi : 1 ≤ i ≤ n} y x un vector de H.
(i) El vector y de mejor aproximación de x a M viene dado por
ta
a11 a12 · · · a1n hx, x1 i
a21 a22 · · · a2n hx, x2 i
−1
· · · · · · · · · · · ·
ui
y= ···
G(x1 , x2 , . . . , xn )
an1 an2 · · · ann hx, xn i
Enlace AQUÍ para adquirir el libro
x1 x2 · · · 0
at
xn
G(x1 , x2 , . . . , xn , x)
d(x, M ) =
G(x1 , x2 , . . . , xn )
es
a1 hx1 , x1 i + a2 hx2 , x1 i + . . . + an hxn , x1 i = hx, x1 i
a1 hx1 , x2 i + a2 hx2 , x2 i + . . . + an hxn , x2 i = hx, x2 i
(1.13)
... ... ... ...
a1 hx1 , xn i + a2 hx2 , xn i + . . . + an hxn , xn i = hx, xn i
ta
= hx, xi − ai hxi , xi
i=1
ui
o bien
a1 hx1 , xi + a2 hx2 , xi + · · · + an hxn , xi = hx, xi − d2 ,
Enlace AQUÍ para adquirir el libro
at
que se puede reescribir juntamente con las ecuaciones (1.13) en la siguiente
forma gr
a1 hx1 , x1 i + . . . + an hxn , x1 i − hx, x1 iα = 0
a1 hx1 , x2 i + . . . + an hxn , x2 i − hx, x2 iα = 0
tra
pero como Dn+1 = G(x1 , . . . , xn ), esta igualdad puede expresarse del siguien-
te modo:
es decir,
a11 a12 ··· a1n hx, x1 i
a21 a22 ··· a2n hx, x2 i
d2 G(x1 , . . . , xn ) = · · · ··· ··· ··· . . .
an1 an2 ··· ann hx, xn i
ta
hx1 , xi hx2 , xi ··· hxn , xi hx, xi
ui
= G(x1 , . . . , xn , x).
at
Vamos a continuación a ilustrar estos resultados con algunas aplicaciones.
gr
1.5.1.1. Funciones lineales experimentales. Resolución
de sistemas sobredimensionados por mínimos cuadrados
tra
x1 , . . . , xn , es decir,
y = a1 x 1 + a2 x 2 + · · · + an x n ,
mu
ta
desviaciones. De forma precisa, consideramos la función
ui
n
X 2 n
X 2
f (α1 , . . . , αn ) = y1 − αi xi1 + · · · + ym − αi xim
Enlace AQUÍ para adquirir el libro
at
i=1 i=1
n
X
2
n
X
2
f (a1 , . . . , an ) =
Y − ai Xi
≤ f (α1 , . . . , αn ) =
Y − αi Xi
,
i=1 i=1
ta
1.5.1.2. Ajustes polinómicos por mínimos cuadrados
ui
Dados k puntos, t1 , . . . , tk , en el intervalo [a, b] y valores y1 , . . . , yk , re-
presentados en una tabla
Enlace AQUÍ para adquirir el libro
at
x t1 t2 . . . tk
y y1 y2 . . . yk
gr
cuyos datos han sido obtenidos, por ejemplo, de forma experimental, es po-
sible determinar un polinomio P de grado a lo sumo k − 1 con la propiedad
de que P (ti ) = yi para 1 ≤ i ≤ k. Para obtener P es suficiente resolver
tra
ta
A00 A01 A02 · · · A0n hY, 1i
ui
A10 A11 A12 · · · A1n hY, ti
X n
−1
A20 A21 A22 · · · A2n hY, t2 i
P = ai t i =
Enlace AQUÍ para adquirir el libro
at
G(1, t, t2 , . . . , tn ) · · · · · · · · · · · · · · · . . .
i=1
A n
gr n0 An1 An2 · · · Ann hY, t i
1 t t 2 ··· t n 0
donde Ai,j = ht , t i, Y = (y1 , . . . , yk ).
j i
tra
ta
ax − aPM (x) ⊥ M y, por ende, PM (ax) = aPM (x). Se comprueba fácilmente
que PM , PM ⊥ son las proyecciones canónicas asociadas a la suma directa, y
ui
esto acaba la demostración de los dos primeros apartados.
Como x = y + z, siendo y ⊥ z, se tiene kxk2 = kyk2 + kzk2 = kPM xk2 +
Enlace AQUÍ para adquirir el libro
at
kzk , lo cual permite concluir que PM es continua y además que para M 6= 0
2
Definición 1.5.8.
mu
Ejemplo 1.5.9.
para (an )n ∈ c00 . Es claro que f está bien definida, pues la serie se
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
ta
n=1
ui
puesto que M ⊥ = 0, como el lector puede comprobar.
La propiedad de que cada subespacio cerrado de un espacio de Hilbert
Enlace AQUÍ para adquirir el libro
at
tiene un complementario topológico caracteriza dichos espacios (véase [52]).
Definición 1.5.10. gr
Un subconjunto S de (E, k · k) se dice total si span S = E.
tra
Corolario 1.5.11.
Sea H un espacio de Hilbert. S ⊂ H es total si, y sólo si, S ⊥ = 0.
Demostración. Supongamos que span S = H y sea x ∈ H tal que hs, xi = 0
mu
ta
siendo además kf k = kyk.
ui
Demostración. La implicación (ii)⇒(i) es una consecuencia de que el pro-
ducto escalar es lineal en la primera variable y de la desigualdad de Cauchy-
Enlace AQUÍ para adquirir el libro
at
Schwarz.
Veamos ahora que (i)⇒(ii). La unicidad es consecuencia de que 0 es el
gr
único vector ortogonal a H. La existencia se sigue del teorema de la pro-
yección del modo que se indica a continuación. Supongamos f 6= 0 (en caso
contrario, y = 0 resuelve la cuestión) y sea Y := Ker f . Como Y es un subes-
tra
f (x) = f x−hx, ziz+hx, ziz = f (hx, ziz) = hx, zif (z) = hx, f (z)zi = hx, yi
mu
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.
Sea H un espacio de Hilbert. Para cada f ∈ H ∗ sea T (f ) = y ∈ H el
único vector que verifica f (x) = hx, yi, para todo x ∈ H. Entonces:
(i) T : H ∗ −→ H es biyectiva isométrica y lineal conjugada, es decir,
kT f k = kf k y
ta
T (af + bg) = a T (f ) + b T (g).
(ii) H ∗ es un espacio de Hilbert con el producto escalar hf, gi∗ = hT g, T f i.
ui
(iii) Si H ∗∗ denota el dual de H ∗ , entonces la aplicación J : H −→ H ∗∗ defi-
Enlace AQUÍ para adquirir el libro
nida por J(x)f = f (x) es una biyección lineal que satisface kJxk = kxk
at
(lo que se expresa diciendo que H es reflexivo).
gr
En la definición que sigue recordamos los conceptos de forma bilineal y ses-
quilineal en espacios vectoriales sobre K, introduciendo los conceptos de aco-
tación y positividad fuerte en espacios normados.
tra
Definición 1.6.4.
Sean X un espacio vectorial sobre K y B : X × X −→ K.
es
que corresponde con la ley del paralelogramo para un producto escalar, véase
ta
la proposición 1.4.5.
Una herramienta que se ha manifestado muy útil en la discusión de pro-
ui
blemas de frontera para ecuaciones lineales en derivadas parciales de tipo
Enlace AQUÍ para adquirir el libro
at
Teorema 1.6.5. Lax-Milgram, 1954.
gr
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
tra
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
ta
para todo x ∈ H y por tanto z = Sw.
S es inyectiva pues, si Sy = 0, entonces hx, yi = B(x, Sy) = 0 para todo
ui
x ∈ H lo que permite concluir que y = 0.
Finalmente, haciendo T = S −1 se tiene hx, T yi = B(x, y), y tomando
Enlace AQUÍ para adquirir el libro
at
x = T y se obtiene
kT yk2 = B(T y, y) ≤ M kT ykkyk,
gr
de donde kT k ≤ M y, como ya hemos probado, kT −1 k = kSk ≤ c−1 .
tra
Entonces:
ta
(i) Es condición necesaria y suficiente para que F alcance su mínimo
en w ∈ H que se verifique la siguiente ecuación:
ui
B(w, y) = b(y) para todo y ∈ H. (1.17)
Enlace AQUÍ para adquirir el libro
at
(ii) La función real F (x) alcanza un mínimo absoluto en H que, ade-
gr
más, es único.
Demostración. La condición de simetría de B proporciona, tras los cálculos
tra
ta
En un espacio de Hilbert los tres teoremas de existencia que siguen son
equivalentes:
ui
1.7.1 Teorema de existencia de mínimos para los problemas variacionales
cuadráticos.
Enlace AQUÍ para adquirir el libro
at
1.5.4 Teorema de existencia de mejor aproximación a subespacios cerrados.
gr
1.6.1 Teorema de Riesz-Fréchet de representación del dual.
Demostración. Comenzaremos probando que el teorema 1.7.1 implica la
parte (iv) del teorema 1.5.4 de existencia de mejor aproximación a subespa-
tra
ta
ui
1.8. Convolución y aproximación de funciones
Enlace AQUÍ para adquirir el libro
at
Las funciones de clase C ∞ con soporte compacto van a jugar un papel
esencial en todo el desarrollo. Veremos primero la gran abundancia de estas
gr
funciones que van a aproximar, en situaciones muy generales, a cualquier
otra función dada de antemano. La técnica que empleamos es la convolución
de funciones, que podemos definir del siguiente modo:
tra
Definición 1.8.1.
Para funciones f, g localmente integrables en Rn definimos el pro-
es
ducto de convolución
Z
mu
(f ∗ g)(a) = f (x)g(a − x) dx
Rn
Definición 1.8.2.
Una sucesión de funciones {Km : Rn → R : m = 1, 2, . . . } diremos
que es una sucesión de Dirac si verifica las siguientes condiciones:
(i) Km (x) ≥ 0 para todo m y todo x.
R
(ii) Cada Kn es continua con Rn Kn (x)dx = 1.
ta
(iii) Dados ε > 0 y δ > 0 existe M tal que si m ≥ M entonces
ui
Z
Km (x) dx < ε.
Enlace AQUÍ para adquirir el libro
at
Rn \B(0,δ)
gr
Ejemplo 1.8.3. Tomemos KR una función continua no negativa y con so-
porte compacto en Rn tal que Rn K(x) dx = 1. Si definimos
tra
Km (x) = mn K(mx), m = 1, 2, · · ·
valor que es infinito. Dicha “función” se conoce como delta de Dirac. Las
sucesiones de Dirac nos van a servir para obtener teoremas muy generales de
aproximación de funciones, el método reside en el siguiente resultado:
Teorema 1.8.4.
Sea f : Rn → R una función continua y acotada. Definamos
Z
fm (x) := f ∗ Km (x) = f (t)Km (x − t) dt.
Rn
Por tanto:
Z
ta
fm (x) − f (x) = f (x − t) − f (x) Km (t) dt.
Rn
ui
La continuidad de f sobre un compacto que fijemos H ⊂ Rn asegura que
Enlace AQUÍ para adquirir el libro
dado ε > 0 existe δ > 0 tal que |f (x − t) − f (x)| < ε siempre que |t| < δ y
at
x ∈ H. Si |f (x)| ≤ B para todo x ∈ Rn y escogemos el entero M tal que
Z gr Km (x) dx < ε/2B
Rn \B(0,δ)
tra
B(0,δ)
Z
+ |f (x − t) − f (x)|Km (t) dt.
mu
Rn \B(0,δ)
Proposición 1.8.5.
Sea f una función localmente integrable en Rn y g ∈ D k (Rn ) Entonces
f ∗ g es una función de clase C k en Rn y se tiene la formula:
∂ |α| ∂ |α|
(f ∗ g) = f ∗ g
∂xα1 1 · · · ∂xαnn ∂xα1 1 · · · ∂xαnn
ta
para cualquier multi-índice α ∈ Nn con α ≤ k
ui
Demostración. Supongamos, para simplificar la notación, que f y g son
funciones reales de variable real y que queremos derivar f ∗ g. Fijemos a ∈ R,
Enlace AQUÍ para adquirir el libro
at
debemos entonces mostrar la existencia del límite siguiente
Z
grg(a + h − t) − g(a − t)
lı́m f (t) dt.
h→0 R h
Teniendo en cuenta que el soporte de g es compacto y que el límite se calcula
tra
Teorema 1.8.6.
D(Rn ) es denso en el espacio Cc (Rn ) de funciones continuas con
soporte compacto en Rn , dotado de la topología de la convergencia uni-
forme sobre compactos, y en Lp (Rn ), para cualquier 1 ≤ p < ∞.
ta
Demostración. Partiendo de una función K ≥ 0 en D(Rn ) cuyo soporte
sea la bola unidad podremos construir una sucesión de Dirac (Km ) formada
ui
con funciones de clase infinito y soporte compacto, como en el ejemplo 1.8.3.
Como la convolución entre funciones de soporte compacto tiene también so-
Enlace AQUÍ para adquirir el libro
at
porte compacto, aplicando el teorema 1.8.4 se completa la prueba de la den-
sidad del espacio D(Rn ) en el de las funciones continuas de soporte compacto
gr
Cc (Rn ), para la topología de convergencia uniforme sobre compactos. Como
Cc (Rn ) es denso en Lp (Rn ) (véase [59] y A.3.5), se sigue ahora que D(Rn ) es
denso en Lp (Rn ) para cualquier 1 ≤ p < ∞. En efecto, fijada f ∈ Lp (Rn ) y
tra
ε > 0 podemos encontrar una función continua con soporte compacto h tal
que kf − hkp < ε/2. Llamando H al soporte de h y fijando µ > 0, aplicamos
el teorema 1.8.4 con una sucesión de Dirac formada por funciones de D(Rn )
es
y la prueba concluye.
ta
K + sop(Km ).
ui
Si m es tal que d(K, Rn \ G) > 1/m la función f ∗ Km tendrá su soporte
contenido en G, ya que el soporte de Km está contenido en B(0, 1/m). De
Enlace AQUÍ para adquirir el libro
at
nuevo como Cc (G) es denso en Lp (G) se sigue también la densidad de D(G)
en los espacios Lp (G), 1 ≤ p < ∞.
gr
definir, sin ambigüedad, las derivadas generalizadas, con las que trabajaremos
en las próximas secciones.
es
Corolario 1.8.8.
Sea f ∈ L2 (G) donde G es un abierto de Rn . Si
mu
Z
f (x)ψ(x) dx = 0 para cualquier ψ ∈ D(G),
G
ta
△u se llama laplaciano de u. Este problema puede plantearse con mayor
generalidad, como hacemos a continuación, sustituyendo C por Rn y D por
ui
un abierto acotado G de Rn .
Enlace AQUÍ para adquirir el libro
at
funciones dadas definidas en G y ∂G, respectivamente, con valores reales y
u : G −→ R. Supóngase que f , g y u tienen las propiedades adecuadas para
gr
que tenga sentido el siguiente problema:
X n
∂ 2 u(x)
tra
−△u(x) := − = f (x), x ∈ G,
j=1
∂x2j (1.18)
u(x) = g(x), x ∈ ∂G,
es
ta
∂xj
ui
1.9.1. Conexión entre problemas variacionales
Enlace AQUÍ para adquirir el libro
y de valores frontera
at
Mostraremos a continuación que los problemas que reflejan las ecuacio-
gr
nes (1.18) y (1.19) son equivalentes entre sí, así como la forma en que se
relacionan con el problema de mínimo para la ecuación (1.20), en el caso de
funciones de clase C 2 .
tra
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
ta
para todo v ∈ D(G). Aplicando la fórmula de integración por partes, la
igualdad anterior equivale a
ui
Z X n Z Z X
n Z Z
Enlace AQUÍ para adquirir el libro
at
G j=1 G G j=1 G G
ta
funciones generalizadas, que constituyen el espacio de Sobolev. La introduc-
ción de los espacios de Sobolev se corresponde, en cierto sentido, con la
ui
introducción de los reales para completar el conjunto de los racionales con
los irracionales.
Enlace AQUÍ para adquirir el libro
at
1.9.2. Derivadas generalizadas y espacios de Sobolev
gr
Este apartado está destinado a presentar la noción de derivada genera-
lizada y a introducir los espacios adecuados para abordar el problema de
tra
Z Z
u(x)∂j v(x) dx = − w(x)v(x) dx, para todo v ∈ D(G).
G G
Definición 1.9.3.
Sea G un abierto de Rn . Se llama espacio de Sobolev 5 al conjunto
W 1,2 (G)determinado por
ta
El corolario 1.8.8 nos asegura que las definiciones anteriores están bien
ui
formuladas, al ser D(G) denso en L2 (G).
Enlace AQUÍ para adquirir el libro
at
Proposición 1.9.4.
La fórmula
gr Z n
X
hu, vi1,2 := uv + ∂j u∂j v
G j=1
tra
ta
que u es el límite de (un )n en W 1 (G).
ui
Definición 1.9.5.
Enlace AQUÍ para adquirir el libro
at
sura en W 1 (G) de D(G).
gr
En general H01 (G) es un subespacio propio de W 1 (G). Sin embargo, cuando
G = Rn ambos espacios coinciden (véase [72, pág. 58]).
tra
Definición 1.9.6.
Sea G un abierto acotado no vacío de Rn . Sea u ∈ W 1 (G). Diremos
es
u = 0 en ∂G. (1.24)
mu
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.
ta
Demostración. Consideremos inicialmente el caso n R x= 1. Y supongamos
ui
G ⊂ (a, b). Para cada u ∈ D(a, b) se tiene u(x) = a u′ (y) dy, para todo
x ∈ [a, b], y por tanto, aplicando la desigualdad de Cauchy-Schwarz, se tiene
Enlace AQUÍ para adquirir el libro
at
Z x 2 Z b Z b
2 ′ ′
2
u(x) = u (y)dy ≤ dy u (y) dy
a
Z
gr b 2
a a
≤ (b − a) u′ (y) dy.
a
tra
De aquí se sigue
Z b Z b
2 2
2
u(x) dx ≤ (b − a) u′ (x) dx.
es
a a
si u ∈ H01 (G), existe una sucesión un ∈ D(G) con lı́mn ku − un k1,2 = 0, por
lo que
lı́m ku − un k2 = 0, lı́m ku′ − u′n k2 = 0.
n n
En consecuencia, tomando límites en la ecuación anterior, se obtiene
Z b Z b
2
u(x)2 dx ≤ (b − a)2 u′ (x) dx. (1.26)
a a
Integrando sobre R
Z Z
2 2
2
u(x1 , x2 ) dx1 dx2 ≤ (d − c) ∂2 u(x1 , x2 ) dx1 dx2
R R
Z X
2
≤M (∂j u(x))2 dx.
ta
G j=1
ui
de la densidad de D(G) en H01 (G). Utilizando las mismas ideas, se completa
Enlace AQUÍ para adquirir el libro
at
gr
Teorema 1.9.8. Principio de Dirichlet.
Sea G un abierto acotado no vacío de Rn y supongamos dadas las
funciones f ∈ L2 (G) y g ∈ W 1 (G). Entonces:
tra
(i) La función
Z X
n Z
1
es
2
F (u) := (∂j u(x)) dx − f (x)u(x) dx (1.27)
2 G j=1 G
mu
ta
Sea H := H01 (G) y sean
Z X Z
ui
n
B(u, v) := ∂j u(x)∂j v(x) dx, b1 (v) := f (x)v(x) dx; u, v ∈ W 1 (G).
Enlace AQUÍ para adquirir el libro
G j=1 G
at
Introduciendo w := u − g, unos sencillos cálculos muestran que el problema
gr
de mínimo considerado en (1.27) equivale al problema de mínimo para
1
B(w, w) − b(w), para w ∈ H (1.30)
tra
2
donde b(w) := b1 (w)−B(w, g). Y el problema generalizado de valores frontera
(1.28) es equivalente a
es
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
ta
En esta sección veremos cómo el concepto de solución débil, o solución
ui
generalizada, nos ayuda a obtener resultados precisos de existencia de solucio-
nes para ecuaciones en derivadas parciales que sean lineales y de coeficientes
Enlace AQUÍ para adquirir el libro
at
constantes. Dado que no siempre es posible obtener soluciones clásicas las
soluciones débiles juegan un importante papel, más aún cuando sobre ellas
gr
se basan los fundamentos para la obtención de aproximaciones mediante al-
goritmos numéricos basados en el método de Galerkin.
Consideremos el operador diferencial lineal y de coeficientes constantes
tra
X ∂ α
L= aα (1.32)
∂x
es
|α|≤n
∂ |α|
= α1
∂x ∂x1 · · · ∂xαnn
para cualquier multi-índice α = (α1 , α2 , · · · , αn ) ∈ Nn , donde utilizamos la
notación |α| = α1 + α2 + · · · + αn . Fijamos k ≥ |aα | para todo α, esto es L
es de orden menor o igual que k.
El operador L actúa de la siguiente forma: para cualquier función u sufi-
cientemente derivable tendremos:
X ∂ α X ∂ |α| u
Lu := aα (u) = aα α1
∂x ∂x1 · · · ∂xαnn
|α|≤n |α|≤n
Proposición 1.10.1.
Sea G un abierto en Rn . Para funciones ϕ, ψ ∈ L2 (G) que sean de clase
k
C en el abierto G se tiene que
Z Z
hLψ, ϕi = Lψϕ = ψL∗ ϕ = hψ, L∗ ϕi
G G
ta
siempre que alguna de las funciones ϕ, o ψ, tenga su soporte compacto.
Demostración. Se sigue de la fórmula de integración por partes (1.21) apli-
ui
cada a cada derivada parcial ∂j . Iterando se obtiene para cualquier operador
Enlace AQUÍ para adquirir el libro
diferencial lineal L.
at
Corolario 1.10.2. gr
Sea G un abierto en Rn , f ∈ L2 (G) y u ∈ L2 (G) de clase C k . Si Lu = f
entonces se tiene que
tra
hf, ψi = hu, L∗ ψi
para cualquier ψ ∈ D(G).
es
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
ta
damental del cálculo nos dice que u(t) − u(a) = a u (x) dx y la fórmula de
′
ui
Z 1 Z 1
′
u (x)ψ(x) dx = − u(x)ψ ′ (x) dx
Enlace AQUÍ para adquirir el libro
at
0 0
Z 1 Z 1
F (x)ϕ(x) dx = − G(x)ϕ′ (x) dx (1.33)
0 0
es
ta
∂u(x, 0)
u(x, 0) = f (x), =0
∂t
ui
1 para 0 ≤ x ≤ π, donde f es una función lineal a tro-
Enlace AQUÍ para adquirir el libro
at
zos cuya gráfica determina la posición inicial de una
cuerda vibrante tal como, por ejemplo,
gr
0 3/4 π f (0) = f (π) = 0, f (3/4) = 1.
tra
La fórmula de d’Alembert:
f (x + t) + f (x − t)
mu
u(x, t) =
2
proporciona una solución débil que no es de clase C 2 . En efecto, aproxi-
memos f por una sucesión de funciones fm ∈ D(R) que converja hacia f
uniformemente sobre compactos en R usando el teorema 1.8.6. Definiendo
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. 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
ta
para toda ψ ∈ D(G).
ui
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
Enlace AQUÍ para adquirir el libro
at
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
gr
el soporte de ψ es compacto y está contenido en G:
Z x1
∂
ψ(x1 , x2 , · · · , xn ) = ψ(t, x2 , · · · , xn ) dt.
−∞ ∂x1
tra
∂
ψ(x1 , · · · , xn ) ≤ ψ(t, x2 , · · · , xn ) · 1 dt .
−∞ ∂x1
Z x1 2
∂
ψ(x)2 ≤ d ψ(t, x 2 , · · · , x n dt
)
−∞ ∂x 1
ta
|α|≤n
ui
K : L2 (G) → L2 (G)
Enlace AQUÍ para adquirir el libro
at
tal que LK(f ) = f en sentido débil para cualquier f ∈ L2 (G). En otras
gr
palabras, u = K(f ) es una solución débil de L(u) = f para cualquier
f ∈ L2 (G), i.e.
hf, ψi = hu, L∗ ψi
tra
completado H con klk ≤ C = ckf kL2 (G) . El teorema de Riesz (1.6.1) aplicado
al espacio de Hilbert H y a la forma l nos asegura que existe un vector û ∈ H
tal que
c∗ h, L
l(h) = hh, ûiL = hL c∗ ûiL2 (G)
ta
todo h ∈ H. Como l(ψ) = hψ, f iL2 (G) y L c∗ (ψ) = L∗ ψ para ψ ∈ D(G)
llegamos a que
ui
hL∗ ψ, uiL2 (G) = hψ, f iL2 (G)
Enlace AQUÍ para adquirir el libro
at
tendremos un operador K : L2 (G) → L2 (G) que verifica:
gr
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-
tra
ta
ui
1.11. El método de Galerkin
Enlace AQUÍ para adquirir el libro
at
El método de Galerkin es el precursor teórico del práctico método de los
gr
elementos finitos para la resolución numérica de ecuaciones diferenciales en
derivadas parciales. Podremos ver una descripción del mismo basada en la
aproximación variacional que de los problemas de tipo elíptico hemos hecho
tra
anteriormente (1.7.1).
a(x, un ) = b(x)
ta
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
ui
de espacios Mn es creciente tendremos
Enlace AQUÍ para adquirir el libro
at
kx − Pn (x)k = d(x, Mn ) ≤ d(x, Mn0 ) ≤ kx − yk ≤ ε
siempre que n ≥ n0 . gr
que
lı́m un = u.
n→∞
Podemos determinar estimaciones a priori de la solución, así como del
error cometido con la aproximación un de u:
Corolario 1.11.3.
En las condiciones del Teorema 1.11.1 se verifican:
(i) Escribiendo a(x, y) ≤ dkxkkyk y ckxk2 ≤ a(x, x) para cualesquiera
x, y ∈ H tenemos la estimación a priori para la solución u:
ku − un k ≤ d · c−1 d(u, Mn ).
1.11. El método de Galerkin 83
ta
(i) En efecto, kuk2 ≤ c−1 a(u, u) = c−1 b(u) ≤ c−1 kbkkuk.
(ii) Se comprueba como la anterior:
ui
ku − un k2 ≤ c−1 a(u − un , u − un ) ≤ c−1 a(u − x, u − x)2 ≤ c−1 dku − xk2
Enlace AQUÍ para adquirir el libro
at
para cualquier x ∈ Mn .
(iii) Finalmente, gr
1
J(u + v) = a(u + v, u + v) − b(u + v)
2
tra
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
es
1
J(u + v) − J(u) = a(v, v),
2
mu
ta
adecuado para el estudio de los espacios normados y hilbertianos de dimen-
sión infinita. La razón fundamental es que, a diferencia de lo que ocurre en
ui
espacios de dimensión finita, las bases algebraicas no guardan relación con la
estructura topológica del espacio. Para el estudio en Análisis Matemático de
Enlace AQUÍ para adquirir el libro
at
las propiedades de los espacios de dimensión infinita se consideran otro tipo
de bases. Esta sección está destinada a definir el concepto y establecer la exis-
gr
tencia de bases hilbertianas en cualquier espacio de Hilbert. Damos ejemplos
de bases hilbertianas concretas, desarrollamos la L2 -teoría de series de Fourier
e ilustramos con aplicaciones a integración numérica y a espacios de funciones
tra
1.12.1. Redes
es
aquí comentados.
Definición 1.12.1.
ta
único (lo que ocurre si T es de Hausdorff), t se llama el límite de
la red (ti )i∈D y se escribe t = lı́mi∈D ti = lı́mD ti . Un punto s ∈ T
ui
se dice que es de aglomeración de (ti )i∈D si para cada entorno V
de s y cada j ∈ D existe i ≥ j en D de forma que ti ∈ V .
Enlace AQUÍ para adquirir el libro
at
Las sucesiones son un caso particular de redes, cuando D = N dotado del
orden inducido por el de R. El concepto de red convergente extiende pues
gr
el de sucesión convergente; a la convergencia de redes se le da también el
nombre de convergencia de Moore-Smith.
tra
Definición 1.12.2.
Si (X, k · k) es un espacio normado, una red (xi )i∈D en X se dice
que satisface la condición de Cauchy si para cada ε > 0 existe i0 ∈ D
es
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
ta
propiedades:
(i) φ ◦ ρ = ψ.
ui
(ii) Para cada i0 ∈ D existe j0 ∈ J tal que si j ≥ j0 , entonces
Enlace AQUÍ para adquirir el libro
ρ(j) ≥ i0 .
at
Obsérvese que, en las condiciones de la definición anterior, si D es un
gr
conjunto dirigido y J ⊂ D tiene la propiedad de que para cada i ∈ D existe
j ∈ J con j ≥ i (un tal J se dice que es cofinal en D), entonces para cada
tra
red (wi )i∈D en Y , la red (wi )i∈J es una subred suya. En espacios topológicos
si una red converge toda subred suya converge al mismo punto.
Algunas propiedades de las redes, como las que siguen, son bastante atrac-
es
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
ta
En espacios metrizables las sucesiones son suficientes para describir la
topología subyacente; sin embargo, en espacios no metrizables no es así y
ui
hemos de recurrir a las redes para describir la topología de los espacios. No
debe caerse en la tentación de infravalorar el concepto de red pensando que
Enlace AQUÍ para adquirir el libro
at
se trata únicamente de un cambio terminológico.
gr
Ejemplo 1.12.6. En espacios métricos un punto s es de aglomeración de
la sucesión (xn )n si, y sólo si, existe una subsucesión (xnk )k de (xn )n que
converge hacia s. Esto no es cierto en espacios topológicos arbitrarios, a pesar
tra
y consideramos
Entonces:
ta
(i) El conjunto D es sucesionalmente cerrado, denso y no cerrado en Y .
ui
(ii) Toda sucesión en D tiene una subsucesión convergente a un punto de D.
(iii) D no es compacto.
Enlace AQUÍ para adquirir el libro
at
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
gr
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 .
tra
P0 (I) := {J : J ⊆ I, J es finito}.
mu
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.
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}
ta
es contable (finito o numerable).
P
(iii) Si la red ( i∈J xi )J∈P0 (I) es de Cauchy, entonces se tiene que
ui
n
X
o
sup
xi
: J ∈ P0 (I) < ∞. (1.34)
Enlace AQUÍ para adquirir el libro
at
i∈J
la cumple; pero al ser X completo, dicha red es convergente por el lema 1.12.3,
es decir, (xi )i∈I es sumable.
La prueba de (ii) es como sigue. Por la condición de Cauchy, para cada
n ∈ N existe Jn ⊂ I finito tal que kxi k < 1/n si i ∈ / Jn , en consecuencia el
conjunto
n 1o
An := i ∈ I : kxi k ≥ ⊂ Jn
n
S
es finito para cada n ∈ N. Como {i ∈ I : xi 6= 0} = n An , se obtiene el
resultado.
La propiedad (iii) se sigue directamente de la condición de Cauchy. Efec-
tivamente, si utilizamos que se satisface la condición de Cauchy para ε = 1
podemos
P determinar J0 ∈ P0 (I) tal que si J ∈ P0 (I) y J ∩ J0 = ∅, entonces
k i∈J xi k < 1. Para cualquier conjunto finito J ⊂ I tenemos
X
X
X
X
xi
≤
xi
+
xi
< 1 + kxi k
i∈J i∈J\J0 i∈J∩J0 i∈J0
1.12. Bases en espacios de Hilbert 90
P
y por tanto sup{k i∈J xi k : J ∈ P0 (I)} < ∞.
La propiedad (iv) se sigue ahora de (iii) y de la definición de supremo.
Si (xi )i∈I es absolutamente sumable, entonces (kxi k)i∈I es sumable y la pro-
P nos dice que el supremo en (1.35) es finito. Recíprocamente, si
piedad (iii)
α = sup{ i∈J kxP i k : J ∈ P0 (I)} ∈ R y ε > 0, entonces existe
P J0 ∈ P0 (I)
tal que α − ε ≤ i∈J0 kxi k. De aquí se tiene que α − ε ≤P i∈J kxi k ≤ α
ta
para cada J ∈ P0 (I) con J ⊃ J0 , lo que significa que α = i∈I kxi k.
ui
A la vista de las condiciones (1.34) y (1.35) en la proposición anterior,
es claro que poder establecer que las familias sumables son absolutamente
Enlace AQUÍ para adquirir el libro
at
sumables en un espacio de Banach “sólo depende” de poder intercambiar
normas con sumas de forma “razonable”. Dvoretzky y Rogers establecieron
gr
en [18] que un espacio de Banach es de dimensión finita si, y sólo si, las
familias sumables coinciden con las absolutamente sumables.
En nuestra siguiente definición 1.12.10 introducimos la propiedad que
tra
esta propiedad para establecer de forma sencilla, sin pasar por coordenadas,
que en espacios de dimensión finita las nociones de convergencia absoluta e
mu
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
ta
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
ui
2n n
estimaciones
Enlace AQUÍ para adquirir el libro
at
1 1
√ ≤ Cn (S) ≤ √ ,
2n n n
gr
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
tra
1
tomamos cn = √ . Consideremos las 2n pirámides en Rn definidas por
2n n
es
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,
mu
ta
es la base canónica, podemos encontrar un conjunto S ⊂ {1, 2, ..., n} tal que
ui
n
X
X
c kej k2 ≤
ej
.
Enlace AQUÍ para adquirir el libro
at
j=1 j∈S
√
Así, cn ≤ n y la prueba acaba.
gr
Proposición 1.12.12.
Sea (X, k · k) un espacio normado de dimensión finita y sea (xi )i∈I una
tra
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.
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
ta
(iii) sup i∈J kx i k : J ∈ P 0 (N) < ∞.
(iv) (xn )n∈N es absolutamente sumable.
ui
(v) (xn )n∈N es sumable.
Enlace AQUÍ para adquirir el libro
at
El teorema de reordenación de Riemann, que apareceP en los textos de
cálculo, asegura que si una serie de números reales ∞
gr n=1 n es convergente
x
pero no es absolutamente convergente, entoncesP para cada x ∈ [−∞, ∞]
existe una biyección π : N → N tal que x = ∞ n=1 π(n) . Como consecuencia,
x
todas las “reordenaciones” de una serie de números reales son convergentes
tra
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.
Demostración.
P Supongamos que (xn )n∈N es sumable y probemos P que la
serie ∞ n=1 x n 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,
ta
X
n
X
x − x
=
x − x
< ε,
π(j)
m
ui
j=1 m∈π({1,2,...,n}
P∞
para n ≥ mε , y consecuentemente n=1 xπ(n) = x para cada biyección π.
Enlace AQUÍ para adquirir el libro
at
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
gr
satisface la condición de Cauchy, es decir, existe ε > 0 tal que para cada
J ∈ P0 (N) existe J ′ ∈ P0 (N) con
X
tra
J ∩ J′ = ∅ y
xi
≥ ε. (1.40)
i∈J ′
J2 ∩ J = ∅ y
xj
≥ ε.
i∈J2
ta
Teorema 1.12.16.
ui
Para un espacio de Banach (X, k · k) las siguientes afirmaciones son
equivalentes:
Enlace AQUÍ para adquirir el libro
at
(i) X es de dimensión finita.
(ii) X tiene la propiedad (S).
gr
(iii) Para cada ε > 0 existe δ > 0 tal que, para cada conjunto finito
{zj : j ∈ J} en X, si tenemos
tra
n
X
o
sup
zj
: S ⊂ J < δ, (1.41)
j∈S
es
entonces X
kzj k < ε.
mu
j∈J
ta
La implicación (iv)⇒(i) es el teorema de Dvoretsky-Rogers.
ui
1.12.3. Sumas hilbertianas
Enlace AQUÍ para adquirir el libro
at
Sean H1 y H2 dos espacios de Hilbert. En el producto cartesiano H :=
H1 × H2 se pueden definir distintas normas cuya topología asociada es la
gr
topología producto. Una de estas normas en H, a saber,
1/2
k(x1 , x2 )k := kx1 k2H1 + kx2 k2H2 ,
tra
ta
Banach. Además dicha norma está generada por el producto escalar definido
en H por la expresión
ui
X
h(xi )i∈I , (yi )i∈I i := hxi , yi iHi .
Enlace AQUÍ para adquirir el libro
at
i∈I
i∈J i∈J
X 1/2 X 1/2
es
ta
i∈I
ui
J ⊂ I y pasando al límite en m en la ecuación (1.42).
Enlace AQUÍ para adquirir el libro
at
Definición 1.12.18.
gr
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
tra
mente con el subespacio de H formado por aquellos vectores que tienen nulas
todas las coordenadas distintas de la coordenada i, y desde esa perspectiva
mu
ta
tificar H con la suma directa i∈I Hi y escribir simplemente H = i∈I Hi .
ui
1.12.4. El espacio ℓ2 (I): series de Fourier abstractas
Enlace AQUÍ para adquirir el libro
at
La definición del espacio ℓ2 de la página 35 se generaliza de forma natural
para un conjunto arbitrario I al espacio
n
gr
ℓ2 (I) := (ai )i∈I ∈ KI :
X o
|ai |2 < ∞ ,
i∈I
tra
i∈I
ta
aplicamos la propiedad (ii) en la proposición 1.5.5 obtenemos que
X
ui
0 ≤ d(x, M )2 = kxk2 − |hx, ek i|2 ,
k∈J
Enlace AQUÍ para adquirir el libro
at
o lo que es lo mismo, que la desigualdad (1.44) es cierta.
gr
Proposición 1.12.21.
Sean H un espacio prehilbertiano y (ei )i∈I un conjunto ortonormal en H.
tra
Teorema 1.12.22.
Sean H un espacio de Hilbert y (ei )i∈I un conjunto ortonormal en
H. Las siguientes afirmaciones son equivalentes:
(i) (ei )i∈I es un conjunto ortonormal maximal.
(ii) Si x ∈ H es tal que hx, ei i = 0, para todo i ∈ I, entonces x = 0.
ta
(iii) (ei )i∈I es un conjunto total.
ui
(iv) La aplicación b : H −→ ℓ2 (I) definida por x b = (hx, ei i)i∈I es
inyectiva.
Enlace AQUÍ para adquirir el libro
at
P
(v) Para cada x ∈ H se verifica x = i∈I hx, ei iei (Desarrollo de
Fourier). gr P
(vi) Para cada x, y ∈ H se tiene hx, yi = i∈I hx, ei ihy, ei i.
P
(vii) Para cada x ∈ H se tiene kxk2 = i∈I |hx, ei i| (Identidad de
2
tra
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).
ta
Por otro lado se tiene
ui
Proposición 1.12.25.
El espacio de Hilbert ℓ2 (I) es topológicamente isomorfo a ℓ2 (J) si, y sólo
Enlace AQUÍ para adquirir el libro
at
si, I y J tienen el mismo cardinal.
gr
Demostración. Es claro que si I y J tienen el mismo cardinal se verifica
que ℓ2 (I) es isométricamente isomorfo a ℓ2 (J).
Recíprocamente, supongamos que T : ℓ2 (I) −→ ℓ2 (J) es un isomorfismo
tra
topológico y que los espacios son de dimensión infinita (para el caso finito
dimensional el resultado es claro). Denotemos con (ei )i∈I y (εj )j∈J , respec-
tivamente, las bases canónicas de ℓ2 (I) y ℓ2 (J). Para
S cada i ∈ I, el conjunto
es
ta
(iii) H es separable.
ui
Demostración. La equivalencia entre (i) y (ii) es consecuencia directa de
los últimos resultados. La implicación (ii)⇒(iii) es evidente. Para (iii)⇒(i)
Enlace AQUÍ para adquirir el libro
at
basta observar que por ser H de dimensión infinita, de cualquier conjunto
(xn )n∈N denso en H se puede extraer una subsucesión (xnk )k∈N de vectores li-
gr
nealmente independientes tal que span{xn : n ∈ N} = span{xnk : k ∈ N}. Por
lo tanto span(xnk )k = H y mediante el procedimiento de ortonormalización
de Gram-Schmidt 1.4.10 aplicado a (xnk )k obtenemos una base hilbertiana
tra
numerable de H.
pleja que la de los espacios de Hilbert. Kadec demostró en 1966 que todos los
espacios de Banach separables son homeomorfos a ℓ2 , [6, Corollary 9.1]. La
mu
clasificación topológica de los espacios de Banach fue dada por Toruńczyk [69]
en 1981: dos espacios de Banach de dimensión infinita son homeomorfos si,
y sólo si, sus densidades son iguales.
Los resultados anteriores conducen al siguiente corolario.
Corolario 1.12.28.
Si Z es un subespacio cerrado de dimensión infinita de ℓ2 , entonces Z es
isomorfo a ℓ2 .
ta
rema de Korovkin.
Teorema 1.12.29. Korovkin, 1953.
ui
Consideremos las funciones f0 , f1 y f2 definidas en [a, b] por
Enlace AQUÍ para adquirir el libro
at
f0 (t) = 1, f1 (t) = t y f2 (t) = t2 ,
gr
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
tra
f ≥ 0 en C([a, b]).
(ii) Para m = 0, 1, 2 se tiene lı́mn→∞ kPn (fm ) − fm k∞ = 0.
es
Entonces:
lı́m kPn (f ) − f k∞ = 0, (1.45)
n→∞
mu
ta
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
ui
gs = f2 − 2sf1 + s2 f0 y consecuentemente
Enlace AQUÍ para adquirir el libro
lı́m Pn (gs )(s) = lı́m Pn (f2 )(s) − 2sPn (f1 )(s) + s2 Pn (f0 )(s)
at
n→∞ n→∞
= s − 2ss + s2 1 = 0
2
gr
uniformemente. Este último hecho junto con las desigualdades (1.49) per-
miten concluir ahora que Pn (f )(s) converge uniformemente hacia f (s) en
tra
s ∈ [a, b].
ta
k=0
Xn X n
k n k n−1 k
ui
n−k
Bn (f1 )(t) = t (1 − t) = t (1 − t)n−k
n k k−1
k=1 k=1
Enlace AQUÍ para adquirir el libro
at
n−1
X n−1
= tk+1 (1 − t)(n−1)−k
k gr
k=0
X n − 1
n−1
=t tk (1 − t)(n−1)−k = t;
k
tra
k=0
n
k 2 n k
X Xn
n−k k n−1 k
Bn (f2 )(t) = t (1 − t) = t (1 − t)n−k
n k n k−1
es
k=1 k=1
Xn h i
(n − 1)(k − 1) 1 n − 1 k
= + t (1 − t)n−k
mu
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 ).
0.8
0.6
0.4
ta
0.2
ui
0
0 0.2 0.4 0.6 0.8 1
Enlace AQUÍ para adquirir el libro
at
Polinomios de Berstein de grados 4, 12 y 36
para la función f (x) = sen(πx) en [0,1].
gr
Aproximar funciones por polinomios de interpolación con nodos prefi-
jados no es una buena estrategia, ya que fijada una sucesión de nodos de
tra
interpolación para la función f (x) = 1/(1 + 25x2 ) en [−1, 1], tanto con nodos
equidistantes como con nodos que son ceros de los polinomios de Čebyšev.
Nótese que, para esta función, la aproximación con nodos equidistantes es
mu
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
ta
El algoritmo de Remes nos proporciona un método para calcular pn (es el
ui
único polinomio de grado menor o igual que n que equioscila respecto de f en
n + 2 puntos distintos de [a, b]), véase [33, p. 144-157]. Conociendo a priori la
Enlace AQUÍ para adquirir el libro
at
validez del teorema de Stone-Weierstrass, la sucesión de polinomios (pn )n así
obtenida converge uniformemente hacia f . Por tanto, dada cualquier función
gr
continua f ∈ C([a, b]) siempre se puede encontrar una sucesión de nodos
de interpolación para la que la sucesión correspondiente de polinomios de
interpolación, converge uniformemente hacia f .
tra
Como veremos, el espacio L2K ([−π, π]) es separable y por tanto posee una
base hilbertiana numerable, de acuerdo con la proposición 1.12.27. En lo que
mu
sigue vamos a describir una base de este espacio, que se encuentra ligada a
los orígenes de las series de Fourier clásicas.
Comenzaremos estableciendo, con ayuda del teorema de aproximación de
Weierstrass 1.12.30, que los polinomios trigonométricos son uniformemente
densos en el espacio vectorial de las funciones reales 2π-periódicas.
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
ta
Demostración. Puesto que el conjunto de los polinomios trigonométricos
es un espacio vectorial y se tiene la identidad
ui
f (x) + f (−x) f (x) − f (−x)
f (x) = + = f1 (x) + f2 (x)
Enlace AQUÍ para adquirir el libro
2 2
at
donde f1 (x) := (f (x) + f (−x))/2 y f2 (x) := (f (x) − f (−x))/2 siendo f1 una
gr
función par (es decir f1 (−x) = f1 (x)) y f2 una función impar (f2 (−x) =
−f2 (x)) que verifica f2 (0) = f2 (π) = 0, bastará probar el resultado para
funciones con las propiedades de f1 y f2 .
tra
ta
gδ (x) := π − 2δ
0 en otro caso.
ui
Haciendo x′ := π(x − δ)/(π − 2δ), un sencillo cálculo muestra que es posible
Enlace AQUÍ para adquirir el libro
at
elegir δ > 0 para que se tenga |x′ − x| < η siempre que x ∈ [δ, π − δ]. Para
esa elección de δ, se tendría
gr
|f (x) − gδ (x)| < ε para todo x ∈ [0, π].
se tendría entonces que |f (x) − gδ (x)| < ε para x ∈ [−π, π], por ser f y gδ
funciones impares. Sea G : [−π, π] −→ R definida mediante
es
gδ (x)
G(x) := , si x ∈ (−π, π) y G(0) := 0.
sen x
mu
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
fb(n)e−int
n∈Z
ta
Z
1 π
(1.53)
ui
a0 := f (t) dt
π −π
Z π
Enlace AQUÍ para adquirir el libro
at
an := f (t) cos(nt) dt, n = 1, 2, . . . (1.54)
π −π
Z
1 π gr
bn := f (t) sen(nt) dt, n = 1, 2, . . . (1.55)
π −π
∞
X
1
a0 + an cos(nt) + bn sen(nt) .
2
es
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
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
ta
F (f ) = (fd
(n))n∈Z
ui
Enlace AQUÍ para adquirir el libro
at
Demostración. Basta demostrar que los conjuntos respectivos que se con-
gr
sideran en (i) y (ii) son bases hilbertianas, pues las otras afirmaciones son
consecuencias de este hecho y del teorema 1.12.22. Unos sencillos cálculos
prueban que Z
tra
π
ei(n−m)t dµ(t) = δn,m n, m ∈ Z.
−π
Es decir, la familia (eint )n∈Z considerada en (i) es ortonormal en L2C [−π, π].
es
Recordando que
ta
con ak , bk ∈ C, que cumple kf − pk2 < ε. Ahora bien, los polinomios trigo-
nométricos complejos pueden escribirse (usando las ecuaciones (1.56)) como
ui
P
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 ([−π, π]).
Enlace AQUÍ para adquirir el libro
at
1.12.7. Polinomios ortogonales
gr
Definición 1.12.35.
tra
Z
|t|n p(t)dt < ∞. (1.57)
mu
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
ta
si f ∈ Hp es tal que hf, f i = I |f (t)|2 p(t)dt = 0, la continuidad de f en I y
de p en el interior de I obligan a que |f (t)|p(t) = 0 para t en el interior de I.
ui
Utilizando ahora que p es estrictamente positiva, y, de nuevo, la continuidad
de f en I, se obtiene que f = 0.
Enlace AQUÍ para adquirir el libro
at
n=0 es-
Por definición, si p es un peso en I, la sucesión de polinomios {tn }∞
gr
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
tra
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.
ta
lo que implica que Pn cambia de signo en I porque p no lo hace. Por lo tanto
Pn tiene al menos una raíz que está en el interior de I. Sean t1 < t2 < . . . < tr
ui
las r raíces de Pn interiores a I y que marcan los cambios de signo de Pn .
Enlace AQUÍ para adquirir el libro
at
que r < n. Si definimos
gr
Q(t) = (t − t1 )(t − t2 ) . . . (t − tr ),
Z
0 6= Pn (t)Q(t)p(t)dt = hPn , Qi,
I
es
ta
Polinomios de Čebyšev. √ Es la sucesión de polinomios ortogonales asocia-
dos al peso p(t) = 1/ 1 − t2 en el intervalo I = [−1, 1]. El término
ui
general es
Pn (t) = cos(n arc cos t),
Enlace AQUÍ para adquirir el libro
at
donde arc cos es la determinación que envía [−1, 1] a [0, π].
Proposición 1.12.39.
gr
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
tra
se tiene
Z b 1/2 Z b 1/2
mu
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 ).
ta
k=1
ui
a ≤ t1 < t2 < . . . < tn ≤ b para que la aproximación sea buena se hace en la
proposición 1.12.40 y en los teoremas 1.12.41 y 1.12.42 que siguen.
Enlace AQUÍ para adquirir el libro
at
Proposición 1.12.40.
Si p es un peso en [a, b] y a ≤ t1 < t2 < . . . < tn ≤ b puntos distintos en
gr
[a, b], entonces existen números A1 , A2 , . . . , An tales que la fórmula
Z b X n
tra
Yn
t − tj
ℓk (t) :=
tk − tj
j=1,j6=k
ta
Sea p un peso en [a, b] y sea {P0 , P1 , . . . , Pn , . . . } la sucesión de poli-
nomios ortonormales asociados a p en [a, b]. Fijado n ∈ N, consideramos
ui
t1 < t2 < . . . < tn puntos interiores a [a, b] y supongamos que la fórmula
Enlace AQUÍ para adquirir el libro
at
b n
X
f (t)p(t) dt ≈ Ak f (tk ) (1.61)
a gr k=1
Z b n
X
hPm , P i = Qm (t)p(t) dt = Ak Qm (tk ) = 0.
a k=1
ta
n
X
P = hP, Pk iPk = hP, Pn iPn .
ui
k=0
at
equivalencia que queríamos demostrar.
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
f (t)p(t) dt −
Ank f (tnk ) ≤ f (t)p(t) dt − Q(t)p(t)dt
a k=1 a a
Z b n
X
+ Q(t)p(t) dt − Ank f (tnk )
a k=1
Z n n
b X X
ta
≤ f (t) − Q(t)p(t) dt + Ank Q(tnk ) − Ank f (tnk )
a k=1 k=1
ui
Z n
X Z n
X
b b
≤ε p(t) dt + |Ank | Q(tnk ) − f (tnk ) ≤ ε p(t) dt + Ank ε
Enlace AQUÍ para adquirir el libro
at
a k=1 a k=1
Z b
= 2ε p(t) dt, gr
a
Z b n
X
2
0< P (t) p(t) dt = Anj (P (tnj ))2 = Ank (P (tnk ))2 ,
mu
a j=1
ta
n=0
siendo la serie uniformemente convergente sobre compactos de Ω?
ui
En esta sección utilizamos técnicas de espacios de Hilbert para dar res-
puesta positiva a la cuestión anterior cuando tomamos funciones holomorfas
Enlace AQUÍ para adquirir el libro
at
de cuadrado integrable. Remitimos a [59] para los conceptos de Análisis Com-
plejo que se necesitan para la comprensión de esta sección.
Definición 1.12.43.
gr
Sea Ω ⊂ C un abierto del plano complejo. Definimos el espacio de
tra
El lema que sigue lo necesitamos para luego obtener las propiedades del
mu
ta
= an am r j+1 ei(n−m)θ dθ dr
j=0 n+m=j 0 0
∞ Z R Z 2π R
ui
X ∞
X
2 2n+1 2 r 2n+2
= |an | r dθ dr = 2π |an |
2n + 2
Enlace AQUÍ para adquirir el libro
n=0 0 0
at
n=0 0
∞
X R2n+2 R2
= 2π |an |2 ≥ 2π|a0 |2
gr = π|f (a)|2 R2 .
n=0
2n + 2 2
π(ρ/2)2 D(z,ρ/2)
ZZ
1 4
≤ 2
|f (x + iy)|2 dx dy ≤ M ,
π(ρ/2) Ω πR2
ta
g1 = lı́mj fnj y g2 = lı́mk fmk en (H (Ω), TK ). Para cada disco compacto
D(a, r) ⊂ Ω se tiene pues g1 (z) = lı́mj fnj (z) y g2 (z) = lı́mk fmk (z), unifor-
ui
memente en z ∈ D(a, r). Como también verifica
Enlace AQUÍ para adquirir el libro
at
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
gr
en (L2 (D(a, r)), k · k2 ), tiene que ser g1 D(a,r)
= g2 D(a,r)
, ya que ambas fun-
ciones son continuas y casi iguales en D(a, r). Hemos probado, por tanto, que
tra
Teorema 1.12.47.
Sean Ω ⊂ C abierto y A2 (Ω) con el producto escalar inducido por
L2 (Ω).Se tiene:
ta
(i) Si Ω = D(0, R), R > 0, entonces la sucesión {φ1 , φ2 , . . . , φn , . . . }
dada por
ui
n 1/2
Enlace AQUÍ para adquirir el libro
at
φn (z) :=
π
gr
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 , . . . }
tra
dada por
n 1/2
[f (z)]n−1 f ′ (z), z ∈ Ω,
es
wn (z) :=
π
es una base hilbertiana de A2 (Ω).
mu
Demostración. Establezcamos
P∞ primero la validez de (i). Tomemos f ∈
A (D(0, R)) y sea f (z) = n=0 an z su desarrollo en serie de potencias en
2 n
ta
Veamos ahora (ii). De acuerdo con (i) la sucesión {φ1 , φ2 , . . . , φn , . . . }
donde n 1/2
ui
φn (z) := z n−1 , z ∈ D(0, 1),
π
Enlace AQUÍ para adquirir el libro
at
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
gr
ux (z) uy (z)
J(f (z)) = = ux (z)vy (z) − vx (z)uy (z)
vx (z) vy (z)
tra
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
ta
será suficiente ver que si h ∈ A2 (Ω) es tal que
(1.67)
ui
hh, wn i = 0, n = 1, 2, . . . ,
Enlace AQUÍ para adquirir el libro
at
y como f es un isomorfismo conforme, se sigue que h = 0 y la demostración
acaba. gr
tra
1.13. Ejercicios
1.1 Demuestre que sup |3x + 4y| : x2 + y 2 = 1 = 5.
es
ta
una isometría sobre su imagen.
ui
1.8 Pruébese que si M es un subespacio métrico separable todos sus
subespacios lo son.
Enlace AQUÍ para adquirir el libro
at
1.9 Pruébese que un espacio normado X es separable si, y sólo si,
existe una sucesión (xn ) tal que el espacio vectorial generado por ella es
gr
denso en X.
1.10 Sean Y = {(xn ) ∈ ℓ1 : x2n = 0} y Z = {(xn ) ∈ ℓ1 : x2n = 21n x2n−1 }.
tra
ta
Deduzca: a) que si T es abierta, entonces T es sobreyectiva; b) que si
ui
Y = R y T 6= 0, entonces T es abierta; c) que si T es abierta y continua
y X es un espacio de Banach, entonces Y también es un espacio de
Enlace AQUÍ para adquirir el libro
at
Banach.
1.17 Sea X un espacio normado de dimensión infinita. Pruébese que:
gr
(i) todo hiperplano de X es cerrado o denso;
(ii) existen hiperplanos densos.
tra
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
ta
1.24 Demuestre que si H1 y H2 son dos espacios de Hilbert, el espacio
ui
de operadores lineales acotados L(H1 , H2 ) con su norma usual tiene
estructura de espacio de Hilbert si, y sólo si, H2 tiene dimensión 1.
Enlace AQUÍ para adquirir el libro
at
1.25 Sea D = D(0, 1) el disco unidad en C. Utilice la estructura de C
como espacio de Hilbert complejo para demostrar que para cualquier
gr
z0 ∈ ∂D y cualquier ε > 0, la sucesión fn (z) = ( z+z
2 ) converge unifor-
0 n
1.26 Sea E = C([−1, 1]) dotado del producto escalar inducido por el de
Calcúlese M ⊥ para los siguientes conjuntos:
L2 ([−1, 1]).
es
M1 = {f ∈ E : f (x) = 0 si x ≤ 0} M2 = {f ∈ E : f (0) = 0}
mu
ta
Indicación. Una función x : [a, b] −→ R es absolutamente continua
si, y sólo si, existe una función y ∈ L1 ([a, b]) tal que
ui
Z t
Enlace AQUÍ para adquirir el libro
at
x(t) = x(a) + y(s) ds,
a
gr
siendo x derivable salvo en un conjunto de medida nula N ⊂ [a, b] y
x′ (t) = y(t) en [a, b] \ N .
1.30 Sean {x1 , x2 , . . . , xn } vectores linealmente independientes en un
tra
hx1 , x1 ik1 + hx2 , x1 ik2 + · · · + hxn , x1 ikn = c1 − hx, x1 i
hx , x ik + hx , x ik + · · · + hx , x ik = c2 − hx, x2 i
1 2 1 2 2 2 n 2 n
···
hx , x ik + hx , x ik + · · · + hx , x ik = c − hx, x i
1 n 1 2 n 2 n n n n n
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
ta
de Hilbert y sea un (t) = tn para n = 0, 1, . . . Aplicando a la sucesión
(un ) el procedimiento de ortonormalización de Gram-Schmidt se cons-
ui
truye una sucesión (en ).
(i) Construya explícitamente los tres primeros términos de dicha su-
Enlace AQUÍ para adquirir el libro
at
cesión.
(ii) Pruebe que (en ) es una sucesión de polinomios, llamada sucesión
gr
de polinomios ortogonales de Legendre, que constituye una base
hilbertiana de H.
(iii) Pruebe que
tra
k
X k
X
ek (t) = akj tj , con akk > 0 y tk = bkj ej (t), con bkk > 0.
es
j=0 j=0
(n!)2 22n+1
kPn k2 =
(2n + 1)
ta
1.36 Sean H1 y H2 espacios de Hilbert y sea H0 ⊂ H1 un subespacio.
Sea T0 : H0 −→ H2 lineal continua.
ui
(a) Demuestre que existe T : H1 −→ H2 lineal continua que coincide
Enlace AQUÍ para adquirir el libro
at
(b) Si H2 = K demuestre la unicidad de la aplicación lineal T consi-
derada en el apartado anterior. ¿Hay unicidad en el caso general?
gr
1.37 Sea (xn ) un conjunto ortogonal en un espacio de Hilbert H. Pruebe
tra
P∞
(c) n=1 kxn k converge.
2
ta
en H. Pruebe que las siguientes afirmaciones son equivalentes.
(i) El producto escalar B define la misma topología que el producto
ui
escalar original de H.
Enlace AQUÍ para adquirir el libro
at
camente determinado, tal que
gr
B(x, y) = hx, T yi para todo x, y ∈ H. (1.68)
tra
unidad. Pruebe que para cada 0 < λ < 1 se tiene kλx + (1 − λ)yk < 1.
¿Cuál es el significado geométrico de esta propiedad en la bola unidad
BE = {x ∈ E : kxk ≤ 1} ?
1.44 Sea (xn ) una sucesión de vectores linealmente independientes en un
espacio de Hilbert H. Sea F el subespacio lineal cerrado que engendran y
sea Fn el subespacio engendrado por (xi )1≤i≤n . Sea x ∈ H y denotemos
con yn la mejor aproximación de x a Fn y con y la mejor aproximación
de x a F . Pruebe que y = lı́m yn .
1.45 Sea F un subespacio cerrado propio de un espacio de Hilbert H.
Pruebe que existe x ∈ H con kxk = 1 = d(x, F ).
1.46 Consideremos los subespacios
Lp = f ∈ L2 ([−a, a]) : f (t) = f (−t)
y
Li = f ∈ L2 ([−a, a]) : f (−t) = −f (t)
1.13. Ejercicios 134
ta
1.47 Sea H un espacio de Hilbert. Una sucesión (xn ) en H se dice
débilmente convergente a x ∈ H si lı́mn hxn , yi = hx, yi para cada y ∈ H.
ui
Demuestre las siguientes afirmaciones.
Enlace AQUÍ para adquirir el libro
at
subsucesión (xnk ) y una sucesión ortogonal (yk ) tal que
gr lı́m kxnk − yk k = 0
k
xn 1 + xn 2 + · · · + xn k
lı́m
− x
k k
=0
mu
(Propiedad de Banach-Saks).
1.48 Sea H un espacio de Hilbert y sea A ⊂ H con la propiedad de que
para y ∈ H se tiene que
α(y) = sup |hz, yi| : z ∈ A < +∞.
ta
3
1X n
B(x, y) = i Q(x + in y)
ui
4
n=0
Enlace AQUÍ para adquirir el libro
at
en un espacio de Hilbert real?
1.52
gr
Sean H un espacio de Hilbert, M ⊂ H un subconjunto convexo
cerrado y x ∈ H.
(i) Pruebe que y ∈ M es la mejor aproximación de x a M si, y sólo si,
tra
1.53 Sea H un espacio de Hilbert y sea (xn ) una sucesión (o una red)
en H. Pruebe que las siguientes afirmaciones son equivalentes.
mu
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
n≥1 n≥1
√ X X
y(t) = c0 + 2 cn cos 2πnt + dn sin 2πnt .
n≥1 n≥1
Deduzca que
ta
Z 1 X
2
(x′ (t)2 + y ′ (t)2 ) dt = 4π 2 n2 (a2n + b2n + c2n + d2n ).
ui
L =
0 n≥1
Enlace AQUÍ para adquirir el libro
at
(iii) Muestre que el área A que la curva encierra satisface
Z gr
1 X
dy
A= x dt = 2πn(an dn − bn cn ).
0 dt
n≥1
tra
una circunferencia.
1.55 Calcule las estimaciones para las constantes Cn (S) correspondien-
mu
ta
[1] Fernando Albiac and Nigel J. Kalton, Topics in Banach space theory,
ui
Graduate Texts in Mathematics, vol. 233, Springer, New York, 2006.
MR 2192298 (2006h:46005). 6
at
[2] Spiros A. Argyros and Andreas Tolias, Methods in the theory of heredita-
rily indecomposable Banach spaces, Mem. Amer. Math. Soc. 170 (2004),
gr
no. 806, vi+114. MR 2053392 (2005f:46022). 6
[3] George Bachman and Lawrence Narici, Análisis funcional, Editorial Tec-
tra
nos, Madrid, 1981, Translated from the English by Eva Sánchez Mañés,
Serie de Matemática. [Mathematics Series]. MR 658665 (83e:46001). 4
[4] Stefan Banach, Theory of linear operations, Dover, 2009. 230
es
ta
[11] Joan Cerdà, Linear functional analysis, Graduate Studies in Mathema-
tics, vol. 116, American Mathematical Society, Providence, RI, 2010.
ui
MR 2647959 (2011j:47001). 2
[12] G. Choquet, Topología, Toray Masson, 1971. 2, 3
Enlace AQUÍ para adquirir el libro
at
[13] J. B. Conway, Functions of one complex variable, second ed., Springer-
Verlag, New York, 1978. 298 gr
[14] , A course in functional analysis, Springer Verlag, 1985. 2, 3, 4,
80, 299
tra
[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
es
[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
ta
[24] M. Fabian, P. Habala, P. Hájek, V. Montesinos Santalucía, J. Pelant,
and V. Zizler, Functional analysis and infinite-dimensional geometry,
ui
Springer-Verlag, New York, 2001. 5, 325
Enlace AQUÍ para adquirir el libro
[25] Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, and Vá-
at
clav Zizler, Banach space theory, CMS Books in Mathematics/Ouvrages
de Mathématiques de la SMC, Springer, New York, 2011, The basis for
gr
linear and nonlinear analysis. MR 2766381 (2012h:46001). 6
[26] K. Floret, Weakly compact sets, vol. 801, LNM. Springer-Verlag, 1980.
tra
333
[27] S. R. Foguel, On a theorem by A. E. Taylor, Proc. Amer. Math. Soc. 9
(1958), 325. 241
es
ta
[36] John Horváth, Topological vector spaces and distributions. Vol. I,
Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,
ui
Ont., 1966. MR 0205028 (34 #4863). 5
[37] T. W. Hungerford, Algebra, Springer-Verlag, New York, 1980. 150
Enlace AQUÍ para adquirir el libro
at
[38] G. J. O. Jameson, Topology and normed spaces, Chapman and Hall,
London, 1974. MR 0463890 (57 #3828). 5
gr
[39] Hans Jarchow, Locally convex spaces, B. G. Teubner, Stuttgart,
1981, Mathematische Leitfäden. [Mathematical Textbooks]. MR 632257
tra
(83h:46008). 5
[40] W.B. Johnson and J. Lindenstrauss (eds.), Handbook of the geometry of
Banach spaces, 2 vols., North Holland, New York, 2001–2003. 6
es
[42] J. L. Kelley, The Tychonoff product theorem implies the axiom of choice,
Fund. Math. 37 (1950), 75–76. 234
[43] , Banach spaces with the extension property, Trans. Amer. Math.
Soc. 72 (1952), 323–326. 262
[44] , Topología general, Editorial Universitaria de Buenos Aires, Bue-
nos Aires, 1962. MR 33 #6566. 2, 29, 84, 86, 88, 173, 235
[45] John L. Kelley and Isaac Namioka, Linear topological spaces, Springer-
Verlag, New York, 1976, Graduate Texts in Mathematics, No. 36. MR
0394084 (52 #14890). 5
[46] D. Kincaid and W. Cheney, Análisis numérico: las matemáticas del
cálculo científico, Addison-Wesley Iberioamericana, Wilmington, Dela-
ware, EUA, 1994. 3, 49
[47] A. Kolmogorov and S. Fomine, Elementos de la teoría de funciones y
del análisis funcional, Ediciones Mir, Moscú, 1975. 3, 4, 5
Bibliografía 362
ta
[51] B. V. Limaye, Functional analysis, Wiley, 1981. 2, 3, 4, 5, 175, 208, 211,
271, 274
ui
[52] J. Lindenstrauss and L. Tzafriri, On the complemented subspaces pro-
Enlace AQUÍ para adquirir el libro
at
[53] Joram Lindenstrauss, David Preiss, and Jaroslav Tišer, Fréchet differen-
gr
tiability of Lipschitz functions and porous sets in Banach spaces, Annals
of Mathematics Studies, vol. 179, Princeton University Press, Princeton,
NJ, 2012. MR 2884141. 6
tra
[54] J. T. Marti, Introduction to the theory of bases, vol. 18, Springer Tracts
in Natural Philosophy, 1969. 284
[55] R. Daniel Mauldin (ed.), The Scottish Book, Birkhäuser Boston, Mass.,
es
ta
[65] , Analyse hilbertienne, Hermann, Paris, 1979, Collection Métho-
des. MR 552779 (81a:46001). 3
ui
[66] Elias M. Stein and Rami Shakarchi, Real analysis, Princeton Lectures in
Enlace AQUÍ para adquirir el libro
at
Analysis, III, Princeton University Press, Princeton, NJ, 2005, Measure
theory, integration, and Hilbert spaces. MR 2129625 (2005k:28024). 3,
4, 5, 78 gr
[67] Terence Tao, An epsilon of room, II, American Mathematical Society,
Providence, RI, 2010, Pages from year three of a mathematical blog.
tra
MR 2780010 (2012c:00001). 3, 5
[68] A. E. Taylor, The extension of linear functionals, Duke Math. J. 5
es
ISBN 978-84-940688-2-9
9 788494 068829