Espacio de Hilbert

En matemáticas , los espacios de Hilbert (llamados así por David Hilbert ) permiten que los métodos del álgebra lineal y el cálculo se generalicen desde espacios vectoriales euclidianos (de dimensión finita) a espacios que pueden ser de dimensión infinita . Los espacios de Hilbert surgen de forma natural y frecuente en matemáticas y física , típicamente como espacios de funciones . Formalmente, un espacio de Hilbert es un espacio vectorial equipado con un producto interno que induce una función de distancia para la cual el espacio es un espacio métrico completo . Un espacio de Hilbert es un caso especial de un espacio de Banach .

Los primeros espacios de Hilbert fueron estudiados desde este punto de vista en la primera década del siglo XX por David Hilbert , Erhard Schmidt y Frigyes Riesz . Son herramientas indispensables en las teorías de ecuaciones diferenciales parciales , mecánica cuántica , análisis de Fourier (que incluye aplicaciones al procesamiento de señales y transferencia de calor ) y teoría ergódica (que forma la base matemática de la termodinámica ). John von Neumann acuñó el término espacio de Hilbert para el concepto abstracto que subyace a muchas de estas diversas aplicaciones. El éxito de los métodos del espacio de Hilbert marcó el comienzo de una era muy fructífera para el análisis funcional . Aparte de los espacios vectoriales euclidianos clásicos, los ejemplos de espacios de Hilbert incluyen espacios de funciones integrables al cuadrado , espacios de secuencias , espacios de Sobolev que consisten en funciones generalizadas y espacios de Hardy de funciones holomorfas .

La intuición geométrica desempeña un papel importante en muchos aspectos de la teoría del espacio de Hilbert. En un espacio de Hilbert se cumplen analogías exactas del teorema de Pitágoras y la ley del paralelogramo . En un nivel más profundo, la proyección perpendicular sobre un subespacio lineal desempeña un papel importante en los problemas de optimización y otros aspectos de la teoría. Un elemento de un espacio de Hilbert se puede especificar de forma única por sus coordenadas con respecto a una base ortonormal , en analogía con las coordenadas cartesianas en la geometría clásica. Cuando esta base es infinitamente numerable , permite identificar el espacio de Hilbert con el espacio de las secuencias infinitas que son sumables al cuadrado . Este último espacio se suele denominar en la literatura más antigua espacio de Hilbert.

Uno de los ejemplos más conocidos de un espacio de Hilbert es el espacio vectorial euclidiano que consta de vectores tridimensionales , denotados por R ³ , y equipados con el producto escalar . El producto escalar toma dos vectores x e y , y produce un número real x ⋅ y . Si x e y se representan en coordenadas cartesianas , entonces el producto escalar se define por$${\displaystyle {\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}\cdot {\begin{pmatrix}y_{1}\\y_{2}\\y_{3}\end{pmatrix}}=x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}\,.}$$

El producto escalar satisface las propiedades ^[1]

1. Es simétrico en x e y : x ⋅ y = y ⋅ x .
2. Es lineal en su primer argumento: ( a x ₁ + b x ₂ ) ⋅ y = a ( x ₁ ⋅ y ) + b ( x ₂ ⋅ y ) para cualquier escalar a , b , y vectores x ₁ , x ₂ , e y .
3. Es definida positiva : para todos los vectores x , x ⋅ x ≥ 0 , con igualdad si y sólo si x = 0 .

Una operación sobre pares de vectores que, como el producto escalar, satisface estas tres propiedades se conoce como producto interno (real) . Un espacio vectorial equipado con un producto interno de este tipo se conoce como espacio de producto interno (real) . Todo espacio de producto interno de dimensión finita es también un espacio de Hilbert. ^[2] La característica básica del producto escalar que lo conecta con la geometría euclidiana es que está relacionado tanto con la longitud (o norma ) de un vector, denotada ‖ x ‖ , como con el ángulo θ entre dos vectores x e y mediante la fórmula$${\displaystyle \mathbf {x} \cdot \mathbf {y} =\left\|\mathbf {x} \right\|\left\|\mathbf {y} \right\|\,\cos \theta \, .}$$

El cálculo multivariable en el espacio euclidiano se basa en la capacidad de calcular límites y de disponer de criterios útiles para concluir que existen límites. Una serie matemática formada por vectores en R ³ es absolutamente convergente siempre que la suma de las longitudes converja como una serie ordinaria de números reales: ^[3]$${\displaystyle \sum _{n=0}^{\infty }\mathbf {x} _{n}}$$$${\displaystyle \sum _{k=0}^{\infty }\|\mathbf {x} _{k}\|<\infty \,.}$$

Al igual que una serie de escalares, una serie de vectores que converge absolutamente también converge a algún vector límite L en el espacio euclidiano, en el sentido de que$${\displaystyle {\Biggl \|}\mathbf {L} -\sum _{k=0}^{N}\mathbf {x} _{k}{\Biggr \|}\to 0\quad {\text{como }}N\to \infty \,.}$$

Esta propiedad expresa la completitud del espacio euclidiano: una serie que converge de manera absoluta también converge en el sentido ordinario.

Los espacios de Hilbert se utilizan a menudo para los números complejos . El plano complejo denotado por C está dotado de una noción de magnitud, el módulo complejo | z | , que se define como la raíz cuadrada del producto de z por su conjugado complejo :$${\displaystyle |z|^{2}=z{\overline {z}}\,.}$$

Si z = x + iy es una descomposición de z en sus partes real e imaginaria, entonces el módulo es la longitud bidimensional euclidiana habitual:$${\displaystyle |z|={\sqrt {x^{2}+y^{2}}}\,.}$$

El producto interno de un par de números complejos z y w es el producto de z con el conjugado complejo de w :$${\displaystyle \langle z,w\rangle =z{\overline {w}}\,.}$$

Esto tiene un valor complejo. La parte real de ⟨ z , w ⟩ da el producto escalar euclidiano bidimensional habitual .

Un segundo ejemplo es el espacio C ² cuyos elementos son pares de números complejos z = ( z ₁ , z ₂ ) . Entonces el producto interno de z con otro vector de ese tipo w = ( w ₁ , w ₂ ) está dado por$${\displaystyle \langle z,w\rangle =z_{1}{\overline {w_{1}}}+z_{2}{\overline {w_{2}}}\,.}$$

La parte real de ⟨ z , w ⟩ es entonces el producto escalar euclidiano bidimensional. Este producto interno es simétrico hermítico , lo que significa que el resultado de intercambiar z y w es el conjugado complejo:$${\displaystyle \langle w,z\rangle ={\overline {\langle z,w\rangle }}\,.}$$

Un espacio de Hilbert es un espacio de producto interno real o complejo que también es un espacio métrico completo con respecto a la función de distancia inducida por el producto interno. ^[4]

Decir que un espacio vectorial complejo H es un espacio de producto interno complejo significa que existe un producto interno que asocia un número complejo a cada par de elementos de H que satisface las siguientes propiedades:${\displaystyle \langle x,y\rangle }$${\estilo de visualización x,y}$

1. El producto interno es simétrico conjugado; es decir, el producto interno de un par de elementos es igual al conjugado complejo del producto interno de los elementos intercambiados: Es importante destacar que esto implica que es un número real.$${\displaystyle \langle y,x\rangle ={\overline {\langle x,y\rangle }}\,.}$$${\displaystyle \langle x,x\rangle }$
2. El producto interno es lineal en su primer argumento ^{[nb 1]} . Para todos los números complejos y${\estilo de visualización a}$${\estilo de visualización b,}$ $${\displaystyle \langle ax_{1}+bx_{2},y\rangle =a\langle x_{1},y\rangle +b\langle x_{2},y\rangle \,.}$$
3. El producto interno de un elemento consigo mismo es definido positivo :$${\displaystyle {\begin{alignedat}{4}\langle x,x\rangle >0&\quad {\text{ si }}x\neq 0,\\\langle x,x\rangle =0&\quad {\text{ si }}x=0\,.\end{alignedat}}}$$

De las propiedades 1 y 2 se deduce que un producto interno complejo es antilineal , también llamado lineal conjugado , en su segundo argumento, lo que significa que$${\displaystyle \langle x,ay_{1}+by_{2}\rangle ={\bar {a}}\langle x,y_{1}\rangle +{\bar {b}}\langle x,y_{ 2}\rangle\,.}$$

Un espacio de producto interno real se define de la misma manera, excepto que H es un espacio vectorial real y el producto interno toma valores reales. Un producto interno de este tipo será una función bilineal y formará un sistema dual . ^[5]${\displaystyle (H,H,\langle \cdot ,\cdot \rangle )}$

La norma es la función de valor real y la distancia entre dos puntos en H se define en términos de la norma por$${\displaystyle \|x\|={\sqrt {\langle x,x\rangle }}\,,}$$${\estilo de visualización d}$${\estilo de visualización x,y}$$${\displaystyle d(x,y)=\|xy\|={\sqrt {\langle xy,xy\rangle }}\,.}$$

Que esta función sea una función de distancia significa, en primer lugar, que es simétrica en y, en segundo lugar, que la distancia entre y es cero, y, en caso contrario, la distancia entre y debe ser positiva, y, por último, que se cumple la desigualdad triangular , es decir, que la longitud de un cateto de un triángulo xyz no puede exceder la suma de las longitudes de los otros dos catetos:${\estilo de visualización x}$${\estilo de visualización y,}$${\estilo de visualización x}$${\estilo de visualización x}$${\estilo de visualización y}$$${\displaystyle d(x,z)\leq d(x,y)+d(y,z)\,.}$$

Esta última propiedad es, en última instancia, una consecuencia de la desigualdad de Cauchy-Schwarz más fundamental , que se cumple con igualdad si y sólo si y son linealmente dependientes .$${\displaystyle \left|\langle x,y\rangle \right|\leq \|x\|\|y\|}$$${\estilo de visualización x}$${\estilo de visualización y}$

Con una función de distancia definida de esta manera, cualquier espacio de producto interno es un espacio métrico , y a veces se lo conoce como espacio pre-Hilbert de Hausdorff . ^[6] Cualquier espacio pre-Hilbert que además sea un espacio completo es un espacio de Hilbert. ^[7]

La completitud de H se expresa utilizando una forma del criterio de Cauchy para sucesiones en H : un espacio pre-Hilbert H es completo si cada sucesión de Cauchy converge con respecto a esta norma a un elemento en el espacio. La completitud se puede caracterizar por la siguiente condición equivalente: si una serie de vectores converge absolutamente en el sentido de que entonces la serie converge en H , en el sentido de que las sumas parciales convergen a un elemento de H . ^[8]$${\displaystyle \sum _{k=0}^{\infty }u_{k}}$$$${\displaystyle \sum _ {k=0}^{\infty }\|u_ {k}\|<\infty \,,}$$

