Espacio de Hilbert

Tipo de espacio vectorial topológico

El estado de una cuerda vibrante se puede modelar como un punto en un espacio de Hilbert. La descomposición de una cuerda vibrante en sus vibraciones en armónicos distintos se da mediante la proyección del punto sobre los ejes de coordenadas en el espacio.

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 los análogos exactos 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.

Definición e ilustración

Ejemplo motivador: espacio vectorial euclidiano

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 \,.}$$

Completitud significa que una serie de vectores (en azul) da como resultado un vector de desplazamiento neto bien definido (en naranja).

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{as }}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 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 }}\,.}$$

Definición

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 }$ ${\displaystyle 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 ${\displaystyle a}$ ${\displaystyle 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{ if }}x\neq 0,\\\langle x,x\rangle =0&\quad {\text{ if }}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 }}\,,}$$ ${\displaystyle d}$ ${\displaystyle x,y}$ $${\displaystyle d(x,y)=\|x-y\|={\sqrt {\langle x-y,x-y\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: ${\displaystyle x}$ ${\displaystyle y,}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle 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\|}$$ ${\displaystyle x}$ ${\displaystyle 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.

Segundo ejemplo: espacios de secuencia

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]

Historia

David Hilbert

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.

Ejemplos

Espacios de Lebesgue

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 2 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]

Espacios de Sobolev

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 las 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] aproximadamente, $${\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]

Espacios de funciones holomorfas

Espacios resistentes

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.

Espacios de Bergman

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.

Aplicaciones

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 dimensional finita habitual. 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.

Teoría de Sturm-Liouville

Los armónicos de una cuerda vibrante. Estas son funciones propias de un problema de Sturm-Liouville asociado. Los valores propios 1, ⁠1/2⁠ , ⁠1/3⁠ , ... forman la serie armónica (musical) .

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 generales homogéneas 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}}}$$

Ecuaciones diferenciales parciales

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]

Teoría ergódica

La trayectoria de una bola de billar en el estadio Bunimovich está descrita por un sistema dinámico ergódico .

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.

Análisis de Fourier

Superposición de funciones base de ondas sinusoidales (abajo) para formar una onda de diente de sierra (arriba)

Armónicos esféricos , una base ortonormal para el espacio de Hilbert de funciones integrables al cuadrado en la esfera, que se muestra graficada a lo largo de la dirección radial

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 2 ).

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 .

Mecánica cuántica

Los orbitales de un electrón en un átomo de hidrógeno son funciones propias de la energía .

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]

Teoría de la probabilidad

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 ))}$

Percepción del color

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 desde el 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]}

Propiedades

Identidad pitagórica

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}\,.}$$

Identidad y polarización del paralelogramo

Geométricamente, la identidad del paralelogramo afirma que AC ² + BD ² = 2(AB ² + AD ² ) . En palabras, la suma de los cuadrados de las diagonales es el doble de la suma de los cuadrados de dos lados adyacentes.

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, todo 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]

Mejor aproximación

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 .

Dualidad

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 dos cualesquiera 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.

Secuencias débilmente convergentes

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 .

Propiedades del espacio de Banach

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 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]

Operadores en espacios de Hilbert

Operadores acotados

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 a su vez acotada y lineal. Para y en H ₂ , la función que envía x ∈ H ₁ a ⟨ Ax , y ⟩ es lineal y continua, y según el teorema de representación de Riesz puede por 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 una 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 en homotopía y juega un papel importante en la geometría diferencial a través del teorema del índice de Atiyah-Singer .

Operadores ilimitados

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 todos los 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 ) .

Construcciones

Sumas directas

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.

Productos tensoriales

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 hilbertiano 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 .

Bases ortonormales

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.

Espacios de secuencia

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}}}$$

Desigualdad de Bessel y fórmula de Parseval

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.

Dimensión de Hilbert

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}}$$

Espacios separables

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]

En la teoría cuántica de campos

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]

Complementos y proyecciones ortogonales

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,

Teorema  —  La proyección ortogonal P _V es un operador lineal autoadjunto en H de norma ≤ 1 con la propiedad P²
_voltios= P _V . Además, cualquier operador lineal autoadjunto E tal que E ² = E tiene la forma P _V , donde V es el rango de E . Para cada x en H , P _V ( x ) es el único elemento v de V que minimiza la distancia ‖ x − v ‖ .

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 .

