ESPACIOS DE HILBERT

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 transformacin de Fourier, y son
de importancia crucial en la formulacin matemtica de la mecnica cuntica.
Cualquier sucesin 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 tambin un espacio de Banach (pero no
viceversa).
Todos los espacios finito-dimensionales con producto interior (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 finita a los espacios de Hilbert de dimensin infinita (por ejemplo los
espacios de funciones). Sin embargo, los ejemplos infinito-dimensionales
tienen muchos ms usos. Estos usos incluyen:

La teora de las representaciones del grupo unitarias.

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.

De todos los espacios vectoriales topolgicos infinito-dimensionales, los

espacios de Hilbert son los de "mejor comportamiento" y los ms cercanos a
los espacios finito-dimensionales.
Los elementos de un espacio de Hilbert abstracto a veces se llaman "vectores".
En las aplicaciones, son tpicamente sucesiones de nmeros complejos o de
funciones.
Una de las metas del anlisis de Fourier es facilitar un mtodo para escribir una
funcin dada como la suma (posiblemente infinita) de mltiplos de funciones
bajas dadas. Este problema se puede estudiar de manera abstracta en los
espacios de Hilbert: cada espacio de Hilbert tiene una base orto normal, y cada
elemento del espacio de Hilbert se puede escribir en una manera nica como
suma de mltiplos de estos elementos bajos.
Base orto normal
Un concepto importante es el de una base orto normal de un espacio de
Hilbert H: esta es una familia {ek}k B de H 'satisfaciendo:

Los elementos estn normalizados: Cada elemento de la familia tiene

norma 1: ||ek|| = 1 para todo k en B

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.
Expansin densa: La expansin lineal de B es densa en H.

Tambin utilizamos las expresiones secuencia orto normal y conjunto orto

normal. Los ejemplos de bases orto normales incluyen:

El conjunto {(1,0,0),(0,1,0),(0,0,1)} forma una base orto normal de R

La secuencia {fn: n Z} con fn(x) = exp(2inx) forma una base orto
normal del espacio complejo L([0, 1])
La familia {eb: b B} con eb(c) = 1 si b = c y 0 en caso contrario, forma
una base orto normal de l(B).

Obsrvese que en el caso infinito-dimensional, una base orto normal 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 orto normal; adems, cualesquiera dos bases orto normales
del mismo espacio tienen el mismo cardinal. Un espacio de Hilbert
es separable si y solamente si admite una base orto normal numerable.
Puesto que todos los espacios separables infinito-dimensionales de Hilbert son
isomorfos, y puesto que casi todos los espacios de Hilbert usados en
la fsica son separables, cuando los fsicos hablan de espacio de
Hilbert quieren significar el separable.
Si {ek}k B es una base orto normal de H, entonces cada elemento x de H se
puede escribir como:

Incluso si B no es numerable, slo contablemente muchos trminos en esta

suma sern diferentes a cero, y la expresin est por lo tanto bien definida.
Esta suma tambin se llama la expansin de Fourier de x.
Si {ek}k B es una base orto normal de H, entonces H es isomorfo a l(B) en
el sentido siguiente: existe una funcin lineal biyectiva : H l(B) tal que

para todo x y y en H.
Complementos y proyecciones ortogonales
Si S es un subconjunto del espacio de Hilbert H, definimos el conjunto de
vectores ortogonales a S

es un subespacio cerrado de H y forma, por tanto, un espacio de Hilbert.

Si V es un subespacio cerrado de H, entonces l
se llama el complemento
ortogonal de V. De
hecho,
cada x en H puede
entonces
escribirse
unvocamente como x = v + w con v en V y w en
. Por lo tanto, H es la suma
directa interna de Hilbert de Vy
. El operador lineal PV : H H que
mapea x a v se llama la proyeccin ortogonal sobre V.
Teorema. La proyeccin ortogonal PV es un operador lineal auto-adjunto
en H con norma 1 con la propiedad PV = PV. Por otra parte, cualquier
operador lineal E auto-adjunto tal que E = E es de la forma PV, donde V 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||.
Esto proporciona la interpretacin geomtrica de PV(x): es la mejor
aproximacin a x por un elemento de V.

ESPACIOS EUCLIDIANOS
Un espacio eucldeo de dimensin finita es un espacio vectorial normado sobre
los nmeros reales de dimensin finita, en que la norma es la asociada
al producto escalar ordinario. Para cada nmero entero no negativo n, el
espacio eucldeo n-dimensional se representa por el smbolo
y es el
conjunto de todas las tuplas ordenadas

En donde cada
es un nmero real, junto con la funcin distancia entre dos
puntos (x1, ..., xn) e (y1, ..., yn) definida por la frmula:

Esta funcin distancia es una generalizacin del teorema de Pitgoras y se

denomina distancia euclidiana. El hecho de que se haya definido una distancia
permite definir otros conceptos mtricos como el de medida de Lebesgue (lo
cual permite a su vez definir la longitud de una curva (1-volumen), las nociones
de rea (2-volumen), volumen (3-volumen) y cuando el espacio tiene dimensin
superior a 3 n-volumen (para n > 3).
Adems pueden definirse ngulos, al poder hablar de proyectar una longitud
recta sobre la direccin de otra longitud recta no paralela, as el ngulo entre
dos rectas r1 y r2cuyos vectores unitarios tangentes son
y
se puede
definir como:

Estructuras sobre el espacio eucldeo

Los espacios euclidianos y sus propiedades han servido de base para generar
gran cantidad de conceptos matemticos relacionados con la geometra
analtica, la topologa, el lgebra y el clculo. Aunque el espacio eucldeo suele
ser introducido, por razones didcticas, como espacio vectorial, en realidad
sobre l se pueden definir muchas ms estructuras. El espacio eucldeo es
adems de un espacio vectorial un caso de:

Un espacio de Hilbert de dimensin finita, con el producto escalar

ordinario.
Un espacio de Banach de dimensin finita, con norma inducida por el
producto escalar interior.
Un espacio mtrico completo, con distancia inducida por la norma
anterior.
Un espacio topolgico, inducido por la mtrica eucldea.
Un grupo de Lie, con la operacin de adicin.
Un lgebra de Lie con el producto vectorial.

Espacios eucldeo de dimensin infinita

Los espacios eucldeos considerados usualmente tienen una dimensin
topolgica finita. Eso hace que sean localmente compactos. Sin embargo, es
posible concebir estructuras de dimensin infinita que tengan propiedades
anlogas a los espacios eucldeos, por lo que la extensin a dimensin infinita
de la nocin de espacio eucldeo es posible con unas pocas precauciones.1 En
primer lugar se puede considerar el conjunto
definido como:

Es decir este conjunto es el producto cartesiano de un nmero infinito

numerable de copias de . Sin embargo el conjunto de todas esas tuplas
infinitas no tiene la estructura de espacio eucldeo porque no se puede dotar de
una norma eucldea adecuada. Por ejemplo las tuplas:

No representan vectores cuya suma de componentes al cuadrado sea un

nmero real finito. Por esa razn se considera el subconjunto:

Este espacio vectorial

comparte la mayor parte de los espacios eucldeos
finito dimensionales y por tanto puede considerarse un espacio eucldeo infinito
dimensional, la principal propiedad es que el espacio eucldeo infinito
dimensional a diferencia de sus versiones finito dimensionales no es un
espacio localmente compacto.