Como espacio normado completo, los espacios de Hilbert son por definición también espacios de Banach . Como tales, son espacios vectoriales topológicos , en los que nociones topológicas como la apertura y el cierre de subconjuntos están bien definidas . De especial importancia es la noción de un subespacio lineal cerrado de un espacio de Hilbert que, con el producto interno inducido por la restricción , también es completo (al ser un conjunto cerrado en un espacio métrico completo) y, por lo tanto, un espacio de Hilbert por derecho propio.

El espacio de secuencias l ² consta de todas las secuencias infinitas z = ( z ₁ , z ₂ , …) de números complejos tales que la siguiente serie converge : ^[9]$${\displaystyle \sum _ {n=1}^{\infty }|z_ {n}|^{2}}$$

El producto interno en l ² se define por:$${\displaystyle \langle \mathbf {z} ,\mathbf {w} \rangle =\sum _{n=1}^{\infty }z_{n}{\overline {w_{n}}}\,,}$$

Esta segunda serie converge como consecuencia de la desigualdad de Cauchy-Schwarz y la convergencia de la serie anterior.

La completitud del espacio se cumple siempre que, siempre que una serie de elementos de l ² converja absolutamente (en norma), entonces converja a un elemento de l ² . La prueba es básica en el análisis matemático y permite manipular series matemáticas de elementos del espacio con la misma facilidad que series de números complejos (o vectores en un espacio euclidiano de dimensión finita). ^[10]

Antes del desarrollo de los espacios de Hilbert, los matemáticos y físicos conocían otras generalizaciones de los espacios euclidianos . En particular, la idea de un espacio lineal abstracto (espacio vectorial) había ganado cierta fuerza hacia finales del siglo XIX: ^[11] se trata de un espacio cuyos elementos pueden sumarse y multiplicarse por escalares (como números reales o complejos ) sin identificar necesariamente estos elementos con vectores "geométricos" , como los vectores de posición y momento en sistemas físicos. Otros objetos estudiados por los matemáticos a principios del siglo XX, en particular los espacios de sucesiones (incluidas las series ) y los espacios de funciones, ^[12] pueden considerarse naturalmente como espacios lineales. Las funciones, por ejemplo, pueden sumarse o multiplicarse por escalares constantes, y estas operaciones obedecen a las leyes algebraicas satisfechas por la adición y la multiplicación escalar de vectores espaciales.

En la primera década del siglo XX, se produjeron desarrollos paralelos que condujeron a la introducción de los espacios de Hilbert. El primero de ellos fue la observación, que surgió durante el estudio de las ecuaciones integrales de David Hilbert y Erhard Schmidt ^[13] , de que dos funciones de valor real integrables al cuadrado f y g en un intervalo [ a , b ] tienen un producto interno

${\displaystyle \langle f,g\rangle =\int _{a}^{b}f(x)g(x)\,\mathrm {d} x}$

que tiene muchas de las propiedades familiares del producto escalar euclidiano. En particular, la idea de una familia ortogonal de funciones tiene sentido. Schmidt explotó la similitud de este producto interno con el producto escalar habitual para demostrar un análogo de la descomposición espectral para un operador de la forma

${\displaystyle f(x)\mapsto \int _ {a}^{b}K(x,y)f(y)\,\mathrm {d} y}$

donde K es una función continua simétrica en x e y . La expansión de la función propia resultante expresa la función K como una serie de la forma

${\displaystyle K(x,y)=\sum _{n}\lambda _{n}\varphi _{n}(x)\varphi _{n}(y)}$

donde las funciones φ _n son ortogonales en el sentido de que ⟨ φ _n , φ _m ⟩ = 0 para todo n ≠ m . Los términos individuales de esta serie se denominan a veces soluciones de producto elementales. Sin embargo, hay expansiones de funciones propias que no convergen en un sentido adecuado a una función integrable al cuadrado: el ingrediente faltante, que asegura la convergencia, es la completitud. ^[14]

El segundo desarrollo fue la integral de Lebesgue , una alternativa a la integral de Riemann introducida por Henri Lebesgue en 1904. ^[15] La integral de Lebesgue hizo posible integrar una clase mucho más amplia de funciones. En 1907, Frigyes Riesz y Ernst Sigismund Fischer demostraron de forma independiente que el espacio L ² de funciones cuadradas integrables por Lebesgue es un espacio métrico completo . ^[16] Como consecuencia de la interacción entre geometría y completitud, los resultados del siglo XIX de Joseph Fourier , Friedrich Bessel y Marc-Antoine Parseval sobre series trigonométricas se trasladaron fácilmente a estos espacios más generales, dando como resultado un aparato geométrico y analítico ahora conocido habitualmente como el teorema de Riesz-Fischer . ^[17]

A principios del siglo XX se demostraron otros resultados básicos. Por ejemplo, el teorema de representación de Riesz fue establecido independientemente por Maurice Fréchet y Frigyes Riesz en 1907. ^[18] John von Neumann acuñó el término espacio de Hilbert abstracto en su trabajo sobre operadores hermíticos ilimitados . ^[19] Aunque otros matemáticos como Hermann Weyl y Norbert Wiener ya habían estudiado espacios de Hilbert particulares con gran detalle, a menudo desde un punto de vista motivado físicamente, von Neumann dio el primer tratamiento completo y axiomático de ellos. ^[20] Von Neumann los utilizó más tarde en su trabajo seminal sobre los fundamentos de la mecánica cuántica, ^[21] y en su trabajo continuado con Eugene Wigner . El nombre "espacio de Hilbert" fue adoptado pronto por otros, por ejemplo por Hermann Weyl en su libro sobre mecánica cuántica y la teoría de grupos. ^[22]

La importancia del concepto de espacio de Hilbert se subrayó con la comprensión de que ofrece una de las mejores formulaciones matemáticas de la mecánica cuántica . ^[23] En resumen, los estados de un sistema mecánico cuántico son vectores en un cierto espacio de Hilbert, los observables son operadores hermíticos en ese espacio, las simetrías del sistema son operadores unitarios y las mediciones son proyecciones ortogonales . La relación entre las simetrías mecánicas cuánticas y los operadores unitarios proporcionó un impulso para el desarrollo de la teoría de representación unitaria de grupos , iniciada en el trabajo de 1928 de Hermann Weyl. ^[22] Por otro lado, a principios de la década de 1930 quedó claro que la mecánica clásica puede describirse en términos del espacio de Hilbert ( mecánica clásica de Koopman-von Neumann ) y que ciertas propiedades de los sistemas dinámicos clásicos pueden analizarse utilizando técnicas del espacio de Hilbert en el marco de la teoría ergódica . ^[24]

El álgebra de observables en mecánica cuántica es naturalmente un álgebra de operadores definidos en un espacio de Hilbert, según la formulación de la mecánica matricial de la teoría cuántica de Werner Heisenberg . ^[25] Von Neumann comenzó a investigar las álgebras de operadores en la década de 1930, como anillos de operadores en un espacio de Hilbert. El tipo de álgebras estudiadas por von Neumann y sus contemporáneos ahora se conocen como álgebras de von Neumann . ^[26] En la década de 1940, Israel Gelfand , Mark Naimark e Irving Segal dieron una definición de un tipo de álgebras de operadores llamadas C*-álgebras que, por un lado, no hacían referencia a un espacio de Hilbert subyacente y, por otro, extrapolaban muchas de las características útiles de las álgebras de operadores que se habían estudiado previamente. El teorema espectral para operadores autoadjuntos en particular que subyace a gran parte de la teoría del espacio de Hilbert existente se generalizó a las C*-álgebras. ^[27] Estas técnicas son ahora básicas en el análisis armónico abstracto y la teoría de la representación.

Los espacios de Lebesgue son espacios de funciones asociados a espacios de medida ( X , M , μ ) , donde X es un conjunto, M es una σ-álgebra de subconjuntos de X , y μ es una medida aditiva contable en M . Sea L ² ( X , μ ) el espacio de aquellas funciones medibles de valor complejo en X para las cuales la integral de Lebesgue del cuadrado del valor absoluto de la función es finita, es decir, para una función f en L ² ( X , μ ) , y donde las funciones se identifican si y solo si difieren solo en un conjunto de medida cero .$${\displaystyle \int _{X}|f|^{2}\mathrm {d} \mu <\infty \,,}$$

El producto interno de las funciones f y g en L ² ( X , μ ) se define entonces como o$${\displaystyle \langle f,g\rangle =\int _{X}f(t){\overline {g(t)}}\,\mathrm {d} \mu (t)}$$$${\displaystyle \langle f,g\rangle =\int _{X}{\overline {f(t)}}g(t)\,\mathrm {d} \mu (t)\,,}$$

donde la segunda forma (conjugación del primer elemento) se encuentra comúnmente en la literatura de física teórica . Para f y g en L ² , la integral existe debido a la desigualdad de Cauchy-Schwarz, y define un producto interno en el espacio. Equipado con este producto interno, L ² es de hecho completo. ^[28] La integral de Lebesgue es esencial para asegurar la completitud: en dominios de números reales, por ejemplo, no hay suficientes funciones que sean integrables según Riemann . ^[29]

Los espacios de Lebesgue aparecen en muchos entornos naturales. Los espacios L ² ( R ) y L ² ([0,1]) de funciones integrables al cuadrado con respecto a la medida de Lebesgue en la línea real y el intervalo unitario, respectivamente, son dominios naturales en los que definir la transformada de Fourier y la serie de Fourier. En otras situaciones, la medida puede ser algo distinto de la medida de Lebesgue ordinaria en la línea real. Por ejemplo, si w es cualquier función medible positiva, el espacio de todas las funciones mesurables f en el intervalo [0, 1] que satisface se denomina espacio L ² ponderado L$${\displaystyle \int _{0}^{1}{\bigl |}f(t){\bigr |}^{2}w(t)\,\mathrm {d} t<\infty }$$ ²
_semanas([0, 1]) , y w se denomina función de peso. El producto interno se define por$${\displaystyle \langle f,g\rangle =\int _{0}^{1}f(t){\overline {g(t)}}w(t)\,\mathrm {d} t\,.}$$

El espacio ponderado L²
_semanas([0, 1]) es idéntico al espacio de Hilbert L ² ([0, 1], μ ) donde la medida μ de un conjunto A medible según Lebesgue se define por$${\displaystyle \mu (A)=\int _{A}w(t)\,\mathrm {d} t\,.}$$

Los espacios L ² ponderados como este se utilizan con frecuencia para estudiar polinomios ortogonales , porque diferentes familias de polinomios ortogonales son ortogonales con respecto a diferentes funciones de ponderación. ^[30]