El complemento ortogonal satisface algunos resultados más elementales. Es una función monótona en el sentido de que si U ⊂ V , entonces V ^⊥ ⊆ U ^⊥ con igualdad válida si y sólo si V está contenido en la clausura de U . Este resultado es un caso especial del teorema de Hahn-Banach . La clausura de un subespacio puede caracterizarse completamente en términos del complemento ortogonal: si V es un subespacio de H , entonces la clausura de V es igual a V ^⊥⊥ . El complemento ortogonal es, por tanto, una conexión de Galois en el orden parcial de subespacios de un espacio de Hilbert. En general, el complemento ortogonal de una suma de subespacios es la intersección de los complementos ortogonales: ^[104] $${\displaystyle {\biggl (}\sum _{i}V_{i}{\biggr )}^{\perp }=\bigcap _{i}V_{i}^{\perp }\,.}$$

Si los V _i están además cerrados, entonces $${\displaystyle {\overline {\sum _{i}V_{i}^{\perp }{\vphantom {\Big |}}}}={\biggl (}\bigcap _{i}V_{i}{\biggr )}^{\perp }\,.}$$

Teoría espectral

Existe una teoría espectral bien desarrollada para operadores autoadjuntos en un espacio de Hilbert, que es aproximadamente análoga al estudio de matrices simétricas sobre los números reales o matrices autoadjuntas sobre los números complejos. ^[105] En el mismo sentido, se puede obtener una "diagonalización" de un operador autoadjunto como una suma adecuada (en realidad una integral) de operadores de proyección ortogonales.

El espectro de un operador T , denotado σ ( T ) , es el conjunto de números complejos λ tales que T − λ carece de una inversa continua. Si T está acotado, entonces el espectro es siempre un conjunto compacto en el plano complejo, y se encuentra dentro del disco | z | ≤ ‖ T ‖ . Si T es autoadjunto, entonces el espectro es real. De hecho, está contenido en el intervalo [ m , M ] donde $${\displaystyle m=\inf _{\|x\|=1}\langle Tx,x\rangle \,,\quad M=\sup _{\|x\|=1}\langle Tx,x\rangle \,.}$$

Además, tanto m como M están realmente contenidos dentro del espectro.

Los espacios propios de un operador T están dados por $${\displaystyle H_{\lambda }=\ker(T-\lambda )\,.}$$

A diferencia de lo que ocurre con las matrices finitas, no todos los elementos del espectro de T deben ser valores propios: el operador lineal T − λ puede carecer de inverso únicamente porque no es sobreyectivo. Los elementos del espectro de un operador en sentido general se conocen como valores espectrales . Dado que los valores espectrales no necesitan ser valores propios, la descomposición espectral suele ser más sutil que en dimensiones finitas.

Sin embargo, el teorema espectral de un operador autoadjunto T adopta una forma particularmente simple si, además, se supone que T es un operador compacto . El teorema espectral para operadores autoadjuntos compactos establece: ^[106]

• Un operador autoadjunto compacto T tiene solo una cantidad contable (o finita) de valores espectrales. El espectro de T no tiene ningún punto límite en el plano complejo excepto posiblemente cero. Los espacios propios de T descomponen H en una suma directa ortogonal: Además, si E _λ denota la proyección ortogonal sobre el espacio propio H _λ , entonces donde la suma converge con respecto a la norma en B( H ) . $${\displaystyle H=\bigoplus _{\lambda \in \sigma (T)}H_{\lambda }\,.}$$ $${\displaystyle T=\sum _{\lambda \in \sigma (T)}\lambda E_{\lambda }\,,}$$

Este teorema juega un papel fundamental en la teoría de ecuaciones integrales , ya que muchos operadores integrales son compactos, en particular aquellos que surgen de los operadores de Hilbert-Schmidt .

El teorema espectral general para operadores autoadjuntos implica un tipo de integral de Riemann-Stieltjes con valor de operador , en lugar de una suma infinita. ^[107] La ​​familia espectral asociada a T asocia a cada número real λ un operador E _λ , que es la proyección sobre el espacio nulo del operador ( T − λ ) ⁺ , donde la parte positiva de un operador autoadjunto se define por $${\displaystyle A^{+}={\tfrac {1}{2}}{\Bigl (}{\sqrt {A^{2}}}+A{\Bigr )}\,.}$$

Los operadores E _λ son monótonos crecientes en relación con el orden parcial definido en los operadores autoadjuntos; los valores propios corresponden precisamente a las discontinuidades de salto. Uno de ellos es el teorema espectral, que afirma $${\displaystyle T=\int _{\mathbb {R} }\lambda \,\mathrm {d} E_{\lambda }\,.}$$

