Espacio de Hilbert

La teora de las representaciones del grupo unitarias.

En matemticas, el concepto de espacio de Hilbert es

una generalizacin del concepto de espacio eucldeo. Esta generalizacin permite que nociones y tcnicas algebraicas y geomtricas aplicables a espacios de dimensin
dos y tres se extiendan a espacios de dimensin arbitraria, incluyendo a espacios de dimensin innita. Ejemplos de tales nociones y tcnicas son la de ngulo entre
vectores, ortogonalidad de vectores, el teorema de Pitgoras, proyeccin ortogonal, distancia entre vectores y
convergencia de una sucesin. El nombre dado a estos espacios es en honor al matemtico David Hilbert quien los
utiliz en su estudio de las ecuaciones integrales.

La teora de procesos estocsticos cuadrado integrables.

La teora en espacios de Hilbert de ecuaciones diferenciales parciales, en particular formulaciones del
problema de Dirichlet.
Anlisis espectral de funciones, incluyendo teoras
de wavelets.
Formulaciones matemticas de la mecnica cuntica.

Ms formalmente, se dene como un espacio de producto

interior que es completo con respecto a la norma vectorial
denida por el producto interior. Los espacios de Hilbert
sirven para claricar y para generalizar el concepto de
series de Fourier, ciertas transformaciones lineales tales
como la transformacin de Fourier, y son de importancia crucial en la formulacin matemtica de la mecnica
cuntica.

El producto interior permite que uno adopte una visin

geomtrica y que utilice el lenguaje geomtrico familiar de los espacios de dimensin nita. De todos los espacios vectoriales topolgicos innito-dimensionales, los
espacios de Hilbert son los de mejor comportamiento
y los ms cercanos a los espacios nito-dimensionales.

Los elementos de un espacio de Hilbert abstracto a veLos espacios de Hilbert y sus propiedades se estudian ces se llaman vectores. En las aplicaciones, son tpicadentro del anlisis funcional.
mente sucesiones de nmeros complejos o de funciones.
En mecnica cuntica por ejemplo, un conjunto fsico es
descrito por un espacio complejo de Hilbert que conten1 Introduccin
ga las "funciones de ondas" para los estados posibles del
conjunto. Vase formulacin matemtica de la mecnica
Como se explica en el artculo dedicado a los espacios cuntica.
de producto interior, cada producto interior <.,.> en un
espacio vectorial H, que puede ser real o complejo, da
lugar a una norma ||.|| que se dene como sigue:

Una de las metas del anlisis de Fourier es facilitar un mtodo para escribir una funcin dada como la suma (posiblemente innita) de mltiplos de funciones bajas dadas. Este problema se puede estudiar de manera abstracta

en los espacios de Hilbert: cada espacio de Hilbert tiene

x = x, x
una base ortonormal, y cada elemento del espacio de Hilbert se puede escribir en una manera nica como suma
H es un espacio de Hilbert si es completo con respecde mltiplos de estos elementos bajos.
to a esta norma. Completo en este contexto signica que
cualquier sucesin de Cauchy de elementos del espacio Los espacios de Hilbert fueron nombrados as por David
converge a un elemento en el espacio, en el sentido que Hilbert, que los estudi en el contexto de las ecuaciones
la norma de las diferencias tiende a cero. Cada espacio integrales. El origen de la designacin, aunque es confuso,
de Hilbert es as tambin un espacio de Banach (pero no fue utilizado ya por Hermann Weyl en su famoso libro
la teora de grupos y la mecnica cuntica publicado en
viceversa).
1931. John von Neumann fue quizs el matemtico que
Todos los espacios nito-dimensionales con producto inms claramente reconoci su importancia.
terior (tales como el espacio eucldeo con el producto
escalar ordinario) son espacios de Hilbert. Esto permite
que podamos extrapolar nociones desde los espacios de
dimensin nita a los espacios de Hilbert de dimensin 2 Ejemplos
innita (por ejemplo los espacios de funciones). Sin embargo, los ejemplos innito-dimensionales tienen muchos En los siguientes ejemplos, asumiremos que el cuerpo
subyacente de escalares es C , aunque las deniciones son
ms usos. Estos usos incluyen:
1

similares al caso de que el cuerpo subyacente de escalares

sea R .

f, g =

BASES ORTONORMALES

f (t)g(t) d(t)

Uno necesita demostrar:

2.1

Espacios eucldeos

El primer ejemplo, que ya haba sido avanzado en la seccin anterior, lo constituyen los espacios de dimensin
nita con el producto escalar ordinario.

Que esta integral tiene de hecho sentido.

Que el espacio que resulta es completo.

stos son hechos tcnicamente fciles. Obsrvese que al

En otras palabras, C n con la denicin de producto inte- usar la integral de Lebesgue se asegura de que el espacio
rior siguiente:
sea completo. Vea espacios Lp para discusin adicional
de este ejemplo.
n
x, y = k=1 xk yk
donde la barra sobre un nmero complejo denota su con- 2.4 Espacios de Sobolev
jugacin compleja.
Los espacios de Sobolev, denotados por W m,p () son
otro ejemplo de espacios de Hilbert, que se utilizan muy
2.2 Espacios de sucesiones
a menudo en el marco de las ecuaciones en derivadas parciales denidas sobre un cierto dominio . Los espacios
Sin embargo, mucho ms tpico es el espacio de Hilbert de Sobolev generalizan los espacios Lp .
innito dimensional.
Adems de los espacios de Sobolev generales W m,p se
Si B es un conjunto, denimos 2 (B) sobre B, de la forma: usan ciertas notaciones particulares para cierto tipo de espacios:
2
=
}
{ (B)

2
x : B C : bB |x (b)| <
H m () = W m,2 ()
Este espacio se convierte en un espacio de Hilbert con el
producto interior
x, y =

bB

x(b)y(b)

H0m () = {f H m ()| f | = 0}

3 Bases ortonormales

para todo x e y en 2 (B) .

Un concepto importante es el de una base ortonormal

B no tiene por que ser un conjunto contable en esta de- de un espacio de Hilbert H: esta es una familia {ek}k B
nicin, aunque si B no es contable, el espacio de Hilbert de H 'satisfaciendo:
que resulta no es separable.
Los elementos estn normalizados: Cada elemento
Expresado de manera ms concreta, cada espacio de Hil2
de la familia tiene norma 1: ||ek|| = 1 para todo k en
bert es isomorfo a uno de la forma (B) para un con2
B
junto adecuado B. Si B = N, se escribe simplemente
.

2.3

Espacios de Lebesgue

Los elementos son ortogonales: Dos elementos cualesquiera de B son ortogonales, esto quiere decir:
<ek, ej> = 0 para todos los k, j en B cumpliendo
la condicin j k.

stos son espacios funcionales asociados a espacios de

Expansin densa: La expansin lineal de B es densa
medida (X, M, ), donde M es una -lgebra de suben H.
conjuntos de X y es una medida contablemente aditiva en M. Sea L (X) el espacio de funciones medibles
Tambin utilizamos las expresiones secuencia ortonormal
cuadrado-integrables complejo-valoradas en X, mdulo el
y conjunto ortonormal. Los ejemplos de bases ortonormasubespacio de esas funciones cuya integral cuadrtica sea
les incluyen:
cero, o equivalentemente igual a cero casi por todas partes. cuadrado integrable signica que la integral del cua El conjunto {(1,0,0),(0,1,0),(0,0,1)} forma una base
drado de su valor absoluto es nita. mdulo igualdad casi
ortonormal de R
por todas partes signica que las funciones son identicadas si y slo si son iguales salvo un conjunto de medida
La secuencia {fn: n Z} con fn(x) = exp(2inx)
0.
forma una base ortonormal del espacio complejo
L([0, 1])
El producto interior de las funciones f y g se da como:

4.2

Complementos y proyecciones ortogonales

La familia {eb: b B} con eb(c) = 1 si b = c y 0 en Mientras que el producto tensorial es el mnimo espacio
caso contrario, forma una base ortonormal de l(B). de Hilbert que contiene al producto castesiano:
H1 H2 , H1 H2 ,
dim(H1
Obsrvese que en el caso innito-dimensional, una base
H2 ) = dim(H1 ) dim(H2 )
ortonormal no ser una base en el sentido del lgebra lineal; para distinguir los dos, la ltima base se llama una
base de Hamel.
4.2 Complementos y proyecciones ortogoUsando el lema de Zorn, se puede demostrar que canales
da espacio de Hilbert admite una base ortonormal; adems, cualesquiera dos bases ortonormales del mismo es- Si S es un subconjunto del espacio de Hilbert H, denimos
pacio tienen el mismo cardinal. Un espacio de Hilbert es el conjunto de vectores ortogonales a S
separable si y solamente si admite una base ortonormal
S = {x H : x, s = 0 s S}
numerable.
Puesto que todos los espacios separables innitoS es un subespacio cerrado de H y forma, por tanto, un
dimensionales de Hilbert son isomorfos, y puesto que casi
espacio de Hilbert. Si V es un subespacio cerrado de H,
todos los espacios de Hilbert usados en la fsica son seentonces el V se llama el complemento ortogonal de V.
parables, cuando los fsicos hablan de espacio de Hilbert
De hecho, cada x en H puede entonces escribirse unvoquieren signicar el separable.
camente como x = v + w con v en V y w en V . Por lo
Si {ek}k B es una base ortonormal de H, entonces cada tanto, H es la suma directa interna de Hilbert de Vy V .
elemento x de H se puede escribir como:
El operador lineal PV : H H que mapea x a v se llama
la proyeccin ortogonal sobre V.

x = kB ek , xek
Teorema. La proyeccin ortogonal PV es un operador
lineal auto-adjunto en H con norma 1 con la propiedad
Incluso si B no es numerable, slo contablemente muchos PV = PV. Por otra parte, cualquier operador lineal E
trminos en esta suma sern diferentes a cero, y la expre- auto-adjunto tal que E = E es de la forma PV, donde V
sin est por lo tanto bien denida. Esta suma tambin se es el rango de E. Para cada x en H, PV(x) es el elemento
nico v en V que minimiza la distancia ||x - v||.
llama la expansin de Fourier de x.
Si {ek}k B es una base ortonormal de H, entonces H es Esto proporciona la interpretacin geomtrica de PV(x):
isomorfo a l(B) en el sentido siguiente: existe una funcin es la mejor aproximacin a x por un elemento de V.
lineal biyectiva : H l(B) tal que

5 Reexividad
(x) , (y) = x, y
para todo x y y en H.

4
4.1

Operaciones en los espacios de

Hilbert
Suma directa y producto tensorial

Una propiedad importante de cualquier espacio de Hilbert es su reexividad, es decir, su espacio bidual (dual
del dual) es isomorfo al propio espacio. De hecho, se tiene
todava ms, el propio espacio dual es isomorfo al espacio
original. Se tiene una descripcin 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 representacin de Riesz establece que para cada elemento
del H ' dual existe un y solamente un u en H tal que

Dado dos (o ms) espacios de Hilbert, podemos combi (x) = u, x

narlos en un espacio ms grande de Hilbert tomando su
suma directa o su producto tensorial. La primera cons- para todo x en H y la asociacin u proporciona un
truccin se basa en la unin de conjuntos y la segunda en isomorsmo antilineal entre H y H '. Esta correspondenel producto cartesiano.
cia es explotada por la notacin bra-ket popular en la
La suma directa requiere que H1 H2 = {0} , y es el fsica pero que hace fruncir el ceo a los matemticos.
mnimo espacio de Hilbert que contiene a la unin de
los dos conjuntos:
H1 H2 , H1 H2 ,
H2 ) = dim(H1 ) + dim(H2 )