Los espacios de Sobolev , denotados por H ^s o W ^{s , 2} , son espacios de Hilbert. Se trata de un tipo especial de espacio funcional en el que se puede realizar la diferenciación , pero que (a diferencia de otros espacios de Banach como los espacios de Hölder ) admiten la estructura de un producto interno. Debido a que se permite la diferenciación, los espacios de Sobolev son un entorno conveniente para la teoría de ecuaciones diferenciales parciales . ^[31] También forman la base de la teoría de métodos directos en el cálculo de variaciones . ^[32]

Para s un entero no negativo y Ω ⊂ R ⁿ , el espacio de Sobolev H ^s (Ω) contiene L ² funciones cuyas derivadas débiles de orden hasta s también son L ² . El producto interno en H ^s (Ω) es donde el punto indica el producto escalar en el espacio euclidiano de derivadas parciales de cada orden. Los espacios de Sobolev también se pueden definir cuando s no es un entero.$${\displaystyle \langle f,g\rangle =\int _{\Omega }f(x){\bar {g}}(x)\,\mathrm {d} x+\int _{\Omega }Df(x)\cdot D{\bar {g}}(x)\,\mathrm {d} x+\cdots +\int _{\Omega }D^{s}f(x)\cdot D^{s}{\bar {g}}(x)\,\mathrm {d} x}$$

Los espacios de Sobolev también se estudian desde el punto de vista de la teoría espectral, basándose más específicamente en la estructura del espacio de Hilbert. Si Ω es un dominio adecuado, entonces se puede definir el espacio de Sobolev H ^s (Ω) como el espacio de potenciales de Bessel ; ^[33] a grandes rasgos,$${\displaystyle H^{s}(\Omega )=\left\{(1-\Delta )^{-s/2}f\mathrel {\Big |} f\in L^{2}(\Omega )\right\}\,.}$$

Aquí Δ es el laplaciano y (1 − Δ) ^{− s  / 2} se entiende en términos del teorema de mapeo espectral . Además de proporcionar una definición viable de espacios de Sobolev para s no enteros , esta definición también tiene propiedades particularmente deseables bajo la transformada de Fourier que la hacen ideal para el estudio de operadores pseudodiferenciales . Usando estos métodos en una variedad compacta de Riemann , uno puede obtener por ejemplo la descomposición de Hodge , que es la base de la teoría de Hodge . ^[34]

Los espacios de Hardy son espacios funcionales, que surgen en el análisis complejo y el análisis armónico , cuyos elementos son ciertas funciones holomorfas en un dominio complejo. ^[35] Sea U el disco unitario en el plano complejo. Entonces el espacio de Hardy H ² ( U ) se define como el espacio de funciones holomorfas f en U tales que las medias

$${\displaystyle M_{r}(f)={\frac {1}{2\pi }}\int _{0}^{2\pi }\left|f{\bigl (}re^{i\theta }{\bigr )}\right|^{2}\,\mathrm {d} \theta }$$

permanecen acotados para r < 1. La norma en este espacio de Hardy está definida por$${\displaystyle \left\|f\right\|_{2}=\lim _{r\to 1}{\sqrt {M_{r}(f)}}\,.}$$

Los espacios de Hardy en el disco están relacionados con las series de Fourier. Una función f está en H ² ( U ) si y solo si donde$${\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}}$$$${\displaystyle \sum _{n=0}^{\infty }|a_{n}|^{2}<\infty \,.}$$

Por lo tanto, H ² ( U ) consiste en aquellas funciones que son L ² en el círculo y cuyos coeficientes de Fourier de frecuencia negativos se desvanecen.

Los espacios de Bergman son otra familia de espacios de Hilbert de funciones holomorfas. ^[36] Sea D un conjunto abierto acotado en el plano complejo (o un espacio complejo de dimensiones superiores) y sea L ^{2, h} ( D ) el espacio de funciones holomorfas f en D que también están en L ² ( D ) en el sentido de que$${\displaystyle \|f\|^{2}=\int _{D}|f(z)|^{2}\,\mathrm {d} \mu (z)<\infty \,,}$$

donde la integral se toma con respecto a la medida de Lebesgue en D . Claramente L ^{2, h} ( D ) es un subespacio de L ² ( D ) ; de hecho, es un subespacio cerrado , y por lo tanto un espacio de Hilbert por derecho propio. Esto es una consecuencia de la estimación, válida en subconjuntos compactos K de D , que a su vez se sigue de la fórmula integral de Cauchy . Por lo tanto, la convergencia de una secuencia de funciones holomorfas en L ² ( D ) implica también convergencia compacta , y por lo tanto la función límite también es holomorfa. Otra consecuencia de esta desigualdad es que el funcional lineal que evalúa una función f en un punto de D es en realidad continuo en L ^{2, h} ( D ) . El teorema de representación de Riesz implica que el funcional de evaluación puede representarse como un elemento de L ^{2, h} ( D ) . Por lo tanto, para cada z ∈ D , existe una función η _z ∈ L ^{2, h} ( D ) tal que para todo f ∈ L ^{2, h} ( D ) . El integrando se conoce como núcleo de Bergman de D . Este núcleo integral satisface una propiedad de reproducción$${\displaystyle \sup _{z\in K}\left|f(z)\right|\leq C_{K}\left\|f\right\|_{2}\,,}$$$${\displaystyle f(z)=\int _{D}f(\zeta ){\overline {\eta _{z}(\zeta )}}\,\mathrm {d} \mu (\zeta )}$$$${\displaystyle K(\zeta ,z)={\overline {\eta _{z}(\zeta )}}}$$$${\displaystyle f(z)=\int _{D}f(\zeta )K(\zeta ,z)\,\mathrm {d} \mu (\zeta )\,.}$$

Un espacio de Bergman es un ejemplo de un espacio de Hilbert con núcleo reproductor , que es un espacio de Hilbert de funciones junto con un núcleo K ( ζ , z ) que verifica una propiedad reproductora análoga a esta. El espacio de Hardy H ² ( D ) también admite un núcleo reproductor, conocido como el núcleo de Szegő . ^[37] Los núcleos reproductores también son comunes en otras áreas de las matemáticas. Por ejemplo, en el análisis armónico , el núcleo de Poisson es un núcleo reproductor para el espacio de Hilbert de funciones armónicas integrables al cuadrado en la bola unitaria . Que este último sea un espacio de Hilbert es una consecuencia del teorema del valor medio para funciones armónicas.

Muchas de las aplicaciones de los espacios de Hilbert aprovechan el hecho de que estos permiten generalizar conceptos geométricos simples, como la proyección y el cambio de base, a partir de su configuración habitual de dimensión finita. En particular, la teoría espectral de operadores lineales autoadjuntos continuos en un espacio de Hilbert generaliza la descomposición espectral habitual de una matriz , y esto suele desempeñar un papel importante en las aplicaciones de la teoría a otras áreas de las matemáticas y la física.

En la teoría de ecuaciones diferenciales ordinarias , se utilizan métodos espectrales en un espacio de Hilbert adecuado para estudiar el comportamiento de los valores propios y las funciones propias de las ecuaciones diferenciales. Por ejemplo, el problema de Sturm-Liouville surge en el estudio de los armónicos de las ondas en una cuerda de violín o un tambor, y es un problema central en las ecuaciones diferenciales ordinarias . ^[38] El problema es una ecuación diferencial de la forma para una función desconocida y en un intervalo [ a , b ] , que satisface las condiciones de contorno homogéneas generales de Robin Las funciones p , q y w se dan de antemano, y el problema es encontrar la función y y las constantes λ para las que la ecuación tiene una solución. El problema solo tiene soluciones para ciertos valores de λ , llamados valores propios del sistema, y ​​esto es una consecuencia del teorema espectral para operadores compactos aplicado al operador integral definido por la función de Green para el sistema. Además, otra consecuencia de este resultado general es que los valores propios λ del sistema pueden ordenarse en una secuencia creciente que tiende al infinito. ^{[39] [nb 2]}$${\displaystyle -{\frac {\mathrm {d} }{\mathrm {d} x}}\left[p(x){\frac {\mathrm {d} y}{\mathrm {d} x}}\right]+q(x)y=\lambda w(x)y}$$$${\displaystyle {\begin{cases}\alpha y(a)+\alpha 'y'(a)&=0\\\beta y(b)+\beta 'y'(b)&=0\,.\end{cases}}}$$

Los espacios de Hilbert forman una herramienta básica en el estudio de ecuaciones diferenciales parciales . ^[31] Para muchas clases de ecuaciones diferenciales parciales, como las ecuaciones elípticas lineales , es posible considerar una solución generalizada (conocida como solución débil ) ampliando la clase de funciones. Muchas formulaciones débiles involucran la clase de funciones de Sobolev , que es un espacio de Hilbert. Una formulación débil adecuada se reduce a un problema geométrico, el problema analítico de encontrar una solución o, a menudo lo que es más importante, demostrar que existe una solución y es única para datos de contorno dados. Para ecuaciones elípticas lineales, un resultado geométrico que asegura una solubilidad única para una gran clase de problemas es el teorema de Lax-Milgram . Esta estrategia forma el rudimento del método de Galerkin (un método de elementos finitos ) para la solución numérica de ecuaciones diferenciales parciales. ^[40]

Un ejemplo típico es la ecuación de Poisson −Δ u = g con condiciones de contorno de Dirichlet en un dominio acotado Ω en R ² . La formulación débil consiste en hallar una función u tal que, para todas las funciones continuamente diferenciables v en Ω que se anulan en el contorno:$${\displaystyle \int _{\Omega }\nabla u\cdot \nabla v=\int _{\Omega }gv\,.}$$

Esto se puede reformular en términos del espacio de Hilbert H¹
₀(Ω) que consta de funciones u tales que u , junto con sus derivadas parciales débiles, son integrables al cuadrado en Ω y se anulan en el límite. La cuestión se reduce entonces a encontrar u en este espacio tal que para todo v en este espacio$${\displaystyle a(u,v)=b(v)}$$

donde a es una forma bilineal continua y b es una funcional lineal continua , dadas respectivamente por$${\displaystyle a(u,v)=\int _{\Omega }\nabla u\cdot \nabla v,\quad b(v)=\int _{\Omega }gv\,.}$$

Como la ecuación de Poisson es elíptica , se deduce de la desigualdad de Poincaré que la forma bilineal a es coercitiva . El teorema de Lax-Milgram asegura entonces la existencia y unicidad de las soluciones de esta ecuación. ^[41]

