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. 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 ( {\displaystyle \aleph
_{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 Lp.

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