Análisis funcional

El análisis funcional es la rama de las matemáticas, y específicamente del análisis, que trata del estudio de espacios de funciones.^[1] Tienen sus raíces históricas en el estudio de transformaciones tales como transformación de Fourier y en el estudio de las ecuaciones diferenciales y ecuaciones integrales. La palabra funcional se remonta al cálculo de variaciones, implicando una función cuyo argumento es una función. Su uso en general se ha atribuido a Volterra.

En la visión moderna inicial, se consideró el análisis funcional como el estudio de los espacios vectoriales normados completos sobre los reales o los complejos. Tales espacios se llaman espacios de Banach. Un ejemplo importante es el espacio de Hilbert, donde la norma surge de un producto escalar. Estos espacios son de importancia fundamental en la formulación matemática de la mecánica cuántica. Más general y modernamente, el análisis funcional incluye el estudio de los espacios de Fréchet y otros espacios vectoriales localmente convexos y aún topológicos.

Un objeto importante de estudio en análisis funcional son los operadores lineales continuos definidos en los espacios de Banach y de Hilbert. Estos conducen naturalmente a la definición de C* álgebra y otras álgebras de operadores.

Los espacios de Hilbert pueden ser clasificados totalmente: hay un espacio único de Hilbert módulo isomorfismo para cada cardinal de la base (hilbertiana). Puesto que los espacios de Hilbert finito-dimensionales se entienden completamente en álgebra lineal, y puesto que los morfismos de los espacios de Hilbert se pueden dividir siempre en morfismos de espacios con dimensionalidad alef-0 ( $\aleph _{0}$ ), análisis funcional de Hilbert trata sobre todo con el espacio único de Hilbert de dimensionalidad alef-0, y sus morfismos.

Los espacios de Banach generales son mucho más complicados que los espacios de Hilbert. Dado que un espacio de Banach es un espacio vectorial, una base es un sistema de generadores linealmente independiente. Este concepto, cuando la dimensión no es finita, suele carecer de utilidad; lo sustituye el de conjunto fundamental. Un conjunto de vectores es fundamental si la clausura topológica del subespacio vectorial que engendra es el espacio completo. Dado que un vector pertenece a su clausura topológica si es el límite de una sucesión de vectores del subespacio vectorial engendrado, descubrimos que, en caso de disponer de un conjunto fundamental, podemos poner todo vector del espacio como el límite de una sucesión de combinaciones lineales de los vectores de un conjunto fundamental.

Un ejemplo de lo anterior es el teorema de aproximación de Weierstrass que afirma que toda función real continua en un intervalo compacto puede ser aproximada mediante polinomios. El espacio de Banach es, en este caso, el conjunto de las funciones continuas en un compacto y el conjunto fundamental las potencias enteras del argumento. Este teorema se extiende mediante el teorema de Stone-Weierstrass.

Para cualquier número real p ≥ 1, un ejemplo de un espacio de Banach viene dado por los espacios L^p.

En los espacios de Banach, una gran parte del estudio involucra al espacio dual: el espacio de todas funcionales lineales continuas. Como en álgebra lineal, el dual del dual no es siempre isomorfo al espacio original, pero hay un monomorfismo natural de un espacio en su doble dual siempre. Esto se explica en el artículo espacio dual.

La noción de derivada se amplía a las funciones arbitrarias entre los espacios de Banach; resulta que la derivada de una función en cierto punto es realmente una función lineal continua.

Un ejemplo de espacio de Banach es el Espacio de Sóbolev.

Aquí enumeramos algunos resultados importantes del análisis funcional:

Teorema de Banach-Steinhaus es un resultado en conjuntos equicontinuos de operadores.
Teorema espectral da una fórmula integral para los operadores normales en un espacio de Hilbert. Es de importancia central en la formulación matemática de la mecánica cuántica.
Teorema de Hahn-Banach es sobre la extensión de funcionales continuos desde un subespacio a todo el espacio, de una manera que preserve la norma.
Teorema de la función abierta y teorema de la gráfica cerrada.
Teorema del punto fijo de Banach

Espacios vectoriales normadosEditar

La clase básica e históricamente primera de espacios estudiados en análisis funcional son los completo (sobre el real o número complejo). Estos espacios se denominan espacios de Banach. Un ejemplo importante es un espacio de Hilbert, donde la norma surge de un producto interior. Estos espacios son de importancia fundamental en muchas áreas, incluyendo la formulación matemática de la mecánica cuántica, aprendizaje automático, ecuaciones diferenciales parciales y análisis de Fourier.