Los espacios de Hilbert permiten formular de forma similar muchas ecuaciones diferenciales parciales elípticas, y el teorema de Lax-Milgram es entonces una herramienta básica para su análisis. Con modificaciones adecuadas, se pueden aplicar técnicas similares a ecuaciones diferenciales parciales parabólicas y a ciertas ecuaciones diferenciales parciales hiperbólicas . ^[42]

El campo de la teoría ergódica es el estudio del comportamiento a largo plazo de los sistemas dinámicos caóticos . El caso protípico de un campo al que se aplica la teoría ergódica es la termodinámica , en la que, aunque el estado microscópico de un sistema es extremadamente complicado (es imposible entender el conjunto de colisiones individuales entre partículas de materia), el comportamiento promedio durante intervalos de tiempo suficientemente largos es manejable. Las leyes de la termodinámica son afirmaciones sobre dicho comportamiento promedio. En particular, una formulación de la ley cero de la termodinámica afirma que, en escalas de tiempo suficientemente largas, la única medición funcionalmente independiente que se puede hacer de un sistema termodinámico en equilibrio es su energía total, en forma de temperatura . ^[43]

Un sistema dinámico ergódico es aquel para el cual, aparte de la energía —medida por el hamiltoniano— no hay otras cantidades conservadas funcionalmente independientes en el espacio de fases . Más explícitamente, supongamos que la energía E es fija, y sea Ω _E el subconjunto del espacio de fases que consiste en todos los estados de energía E (una superficie de energía), y sea T _t el operador de evolución en el espacio de fases. El sistema dinámico es ergódico si cada función medible invariante en Ω _E es constante casi en todas partes . ^[44] Una función invariante f es aquella para la cual para todo w en Ω _E y todo tiempo t . El teorema de Liouville implica que existe una medida μ en la superficie de energía que es invariante bajo la traslación temporal . Como resultado, la traslación temporal es una transformación unitaria del espacio de Hilbert L ² (Ω _E , μ ) que consiste en funciones integrables al cuadrado en la superficie de energía Ω _E con respecto al producto interno$${\displaystyle f(T_{t}w)=f(w)}$$ $${\displaystyle \left\langle f,g\right\rangle _{L^{2}\left(\Omega _{E},\mu \right)}=\int _{E}f{\bar {g}}\,\mathrm {d} \mu \,.}$$

El teorema ergódico medio de von Neumann ^[24] establece lo siguiente:

• Si U _t es un semigrupo de un parámetro (fuertemente continuo) de operadores unitarios en un espacio de Hilbert H , y P es la proyección ortogonal sobre el espacio de puntos fijos comunes de U _t , { x ∈ H | U _t x = x , ∀ t > 0} , entonces$${\displaystyle Px=\lim _{T\to \infty }{\frac {1}{T}}\int _{0}^{T}U_{t}x\,\mathrm {d} t\,.}$$

Para un sistema ergódico, el conjunto fijo de la evolución temporal consta únicamente de las funciones constantes, por lo que el teorema ergódico implica lo siguiente: ^[45] para cualquier función f ∈ L ² (Ω _E , μ ) ,$${\displaystyle {\underset {T\to \infty }{L^{2}-\lim }}{\frac {1}{T}}\int _{0}^{T}f(T_{t}w)\,\mathrm {d} t=\int _{\Omega _{E}}f(y)\,\mathrm {d} \mu (y)\,.}$$

Es decir, el promedio a largo plazo de un observable f es igual a su valor esperado sobre una superficie de energía.

Uno de los objetivos básicos del análisis de Fourier es descomponer una función en una combinación lineal (posiblemente infinita) de funciones base dadas: la serie de Fourier asociada . La serie de Fourier clásica asociada a una función f definida en el intervalo [0, 1] es una serie de la forma donde$${\displaystyle \sum _{n=-\infty }^{\infty }a_{n}e^{2\pi in\theta }}$$$${\displaystyle a_{n}=\int _{0}^{1}f(\theta )\;\!e^{-2\pi in\theta }\,\mathrm {d} \theta \,.}$$

En la figura se muestra el ejemplo de la suma de los primeros términos de una serie de Fourier para una función de diente de sierra. Las funciones base son ondas sinusoidales con longitudes de onda ⁠la/norte⁠ (para un entero n ) más corto que la longitud de onda λ del propio diente de sierra (excepto para n = 1 , laonda fundamental ).

Un problema importante en las series de Fourier clásicas es en qué sentido converge la serie de Fourier, si es que lo hace, a la función f . Los métodos del espacio de Hilbert proporcionan una posible respuesta a esta pregunta. ^[46] Las funciones e _n ( θ ) = e ^{2π inθ} forman una base ortogonal del espacio de Hilbert L ² ([0, 1]) . En consecuencia, cualquier función integrable al cuadrado puede expresarse como una serie$${\displaystyle f(\theta )=\sum _{n}a_{n}e_{n}(\theta )\,,\quad a_{n}=\langle f,e_{n}\rangle }$$

y, además, esta serie converge en el sentido del espacio de Hilbert (es decir, en la media L ² ).

El problema también puede estudiarse desde el punto de vista abstracto: cada espacio de Hilbert tiene una base ortonormal , y cada elemento del espacio de Hilbert puede escribirse de forma única como una suma de múltiplos de estos elementos base. Los coeficientes que aparecen en estos elementos base a veces se conocen de forma abstracta como los coeficientes de Fourier del elemento del espacio. ^[47] La ​​abstracción es especialmente útil cuando es más natural utilizar diferentes funciones base para un espacio como L ² ([0, 1]) . En muchas circunstancias, es deseable no descomponer una función en funciones trigonométricas, sino más bien en polinomios ortogonales o wavelets , por ejemplo, ^[48] y en dimensiones superiores en armónicos esféricos . ^[49]

Por ejemplo, si e _n son funciones base ortonormales de L ² [0, 1] , entonces una función dada en L ² [0, 1] puede aproximarse como una combinación lineal finita ^[50].$${\displaystyle f(x)\approx f_{n}(x)=a_{1}e_{1}(x)+a_{2}e_{2}(x)+\cdots +a_{n}e_{n}(x)\,.}$$

Los coeficientes { a _j } se seleccionan para hacer que la magnitud de la diferencia ‖ f − f _n ‖ ² sea lo más pequeña posible. Geométricamente, la mejor aproximación es la proyección ortogonal de f sobre el subespacio que consiste en todas las combinaciones lineales de { e _j } , y se puede calcular mediante ^[51]$${\displaystyle a_{j}=\int _{0}^{1}{\overline {e_{j}(x)}}f(x)\,\mathrm {d} x\,.}$$

Que esta fórmula minimice la diferencia ‖ f − f _n ‖ ² es una consecuencia de la desigualdad de Bessel y de la fórmula de Parseval.

En varias aplicaciones a problemas físicos, una función puede descomponerse en funciones propias físicamente significativas de un operador diferencial (típicamente el operador de Laplace ): esto forma la base para el estudio espectral de funciones, en referencia al espectro del operador diferencial. ^[52] Una aplicación física concreta involucra el problema de escuchar la forma de un tambor : dados los modos fundamentales de vibración que un parche de tambor es capaz de producir, ¿se puede inferir la forma del tambor mismo? ^[53] La formulación matemática de esta pregunta involucra los valores propios de Dirichlet de la ecuación de Laplace en el plano, que representan los modos fundamentales de vibración en analogía directa con los números enteros que representan los modos fundamentales de vibración de la cuerda del violín.

La teoría espectral también subyace a ciertos aspectos de la transformada de Fourier de una función. Mientras que el análisis de Fourier descompone una función definida en un conjunto compacto en el espectro discreto del laplaciano (que corresponde a las vibraciones de una cuerda de violín o un tambor), la transformada de Fourier de una función es la descomposición de una función definida en todo el espacio euclidiano en sus componentes en el espectro continuo del laplaciano. La transformada de Fourier también es geométrica, en un sentido que se precisa mediante el teorema de Plancherel , que afirma que es una isometría de un espacio de Hilbert (el "dominio del tiempo") con otro (el "dominio de la frecuencia"). Esta propiedad de isometría de la transformada de Fourier es un tema recurrente en el análisis armónico abstracto (ya que refleja la conservación de la energía para la transformada de Fourier continua), como lo demuestra, por ejemplo, el teorema de Plancherel para funciones esféricas que ocurren en el análisis armónico no conmutativo .

En la formulación matemáticamente rigurosa de la mecánica cuántica , desarrollada por John von Neumann , ^[54] los estados posibles (más precisamente, los estados puros ) de un sistema mecánico cuántico están representados por vectores unitarios (llamados vectores de estado ) que residen en un espacio de Hilbert separable complejo, conocido como el espacio de estados , bien definido hasta un número complejo de norma 1 (el factor de fase ). En otras palabras, los estados posibles son puntos en la proyectivización de un espacio de Hilbert, usualmente llamado espacio proyectivo complejo . La naturaleza exacta de este espacio de Hilbert depende del sistema; por ejemplo, los estados de posición y momento para una sola partícula no relativista de espín cero es el espacio de todas las funciones integrables al cuadrado , mientras que los estados para el espín de un solo protón son elementos unitarios del espacio de Hilbert complejo bidimensional de espinores . Cada observable está representado por un operador lineal autoadjunto que actúa sobre el espacio de estados. Cada estado propio de un observable corresponde a un vector propio del operador, y el valor propio asociado corresponde al valor del observable en ese estado propio. ^[55]

El producto interno entre dos vectores de estado es un número complejo conocido como amplitud de probabilidad . Durante una medición ideal de un sistema mecánico cuántico, la probabilidad de que un sistema colapse desde un estado inicial dado a un estado propio particular está dada por el cuadrado del valor absoluto de las amplitudes de probabilidad entre los estados inicial y final. ^[56] Los posibles resultados de una medición son los valores propios del operador, lo que explica la elección de operadores autoadjuntos, ya que todos los valores propios deben ser reales. La distribución de probabilidad de un observable en un estado dado se puede encontrar calculando la descomposición espectral del operador correspondiente. ^[57]

En un sistema general, los estados no suelen ser puros, sino que se representan como mezclas estadísticas de estados puros o estados mixtos, dadas por matrices de densidad : operadores autoadjuntos de traza uno en un espacio de Hilbert. ^[58] Además, en el caso de los sistemas mecánicos cuánticos generales, los efectos de una única medición pueden influir en otras partes de un sistema de una manera que se describe en cambio mediante una medida con valor de operador positivo . Por lo tanto, la estructura tanto de los estados como de los observables en la teoría general es considerablemente más complicada que la idealización para los estados puros. ^[59]

