INTRODUCCION

1. CONCEPTO.

El An alisis Funcional es una rama de las Matem aticas que utiliza el lenguaje de la Geometr a en el estudio de ciertas estructuras topol ogico-algebraicas y de los m etodos que pueden aplicarse a problemas anal ticos mediante el conocimiento de estas estructuras. As , muchos problemas en An alisis se reeren no s olo a objetos aislados, como funciones, medidas u operadores, sino a clases o conjuntos de tales objetos. La mayor a de estas clases (en el caso que nos ocupa) son espacios vectoriales, tanto reales como complejos. Como los procesos de l mite juegan su papel en todo problema anal tico -concepto que permite hablar de diferenciaci on e integraci on y en general de procesos innitos, que pueden incluso reducirse a la consideraci on de ciertos procesos nitos,- no debe sorprender que esos espacios est en dotados de m etricas, o al menos de topolog as, para poder establecer relaciones naturales entre los objetos de esos espacios y generalizar conceptos familiares, como el de l mite de sucesiones, sucesiones de Cauchy, funciones continuas, etc. Una forma simple, pero que ser a fundamental en el desarrollo de este curso, consiste en introducir una norma, obteni endose una estructura de espacio normado. La idea crucial en el estudio del espacio vectorial cl asico Rn de las n-tuplas de n umeros reales es la expresada por R. Descartes y consiste en asociar a cada elemento (x1 , . . . , xn ) del espacio un punto en un sistema de coordenadas ortogonales. De esta forma todo punto representa un vector y tiene sentido geom etrico la suma de vectores y el producto por un escalar, los planos tienen 1

una expresi on anal tica y la distancia entre dos puntos se puede expresar como d(x, y ) = |x1 y1 |2 + + |xn yn |2 . La distancia de un punto x al origen de coordenadas, llamada norma de x, es x = |x1 |2 + + |xn |2 . Adem as, se dice que dos vectores x e y son ortogonales cuando x1 y1 + + xn yn = 0; de aqu se dene el producto interior de x e y como x, y = x1 y1 + + xn yn . Es f acil observar que la norma se puede denir a partir del producto escalar como x = x, x y que la distancia se dene a partir de la norma mediante la f ormula d(x, y ) = x y . Todo lo anterior puede generalizarse sin dicultad al espacio Cn si se dene el producto interior x, y = x1 y1 + + xn yn . Este tratamiento algebraico para resolver problemas geom etricos ha dominado el pensamiento matem atico por m as de un siglo. Por otra parte, identicando cada punto o vector x = (x1 , . . . , xn ) Cn con la funci on x : {1, . . . , n} C denida por x(1) = x1 , . . . , x(n) = xn , puede tratarse a Cn como el espacio de las funciones complejas con dominio el conjunto {1, . . . , n}. Era natural, llegados a este punto, extender estas ideas a otros objetos matem aticos con estructura similar. Fueron D. Hilbert y su alumno E. Schmidt quienes consideraron el espacio de las sucesiones o funciones con dominio el con

junto N, donde tiene sentido el producto interior x, y =

n=1

xn yn en el caso de

que la serie converja; pero esto ocurre cuando las sucesiones (xn )nN e (yn )nN tienen cuadrado sumable, es decir si nN |xn |2 < y nN |yn |2 < . Esto origin o el espacio 2 de dichas sucesiones, que es la generalizaci on inmediata del espacio eucl deo Cn . Nuevas extensiones corresponden por ejemplo al caso en que las funciones est en denidas en un intervalo [a, b]: identicando ahora funciones que sean iguales en casi todo punto, se dene el producto interior de dos funciones f y g como b el espacio L2 [a, b] de las funciones complejas f, g = a f (t) g (t)dt. Se obtiene as f : [a, b] C de cuadrado integrable en [a, b] con respecto a la medida de Lebesgue. Sin embargo, al pasar a espacios de dimensi on innita, se presentan diferencias fundamentales en algunas propiedades, como son: Mientras que en el caso nito toda aplicaci on lineal es continua, en el caso innito existen aplicaciones lineales que no son continuas. En el caso nito toda sucesi on de Cauchy es convergente pero en el caso innito no siempre es cierto. Donde esta propiedad es cierta tenemos los llamados espacios completos; donde no es cierta, todav a puede completarse el espacio para que valga la propiedad. En el caso nito toda bola cerrada es compacta (teorema de Bolzano2

Weierstrass) pero en el caso innito nunca es cierto. Por esta raz on es importante el estudio de los operadores compactos que son la generalizaci on directa de los operadores en espacios de dimensi on nita. La necesidad de considerar espacios de dimensi on innita, originada por su relaci on con las teor as cl asicas de momentos, de las ecuaciones integrales, etc., permiti o dar un gran impulso al desarrollo del An alisis Funcional, impulso que ya no ha cesado al sumarse con la inuencia que parte de sus aplicaciones e interrelaci on con otras ramas del An alisis, como la Mec anica Cu antica, An alisis Arm onico y Teor a de Aproximaci on e Interpolaci on, entre otras.

2. EVOLUCION.

