Espacio de hilbert

Introducción

Como se explica en el artículo dedicado a los espacios de producto interior, cada producto
interior <.,.> en un espacio vectorial H, que puede ser real o complejo, da lugar a
una norma ||.|| que se define como sigue:

H es un espacio de Hilbert si es completo con respecto a esta norma. Completo en este

contexto significa que cualquier sucesión de Cauchy de elementos del espacio converge a un
elemento en el espacio, en el sentido que la norma de las diferencias tiende a cero. Cada
espacio de Hilbert es así también un espacio de Banach (pero no viceversa).
Todos los espacios finito-dimensionales con producto interior (tales como el espacio
euclídeo con el producto escalar ordinario) son espacios de Hilbert. Esto permite que podamos
extrapolar nociones desde los espacios de dimensión finita a los espacios de Hilbert de
dimensión infinita (por ejemplo los espacios de funciones). Sin embargo, los ejemplos infinito-
dimensionales tienen muchos más usos. Estos usos incluyen:

 La teoría de las representaciones del grupo unitarias.

 La teoría de procesos estocásticos cuadrado integrables.
 La teoría en espacios de Hilbert de ecuaciones diferenciales parciales, en particular
formulaciones del problema de Dirichlet.
 Análisis espectral de funciones, incluyendo teorías de wavelets.
 Formulaciones matemáticas de la mecánica cuántica.
El producto interior permite que uno adopte una visión "geométrica" y que utilice el lenguaje
geométrico familiar de los espacios de dimensión finita. De todos los espacios vectoriales
topológicos infinito-dimensionales, los espacios de Hilbert son los de "mejor comportamiento"
y los más cercanos a los espacios finito-dimensionales.
Los elementos de un espacio de Hilbert abstracto a veces se llaman "vectores". En las
aplicaciones, son típicamente sucesiones de números complejos o de funciones. En mecánica
cuántica por ejemplo, un conjunto físico es descrito por un espacio complejo de Hilbert que
contenga las "funciones de ondas" para los estados posibles del conjunto. Véase formulación
matemática de la mecánica cuántica.
Una de las metas del análisis de Fourier es facilitar un método para escribir una función dada
como la suma (posiblemente infinita) de múltiplos de funciones bajas dadas. Este problema se
puede estudiar de manera abstracta en los espacios de Hilbert: cada espacio de Hilbert tiene
una base ortonormal, y cada elemento del espacio de Hilbert se puede escribir en una manera
única como suma de múltiplos de estos elementos bajos.
Los espacios de Hilbert fueron nombrados así por David Hilbert, que los estudió en el contexto
de las ecuaciones integrales. El origen de la designación, aunque es confuso, fue utilizado ya
por Hermann Weyl en su famoso libro la teoría de grupos y la mecánica cuántica publicado en
1931. John von Neumann fue quizás el matemático que más claramente reconoció su
importancia.
Ejemplos[editar]
En los siguientes ejemplos, asumiremos que el cuerpo subyacente de escalares es ,
aunque las definiciones son similares al caso de que el cuerpo subyacente de escalares

sea .

Espacios euclidianos[editar]
El primer ejemplo, que ya había sido avanzado en la sección anterior, lo constituyen los
espacios de dimensión finita con el producto escalar ordinario.

n
En otras palabras, con la definición de producto interior siguiente:

donde la barra sobre un número complejo denota su conjugación compleja.

Espacios de sucesiones[editar]
Los espacios de Hilbert no necesariamente tienen dimensión finita, de hecho en muchas
aplicaciones típicamente el espacio de Hilbert considerado es un espacio de Hilbert infinito-
dimensional. Uno de los ejemplos de espacio de Hilbert de dimensión infinita es el siguiente:

si B es un conjunto, definimos sobre B, de la forma:

Este espacio se convierte en un espacio de Hilbert con el producto interior

para todo x e y en . B no tiene porqué ser un conjunto contable en esta definición,

aunque si B no es contable, el espacio de Hilbert que resulta no es separable. Expresado de

manera más concreta, cada espacio de Hilbert es isomorfo a uno de la forma para un

conjunto adecuado B. Si B = N, se escribe simplemente . Algunos ejemplos de

sucesiones de :

En cambio:

Espacios de Lebesgue[editar]
Artículo principal: Espacios Lp

Otro ejemplo interesante de espacios de Banach de dimensión infinita son los espacios Lp.
Estos son espacios funcionales asociados a espacios de medida (X, M, μ), donde M es una σ-
álgebra de subconjuntos de X y μ es una medida contablemente aditiva en M. Si p = 2 estos
espacios son además un espacio de Hilbert, sea por tanto, L² μ(X) el espacio de funciones
medibles cuadrado-integrables complejo-valoradas en X, módulo el subespacio de esas
funciones cuya integral cuadrática sea cero, o equivalentemente igual a cero casi por todas
partes. cuadrado integrable significa que la integral del cuadrado de su valor absoluto es
finita. módulo igualdad casi por todas partes significa que las funciones son identificadas si y
sólo si son iguales salvo un conjunto de medida 0.
El producto interior de las funciones f y g se da como:

Uno necesita demostrar:

 Que esta integral tiene de hecho sentido.

 Que el espacio que resulta es completo.
Éstos son hechos técnicamente fáciles. Obsérvese que al usar la integral de Lebesgue se
asegura de que el espacio sea completo. Vea espacios Lp para discusión adicional de este
ejemplo.

Espacios de Sobolev[editar]
Artículo principal: Espacio de Sobolev

Los espacios de Sobolev, denotados por son otro ejemplo de espacios de Hilbert, que se
utilizan muy a menudo en el marco de las ecuaciones en derivadas parcialesdefinidas sobre

un cierto dominio . Los espacios de Sobolev generalizan los espacios Lp.

Además de los espacios de Sobolev generales se usan ciertas notaciones particulares

para cierto tipo de espacios: