Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
f, g =
BASES ORTONORMALES
f (t)g(t) d(t)
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.
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
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.
4.2
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
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
dim(H1
6.1
Operadores acotados
REFERENCIAS
6.2
Operadores no acotados
Dieudonne, Jean Alexandre (1966). Fundamentos de anlisis moderno. Barcelona: Revert. ISBN
9788429150605.
8.1
Text
8.2
Images
8.3
Content license