Академический Документы
Профессиональный Документы
Культура Документы
Ir a la navegación Ir a la búsqueda
Más formalmente, se define como un espacio de producto interior que es completo con
respecto a la norma vectorial definida por el producto interior. Los espacios de Hilbert
sirven para clarificar y para generalizar el concepto de series de Fourier, ciertas
transformaciones lineales tales como la transformación de Fourier, y son de importancia
crucial en la formulación matemática de la mecánica cuántica.
Los espacios de Hilbert y sus propiedades se estudian dentro del análisis funcional.
Índice
1 Introducción
2 Ejemplos
o 2.1 Espacios euclidianos
o 2.2 Espacios de sucesiones
o 2.3 Espacios de Lebesgue
o 2.4 Espacios de Sobolev
3 Bases ortonormales
4 Operaciones en los espacios de Hilbert
o 4.1 Suma directa y producto tensorial
o 4.2 Complementos y proyecciones ortogonales
5 Reflexividad
6 Operadores en espacios de Hilbert
o 6.1 Operadores acotados
o 6.2 Operadores no acotados
7 Referencias
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:
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.
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
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
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:
Espacios de sucesiones
de sucesiones de :
En cambio:
Espacios de Lebesgue
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.
É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
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 parciales
Bases ortonormales
Un concepto importante es el de una base ortonormal de un espacio de Hilbert H: esta
es una familia {ek}k ∈ B de H 'satisfaciendo:
Obsérvese que en el caso infinito-dimensional, una base ortonormal no será una base en
el sentido del álgebra lineal; para distinguir los dos, la última base se llama una base de
Hamel.
Usando el lema de Zorn, se puede demostrar que cada espacio de Hilbert admite una
base ortonormal; además, cualesquiera dos bases ortonormales del mismo espacio
tienen el mismo cardinal. Un espacio de Hilbert es separable si y solamente si admite
una base ortonormal numerable.
para todo x y y en H.
Operaciones en los espacios de Hilbert
Suma directa y producto tensorial
Dados dos (o más) espacios de Hilbert, podemos combinarlos en un espacio más grande
de Hilbert tomando su suma directa o su producto tensorial. La primera construcción se
basa en la unión de conjuntos y la segunda en el producto cartesiano.
Reflexividad
Una propiedad importante de cualquier espacio de Hilbert es su reflexividad, es decir,
su espacio bidual (dual del dual) es isomorfo al propio espacio. De hecho, se tiene
todavía más, el propio espacio dual es isomorfo al espacio original. Se tiene una
descripción completa y conveniente del espacio dual (el espacio de todas las funciones
lineales continuas del espacio H en el cuerpo base), que es en sí mismo un espacio de
Hilbert. De hecho, el teorema de representación de Riesz establece que para cada
elemento φ del H ' dual existe un y solamente un u en H tal que
El conjunto L(H) de todos los operadores lineales continuos en H, junto con la adición y
las operaciones de composición, la norma y la operación adjunto, formas una C*-
álgebra; de hecho, éste es el origen de la motivación y el más importante ejemplo de una
C*-álgebra.
Operadores no acotados
En mecánica cuántica, uno también considera operadores lineales, que no
necesariamente son continuos y que no necesariamente están definidos en todo espacio
H. Uno requiere solamente que se definan en un subespacio denso de H. Es posible
definir a operadores no acotados auto-adjuntos, y éstos desempeñan el papel de los
observables en la formulación matemática de la mecánica cuántica.
Referencias
Dieudonne, Jean Alexandre (1966). Fundamentos de análisis moderno. Barcelona:
Reverté. ISBN 9788429150605.