El an alisis funcional nace en la resoluci on de ecuaciones donde las inc ognitas son funciones. A las ecuaciones diferenciales ordinarias y en derivadas parciales estudiadas en el siglo XVIII se unen las ecuaciones integrales a partir del siglo XIX; luego las ecuaciones integro-diferenciales y dem as ecuaciones funcionales. A lo largo de los siglos XVIII y XIX se daban soluciones formales de ecuaciones diferenciales resolviendo sistemas innitos de ecuaciones por el m etodo de coecientes indeterminados. Por supuesto en esa epoca no importaba demasiado la convergencia de las series asociadas a tales problemas. Hacia 1800 comienza el estudio de tres tipos de ecuaciones fundamentales en la F sica Matem atica: 2u 2u 2u + 2 + 2 = 0 : ecuaci on de Laplace x2 y z 2u u = 0 : ecuaci on de ondas t2 u u = 0 : ecuaci on del calor t que dan lugar al An alisis Lineal, a la teor a de series e integrales de Fourier, a la teor a de Sturm-Liouville y a nales de siglo aparecieron los primeros ejemplos de espacios de Hilbert y algunos resultados de la teor a espectral de operadores en tales espacios. Tambi en hacia el nal del siglo XIX se impone la distinci on entre diversos tipos de convergencia de sucesiones de funciones lo que conducir a a la idea general de topolog a sobre un conjunto de funciones. u 3

A principios del presente siglo se empez o a desarrollar la teor a abstracta gracias a los trabajos de muchos investigadores, entre los que podemos citar a V. Volterra, I. Fredholm, D. Hilbert, M. Fr echet, F. y M. Riesz, E. Schmidt, H. Weyl, H. Hahn, T. Carleman, J. von Neumann, E. Hellinger, S. Banach, M. Stone, etc., quienes estudiaron las ecuaciones integrales, problemas de valores propios, descomposiciones espectrales de operadores lineales, etc., y fueron descubriendo el correcto encuadre conceptual de los resultados. Ya no se trata de reducir cuestiones referentes a espacios innito-dimensionales a la geometr a del espacio nito-dimensional sino de desarrollar la geometr a de los objetos a analizar desde un punto de vista intr nseco, sin estar sujeto a la elecci on de coordenadas ni a la adopci on de bases espec cas, y usando la geometr a eucl dea s olo como analog a. Los avances experimentados durante esa epoca fueron presentados de forma sistem atica en los famosos libros Th eorie des Op erations Lin eaires, de Banach y Linear Transformations in Hilbert Spacesde Stone, ambos publicados en 1932. Ambos tratados ejercieron una gran inuencia posterior y todav a sirven de base para un tratamiento b asico del An alisis Funcional y la Teor a de Operadores. La axiom atica de los espacios de Hilbert fue dada por von Neumann en un art culo de 1930, fundamental en la teor a de operadores no acotados pues establece para ellos el teorema espectral, generalizando lo hecho por Hilbert veinte a nos antes para operadores acotados. El inter es de von Neumann en la teor a de operadores, que arranc o de la Mec anica Cu antica, le condujo a un estudio sistem atico de las algebras de operadores; estudio profundizado por I. Gelfand (1941) al descubrir el importante papel que representan los ideales maximales de un algebra conmutativa y construir as la hoy llamada transformada de Gelfand. La axiomatizaci on y discusi on de estos espacios es la que permite un tratamiento unicado de los elementos de an alisis, geometr a y matem atica aplicada ya citados adem as de la teor a de operadores, series de Fourier abstractas, geometr a de subespacios, topolog a d ebil, fuerte y uniforme, teor a de espectros y muchos otros. A partir de los a nos 40 se desplaz o el inter es en los espacios normados por el de los espacios localmente convexos motivado por la construcci on de L. Schwartz de la teor a de distribuciones, la cual ha resultado tener muchas aplicaciones, en particular a las ecuaciones en derivadas parciales. El desarrollo de la teor a de distribuciones tambi en ha originado la aparici on de la teor a de operadores pseudo-diferenciales y el An alisis sobre variedades diferenciales.

3. CONTENIDO DEL CURSO.

Con respecto al orden de presentaci on de los temas, el curso se desarrolla partiendo de los conceptos generales de espacio m etrico y de aplicaci on entre espacios m etricos para, consecutivamente, ir a nadiendo restricciones que motiven por un lado la idea de norma y de producto escalar denidas en clases adecuadas de espacios m etricos, y por otro la introducci on de los operadores lineales que act uen sobre dichos espacios. Con este esquema se consigue, en primer lugar, presentar al principio la notaci on y terminolog a a seguir a lo largo del curso y conseguir una paulatina toma de contacto con los recursos t picos en los que se incidir a posteriormente. En segundo lugar, se aprovechan las propiedades y ejemplos m as generales y se renan para proporcionar modelos simples y ejemplos concretos. De particular inter es son los espacios cl asicos de sucesiones y de funciones los cuales, introducidos desde un principio, permitir an comprobar sobre ellos las propiedades que caracterizar an los nuevos espacios que se ir an deniendo a lo largo del curso. El c rculo se cierra cuando se muestra que los espacios de Hilbert separables son la generalizaci on inmediata de los espacios eucl deos y que los operadores lineales y acotados juegan el papel de matrices asociadas a homomorsmos (especialmente ilustrativo en este aspecto es el texto de I. Gohberg y S. Goldberg [GG]). El esquema de la p agina siguiente muestra la dependencia entre los cap tulos que componen el programa propuesto. Al nal de cada cap tulo se presenta una colecci on de problemas resueltos en su totalidad, completando as la informaci on b asica desarrollada a lo largo del cap tulo. Se proponen tambi en una serie de temas complementarios con referencia a los textos en donde pueden consultarse. Una extensa, aunque no exhaustiva, lista de publicaciones relativas al tema se proporciona en la bibliograf a nal, lista que incluye tanto tratados generales, como textos introductorios, as como textos que aportan informaci on suplementaria a los objetivos de este curso b asico.

INTERDEPENDENCIA LOGICA