Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Analisis Funcional
Fernando Galaz Fontes
Centro de Investigaci on en Matem aticas
galaz@cimat.mx
CIMAT
Elementos de Analisis Funcional
QA320
G147
Galaz Fontes, Fernando
Elementos de analisis funcional / Fernando Galaz Fontes. Mexico :
Centro de Investigaci on en Matem aticas, A.C., 2006.
xiv, 370 p.; 23 cm.
ISBN 968-5733-07-4
MSC: 46-XX
1. An alisis Funcional
ISBN 968-5733-07-4
c D.R. Centro de Investigaci on en Matem aticas, A.C.
Jalisco s/n, Mineral de Valenciana,
36240 Guanajuato, Gto., Mexico
Este libro no puede ser reproducido total ni parcialmente, por ning un medio
electronico o de otro tipo, sin autorizaci on escrita del editor.
This book may not be reproduced, whole or in part, by any means, without
written permission from the publisher.
Cuidado de edici on: Hernan Gonzalez Aguilar
Dise no de portada: Galileo Martnez
Impreso por: S y G Editores, S.A. de C.V.
Cuapinol 52, Santo Domingo de los Reyes,
Coyoacan
04369 - Mexico, D.F. 789685 9 733076
ISBN 968-5733-07-4
90008
a EDITH
Indice general
Nota del Consejo Editorial VII
Prefacio IX
Introducci on 1
1. Espacios de Banach 3
1.1. Estructura Algebraica . . . . . . . . . . . . . . . . . . . . . . . . . 3
Espacio Vectorial Cociente . . . . . . . . . . . . . . . . . . . . . . . 8
Espacio Vectorial Producto . . . . . . . . . . . . . . . . . . . . . . 10
1.2. Espacio Normado . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3. Completez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4. Espacio de Funciones Acotadas . . . . . . . . . . . . . . . . . . . . 25
Espacio de Funciones Continuas en un Compacto . . . . . . . . . . 27
1.5. Espacios
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Espacios c y c
0
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.6. Espacios L
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Integraci on de Funciones Complejas . . . . . . . . . . . . . . . . . 36
Espacios L
p
(E), 0 < p < . . . . . . . . . . . . . . . . . . . . . . 38
Espacio Normado Inducido por una Seminorma . . . . . . . . . . . 39
i
ii
INDICE GENERAL
Espacios L
p
(E), 1 p < . . . . . . . . . . . . . . . . . . . . . . 40
Espacio L
(E) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.7. Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2. Topologa y Continuidad 59
2.1. Espacios Topol ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.2. Espacios Metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Topologa Inducida por una Metrica . . . . . . . . . . . . . . . . . 66
Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Convergencia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . 70
Completez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Continuidad Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . 73
Distancia a un Conjunto . . . . . . . . . . . . . . . . . . . . . . . . 76
2.3. Metrica Inducida por una Norma . . . . . . . . . . . . . . . . . . . 78
Espacios
p
, 0 < p < 1 . . . . . . . . . . . . . . . . . . . . . . . . . 82
2.4. Teorema de Contraccion . . . . . . . . . . . . . . . . . . . . . . . . 86
2.5. Existencia y Unicidad en Ecuaciones Diferenciales . . . . . . . . . 90
2.6. Compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
Espacio de Funciones Continuas en un Compacto . . . . . . . . . . 101
2.7. Densidad y Separabilidad . . . . . . . . . . . . . . . . . . . . . . . 104
Separabilidad de L
p
(R
N
), 1 p < . . . . . . . . . . . . . . . . . 108
3. Operadores Lineales Acotados 115
3.1. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
3.2. Espacio de Operadores Lineales Acotados . . . . . . . . . . . . . . 119
3.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
3.4. Norma en el Espacio Cociente . . . . . . . . . . . . . . . . . . . . . 125
3.5. Normas Equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . 128
3.6. Norma en el Espacio Producto . . . . . . . . . . . . . . . . . . . . 132
3.7. Extensi on Lineal y Continua . . . . . . . . . . . . . . . . . . . . . 134
3.8. Proyecci on Ortogonal . . . . . . . . . . . . . . . . . . . . . . . . . 135
ii
INDICE GENERAL v
9. Teorema Espectral para un Operador Autoadjunto 325
9.1. Convergencia Fuerte . . . . . . . . . . . . . . . . . . . . . . . . . . 325
9.2. M as Funciones de un Operador Autoadjunto . . . . . . . . . . . . 328
9.3. Resoluci on de la Identidad . . . . . . . . . . . . . . . . . . . . . . . 334
9.4. Teorema Espectral para T Autoadjunto . . . . . . . . . . . . . . . 339
9.5. Caracterizacion del Espectro . . . . . . . . . . . . . . . . . . . . . 344
9.6. Ideal de Operadores Compactos . . . . . . . . . . . . . . . . . . . . 349
Bibliografa 353
Lista de Smbolos 355
y
la idea de propiedades debiles. En particular, la convergencia debil se discute
en la seccion 5 y la seccion 3 trata con la identicaci on can onica J : X X
. Se
analiza despues la representacion del espacio dual de un espacio de Hilbert, de
p
y de L
p
(R
N
). El concepto de operador transpuesto se introduce en la secci on 6 y
se establecen relaciones entre las propiedades de un operador lineal acotado y las
de su operador transpuesto. En la ultima seccion se demuestran las propiedades
fundamentales de los espacios de Banach reexivos y se analiza la reexividad de
los espacios de Banach clasicos.
En el captulo 6, motivado por las importantes propiedades de los valores
propios de una matriz, comienza el estudio del espectro de un operador lineal
acotado T L(X), donde X es un espacio de Banach. En este punto la compo-
sicion de operadores en L(X), que en adelante llamaremos producto, desempe na
un papel esencial y lleva, naturalmente, a introducir otras estructuras abstractas,
como son la de algebra (no- conmutativa) y la de algebra de Banach. Los polino-
mios, reales o complejos seg un sea el caso, constituyen un algebra y desempe nan
un papel relevante en el estudio de cualquier otra algebra de Banach. Cuando el
espacio de Banach X es complejo, se prueba que el espectro de T es un conjunto
compacto no-vaco y se establece una formula muy importante para el radio del
disco mas peque no que lo contiene. Para ello se estudia antes un poco acerca de
funciones holomorfas con valores en un espacio de Banach X.
El captulo 7 trata sobre los operadores compactos, los cuales constituyen una
clase de operadores muy importante, tanto por su simplicidad (relativa) como por
las numerosas aplicaciones en que aparecen. La seccion 2 se reere a los operadores
integrales y se prueba en ella que algunos de estos operadores son compactos. En
la seccion 4 se presenta la teora espectral para un operador compacto y en la
ultima seccion se establece que cualquier operador compacto tiene un subespacio
invariante no-trivial.
xi
xii Prefacio
A partir del captulo 8 todo el desarrollo es en el contexto de un espacio de
Hilbert H. En este marco, el concepto de operador transpuesto de T L(H)
toma una forma m as sencilla y util, la del operador adjunto T
. Este permite
distinguir aquellos operadores tales que T = T
.
A lo largo del captulo 8 se establece que los operadores normales tiene algunas
propiedades semejantes a las de los operadores autoadjuntos. La secci on 4 es un
punto culminante de este trabajo. Se establece ah que un operador compacto
autoadjunto tiene una representaci on en forma de serie, que corresponde a la
diagonalizaci on de una matriz hermitiana o simetrica. La cuestion de obtener
una representaci on similar para cualquier operador autoadjunto es lo que explica
el resto del trabajo.
En la seccion 5 se dene lo que es una funci on continua de un operador au-
toadjunto, asociando de esta manera a una funci on continua un operador. Esta
asociacion tiene propiedades muy utiles, a las cuales se les llama el calculo fun-
cional. Se dene despues un orden parcial en los operadores autoadjuntos, dando
lugar as a los operadores positivos. Mediante el calculo funcional, se prueba que
todo operador positivo tiene una unica raz cuadrada con ciertas propiedades.
Esto tiene dos consecuencias importantes. Por una parte, permite obtener para
cualquier operador acotado una representaci on similar a la representaci on polar
de un n umero complejo. Por otra, permite establecer que el calculo funcional
preserva el orden parcial usual que se tiene en las funciones continuas.
Con el prop osito de extender el calculo funcional, en lugar de trabajar con
la convergencia bajo la norma de operadores, en el captulo 9 se considera la
convergencia puntual, que en adelante es llamada convergencia fuerte. El nuevo
calculo funcional permite construir una familia de proyecciones ortogonales lla-
mada resolucion de la identidad para el operador autoadjunto T. En la seccion
4 se dene la integral de una funci on continua respecto a esta familia, lo cual
constituye otro punto culminante de este trabajo, y se prueba que T tiene una
representacion en forma de integral respecto de la resoluci on de la identidad.
xii
Prefacio xiii
En la siguiente secci on se caracteriza el espectro de T en terminos del com-
portamiento de su resoluci on de la identidad. Para concluir el captulo, como una
aplicaci on de los metodos desarrollados, se establece que, en el caso de un espacio
de Hilbert separable, el unico ideal cerrado de L(H), distinto de {0} y de L(H),
es el formado por los operadores compactos.
Como antecedentes para asimilar el material que se acaba de describir se re-
quieren familiaridad con el algebra lineal, as como un conocimiento del an alisis
b asico en R
N
y de la integral de Lebesgue en R
N
. En la seccion 6.3 se utilizan
algunos resultados b asicos relativos a funciones enteras (variable compleja). Sin
embargo, su contenido no es esencial al resto del trabajo. Fuera de los temas
anteriores, se ha tratado que el libro sea auto-contenido. Por ello, la exposici on
no presupone familiaridad con espacios metricos o espacios topologicos. Los con-
ceptos y las propiedades correspondientes que son necesarias se discuten y se
establecen gradualmente, siempre con cuidado, a lo largo del texto. Para ayudar
a su comprension se han incluido un poco m as de 500 ejercicios. Estos se encuen-
tran distribuidos, tanto en n umero como en dicultad, a lo largo de casi todas las
secciones que conforman los distintos captulos. Nunca sobra la recomendaci on
de intentarlos hacer sistematicamente.
Para hacer las referencias hemos empleado 1, 2 o 3 n umeros. De derecha a
izquierda, estos indican el lugar, la seccion y el captulo donde se encuentran.
Cuando uno o dos de ellos faltan, debemos entender que lo referido se encuentra
en el captulo o seccion correspondiente. Por ejemplo, la proposici on 2.2 es la
proposici on 2 de la seccion 2 en el captulo donde la referencia aparece. Asmismo,
el lema 2 se reere al lema 2 de la seccion donde se esta.
Quiero agradecer la generosidad que mostraron dos arbitros an onimos al re-
visar este trabajo y las observaciones realizadas. Para terminar, es un gusto re-
conocer la deuda que tengo con todos mis ex-alumnos de los distintos cursos, sin
cuya interacci on no hubiera sido posible emprender ni realizar este trabajo.
Fernando Galaz Fontes
Guanajuato, Gto., 31 de marzo, 2005
xiii