En teoría de probabilidad , los espacios de Hilbert también tienen diversas aplicaciones. Aquí, un espacio de Hilbert fundamental es el espacio de variables aleatorias en un espacio de probabilidad dado , que tiene clase (primer y segundo momentos finitos ). Una operación común en estadística es la de centrar una variable aleatoria restando su esperanza . Por lo tanto, si es una variable aleatoria, entonces es su centrado. En la visión del espacio de Hilbert, esta es la proyección ortogonal de sobre el núcleo del operador de esperanza, que es un funcional lineal continuo en el espacio de Hilbert (de hecho, el producto interno con la variable aleatoria constante 1), y por lo tanto este núcleo es un subespacio cerrado.${\displaystyle L^{2}}$${\displaystyle X}$${\displaystyle X-E(X)}$${\displaystyle X}$

La esperanza condicional tiene una interpretación natural en el espacio de Hilbert. ^[60] Supóngase que se da un espacio de probabilidad, donde es un álgebra sigma en el conjunto , y es una medida de probabilidad en el espacio de medida . Si es un subálgebra sigma de , entonces la esperanza condicional es la proyección ortogonal de sobre el subespacio de que consiste en las funciones -medibles. Si la variable aleatoria en es independiente del álgebra sigma , entonces la esperanza condicional , es decir, su proyección sobre las funciones -medibles es constante. Equivalentemente, la proyección de su centrado es cero.${\displaystyle (\Omega ,P,{\mathcal {B}})}$${\displaystyle {\mathcal {B}}}$${\displaystyle \Omega }$${\displaystyle P}$${\displaystyle (\Omega ,{\mathcal {B}})}$${\displaystyle {\mathcal {F}}\leq {\mathcal {B}}}$${\displaystyle {\mathcal {B}}}$${\displaystyle E[X|{\mathcal {F}}]}$${\displaystyle X}$${\displaystyle L^{2}(\Omega ,P)}$${\displaystyle {\mathcal {F}}}$${\displaystyle X}$${\displaystyle L^{2}(\Omega ,P)}$${\displaystyle {\mathcal {F}}}$${\displaystyle E(X|{\mathcal {F}})=E(X)}$${\displaystyle {\mathcal {F}}}$

En particular, si dos variables aleatorias y (en ) son independientes, entonces las variables aleatorias centradas y son ortogonales. (Esto significa que las dos variables tienen covarianza cero: no están correlacionadas ). En ese caso, el teorema de Pitágoras en el núcleo del operador de expectativa implica que las varianzas de y satisfacen la identidad: a veces llamado teorema de Pitágoras de las estadísticas, y es importante en la regresión lineal . ^[61] Como lo expresa Stapleton (1995), "el análisis de varianza puede verse como la descomposición de la longitud al cuadrado de un vector en la suma de las longitudes al cuadrado de varios vectores, utilizando el Teorema de Pitágoras".${\displaystyle X}$${\displaystyle Y}$${\displaystyle L^{2}(\Omega ,P)}$${\displaystyle X-E(X)}$${\displaystyle Y-E(Y)}$${\displaystyle X}$${\displaystyle Y}$$${\displaystyle \operatorname {Var} (X+Y)=\operatorname {Var} (X)+\operatorname {Var} (Y),}$$

La teoría de las martingalas se puede formular en espacios de Hilbert. Una martingala en un espacio de Hilbert es una secuencia de elementos de un espacio de Hilbert tal que, para cada n , es la proyección ortogonal de sobre la envoltura lineal de . ^[62] Si son variables aleatorias, esto reproduce la definición habitual de una martingala (discreta): la esperanza de , condicionada a , es igual a .${\displaystyle x_{1},x_{2},\dots }$${\displaystyle x_{n}}$${\displaystyle x_{n+1}}$${\displaystyle x_{1},\dots ,x_{n}}$${\displaystyle x_{k}}$${\displaystyle x_{n+1}}$${\displaystyle x_{1},\dots ,x_{n}}$${\displaystyle x_{n}}$

Los espacios de Hilbert también se utilizan en los fundamentos del cálculo de Itô . ^{[63] A cualquier} martingala integrable al cuadrado , es posible asociar una norma de Hilbert en el espacio de clases de equivalencia de procesos progresivamente medibles con respecto a la martingala (usando la variación cuadrática de la martingala como medida). La integral de Itô se puede construir definiéndola primero para procesos simples y luego explotando su densidad en el espacio de Hilbert. Un resultado notable es entonces la isometría de Itô , que atestigua que para cualquier martingala M que tenga una medida de variación cuadrática , y cualquier proceso progresivamente medible H : siempre que la expectativa en el lado derecho sea finita.${\displaystyle d\langle M\rangle _{t}}$$${\displaystyle E\left[\left(\int _{0}^{t}H_{s}dM_{s}\right)^{2}\right]=E\left[\int _{0}^{t}H_{s}^{2}d\langle M\rangle _{s}\right]}$$

Una aplicación más profunda de los espacios de Hilbert que es especialmente importante en la teoría de los procesos gaussianos es un intento, debido a Leonard Gross y otros, de dar sentido a ciertas integrales formales sobre espacios de dimensión infinita como la integral de trayectoria de Feynman de la teoría cuántica de campos . El problema con una integral como esta es que no hay una medida de Lebesgue de dimensión infinita . La noción de un espacio de Wiener abstracto permite construir una medida en un espacio de Banach B que contiene un espacio de Hilbert H , llamado espacio de Cameron-Martin , como un subconjunto denso, a partir de una medida de conjunto cilíndrico finitamente aditiva en H. La medida resultante en B es contablemente aditiva e invariante bajo la traslación de elementos de H , y esto proporciona una forma matemáticamente rigurosa de pensar en la medida de Wiener como una medida gaussiana en el espacio de Sobolev . ^[64]${\displaystyle H^{1}([0,\infty ))}$

Cualquier color físico verdadero puede representarse mediante una combinación de colores espectrales puros . Como los colores físicos pueden estar compuestos por cualquier número de colores espectrales, el espacio de colores físicos puede representarse adecuadamente mediante un espacio de Hilbert sobre colores espectrales. Los humanos tienen tres tipos de células cónicas para la percepción del color, por lo que los colores perceptibles pueden representarse mediante un espacio euclidiano tridimensional. La correspondencia lineal de muchos a uno del espacio de Hilbert de colores físicos al espacio euclidiano de colores perceptibles por los humanos explica por qué los humanos pueden percibir muchos colores físicos distintos como idénticos (por ejemplo, luz amarilla pura frente a una mezcla de luz roja y verde, véase metamerismo ). ^{[65] [66]}

Dos vectores u y v en un espacio de Hilbert H son ortogonales cuando ⟨ u , v ⟩ = 0 . La notación para esto es u ⊥ v . De manera más general, cuando S es un subconjunto en H , la notación u ⊥ S significa que u es ortogonal a cada elemento de S .

Cuando u y v son ortogonales, se tiene$${\displaystyle \|u+v\|^{2}=\langle u+v,u+v\rangle =\langle u,u\rangle +2\,\operatorname {Re} \langle u,v\rangle +\langle v,v\rangle =\|u\|^{2}+\|v\|^{2}\,.}$$

Por inducción sobre n , esto se extiende a cualquier familia u ₁ , ..., u _n de n vectores ortogonales,$${\displaystyle \left\|u_{1}+\cdots +u_{n}\right\|^{2}=\left\|u_{1}\right\|^{2}+\cdots +\left\|u_{n}\right\|^{2}.}$$

Mientras que la identidad pitagórica tal como se enuncia es válida en cualquier espacio de producto interno, se requiere completitud para la extensión de la identidad pitagórica a series. ^[67] Una serie Σ u _k de vectores ortogonales converge en H si y solo si la serie de cuadrados de normas converge, y además, la suma de una serie de vectores ortogonales es independiente del orden en el que se toma.$${\displaystyle {\Biggl \|}\sum _{k=0}^{\infty }u_{k}{\Biggr \|}^{2}=\sum _{k=0}^{\infty }\left\|u_{k}\right\|^{2}\,.}$$

Por definición, todo espacio de Hilbert es también un espacio de Banach . Además, en todo espacio de Hilbert se cumple la siguiente identidad de paralelogramo : ^[68]$${\displaystyle \|u+v\|^{2}+\|u-v\|^{2}=2{\bigl (}\|u\|^{2}+\|v\|^{2}{\bigr )}\,.}$$

Por el contrario, cada espacio de Banach en el que se cumple la identidad del paralelogramo es un espacio de Hilbert, y el producto interno está determinado de forma única por la norma por la identidad de polarización . ^[69] Para espacios de Hilbert reales, la identidad de polarización es$${\displaystyle \langle u,v\rangle ={\tfrac {1}{4}}{\bigl (}\|u+v\|^{2}-\|u-v\|^{2}{\bigr )}\,.}$$

Para espacios de Hilbert complejos, es$${\displaystyle \langle u,v\rangle ={\tfrac {1}{4}}{\bigl (}\|u+v\|^{2}-\|u-v\|^{2}+i\|u+iv\|^{2}-i\|u-iv\|^{2}{\bigr )}\,.}$$

La ley del paralelogramo implica que cualquier espacio de Hilbert es un espacio de Banach uniformemente convexo . ^[70]

En esta subsección se emplea el teorema de proyección de Hilbert . Si C es un subconjunto convexo cerrado no vacío de un espacio de Hilbert H y x es un punto en H , existe un único punto y ∈ C que minimiza la distancia entre x y los puntos en C , ^[71]$${\displaystyle y\in C\,,\quad \|x-y\|=\operatorname {dist} (x,C)=\min {\bigl \{}\|x-z\|\mathrel {\big |} z\in C{\bigr \}}\,.}$$

Esto es equivalente a decir que hay un punto con norma mínima en el conjunto convexo trasladado D = C − x . La prueba consiste en mostrar que toda secuencia minimizadora ( d _n ) ⊂ D es de Cauchy (usando la identidad del paralelogramo) y por lo tanto converge (usando completitud) a un punto en D que tiene norma mínima. De manera más general, esto se cumple en cualquier espacio de Banach uniformemente convexo. ^[72]

Cuando este resultado se aplica a un subespacio cerrado F de H , se puede demostrar que el punto y ∈ F más cercano a x se caracteriza por ^[73]$${\displaystyle y\in F\,,\quad x-y\perp F\,.}$$

Este punto y es la proyección ortogonal de x sobre F , y la función P _F  : x → y es lineal (véase Complementos y proyecciones ortogonales). Este resultado es especialmente significativo en matemáticas aplicadas , especialmente en análisis numérico , donde forma la base de los métodos de mínimos cuadrados . ^[74]

En particular, cuando F no es igual a H , se puede encontrar un vector v distinto de cero ortogonal a F (seleccionando x ∉ F y v = x − y ). Se obtiene un criterio muy útil al aplicar esta observación al subespacio cerrado F generado por un subconjunto S de H .

Un subconjunto S de H abarca un subespacio vectorial denso si (y sólo si) el vector 0 es el único vector v ∈ H ortogonal a S .

El espacio dual H * es el espacio de todas las funciones lineales continuas desde el espacio H hasta el cuerpo base. Lleva una norma natural, definida por Esta norma satisface la ley del paralelogramo , y por lo tanto el espacio dual es también un espacio de producto interno donde este producto interno puede definirse en términos de esta norma dual utilizando la identidad de polarización . El espacio dual también es completo, por lo que es un espacio de Hilbert por derecho propio. Si e _• = ( e _i ) _{i ∈ I} es una base ortonormal completa para H, entonces el producto interno en el espacio dual de cualesquiera dos es donde todos, excepto un número contable, de los términos en esta serie son cero.$${\displaystyle \|\varphi \|=\sup _{\|x\|=1,x\in H}|\varphi (x)|\,.}$$${\displaystyle f,g\in H^{*}}$$${\displaystyle \langle f,g\rangle _{H^{*}}=\sum _{i\in I}f(e_{i}){\overline {g(e_{i})}}}$$

El teorema de representación de Riesz proporciona una descripción conveniente del espacio dual. Para cada elemento u de H , existe un elemento único φ _u de H * , definido por donde además,$${\displaystyle \varphi _{u}(x)=\langle x,u\rangle }$$${\displaystyle \left\|\varphi _{u}\right\|=\left\|u\right\|.}$

El teorema de representación de Riesz establece que la función de H en H * definida por u ↦ φ _u es sobreyectiva , lo que hace que esta función sea un isomorfismo antilineal isométrico . ^[75] Por lo tanto, para cada elemento φ del dual H * existe uno y solo un u _φ en H tal que para todo x ∈ H . El producto interno en el espacio dual H * satisface$${\displaystyle \langle x,u_{\varphi }\rangle =\varphi (x)}$$$${\displaystyle \langle \varphi ,\psi \rangle =\langle u_{\psi },u_{\varphi }\rangle \,.}$$

La inversión del orden en el lado derecho restablece la linealidad en φ a partir de la antilinealidad de u _φ . En el caso real, el isomorfismo antilineal de H a su dual es en realidad un isomorfismo, y por lo tanto los espacios de Hilbert reales son naturalmente isomorfos a sus propios duales.

El vector representativo u _φ se obtiene de la siguiente manera. Cuando φ ≠ 0 , el núcleo F = Ker( φ ) es un subespacio vectorial cerrado de H , no igual a H , por lo tanto existe un vector v distinto de cero ortogonal a F . El vector u es un múltiplo escalar adecuado λv de v . El requisito de que φ ( v ) = ⟨ v , u ⟩ produce$${\displaystyle u=\langle v,v\rangle ^{-1}\,{\overline {\varphi (v)}}\,v\,.}$$

Esta correspondencia φ ↔ u se explota mediante la notación bra–ket popular en física . ^[76] Es común en física asumir que el producto interno, denotado por ⟨ x | y ⟩ , es lineal por la derecha. El resultado ⟨ x | y ⟩ puede verse como la acción de la función lineal ⟨ x | (el bra ) sobre el vector | y ⟩ (el ket ).$${\displaystyle \langle x|y\rangle =\langle y,x\rangle \,.}$$

El teorema de representación de Riesz se basa fundamentalmente no sólo en la presencia de un producto interno, sino también en la completitud del espacio. De hecho, el teorema implica que el dual topológico de cualquier espacio de producto interno puede identificarse con su completitud. ^[77] Una consecuencia inmediata del teorema de representación de Riesz es también que un espacio de Hilbert H es reflexivo , lo que significa que la función natural de H en su espacio dual doble es un isomorfismo.

En un espacio de Hilbert H , una secuencia { x _n } es débilmente convergente a un vector x ∈ H cuando para cada v ∈ H .$${\displaystyle \lim _{n}\langle x_{n},v\rangle =\langle x,v\rangle }$$

Por ejemplo, cualquier secuencia ortonormal { f _n } converge débilmente a 0, como consecuencia de la desigualdad de Bessel. Toda secuencia débilmente convergente { x _n } está acotada, por el principio de acotación uniforme .

Por el contrario, toda sucesión acotada en un espacio de Hilbert admite subsecuencias débilmente convergentes ( teorema de Alaoglu ). ^[78] Este hecho puede utilizarse para demostrar resultados de minimización para funcionales convexos continuos , de la misma manera que se utiliza el teorema de Bolzano-Weierstrass para funciones continuas en R ^d . Entre varias variantes, una afirmación simple es la siguiente: ^[79]

Si f  : H → R es una función continua convexa tal que f ( x ) tiende a +∞ cuando ‖ x ‖ tiende a ∞ , entonces f admite un mínimo en algún punto x ₀ ∈ H .

Este hecho (y sus diversas generalizaciones) son fundamentales para los métodos directos en el cálculo de variaciones . Los resultados de minimización para funcionales convexos también son una consecuencia directa del hecho ligeramente más abstracto de que los subconjuntos convexos cerrados y acotados en un espacio de Hilbert H son débilmente compactos , ya que H es reflexivo. La existencia de subsecuencias débilmente convergentes es un caso especial del teorema de Eberlein-Šmulian .

Cualquier propiedad general de los espacios de Banach sigue siendo válida para los espacios de Hilbert. El teorema de aplicación abierta establece que una transformación lineal sobreyectiva continua de un espacio de Banach a otro es una aplicación abierta, lo que significa que envía conjuntos abiertos a conjuntos abiertos. Un corolario es el teorema inverso acotado , que una función lineal continua y biyectiva de un espacio de Banach a otro es un isomorfismo (es decir, una aplicación lineal continua cuya inversa también es continua). Este teorema es considerablemente más simple de demostrar en el caso de los espacios de Hilbert que en los espacios de Banach generales. ^[80] El teorema de aplicación abierta es equivalente al teorema del grafo cerrado , que afirma que una función lineal de un espacio de Banach a otro es continua si y solo si su grafo es un conjunto cerrado . ^[81] En el caso de los espacios de Hilbert, esto es básico en el estudio de los operadores no acotados (véase operador cerrado ).

El teorema (geométrico) de Hahn-Banach afirma que un conjunto convexo cerrado puede separarse de cualquier punto exterior a él por medio de un hiperplano del espacio de Hilbert. Esta es una consecuencia inmediata de la propiedad de mejor aproximación: si y es el elemento de un conjunto convexo cerrado F más próximo a x , entonces el hiperplano de separación es el plano perpendicular al segmento xy que pasa por su punto medio. ^[82]

Los operadores lineales continuos A  : H ₁ → H ₂ de un espacio de Hilbert H ₁ a un segundo espacio de Hilbert H ₂ están acotados en el sentido de que asignan conjuntos acotados a conjuntos acotados. ^[83] Por el contrario, si un operador está acotado, entonces es continuo. El espacio de tales operadores lineales acotados tiene una norma , la norma del operador dada por $${\displaystyle \lVert A\rVert =\sup {\bigl \{}\|Ax\|\mathrel {\big |} \|x\|\leq 1{\bigr \}}\,.}$$

La suma y la composición de dos operadores lineales acotados es nuevamente acotada y lineal. Para y en H ₂ , la función que envía x ∈ H ₁ a ⟨ Ax , y ⟩ es lineal y continua, y de acuerdo con el teorema de representación de Riesz puede por lo tanto representarse en la forma para algún vector A * y en H ₁ . Esto define otro operador lineal acotado A * : H ₂ → H ₁ , el adjunto de A . El adjunto satisface A ** = A . Cuando se utiliza el teorema de representación de Riesz para identificar cada espacio de Hilbert con su espacio dual continuo, se puede demostrar que el adjunto de A es idéntico a la transpuesta ^t A  : H ₂ * → H ₁ * de A , que por definición envía al funcional$${\displaystyle \left\langle x,A^{*}y\right\rangle =\langle Ax,y\rangle }$$ ${\displaystyle \psi \in H_{2}^{*}}$${\displaystyle \psi \circ A\in H_{1}^{*}.}$

El conjunto B( H ) de todos los operadores lineales acotados en H (es decir, los operadores H → H ), junto con las operaciones de adición y composición, la norma y la operación adjunta, es un C*-álgebra , que es un tipo de álgebra de operadores .

Un elemento A de B( H ) se llama 'autoadjunto' o 'hermítico' si A * = A . Si A es hermítico y ⟨ Ax , x ⟩ ≥ 0 para cada x , entonces A se llama 'no negativo', escrito A ≥ 0 ; si la igualdad se cumple solo cuando x = 0 , entonces A se llama 'positivo'. El conjunto de operadores autoadjuntos admite un orden parcial , en el que A ≥ B si A − B ≥ 0 . Si A tiene la forma B * B para algún B , entonces A es no negativo; si B es invertible, entonces A es positivo. Una recíproca también es cierta en el sentido de que, para un operador no negativo A , existe una única raíz cuadrada no negativa B tal que$${\displaystyle A=B^{2}=B^{*}B\,.}$$

En un sentido precisado por el teorema espectral , los operadores autoadjuntos pueden considerarse de manera útil como operadores que son "reales". Un elemento A de B( H ) se llama normal si A * A = AA * . Los operadores normales se descomponen en la suma de un operador autoadjunto y un múltiplo imaginario de un operador autoadjunto que conmutan entre sí. Los operadores normales también pueden considerarse de manera útil en términos de sus partes reales e imaginarias.$${\displaystyle A={\frac {A+A^{*}}{2}}+i{\frac {A-A^{*}}{2i}}}$$

Un elemento U de B( H ) se llama unitario si U es invertible y su inverso está dado por U * . Esto también se puede expresar exigiendo que U sea sobre y ⟨ Ux , Uy ⟩ = ⟨ x , y ⟩ para todo x , y ∈ H . Los operadores unitarios forman un grupo bajo composición, que es el grupo de isometría de H .

Un elemento de B( H ) es compacto si envía conjuntos acotados a conjuntos relativamente compactos . De manera equivalente, un operador acotado T es compacto si, para cualquier secuencia acotada { x _k } , la secuencia { Tx _k } tiene una subsecuencia convergente. Muchos operadores integrales son compactos y, de hecho, definen una clase especial de operadores conocidos como operadores de Hilbert–Schmidt que son especialmente importantes en el estudio de ecuaciones integrales . Los operadores de Fredholm se diferencian de un operador compacto por un múltiplo de la identidad y se caracterizan de manera equivalente como operadores con un núcleo y conúcleo de dimensión finita . El índice de un operador de Fredholm T se define por$${\displaystyle \operatorname {index} T=\dim \ker T-\dim \operatorname {coker} T\,.}$$

