Espacio de Hilbert

En matemticas, el concepto de espacio de Hilbert es La teora de las representaciones del grupo unitarias.
una generalizacin del concepto de espacio eucldeo. Es-
ta generalizacin permite que nociones y tcnicas alge- La teora de procesos estocsticos cuadrado integra-
braicas y geomtricas aplicables a espacios de dimensin bles.
dos y tres se extiendan a espacios de dimensin arbitra- La teora en espacios de Hilbert de ecuaciones dife-
ria, incluyendo a espacios de dimensin innita. Ejem- renciales parciales, en particular formulaciones del
plos de tales nociones y tcnicas son la de ngulo entre problema de Dirichlet.
vectores, ortogonalidad de vectores, el teorema de Pi-
tgoras, proyeccin ortogonal, distancia entre vectores y Anlisis espectral de funciones, incluyendo teoras
convergencia de una sucesin. El nombre dado a estos es- de wavelets.
pacios es en honor al matemtico David Hilbert quien los
utiliz en su estudio de las ecuaciones integrales. Formulaciones matemticas de la mecnica cunti-
ca.
Ms formalmente, se dene como un espacio de producto
interior que es completo con respecto a la norma vectorial El producto interior permite que uno adopte una visin
denida por el producto interior. Los espacios de Hilbert geomtrica y que utilice el lenguaje geomtrico fami-
sirven para claricar y para generalizar el concepto de liar de los espacios de dimensin nita. De todos los es-
series de Fourier, ciertas transformaciones lineales tales pacios vectoriales topolgicos innito-dimensionales, los
como la transformacin de Fourier, y son de importan- espacios de Hilbert son los de mejor comportamiento
cia crucial en la formulacin matemtica de la mecnica y los ms cercanos a los espacios nito-dimensionales.
cuntica.
Los elementos de un espacio de Hilbert abstracto a ve-
Los espacios de Hilbert y sus propiedades se estudian ces se llaman vectores. En las aplicaciones, son tpica-
dentro 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 conten-
1 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 Una de las metas del anlisis de Fourier es facilitar un m-
espacio vectorial H, que puede ser real o complejo, da todo para escribir una funcin dada como la suma (po-
lugar a una norma ||.|| que se dene como sigue: siblemente innita) de mltiplos de funciones bajas da-
das. Este problema se puede estudiar de manera abstracta

x = x, x en los espacios de Hilbert: cada espacio de Hilbert tiene
una base ortonormal, y cada elemento del espacio de Hil-
bert se puede escribir en una manera nica como suma
H es un espacio de Hilbert si es completo con respec-
de 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
viceversa). la teora de grupos y la mecnica cuntica publicado en
1931. John von Neumann fue quizs el matemtico que
Todos los espacios nito-dimensionales con producto in-
ms 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 em-
bargo, los ejemplos innito-dimensionales tienen muchos En los siguientes ejemplos, asumiremos que el cuerpo
ms usos. Estos usos incluyen: subyacente de escalares es C , aunque las deniciones son

1
2 3 BASES ORTONORMALES

similares al caso de que el cuerpo subyacente de escalares f, g = X
f (t)g(t) d(t)
sea R .
Uno necesita demostrar:
2.1 Espacios eucldeos
Que esta integral tiene de hecho sentido.
El primer ejemplo, que ya haba sido avanzado en la sec- Que el espacio que resulta es completo.
cin anterior, lo constituyen los espacios de dimensin
nita con el producto escalar ordinario.
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
n de este ejemplo.
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 par-
ciales 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 es-

2
pacios:
{ (B) } =
2
x : B C : bB |x (b)| < H m () = W m,2 ()

Este espacio se convierte en un espacio de Hilbert con el H0m () = {f H m ()| f | = 0}

producto interior

x, y = bB x(b)y(b) 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.
Expresado de manera ms concreta, cada espacio de Hil- Los elementos estn normalizados: Cada elemento
2
bert es isomorfo a uno de la forma (B) para un con- de la familia tiene norma 1: ||ek|| = 1 para todo k en
junto adecuado B. Si B = N, se escribe simplemente 2 B
. Los elementos son ortogonales: Dos elementos cua-
lesquiera de B son ortogonales, esto quiere decir:
2.3 Espacios de Lebesgue <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 sub- en H.
conjuntos de X y es una medida contablemente adi-
tiva 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 ortonorma-
subespacio de esas funciones cuya integral cuadrtica sea
les incluyen:
cero, o equivalentemente igual a cero casi por todas par-
tes. cuadrado integrable signica que la integral del cua-
drado de su valor absoluto es nita. mdulo igualdad casi El conjunto {(1,0,0),(0,1,0),(0,0,1)} forma una base
por todas partes signica que las funciones son identica- ortonormal de R
das 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
El producto interior de las funciones f y g se da como: L([0, 1])
4.2 Complementos y proyecciones ortogonales 3

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 li-
neal; para distinguir los dos, la ltima base se llama una
base de Hamel. 4.2 Complementos y proyecciones ortogo-
Usando el lema de Zorn, se puede demostrar que ca- nales
da espacio de Hilbert admite una base ortonormal; ade-
ms, 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
numerable. S = {x H : x, s = 0 s S}
Puesto que todos los espacios separables innito-
S 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 se-
entonces 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 unvo-
quieren 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
llama la expansin de Fourier de x. nico v en V que minimiza la distancia ||x - v||.

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
Una propiedad importante de cualquier espacio de Hil-
para todo x y y en H. bert 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
4 Operaciones en los espacios de del espacio dual (el espacio de todas las funciones lineales
Hilbert continuas del espacio H en el cuerpo base), que es en s
mismo un espacio de Hilbert. De hecho, el teorema de re-
presentacin de Riesz establece que para cada elemento
4.1 Suma directa y producto tensorial 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 corresponden-
el 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:
6 Operadores en espacios de Hil-
H1 H2 , H1 H2 , dim(H1 bert
H2 ) = dim(H1 ) + dim(H2 )
4 7 REFERENCIAS

6.1 Operadores acotados 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 posi-
conjuntos 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 cuadrado-
integrable. 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 se-
gn el teorema de representacin de Riesz se puede por 7 Referencias
lo tanto representar en la forma
Dieudonne, Jean Alexandre (1966). Fundamen-
A y, x = y, Ax. tos de anlisis moderno. Barcelona: Revert. ISBN
9788429150605.
Esto dene otro operador lineal continuo A* : H H, el
adjunto de A.
El conjunto L(H) de todos los operadores lineales conti-
nuos en H, junto con la adicin y las operaciones de com-
posicin, 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 hermi-
tiano si A* = A. Estos operadores comparten muchas pro-
piedades de los nmeros reales y se ven a veces como ge-
neralizaciones de ellos.
Un elemento U de L(H) se llama unitario si U es inversi-
ble 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 auto-
adjuntos, 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

[Af ](x) = i dx
d
f (x),

donde i es la unidad imaginaria y f es una fun-

cin diferenciable de soporte compacto.
 5

8 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, Cassi-
lia~eswiki, Wricardoh, Xenoforme, Mandramas, Rembiapo pohyiete (bot), Orgullobot~eswiki, RobotQuistnix, Akhram, CSTAR, Cai-
serbot, 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