dim(H1

6 Operadores en espacios de Hilbert

6.1

Operadores acotados

REFERENCIAS

El operador de multiplicacin por x:

Para un espacio H de Hilbert, los operadores lineales

[Bf ](x) = xf (x).
continuos A: H H son de inters particular. Un tal
operador continuo es acotado en el sentido que mapea
stos corresponden a los observables de momento y posiconjuntos acotados a conjuntos acotados. Esto permite
cin, respectivamente, expresados en unidades atmicas.
denir su norma como
Observe que ni A ni B se denen en todo H, puesto que en
el caso de A la derivada no necesita existir, y en el caso
A = sup { Ax : x 1 } .
de B la funcin del producto no necesita ser cuadradointegrable. En ambos casos, el conjunto de argumentos
La suma y la composicin de dos operadores lineales con- posibles forman subespacios densos de L(R).
tinuos son a su vez continuos y lineales. Para y en H, la
funcin que enva x a <y, Ax> es lineal y continua, y segn el teorema de representacin de Riesz se puede por 7 Referencias
lo tanto representar en la forma
A y, x = y, Ax.
Esto dene otro operador lineal continuo A* : H H, el
adjunto de A.
El conjunto L(H) de todos los operadores lineales continuos en H, junto con la adicin y las operaciones de composicin, la norma y la operacin adjunto, formas una C* lgebra; de hecho, ste es el origen de la motivacin y el
ms importante ejemplo de una C* -lgebra.
Un elemento A en L(H) se llama auto-adjunto o hermitiano si A* = A. Estos operadores comparten muchas propiedades de los nmeros reales y se ven a veces como generalizaciones de ellos.
Un elemento U de L(H) se llama unitario si U es inversible y su inverso viene dado por U * . Esto puede tambin
ser expresado requiriendo que <Ux, Uy> = <x, y> para
todos los x, y en H. Los operadores unitarios forman un
grupo bajo composicin, que se puede ver como el grupo
de automorsmos de H.

6.2

Operadores no acotados

En mecnica cuntica, uno tambin considera operadores

lineales, que no necesariamente son continuos y que no
necesariamente estn denidos en todo espacio H. Uno
requiere solamente que se denan en un subespacio denso
de H. Es posible denir a operadores no acotados autoadjuntos, y stos desempean el papel de los observables
en la formulacin matemtica de la mecnica cuntica.
Ejemplos de operadores no acotados auto-adjuntos en el
espacio de Hilbert L(R) son:
Una extensin conveniente del operador diferencial
d
f (x),
[Af ](x) = i dx

donde i es la unidad imaginaria y f es una funcin diferenciable de soporte compacto.

Dieudonne, Jean Alexandre (1966). Fundamentos de anlisis moderno. Barcelona: Revert. ISBN
9788429150605.

Text and image sources, contributors, and licenses

8.1

Text

Espacio de Hilbert Fuente: http://es.wikipedia.org/wiki/Espacio%20de%20Hilbert?oldid=79049892 Colaboradores: DefLog, Cassilia,

Wricardoh, Xenoforme, Mandramas, Rembiapo pohyiete (bot), Orgullobot, RobotQuistnix, Akhram, CSTAR, Caiserbot, Yrbot, YurikBot,
GermanX, Wewe, Gtz, Alexav8, Marianov, Davius, Thijs!bot, Escarbot, JAnDbot, TXiKiBoT, MONIMINO, Idioma-bot, Info.abstracta,
Muro Bot, YonaBot, SieBot, Danielba894, Juan Mayordomo, Lluvia, Agualin, Ginosbot, Luckas-bot, Xqbot, Rubinbot, Kismalac, AstaBOTh15, D'ohBot, TobeBot, RedBot, Jerowiki, Euclides, Jorge c2010, EmausBot, DanFar, KLBot2, MetroBot, Addbot, JacobRodrigues,
JuanManwell y Annimos: 23

8.2

Images

8.3

Content license

Creative Commons Attribution-Share Alike 3.0