El índice es invariante de homotopía y juega un papel importante en la geometría diferencial a través del teorema del índice de Atiyah-Singer .

Los operadores no acotados también son manejables en espacios de Hilbert y tienen aplicaciones importantes en la mecánica cuántica . ^[84] Un operador no acotado T en un espacio de Hilbert H se define como un operador lineal cuyo dominio D ( T ) es un subespacio lineal de H . A menudo, el dominio D ( T ) es un subespacio denso de H , en cuyo caso T se conoce como un operador densamente definido .

El operador adjunto de un operador ilimitado densamente definido se define esencialmente de la misma manera que para los operadores acotados. Los operadores ilimitados autoadjuntos desempeñan el papel de observables en la formulación matemática de la mecánica cuántica. Ejemplos de operadores ilimitados autoadjuntos en el espacio de Hilbert L ² ( R ) son: ^[85]

• Una extensión adecuada del operador diferencial donde i es la unidad imaginaria y f es una función diferenciable de soporte compacto.$${\displaystyle (Af)(x)=-i{\frac {\mathrm {d} }{\mathrm {d} x}}f(x)\,,}$$
• El operador de multiplicación por x :$${\displaystyle (Bf)(x)=xf(x)\,.}$$

Estos corresponden a los observables de momento y posición , respectivamente. Ni A ni B están definidos en todo H , ya que en el caso de A no es necesario que exista la derivada, y en el caso de B la función producto no necesita ser integrable al cuadrado. En ambos casos, el conjunto de argumentos posibles forma subespacios densos de L ² ( R ) .

Dos espacios de Hilbert H ₁ y H ₂ se pueden combinar en otro espacio de Hilbert, llamado suma directa (ortogonal) , ^[86] y denotado$${\displaystyle H_{1}\oplus H_{2}\,,}$$

que consiste en el conjunto de todos los pares ordenados ( x ₁ , x ₂ ) donde x _i ∈ H _i , i = 1, 2 y producto interno definido por$${\displaystyle {\bigl \langle }(x_{1},x_{2}),(y_{1},y_{2}){\bigr \rangle }_{H_{1}\oplus H_{2}}=\left\langle x_{1},y_{1}\right\rangle _{H_{1}}+\left\langle x_{2},y_{2}\right\rangle _{H_{2}}\,.}$$

De manera más general, si H _i es una familia de espacios de Hilbert indexados por i ∈ I , entonces la suma directa de H _i , denotada por consiste en el conjunto de todas las familias indexadas en el producto cartesiano de H _i tales que$${\displaystyle \bigoplus _{i\in I}H_{i}}$$$${\displaystyle x=(x_{i}\in H_{i}\mid i\in I)\in \prod _{i\in I}H_{i}}$$$${\displaystyle \sum _{i\in I}\|x_{i}\|^{2}<\infty \,.}$$

El producto interno se define por$${\displaystyle \langle x,y\rangle =\sum _{i\in I}\left\langle x_{i},y_{i}\right\rangle _{H_{i}}\,.}$$

Cada uno de los H _i está incluido como un subespacio cerrado en la suma directa de todos los H _i . Además, los H _i son ortogonales entre sí. Por el contrario, si hay un sistema de subespacios cerrados, V _i , i ∈ I , en un espacio de Hilbert H , que son ortogonales entre sí y cuya unión es densa en H , entonces H es canónicamente isomorfo a la suma directa de V _i . En este caso, H se denomina suma directa interna de V _i . Una suma directa (interna o externa) también está equipada con una familia de proyecciones ortogonales E _i sobre el i ésimo sumando directo H _i . Estas proyecciones son operadores acotados, autoadjuntos e idempotentes que satisfacen la condición de ortogonalidad.$${\displaystyle E_{i}E_{j}=0,\quad i\neq j\,.}$$

El teorema espectral para operadores autoadjuntos compactos en un espacio de Hilbert H establece que H se descompone en una suma directa ortogonal de los espacios propios de un operador, y también da una descomposición explícita del operador como una suma de proyecciones sobre los espacios propios. La suma directa de los espacios de Hilbert también aparece en mecánica cuántica como el espacio de Fock de un sistema que contiene un número variable de partículas, donde cada espacio de Hilbert en la suma directa corresponde a un grado adicional de libertad para el sistema mecánico cuántico. En teoría de la representación , el teorema de Peter-Weyl garantiza que cualquier representación unitaria de un grupo compacto en un espacio de Hilbert se descompone como la suma directa de representaciones de dimensión finita.

Si x ₁ , y ₁ ∊ H ₁ y x ₂ , y ₂ ∊ H ₂ , entonces se define un producto interno sobre el producto tensorial (ordinario) de la siguiente manera. Sobre tensores simples , sea$${\displaystyle \langle x_{1}\otimes x_{2},\,y_{1}\otimes y_{2}\rangle =\langle x_{1},y_{1}\rangle \,\langle x_{2},y_{2}\rangle \,.}$$

Esta fórmula se extiende entonces por sesquilinealidad a un producto interno en H ₁ ⊗ H ₂ . El producto tensorial de Hilbert de H ₁ y H ₂ , a veces denotado por H ₁ H ₂${\displaystyle {\widehat {\otimes }}}$ , es el espacio de Hilbert obtenido al completar H ₁ ⊗ H ₂ para la métrica asociada a este producto interno. ^[87]

Un ejemplo lo proporciona el espacio de Hilbert L ² ([0, 1]) . El producto tensorial de Hilbert de dos copias de L ² ([0, 1]) es isométrico y linealmente isomorfo al espacio L ² ([0, 1] ² ) de funciones integrables al cuadrado en el cuadrado [0, 1] ² . Este isomorfismo envía un tensor simple f ₁ ⊗ f ₂ a la función en el cuadrado.$${\displaystyle (s,t)\mapsto f_{1}(s)\,f_{2}(t)}$$

Este ejemplo es típico en el siguiente sentido. ^[88] Asociado a cada producto tensorial simple x ₁ ⊗ x ₂ está el operador de rango uno de H^∗
₁a H _​​2 que mapea un x * ∈ H dado^∗
₁como$${\displaystyle x^{*}\mapsto x^{*}(x_{1})x_{2}\,.}$$

Esta aplicación definida sobre tensores simples se extiende a una identificación lineal entre H ₁ ⊗ H ₂ y el espacio de operadores de rango finito de H^∗
₁a H _​​2 . Esto se extiende a una isometría lineal del producto tensorial de Hilbert H ₁ H ₂${\displaystyle {\widehat {\otimes }}}$ con el espacio de Hilbert HS ( H^∗
₁, H ₂ ) de operadores de Hilbert–Schmidt de H^∗
₁a H _​​2 .

La noción de base ortonormal del álgebra lineal se generaliza al caso de los espacios de Hilbert. ^[89] En un espacio de Hilbert H , una base ortonormal es una familia { e _k } _{k ∈ B} de elementos de H que satisfacen las condiciones:

1. Ortogonalidad : Cada dos elementos diferentes de B son ortogonales: ⟨ e _k , e _j ⟩ = 0 para todo k , j ∈ B con k ≠ j .
2. Normalización : Cada elemento de la familia tiene norma 1: ‖ e _k ‖ = 1 para todo k ∈ B .
3. Completitud : La extensión lineal de la familia e _k , k ∈ B , es denso en H .

Un sistema de vectores que satisface las dos primeras condiciones se denomina sistema ortonormal o conjunto ortonormal (o secuencia ortonormal si B es numerable ). Un sistema de este tipo es siempre linealmente independiente .

A pesar del nombre, una base ortonormal no es, en general, una base en el sentido del álgebra lineal ( base de Hamel ). Más precisamente, una base ortonormal es una base de Hamel si y solo si el espacio de Hilbert es un espacio vectorial de dimensión finita. ^[90]

La completitud de un sistema ortonormal de vectores de un espacio de Hilbert se puede reformular de manera equivalente como:

para cada v ∈ H , si ⟨ v , e _k ⟩ = 0 para todo k ∈ B , entonces v = 0 .

Esto está relacionado con el hecho de que el único vector ortogonal a un subespacio lineal denso es el vector cero, ya que si S es cualquier conjunto ortonormal y v es ortogonal a S , entonces v es ortogonal al cierre del espacio lineal de S , que es todo el espacio.

Algunos ejemplos de bases ortonormales incluyen:

• el conjunto {(1, 0, 0), (0, 1, 0), (0, 0, 1)} forma una base ortonormal de R ³ con el producto escalar ;
• la secuencia {  f _n | n ∈ Z } con f _n ( x ) = exp (2π inx ) forma una base ortonormal del espacio complejo L ² ([0, 1]) ;

En el caso de dimensión infinita, una base ortonormal no será una base en el sentido del álgebra lineal ; para distinguir las dos, la última base también se denomina base de Hamel . El hecho de que la amplitud de los vectores de la base sea densa implica que cada vector en el espacio puede escribirse como la suma de una serie infinita, y la ortogonalidad implica que esta descomposición es única.

El espacio de secuencias cuadradas sumables de números complejos es el conjunto de secuencias infinitas ^[9] de números reales o complejos tales que${\displaystyle \ell _{2}}$$${\displaystyle (c_{1},c_{2},c_{3},\dots )}$$$${\displaystyle \left|c_{1}\right|^{2}+\left|c_{2}\right|^{2}+\left|c_{3}\right|^{2}+\cdots <\infty \,.}$$

Este espacio tiene una base ortonormal:$${\displaystyle {\begin{aligned}e_{1}&=(1,0,0,\dots )\\e_{2}&=(0,1,0,\dots )\\&\ \ \vdots \end{aligned}}}$$

Este espacio es la generalización de dimensión infinita del espacio de vectores de dimensión finita. Suele ser el primer ejemplo que se utiliza para demostrar que en espacios de dimensión infinita, un conjunto cerrado y acotado no es necesariamente (secuencialmente) compacto (como es el caso en todos los espacios de dimensión finita ). De hecho, el conjunto de vectores ortonormales anterior lo demuestra: es una secuencia infinita de vectores en la bola unitaria (es decir, la bola de puntos con norma menor o igual a uno). Este conjunto está claramente acotado y cerrado; sin embargo, ninguna subsecuencia de estos vectores converge a nada y, en consecuencia, la bola unitaria no es compacta. Intuitivamente, esto se debe a que "siempre hay otra dirección de coordenadas" hacia la que pueden evadirse los siguientes elementos de la secuencia.${\displaystyle \ell _{2}^{n}}$${\displaystyle \ell _{2}}$