La integral se entiende como una integral de Riemann-Stieltjes, convergente respecto de la norma en B( H ) . En particular, se tiene la representación integral escalar ordinaria $${\displaystyle \langle Tx,y\rangle =\int _{\mathbb {R} }\lambda \,\mathrm {d} \langle E_{\lambda }x,y\rangle \,.}$$

Una descomposición espectral algo similar se aplica a los operadores normales, aunque debido a que el espectro ahora puede contener números complejos no reales, la medida de Stieltjes valorada por el operador d E _λ debe reemplazarse por una resolución de la identidad .

Una aplicación importante de los métodos espectrales es el teorema de mapeo espectral , que permite aplicar a un operador autoadjunto T cualquier función compleja continua f definida en el espectro de T formando la integral $${\displaystyle f(T)=\int _{\sigma (T)}f(\lambda )\,\mathrm {d} E_{\lambda }\,.}$$

El cálculo funcional continuo resultante tiene aplicaciones en particular para los operadores pseudodiferenciales . ^[108]

La teoría espectral de los operadores autoadjuntos no acotados es sólo marginalmente más difícil que la de los operadores acotados. El espectro de un operador no acotado se define exactamente de la misma manera que para los operadores acotados: λ es un valor espectral si el operador resolvente $${\displaystyle R_{\lambda }=(T-\lambda )^{-1}}$$

no es un operador continuo bien definido. La autoadjunción de T aún garantiza que el espectro sea real. Por lo tanto, la idea esencial de trabajar con operadores no acotados es mirar en cambio el resolvente R _λ donde λ no es real. Este es un operador normal acotado , que admite una representación espectral que luego puede transferirse a una representación espectral del propio T. Se utiliza una estrategia similar, por ejemplo, para estudiar el espectro del operador de Laplace: en lugar de abordar el operador directamente, se mira como un resolvente asociado como un potencial de Riesz o un potencial de Bessel .

Una versión precisa del teorema espectral en este caso es: ^[109]

Teorema  —  Dado un operador autoadjunto densamente definido T en un espacio de Hilbert H , corresponde una resolución única de la identidad E en los conjuntos de Borel de R , tal que para todo x ∈ D ( T ) e y ∈ H . La medida espectral E se concentra en el espectro de T . $${\displaystyle \langle Tx,y\rangle =\int _{\mathbb {R} }\lambda \,\mathrm {d} E_{x,y}(\lambda )}$$

También existe una versión del teorema espectral que se aplica a operadores normales ilimitados.

En la cultura popular

En Gravity's Rainbow (1973), una novela de Thomas Pynchon , uno de los personajes se llama "Sammy Hilbert-Spaess", un juego de palabras con "Hilbert Space". La novela también hace referencia a los teoremas de incompletitud de Gödel . ^[110]

Véase también

• Portal de matemáticas

• Espacio de Banach  : espacio vectorial normado que es completo
• Espacio de Fock  : espacio de estados de múltiples partículas
• Teorema fundamental de los espacios de Hilbert
• Espacio de Hadamard  : espacio métrico geodésicamente completo de curvatura no positivaPages displaying wikidata descriptions as a fallback
• Espacio de Hausdorff  – Tipo de espacio topológico
• Álgebra de Hilbert
• Módulo C* de Hilbert  : objetos matemáticos que generalizan la noción de espacios de Hilbert
• Variedad de Hilbert  : Variedad modelada a partir de espacios de Hilbert
• L-semiproducto interno  : generalización de productos internos que se aplica a todos los espacios normados
• Espacio vectorial topológico localmente convexo  : un espacio vectorial con una topología definida por conjuntos abiertos convexos
• Teoría de operadores  – Campo de estudio matemático
• Topologías de operadores  : topologías en el conjunto de operadores en un espacio de Hilbert
• Espacio de estados cuánticos  : espacio matemático que representa sistemas cuánticos físicos
• Espacio de Hilbert manipulado  : construcción que vincula el estudio de los valores propios "limitados" y continuos en el análisis funcional
• Espacio vectorial topológico  – Espacio vectorial con noción de proximidad

Observaciones

1. En algunas convenciones, los productos internos son lineales en sus segundos argumentos.
2. Los valores propios del núcleo de Fredholm son ⁠1/la⁠ , que tienden a cero.

Notas