En términos más generales, el análisis funcional incluye el estudio de espacios de Fréchet y otros espacios vectoriales topológicos no dotados de norma.

Un importante objeto de estudio en análisis funcional son las operadores lineales continuos definidos en los espacios de Banach y Hilbert. Estos conducen naturalmente a la definición de álgebras C* y otras álgebras de operadores.

Espacios de HilbertEditar

Los espacios de Hilbert pueden clasificarse completamente: existe un único espacio de Hilbert salvo isomorfismo para cada cardinalidad de la base ortonormal.^[2] Los espacios de Hilbert finito-dimensionales se entienden completamente en álgebra lineal, y los espacios de Hilbert infinito-dimensionales separable Hilbert son isomorfos a $\ell ^{\,2}(\aleph _{0})\,$ . Dado que la separabilidad es importante para las aplicaciones, el análisis funcional de los espacios de Hilbert se ocupa principalmente de este espacio. Uno de los problemas abiertos en el análisis funcional es demostrar que todo operador lineal acotado en un espacio de Hilbert tiene un subespacio invariante propio. Ya se han demostrado muchos casos especiales de este problema del subespacio invariante.

Espacios de BanachEditar

Los espacios de Banach generales son más complicados que los espacios de Hilbert, y no pueden clasificarse de una manera tan sencilla como aquellos. En particular, muchos espacios de Banach carecen de una noción análoga a una base ortonormal.

Ejemplos de espacios de Banach son los $L^{p}$ para cualquier número real $p\geq 1$ .. Dada también una medida $\mu$ sobre el conjunto $X$ , entonces $L^{p}(X)$ , a veces también denotado $L^{p}(X,\mu )$ o $L^{p}(\mu )$ , tiene como vectores clases de equivalencia $[\,f\,]$ de función medibles cuyo valor absoluto de $p$ -ésima potencia tiene integral finita; es decir, funciones $f$ para las que se tiene

\int _{X}\left|f(x)\right|^{p}\,d\mu (x)<\infty .

Si $\mu$ es la medida de contaje, entonces la integral puede sustituirse por una suma. Es decir, requerimos

\sum _{x\in X}\left|f(x)\right|^{p}<\infty .

Entonces no es necesario tratar con clases de equivalencia, y el espacio se denota $\ell ^{p}(X)$ , escrito más simplemente $\ell ^{p}$ en el caso cuando $X$ es el conjunto de enteros no negativos.

En los espacios de Banach, una gran parte del estudio implica el dual: el espacio de todos los continuas del espacio a su campo subyacente, los llamados funcionales. Un espacio de Banach puede identificarse canónicamente con un subespacio de su bidual, que es el dual de su espacio dual. El mapa correspondiente es una isometría, pero en general no onto. Un espacio de Banach general y su bidual ni siquiera tienen por qué ser isométricamente isomorfos en ningún sentido, al contrario que en la situación de dimensión finita. Esto se explica en el artículo sobre el espacio dual.

Además, la noción de derivada puede extenderse a funciones arbitrarias entre espacios de Banach. Véase, por ejemplo, el artículo derivada de Fréchet.

ReferenciasEditar

↑ Yosida, K.: Functional Analysis, Springer-Verlag, 6th edition, 1980
↑ Riesz, Frigyes (1990). Análisis funcional. Béla Szőkefalvi-Nagy, Leo F. Boron (Dover edición). New York: Dover Publications. pp. 195-199. ISBN 0-486-66289-6. OCLC 21228994.

BibliografíaEditar

Schechter, M.: Principles of Functional Analysis, AMS, 2nd edition, 2001
Hutson, V., Pym, J.S., Cloud M.J.: Applications of Functional Analysis and Operator Theory, 2nd edition, Elsevier Science, 2005, ISBN 0-444-51790-1
Dunford, N. and Schwartz, J.T. : Linear Operators, General Theory, and other 3 volumes, includes visualization charts
Brezis, H.: Analyse Fonctionnelle, Dunod
Sobolev, S.L.: Applications of Functional Analysis in Mathematical Physics, AMS, 1963
Lebedev, L.P. and Vorovich, I.I.: Functional Anlysis in Mechanics, Springer-Verlag, 2002

Datos: Q190549
Multimedia: Functional analysis / Q190549

[1] Yosida, K.: Functional Analysis, Springer-Verlag, 6th edition, 1980

[2] Riesz, Frigyes (1990). Análisis funcional. Béla Szőkefalvi-Nagy, Leo F. Boron (Dover edición). New York: Dover Publications. pp. 195-199. ISBN 0-486-66289-6. OCLC 21228994.

[1]

[2]