Se puede generalizar el espacio de muchas maneras. Por ejemplo, si B es un conjunto cualquiera, entonces se puede formar un espacio de Hilbert de sucesiones con el conjunto índice B , definido por ^[91]${\displaystyle \ell _{2}}$$${\displaystyle \ell ^{2}(B)={\biggl \{}x:B\xrightarrow {x} \mathbb {C} \mathrel {\bigg |} \sum _{b\in B}\left|x(b)\right|^{2}<\infty {\biggr \}}\,.}$$

La suma sobre B se define aquí por el supremo que se toma sobre todos los subconjuntos finitos de  B . De ello se deduce que, para que esta suma sea finita, cada elemento de l ² ( B ) tiene solo un número contable de términos distintos de cero. Este espacio se convierte en un espacio de Hilbert con el producto interno$${\displaystyle \sum _{b\in B}\left|x(b)\right|^{2}=\sup \sum _{n=1}^{N}\left|x(b_{n})\right|^{2}}$$$${\displaystyle \langle x,y\rangle =\sum _{b\in B}x(b){\overline {y(b)}}}$$

para todo x , y ∈ l ² ( B ) . Aquí la suma también tiene solo un número contable de términos distintos de cero, y es incondicionalmente convergente por la desigualdad de Cauchy-Schwarz.

Una base ortonormal de l ² ( B ) está indexada por el conjunto B , dado por

$${\displaystyle e_{b}(b')={\begin{cases}1&{\text{if }}b=b'\\0&{\text{otherwise.}}\end{cases}}}$$

Sea f ₁ , …, f _n un sistema ortonormal finito en  H . Para un vector arbitrario x ∈ H , sea$${\displaystyle y=\sum _{j=1}^{n}\langle x,f_{j}\rangle \,f_{j}\,.}$$

Entonces ⟨ x , f _k ⟩ = ⟨ y , f _k ⟩ para cada k = 1, …, n . Se deduce que x − y es ortogonal a cada f _k , por lo tanto x − y es ortogonal a  y . Utilizando la identidad pitagórica dos veces, se deduce que$${\displaystyle \|x\|^{2}=\|x-y\|^{2}+\|y\|^{2}\geq \|y\|^{2}=\sum _{j=1}^{n}{\bigl |}\langle x,f_{j}\rangle {\bigr |}^{2}\,.}$$

Sea { f _i }, i ∈ I , un sistema ortonormal arbitrario en  H . Aplicando la desigualdad anterior a cada subconjunto finito J de I se obtiene la desigualdad de Bessel: ^[92] (según la definición de la suma de una familia arbitraria de números reales no negativos).$${\displaystyle \sum _{i\in I}{\bigl |}\langle x,f_{i}\rangle {\bigr |}^{2}\leq \|x\|^{2},\quad x\in H}$$

Geométricamente, la desigualdad de Bessel implica que la proyección ortogonal de x sobre el subespacio lineal generado por f _i tiene una norma que no excede la de x . En dos dimensiones, esta es la afirmación de que la longitud del cateto de un triángulo rectángulo no puede exceder la longitud de la hipotenusa.

La desigualdad de Bessel es un paso previo al resultado más fuerte llamado identidad de Parseval , que rige el caso en el que la desigualdad de Bessel es en realidad una igualdad. Por definición, si { e _k } _{k ∈ B} es una base ortonormal de H , entonces cada elemento x de H puede escribirse como$${\displaystyle x=\sum _{k\in B}\left\langle x,e_{k}\right\rangle \,e_{k}\,.}$$

Incluso si B es incontable, la desigualdad de Bessel garantiza que la expresión está bien definida y consta solo de una cantidad contable de términos distintos de cero. Esta suma se denomina expansión de Fourier de x , y los coeficientes individuales ⟨ x , e _k ⟩ son los coeficientes de Fourier de x . La identidad de Parseval afirma entonces que ^[93]$${\displaystyle \|x\|^{2}=\sum _{k\in B}|\langle x,e_{k}\rangle |^{2}\,.}$$

Por el contrario, ^[93] si { e _k } es un conjunto ortonormal tal que la identidad de Parseval se cumple para cada x , entonces { e _k } es una base ortonormal.

Como consecuencia del lema de Zorn , todo espacio de Hilbert admite una base ortonormal; además, dos bases ortonormales cualesquiera del mismo espacio tienen la misma cardinalidad , llamada dimensión de Hilbert del espacio. ^[94] Por ejemplo, dado que l ² ( B ) tiene una base ortonormal indexada por B , su dimensión de Hilbert es la cardinalidad de B (que puede ser un entero finito o un número cardinal contable o incontable ).

La dimensión de Hilbert no es mayor que la dimensión de Hamel (la dimensión habitual de un espacio vectorial). Las dos dimensiones son iguales si y solo si una de ellas es finita.

Como consecuencia de la identidad de Parseval, ^[95] si { e _k } _{k ∈ B} es una base ortonormal de H , entonces la función Φ : H → l ² ( B ) definida por Φ( x ) = ⟨x, e _k ⟩ _{k ∈ B} es un isomorfismo isométrico de espacios de Hilbert: es una función lineal biyectiva tal que para todo x , y ∈ H . El número cardinal de B es la dimensión de Hilbert de H . Por lo tanto, todo espacio de Hilbert es isométricamente isomorfo a un espacio de secuencia l ² ( B ) para algún conjunto B .$${\displaystyle {\bigl \langle }\Phi (x),\Phi (y){\bigr \rangle }_{l^{2}(B)}=\left\langle x,y\right\rangle _{H}}$$

Por definición, un espacio de Hilbert es separable siempre que contenga un subconjunto numerable denso. Junto con el lema de Zorn, esto significa que un espacio de Hilbert es separable si y solo si admite una base ortonormal numerable . Por lo tanto, todos los espacios de Hilbert separables de dimensión infinita son isométricamente isomorfos al espacio de sucesiones sumables al cuadrado. ${\displaystyle \ell ^{2}.}$

En el pasado, a menudo se requería que los espacios de Hilbert fueran separables como parte de la definición. ^[96]

La mayoría de los espacios utilizados en física son separables, y dado que todos ellos son isomorfos entre sí, a menudo se hace referencia a cualquier espacio de Hilbert separable de dimensión infinita como " el espacio de Hilbert" o simplemente "espacio de Hilbert". ^[97] Incluso en la teoría cuántica de campos , la mayoría de los espacios de Hilbert son de hecho separables, como lo estipulan los axiomas de Wightman . Sin embargo, a veces se argumenta que los espacios de Hilbert no separables también son importantes en la teoría cuántica de campos, aproximadamente porque los sistemas en la teoría poseen un número infinito de grados de libertad y cualquier producto tensorial de Hilbert infinito (de espacios de dimensión mayor que uno) es no separable. ^[98] Por ejemplo, un campo bosónico puede considerarse naturalmente como un elemento de un producto tensorial cuyos factores representan osciladores armónicos en cada punto del espacio. Desde esta perspectiva, el espacio de estados natural de un bosón podría parecer un espacio no separable. ^[98] Sin embargo, es sólo un pequeño subespacio separable del producto tensorial completo el que puede contener campos físicamente significativos (en los que se pueden definir los observables). Otro espacio de Hilbert no separable modela el estado de una colección infinita de partículas en una región ilimitada del espacio. Una base ortonormal del espacio está indexada por la densidad de las partículas, un parámetro continuo, y dado que el conjunto de densidades posibles es incontable, la base no es contable. ^[98]

Si S es un subconjunto de un espacio de Hilbert H , el conjunto de vectores ortogonales a S está definido por$${\displaystyle S^{\perp }=\left\{x\in H\mid \langle x,s\rangle =0\ {\text{ for all }}s\in S\right\}\,.}$$

El conjunto S ^⊥ es un subespacio cerrado de H (se puede demostrar fácilmente usando la linealidad y continuidad del producto interno) y por lo tanto forma un espacio de Hilbert. Si V es un subespacio cerrado de H , entonces V ^⊥ se llama complemento ortogonal de V . De hecho, cada x ∈ H puede entonces escribirse de forma única como x = v + w , con v ∈ V y w ∈ V ^⊥ . Por lo tanto, H es la suma directa interna de Hilbert de V y V ^⊥ .

El operador lineal P _V  : H → H que mapea x a v se llama proyección ortogonal sobre V . Existe una correspondencia biunívoca natural entre el conjunto de todos los subespacios cerrados de H y el conjunto de todos los operadores autoadjuntos acotados P tales que P ² = P . Específicamente,

Esto proporciona la interpretación geométrica de P _V ( x ) : es la mejor aproximación a x por elementos de V . ^[99]

Las proyecciones P _U y P _V se denominan mutuamente ortogonales si P _U P _V = 0 . Esto es equivalente a que U y V sean ortogonales como subespacios de H . La suma de las dos proyecciones P _U y P _V es una proyección solo si U y V son ortogonales entre sí, y en ese caso P _U + P _V = P _{U + V} . ^[100] La proyección compuesta P _U P _V generalmente no es una proyección; de hecho, la proyección compuesta es una proyección si y solo si las dos proyecciones conmutan, y en ese caso P _U P _V = P _{U ∩ V} . ^[101]

Al restringir el codominio al espacio de Hilbert V , la proyección ortogonal P _V da lugar a una aplicación de proyección π  : H → V ; es el adjunto de la aplicación de inclusión , lo que significa que para todo x ∈ V e y ∈ H .$${\displaystyle i:V\to H\,,}$$$${\displaystyle \left\langle ix,y\right\rangle _{H}=\left\langle x,\pi y\right\rangle _{V}}$$

La norma del operador de la proyección ortogonal P _V sobre un subespacio cerrado distinto de cero V es igual a 1:$${\displaystyle \|P_{V}\|=\sup _{x\in H,x\neq 0}{\frac {\|P_{V}x\|}{\|x\|}}=1\,.}$$

Todo subespacio cerrado V de un espacio de Hilbert es por tanto la imagen de un operador P de norma uno tal que P ² = P . La propiedad de poseer operadores de proyección apropiados caracteriza a los espacios de Hilbert: ^[102]

• Un espacio de Banach de dimensión mayor que 2 es (isométricamente) un espacio de Hilbert si y solo si, para cada subespacio cerrado V , existe un operador P _V de norma uno cuya imagen es V tal que P²
  _voltios= PV ._​

Si bien este resultado caracteriza la estructura métrica de un espacio de Hilbert, la estructura de un espacio de Hilbert como espacio vectorial topológico puede caracterizarse en términos de la presencia de subespacios complementarios: ^[103]

• Un espacio de Banach X es topológica y linealmente isomorfo a un espacio de Hilbert si y solo si, para cada subespacio cerrado V , existe un subespacio cerrado W tal que X es igual a la suma directa interna V ⊕ W .