1. Axler 2014, pág. 164 §6.2
2. Sin embargo, algunas fuentes llaman espacios de dimensión finita con estas propiedades espacios pre-Hilbert, reservando el término "espacio de Hilbert" para espacios de dimensión infinita; véase, por ejemplo, Levitan 2001.
3. Marsden 1974, §2.8
4. El material matemático de esta sección se puede encontrar en cualquier buen libro de texto sobre análisis funcional, como Dieudonné (1960), Hewitt y Stromberg (1965), Reed y Simon (1980) o Rudin (1987).
5. Schaefer y Wolff 1999, págs. 122-202.
6. Dieudonné 1960, §6.2
7. Romano 2008, pág. 327
8. Roman 2008, pág. 330 Teorema 13.8
9. Stein y Shakarchi 2005, pág. 163
10. Dieudonné 1960
11. En gran parte, a partir del trabajo de Hermann Grassmann , a instancias de August Ferdinand Möbius (Boyer y Merzbach 1991, pp. 584-586). La primera explicación axiomática moderna de los espacios vectoriales abstractos apareció en última instancia en la explicación de Giuseppe Peano de 1888 (Grattan-Guinness 2000, §5.2.2; O'Connor y Robertson 1996).
12. Una descripción detallada de la historia de los espacios de Hilbert se puede encontrar en Bourbaki 1987.
13. Schmidt 1908
14. Titchmarsh 1946, §IX.1
15. Lebesgue 1904. Se pueden encontrar más detalles sobre la historia de la teoría de la integración en Bourbaki (1987) y Saks (2005).
16. Bourbaki 1987.
17. Dunford y Schwartz 1958, §IV.16
18. En Dunford & Schwartz (1958, §IV.16), el resultado de que cada funcional lineal en L ² [0,1] está representado por integración se atribuye conjuntamente a Fréchet (1907) y Riesz (1907). El resultado general de que el dual de un espacio de Hilbert se identifica con el propio espacio de Hilbert se puede encontrar en Riesz (1934).
19. por Neumann 1929.
20. Kline 1972, pág. 1092
21. Hilbert, Nordheim y von Neumann 1927
22. Weyl 1931.
23. Prugovečki 1981, págs. 1-10.
24. von Neumann 1932
25. Peres 1993, págs. 79–99.
26. Murphy 1990, pág. 112
27. Murphy 1990, pág. 72
28. Halmos 1957, Sección 42.
29. Hewitt y Stromberg 1965.
30. Abramowitz, Milton ; Stegun, Irene Ann , eds. (1983) [junio de 1964]. "Capítulo 22". Manual de funciones matemáticas con fórmulas, gráficos y tablas matemáticas . Serie de Matemáticas Aplicadas. Vol. 55 (Novena reimpresión con correcciones adicionales de la décima impresión original con correcciones (diciembre de 1972); primera ed.). Washington DC; Nueva York: Departamento de Comercio de los Estados Unidos, Oficina Nacional de Normas; Dover Publications. pág. 773. ISBN 978-0-486-61272-0. LCCN  64-60036. MR  0167642. LCCN  65-12253.
31. Bers, John y Schechter 1981.
32. Giusti 2003.
33. Stein 1970
34. Se pueden encontrar detalles en Warner (1983).
35. Una referencia general sobre los espacios de Hardy es el libro Duren (1970).
36. Krantz 2002, §1.4
37. Krantz 2002, §1.5
38. Young 1988, Capítulo 9.
39. Pedersen 1995, §4.4
40. Se pueden encontrar más detalles sobre los métodos de elementos finitos desde este punto de vista en Brenner y Scott (2005).
41. Brezis 2010, sección 9.5
42. Evans 1998
43. Pathria (1996), Capítulos 2 y 3
44. Einsiedler & Ward (2011), Proposición 2.14.
45. Reed y Simon 1980
46. Un tratamiento de las series de Fourier desde este punto de vista está disponible, por ejemplo, en Rudin (1987) o Folland (2009).
47. Halmos 1957, §5
48. Bachman, Narici y Beckenstein 2000
49. Stein y Weiss 1971, §IV.2.
50. Lanczos 1988, págs. 212-213
51. Lanczos 1988, Ecuación 4-3.10
52. La referencia clásica para los métodos espectrales es Courant y Hilbert 1953. Un relato más actualizado es Reed y Simon 1975.
53. Kac 1966
54. por Neumann 1955
55. Holevo 2001, pág. 17
56. Rieffel y Polak 2011, pág. 55
57. Peres 1993, pág. 101
58. Peres 1993, pág. 73
59. Nielsen y Chuang 2000, pág. 90
60. Billingsley (1986), pág. 477, ejemplo 34.13}}
61. Stapleton 1995
62. Hewitt y Stromberg (1965), Ejercicio 16.45.
63. Karatzas y Shreve 2019, Capítulo 3
64. Stroock (2011), Capítulo 8.
65. Hermann Weyl (2009), "Mente y naturaleza", Mente y naturaleza: escritos seleccionados sobre filosofía, matemáticas y física , Princeton University Press.
66. Berthier, M. (2020), "Geometría de la percepción del color. Parte 2: colores percibidos a partir de estados cuánticos reales y rebit de Hering", The Journal of Mathematical Neuroscience , 10 (1): 14, doi : 10.1186/s13408-020-00092-x , PMC 7481323 , PMID  32902776 .
67. Reed y Simon 1980, Teorema 12.6
68. Reed y Simon 1980, pág. 38
69. Joven 1988, pág. 23.
70. Clarkson 1936.
71. Rudin 1987, Teorema 4.10
72. Dunford y Schwartz 1958, II.4.29
73. Rudin 1987, Teorema 4.11
74. Blanchet, Gérard; Charbit, Maurice (2014). Procesamiento de imágenes y señales digitales con MATLAB . Vol. 1 (segunda edición). Nueva Jersey: Wiley. Págs. 349–360. ISBN. 978-1848216402.
75. Weidmann 1980, Teorema 4.8
76. Peres 1993, págs. 77–78.
77. Weidmann (1980), Ejercicio 4.11.
78. Weidmann 1980, §4.5
79. Buttazzo, Giaquinta y Hildebrandt 1998, Teorema 5.17
80. Halmos 1982, Problema 52, 58
81. Rudin 1973
82. Trèves 1967, Capítulo 18
83. Una referencia general para esta sección es Rudin (1973), capítulo 12.
84. Véase Prugovečki (1981), Reed y Simon (1980, Capítulo VIII) y Folland (1989).
85. Prugovečki 1981, III, §1.4
86. Dunford y Schwartz 1958, IV.4.17-18
87. Weidmann 1980, §3.4
88. Kadison y Ringrose 1983, Teorema 2.6.4
89. Dunford y Schwartz 1958, §IV.4.
90. Romano 2008, pág. 218
91. Rudin 1987, Definición 3.7
92. Para el caso de conjuntos de índices finitos, véase, por ejemplo, Halmos 1957, §5. Para conjuntos de índices infinitos, véase Weidmann 1980, Teorema 3.6.
93. Hewitt y Stromberg (1965), Teorema 16.26.
94. Levitan 2001. Muchos autores, como Dunford y Schwartz (1958, §IV.4), se refieren a esto simplemente como la dimensión. A menos que el espacio de Hilbert sea de dimensión finita, esto no es lo mismo que su dimensión como espacio lineal (la cardinalidad de una base de Hamel).
95. Hewitt y Stromberg (1965), Teorema 16.29.
96. Prugovečki 1981, I, §4.2
97. von Neumann (1955) define un espacio de Hilbert a través de una base de Hilbert contable, lo que equivale a un isomorfismo isométrico con l ² . La convención aún persiste en los tratamientos más rigurosos de la mecánica cuántica; véase por ejemplo Sobrino 1996, Apéndice B.
98. Streater y Wightman 1964, págs. 86-87
99. Young 1988, Teorema 15.3
100. von Neumann 1955, teorema 16
101. von Neumann 1955, teorema 14
102. Kakutani 1939
103. Lindenstrauss y Tzafriri 1971
104. Halmos 1957, §12
105. Una explicación general de la teoría espectral en espacios de Hilbert se puede encontrar en Riesz y Sz.-Nagy (1990). Una explicación más sofisticada en el lenguaje de las C*-álgebras se encuentra en Rudin (1973) o Kadison y Ringrose (1997).
106. Véase, por ejemplo, Riesz y Sz.-Nagy (1990, Capítulo VI) o Weidmann 1980, Capítulo 7. Este resultado ya era conocido por Schmidt (1908) en el caso de operadores que surgen de núcleos integrales.
107. Riesz y Sz.-Nagy 1990, §§107-108
108. Shubin 1987
109. Rudin 1973, Teorema 13.30.
110. Pynchon, Thomas (1973). El arco iris de la gravedad . Viking Press. pp. 217, 275. ISBN 978-0143039945.

Referencias

• Axler, Sheldon (18 de diciembre de 2014), Linear Algebra Done Right , Undergraduate Texts in Mathematics (3.ª ed.), Springer Publishing (publicado en 2015), pág. 296, ISBN 978-3-319-11079-0
• Bachman, George; Narici, Lawrence; Beckenstein, Edward (2000), Análisis de Fourier y wavelet , Universitext, Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-98899-3, Sr.  1729490.
• Bers, Lipman ; John, Fritz ; Schechter, Martin (1981), Ecuaciones diferenciales parciales , American Mathematical Society, ISBN 978-0-8218-0049-2.
• Billingsley, Patrick (1986), Probabilidad y medida , Wiley.
• Bourbaki, Nicolas (1986), Teorías espectrales , Elementos de matemáticas, Berlín: Springer-Verlag, ISBN 978-0-201-00767-1.
• Bourbaki, Nicolas (1987), Espacios vectoriales topológicos , Elementos de matemáticas, Berlín: Springer-Verlag, ISBN 978-3-540-13627-9.
• Boyer, Carl Benjamin ; Merzbach, Uta C (1991), Una historia de las matemáticas (2.ª ed.), John Wiley & Sons, Inc., ISBN 978-0-471-54397-8.
• Brenner, S.; Scott, RL (2005), La teoría matemática de los métodos de elementos finitos (2.ª ed.), Springer, ISBN 978-0-387-95451-6.
• Brezis, Haim (2010), Análisis funcional, espacios de Sobolev y ecuaciones diferenciales parciales , Springer.
• Buttazzo, Giuseppe; Giaquinta, Mariano; Hildebrandt, Stefan (1998), Problemas variacionales unidimensionales , Oxford Lecture Series in Mathematics and its Applications, vol. 15, The Clarendon Press Oxford University Press, ISBN 978-0-19-850465-8, Sr.  1694383.
• Clarkson, JA (1936), "Espacios uniformemente convexos", Trans. Amer. Math. Soc. , 40 (3): 396–414, doi : 10.2307/1989630 , JSTOR  1989630.
• Courant, Richard ; Hilbert, David (1953), Métodos de física matemática, vol. I , Interscience.
• Dieudonné, Jean (1960), Fundamentos del análisis moderno , Academic Press.
• Dirac, PAM (1930), Los principios de la mecánica cuántica , Oxford: Clarendon Press.
• Dunford, N.; Schwartz, JT (1958), Operadores lineales, partes I y II , Wiley-Interscience.
• Duren, P. (1970), Teoría de los espacios H ^p , Nueva York: Academic Press.
• Einsiedler, Manfred; Ward, Thomas (2011), Teoría ergódica con vistas a la teoría de números , Springer.
• Evans, LC (1998), Ecuaciones diferenciales parciales , Providence: American Mathematical Society, ISBN 0-8218-0772-2.
• Folland, Gerald B. (2009), Análisis de Fourier y su aplicación (reimpresión de Wadsworth y Brooks/Cole 1992 ed.), American Mathematical Society Bookstore, ISBN 978-0-8218-4790-9.
• Folland, Gerald B. (1989), Análisis armónico en el espacio de fases , Annals of Mathematics Studies, vol. 122, Princeton University Press, ISBN 978-0-691-08527-2.
• Fréchet, Maurice (1907), "Sur les ensembles de fonctions et les opérations linéaires", CR Acad. Ciencia. París , 144 : 1414-1416.
• Fréchet, Maurice (1904), "Sur les opérations linéaires", Transacciones de la Sociedad Matemática Estadounidense , 5 (4): 493–499, doi :10.2307/1986278, JSTOR  1986278.
• Giusti, Enrico (2003), Métodos directos en el cálculo de variaciones , World Scientific, ISBN 978-981-238-043-2.
• Grattan-Guinness, Ivor (2000), La búsqueda de raíces matemáticas, 1870-1940 , Princeton Paperbacks, Princeton University Press , ISBN 978-0-691-05858-0, Sr.  1807717.
• Halmos, Paul (1957), Introducción al espacio de Hilbert y la teoría de la multiplicidad espectral , Chelsea Pub. Co
• Halmos, Paul (1982), Un libro de problemas espaciales de Hilbert , Springer-Verlag, ISBN 978-0-387-90685-0.
• Hewitt, Edwin; Stromberg, Karl (1965), Análisis real y abstracto , Nueva York: Springer-Verlag.
• Hilbert, David ; Nordheim, Lothar Wolfgang ; von Neumann, John (1927), "Über die Grundlagen der Quantenmechanik", Mathematische Annalen , 98 : 1–30, doi :10.1007/BF01451579, S2CID  120986758.
• Holevo, Alexander S. (2001), Estructura estadística de la teoría cuántica , Apuntes de clases de física, Springer, ISBN 3-540-42082-7, OCLC  318268606.
• Kac, Mark (1966), "¿Se puede oír la forma de un tambor?", American Mathematical Monthly , 73 (4, parte 2): 1–23, doi :10.2307/2313748, JSTOR  2313748.
• Kadison, Richard V.; Ringrose, John R. (1997), Fundamentos de la teoría de álgebras de operadores. Vol. I , Graduate Studies in Mathematics, vol. 15, Providence, RI: American Mathematical Society , ISBN 978-0-8218-0819-1, Sr.  1468229.
• Kadison, Richard V.; Ringrose, John R. (1983), Fundamentos de la teoría de álgebras de operadores, vol. I: Teoría elemental , Nueva York: Academic Press, Inc.
• Karatzas, Ioannis; Shreve, Steven (2019), Movimiento browniano y cálculo estocástico (2.ª ed.), Springer, ISBN 978-0-387-97655-6

• Kakutani, Shizuo (1939), "Algunas caracterizaciones del espacio euclidiano", Revista japonesa de matemáticas , 16 : 93–97, doi : 10.4099/jjm1924.16.0_93 , MR  0000895.
• Kline, Morris (1972), Pensamiento matemático desde la antigüedad hasta los tiempos modernos, Volumen 3 (3.ª ed.), Oxford University Press (publicado en 1990), ISBN 978-0-19-506137-6.
• Kolmogorov, Andrey ; Fomin, Sergei V. (1970), Introducción al análisis real (edición revisada en inglés, trad. de Richard A. Silverman (1975) ed.), Dover Press, ISBN 978-0-486-61226-3.
• Krantz, Steven G. (2002), Teoría de funciones de varias variables complejas , Providence, RI: American Mathematical Society , ISBN 978-0-8218-2724-6.
• Lanczos, Cornelius (1988), Análisis aplicado (reimpresión de la edición de Prentice-Hall de 1956), Dover Publications, ISBN 978-0-486-65656-4.
• Lebesgue, Henri (1904), Leçons sur l'intégration et la recherche des fonctions primitives, Gauthier-Villars.
• Levitan, BM (2001) [1994], "Espacio de Hilbert", Enciclopedia de Matemáticas , EMS Press.
• Lindenstrauss, J.; Tzafriri, L. (1971), "Sobre el problema de los subespacios complementados", Israel Journal of Mathematics , 9 (2): 263–269, doi :10.1007/BF02771592, ISSN  0021-2172, MR  0276734, S2CID  119575718.
• Marsden, Jerrold E. (1974), Análisis clásico elemental , WH Freeman and Co., MR  0357693.
• Murphy, Gerald J. (1990), C*-álgebras y teoría de operadores , Academic Press, ISBN 0-12-511360-9.
• von Neumann, John (1929), "Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren", Mathematische Annalen , 102 : 49–131, doi :10.1007/BF01782338, S2CID  121249803.
• von Neumann, John (1932), "Aplicaciones físicas de la hipótesis ergódica", Proc Natl Acad Sci USA , 18 (3): 263–266, Bibcode :1932PNAS...18..263N, doi : 10.1073/pnas.18.3.263 , JSTOR  86260, PMC  1076204 , PMID  16587674.
• von Neumann, John (1955), Fundamentos matemáticos de la mecánica cuántica , Princeton Landmarks in Mathematics, traducido por Beyer, Robert T., Princeton University Press (publicado en 1996), ISBN 978-0-691-02893-4, Sr.  1435976.
• Nielsen, Michael A. ; Chuang, Isaac L. (2000), Computación cuántica e información cuántica (1.ª ed.), Cambridge: Cambridge University Press , ISBN 978-0-521-63503-5, OCLC  634735192.
• O'Connor, John J.; Robertson, Edmund F. (1996), "Espacios lineales abstractos", Archivo de Historia de las Matemáticas de MacTutor , Universidad de St Andrews
• Pathria, RK (1996), Mecánica estadística (2.ª ed.), Academic Press.
• Pedersen, Gert (1995), Analysis Now , Textos de posgrado en matemáticas, vol. 118, Berlín, Nueva York: Springer-Verlag , ISBN 978-1-4612-6981-6, Sr.  0971256
• Peres, Asher (1993), Teoría cuántica: conceptos y métodos , Kluwer, ISBN 0-7923-2549-4, OCLC  28854083
• Prugovečki, Eduard (1981), Mecánica cuántica en el espacio de Hilbert (2.ª ed.), Dover (publicado en 2006), ISBN 978-0-486-45327-9.
• Reed, Michael ; Simon, Barry (1980), Análisis funcional (vol I de 4 vols) , Métodos de física matemática moderna, Academic Press, ISBN 978-0-12-585050-6.
• Reed, Michael ; Simon, Barry (1975), Análisis de Fourier, autoadjunción (vol II de 4 vols) , Métodos de física matemática moderna, Academic Press, ISBN 9780125850025.
• Rieffel, Eleanor G. ; Polak, Wolfgang H. (4 de marzo de 2011), Computación cuántica: una introducción sencilla , MIT Press, ISBN 978-0-262-01506-6.
• Riesz, Frigyes (1907), "Sur une espèce de Géométrie analytique des systèmes de fonctions sommables", CR Acad. Ciencia. París , 144 : 1409-1411.
• Riesz, Frigyes (1934), "Zur Theorie des Hilbertschen Raumes", Acta Sci. Matemáticas. Szeged , 7 : 34–38.
• Riesz, Frigyes ; Sz.-Nagy, Béla (1990), Análisis funcional , Dover, ISBN 978-0-486-66289-3.
• Roman, Stephen (2008), Álgebra lineal avanzada , Textos de posgrado en matemáticas (tercera edición), Springer, ISBN 978-0-387-72828-5
• Rudin, Walter (1973). Análisis funcional . Serie internacional de matemáticas puras y aplicadas. Vol. 25 (primera edición). Nueva York, NY: McGraw-Hill Science/Engineering/Math . ISBN 9780070542259.
• Rudin, Walter (1987), Análisis real y complejo , McGraw-Hill, ISBN 978-0-07-100276-9.
• Saks, Stanisław (2005), Teoría de la integral (2.ª edición de Dover), Dover, ISBN 978-0-486-44648-6; Publicado originalmente Monografje Matematyczne , vol. 7, Varsovia, 1937.
• Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . Vol. 8 (Segunda ed.). Nueva York, NY: Springer New York Imprenta Springer. ISBN 978-1-4612-7155-0.OCLC 840278135  .
• Schmidt, Erhard (1908), "Über die Auflösung linearer Gleichungen mit unendlich vielen Unbekannten", Rend. Circo. Estera. Palermo , 25 : 63–77, doi : 10.1007/BF03029116, S2CID  120666844.
• Shubin, MA (1987), Operadores pseudodiferenciales y teoría espectral , Springer Series in Soviet Mathematics, Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-13621-7, Sr.  0883081.
• Sobrino, Luis (1996), Elementos de mecánica cuántica no relativista , River Edge, Nueva Jersey: World Scientific Publishing Co. Inc., Bibcode :1996lnrq.book.....S, doi :10.1142/2865, ISBN 978-981-02-2386-1, Sr.  1626401.
• Stapleton, James (1995), Modelos estadísticos lineales , John Wiley and Sons.
• Stewart, James (2006), Cálculo: conceptos y contextos (3.ª ed.), Thomson/Brooks/Cole.
• Stein, E (1970), Integrales singulares y propiedades de diferenciabilidad de funciones , Princeton Univ. Press, ISBN 978-0-691-08079-6.
• Stein, Elias ; Weiss, Guido (1971), Introducción al análisis de Fourier en espacios euclidianos , Princeton, NJ: Princeton University Press, ISBN 978-0-691-08078-9.
• Stein, E; Shakarchi, R (2005), Análisis real, teoría de la medida, integración y espacios de Hilbert , Princeton University Press.
• Streater, Ray ; Wightman, Arthur (1964), PCT, Spin and Statistics and All That , WA Benjamin, Inc.
• Stroock, Daniel (2011), Teoría de la probabilidad: una visión analítica (2.ª ed.), Cambridge University Press.
• Teschl, Gerald (2009). Métodos matemáticos en mecánica cuántica; con aplicaciones a los operadores de Schrödinger. Providence : American Mathematical Society . ISBN 978-0-8218-4660-5..
• Titchmarsh, Edward Charles (1946), Expansiones de funciones propias, parte 1 , Universidad de Oxford: Clarendon Press.
• Trèves, François (1967), Espacios vectoriales topológicos, distribuciones y núcleos , Academic Press.
• Warner, Frank (1983), Fundamentos de variedades diferenciables y grupos de Lie , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90894-6.
• Weidmann, Joachim (1980), Operadores lineales en espacios de Hilbert , Textos de Graduado en Matemáticas, vol. 68, Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90427-6, Sr.  0566954.
• Weyl, Hermann (1931), La teoría de grupos y la mecánica cuántica (edición en inglés de 1950), Dover Press, ISBN 978-0-486-60269-1.
• Young, Nicholas (1988), Una introducción al espacio de Hilbert , Cambridge University Press, ISBN 978-0-521-33071-8, Zbl0645.46024 ​.

Enlaces externos

• "Espacio de Hilbert", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• El espacio de Hilbert en Mathworld
• 245B, notas 5: Espacios de Hilbert por Terence Tao