INTRODUCCIÓN A LOS ESPACIOS DE HILBERT

1. ESPACIO LINEAL
Def. Un espacio lineal (o vertical) X es una colección de elementos (llamados vectores)
u, v, w, ... en el cual se pueden sumar un elemento mediante una operación llamada SUMA
VECTORIAL para producir un vector bien definido u + v y para cualquier número escalar
α se define un PRODUCTO ESCALAR para producir un vector bien definido αu.

Estas operaciones satisfacen

1. a) u + v = v + u, b) u + (v + w) = (u + v) + w, c) ∃ ! 0 tal que, u + 0 = u, ∀ u,
d) ∀u ∈ X, ∃ ! u, tal que u + (−u) = 0

2. a) α(βu) = (αβ)u, b) 1u = u, c) (α + β)u = αu + βu

d) α(u + v) = αu + αv
u, v, w vectores arbitrarios , α, β números arbitrarios.
Se define: dependencia e independencia lineal, 0u = 0, base (dimensión).
Def. X se dice la dimensión n si tiene n vectores l.i. y cualquier conjunto de n + 1 vectores
es l.d. X es de dimensión ∞ si para k > 0 existe k vectores l.i.
Teorema. Si X es de dimensión n y tiene n vectores l.i., estos forman una base.

2. ESPACIO MÉTRICO(I)
Def. Un conjunto de elementos (o puntos) u, v, w, ... se dice ESPACIO MÉTRICO si para
cada par de elementos u, v, hay asociado un número real d(u, v), la distancia entre u y v,
que satisface
i) d(u, v) 6= 0 ∀ u 6= v
ii) d(u, u) = 0
iii) d(u, v) = d(v, u)
iv) d(u, w) ≤ d(u, v) + d(v, w) desigualdad del triángulo.
Se define: sucesión convergente o de Cauchy.
Def. Un espacio métrico X es COMPLETO si toda sucesión de Cauchy en X converge a
un lı́mite en X.

3. ESPACIO NORMADO(II)
Def. Un espacio lineal NORMADO es un espacio lineal en el cual se define una función
real k u k (la norma de u) con las propiedades:
(a) k u k> 0 ∀u 6= 0
(b) k 0 k= 0
(c) k αu k= |α| k u k
(d) k u + v k≤k u k + k v k

Un espacio lineal normado es un espacio métrico con la métrica definida por

d(u, v) =k u − v k . (métrica natural generada por la norma)

Para ver que (II) =⇒ (I) sólo hay que verificar la desigualdad del triángulo

k u − w k=k (u − v) + (v − w k≤k u − v k + k v − w k

=⇒ d(u, w) ≤ d(u, v) + d(v, w),

por definición.
Obs. k u k= d(u, 0). k u k es una función continua: si uk → u, k → ∞ =⇒k uk k→k u k si
k → ∞. Si vk → v, k → ∞ y αk → α, k → ∞ =⇒ uk + vk → u + v y αk uk → αu, → ∞.
Def. Un espacio lineal normado completo se llama espacio de BANACH.
Si d(u, v) es una métrica en el espacio lineal X, no necesariamente define una norma. Pero
si además le pedimos que cumpla:

d(αu, αv) = |α|d(u, v) ∀u, v, α

entonces como k u k= d(u, 0)

k αu k= d(αu, 0) = d(αu, α0) = |α|d(u, 0) = |α| k u k .

ESPACIO CON PRODUCTO INTERNO

Refinamos la estructura del espacio normado a fin de poder definir ángulo entre vectores,
ası́ podremos determinar si dos vectores son o no ortogonales.
Def. Un producto interno hu, vi en un espacio lineal real X r es una función real de pares
de vectores u, v que satisfacen
i) hu, vi = hv, ui
ii) hαu, vi = α hu, vi
iii) hu + v, wi = hu, wi + hv, wi
iv) hu, ui > 0 ∀u 6= 0
u, v, w son vectores arbitrarios y α ∈ IR es un escalar. X r es un espacio lineal real con
producto interno.
 Obs. hu, ui > 0 no implica que hu, vi > 0, puede ser negativo o cero. Además hu, 0i =
0, ∀u.
Si X es complejo hay que modificar (i) ya que hiv, ivi = i hv, ivi = i hiv, vi = i2 hv, vi =
− hv, vi < 0 luego u = iv no satisface iv). Se remedia cambiando este inciso por i) hu, vi =
hv, ui complejo conjugado.
Def. Un producto interno hu, vi en un espacio lineal complejo X c es una función compleja
para el par de coordenadas u, v que satisface
i) hu, vi = hv, ui
ii) hαu, vi = α hu, vi (hu, αvi = hαv, ui = αhv, ui = α hu, vi)
iii) hu + v, wi = hu, wi + hv, wi

iv) hu, ui > 0 ∀ u 6= 0

∀ u, v, w ∈ X c y α ∈ C] . X c se llama espacio lineal complejo con producto interno.

Teor. (Desgigualdad de Schwarz). Para cualquier u, v en un espacio con producto interno

| hu, vi |2 ≤ hu, ui hv, vi (∗)
con la igualdad sólo si u y v son linealmente dependientes.
Obs. El valor absoluto se tiene que poner pues en principio hu, vi ∈ C] .

Dem.
Para cualesquiera u, w, hu − w, u − wi ≥ 0, de aquı́ que

hu, ui − hu, wi − hw, ui + hw, wi ≥ 0 =⇒

hu, ui ≥ hu, wi + hw, ui − hw, wi = 2 Re hu, wi − hw, wi (∗∗)
y hay igualdad si w = v.
Si v = 0 en (*) la desigualdad es trivial y se tiene igualdad.
hu, vi
Sea v 6= 0, hacemos w = v en (**)
hv, vi
* + * +
hu, vi hu, vi hu, vi
hu, ui ≥ 2 Re u, v − v, v
hv, vi hv, vi hv, vi

hu, vi hu, vi hu, vi

≥ 2 Re hu, vi − hv, vi
hv, vi hv, vi hv, vi

| hu, vi |2 | hu, vi |2 | hu, vi |2

≥2 − = pues hv, vi ∈ IR
hv, vi hv, vi hv, vi
 → | hu, vi |2 ≤ hu, ui hv, vi

Como w = u ⇐⇒ u es un múltiplo de v, se tiene igualdad en (*) ⇐⇒ v = 0 o u es un

múltiplo de v.
Cor. hu + v, u + vi1/2 ≤ hu, ui1/2 + hv, vi1/2 . Expandir el lado izquierdo y usar (*).

Luego hu, vi1/2 es una norma admisible ya que

q
k u k= hu, ui
satisface (II).
Luego un espacio con producto interno automáticamente es un espacio lineal normado y
por ende un espacio métrico.
q
d(u, v) =k u − v k= hu − v, u − vi
ası́, la desigualdad de Schwarz se escribe ahora como
| hu, vi | ≤k u kk v k
∞
X
Def. La serie un se dice que converge a u si la sucesión de sumas parciales converge a
n=1
n
X
u, es decir, si ∀  > 0, ∃ N > 0 tal que k uk − u k< , ∀ n > N .
k=1

De la desigualdad de Schwarz se sigue que el producto interno es una función continua:

lı́m huk , vk i = hu, vi siempre y cuando uk → u, vk → v si k → ∞.
k→∞
∞
X ∞
X
En particular k uk k→k u k si uk → u. Si uk = u entonces la serie huk , vi automáti-
k=1 k=1
camente converge a hu, vi.

Def. Un espacio con producto interno que es completo en su métrica natural, es un ESPA-
CIO DE HILBERT.

EJEMPLOS DE ESPACIOS DE HILBERT

1. ESPACIOS EUCLIDEANOS DE DIMENSIÓN n : En = {(x1 , x2 , ..., xn )|xi ∈ IR

(ó C] )} con el producto interno definido por
n
X
hx, yi = x1 y1 + x2 y2 + ... + xn yn (real), hu, vi = ui v i (complejo)
i=1
v
q q u n
n
u ∈ C] n
uX
k x k= hx, xi = x21 + x22 + ... + x2n , x ∈ IR , k u k= t |u |2 ,i
i=1
 Desigualdad de Schwarz
" n #2 n
! n
! n n
! n
!
x21 yi2 2 2 2
X X X X X X
xi yi ≤ | ui v i | ≤ |ui | |vi |
i=1 i=1 i=1 1 1

q
En es COMPLETO con la métrica: d(x, y) = hx − y, x − yi

Sea {xk }∞k=1 una sucesión de Cauchy en En , entonces ∀  > 0, ∃ N > 0 tal que d(xk , xl ) <
 ∀ k, l > N , es decir, [(x1,k − x1,l )2 + (x2,k − x2,l )2 + ... + (xn,k − xn,l )2 ]1/2 < , ∀k, l >
N, por lo tanto ∀ i = 1, 2, ..., n, |xi,k − xi,l | <  ∀ k, l > N por lo tanto {xi,k }∞ k=1
es una sucesión de Cauchy ∀ i = 1, ..., n. Como IR (ó C] ) es completo, cada una de
estas suceciones converge si k → ∞, es decir, xi,k → xi si k → ∞, i = 1, ..., n luego
lı́mk→∞ xk = (x1 , x2 , ..., xn ) por lo tanto En es completo.

Obs. Se puede generalizar este último resultado para la métrica

dp (x, y) = [(x1 − y1 )p + (x2 − y2 )p + ... + (xn − yn )p ]1/p , 1 ≤ p < ∞

donde para p = ∞ la métrica se define como

d∞ (x, y) = máx |xi − yi |

i

Z b
(r)
2. L2 (a, b) = {f : [a, b] → IR| f 2 (x)dx < ∞}
a

Z b
hf, gi = f (x)g(x)dx
a

"Z #1/2
b
k f k= 2
f (x)dx = hu, ui1/2
a

"Z #1/2
b
d2 (u, v) =k u − v k= (u − v)2 dx (media-cuadrada)
a

La desigualdad de Schawrz es:

Z b "Z #1/2 "Z #1/2

b b
| uvdx| ≤ u2 dx v 2 dx
a a a

(r)
L2 (a, b) ES COMPLETO CON LA MÉTRICA d2 por lo tanto ES DE HILBERT.
Si M1 ⊂ H es el conjunto de funciones continuas, M1 no es cerrado pero M 1 = H.
Por otro lado, M2 =conjunto de polinomios en [a, b], es una variedad lineal pero no
es cerrada M 2 = H.
 Z b
(c)
3. L2 (a, b) = {g : [a, b] → C] | |g|2 dx < ∞}
a

Z b
hu, vi = u(x)v̄(x)dx
a

"Z #1/2 "Z #1/2

b b
2 2
k u k= |u| dx → d2 (u, v) =k u − v k= |u − v| dx
a a

La desigualdad de Schawrz es:

Z b "Z #1/2 "Z #1/2

b b
| uvdx| ≤ |u|2 dx (v)2 dx
a a a

Lc2 (a, b) ES COMPLETO.

1
Obs. uk (x) = arctan kx, −1 ≤ x ≤ 1 es una sucesión de Cauchy de funciones continuas
π
1
en la métrica d2 que converge puntualmente a la función discontinua u(x) = sgnx. Más
2
aún, lı́m d2 (uk , u) = 0, es decir, uk se aproxima a u en sentido media-cuadrada. No existe
k→∞
una función continua v(x) para la cual d2 (u, v) = 0, luego no puede existir una función
continua v(x) para la cual lı́m d2 (uk , v) = 0. Ası́ que M1 no es completo.
k→∞

La completez de M1 es H. De alguna manera con H se llenan los “huecos” del conjunto de

funciones continuas al agregar al conjunto H elementos abstractos asociados con sucesiones
de Cauchy no convergentes.

SEPARABILIDAD Y BASES

Def. Un espacio de Hilbert H es separable si contiene un conjunto numerable U que lo

genera, es decir S(U ) = H.
S(U ) = espacio generado por U = conjunto de combinaciones lineales de vectores de U

Obs. Se puede probar que los polinomios son DENSOS en L2 (a, b), i.e. cualquier función
cuadrado integrable se puede aproximar en el sentido media-cuadrada por polinomios.
Un espacio de dimensión finita es separable ya que cualquier base es el conjunto generador
U.
Si H es de dimensión infinita es obvio que U no puede ser finito. Si es separable contiene
a U = {u1 , u2 , ...} tal que todo elemento v ∈ H se puede aproximar en el sentido media-
cuadrada por una combinación lineal de elementos de U a cualquier grado de precisión es
decir, ∀ > 0, ∃ N > 0 tal que ∃ α1 , ..., αN escalares tales que:
N
X
kv− αk uk k< 
k

Un espacio H separable contiene un conjunto ortonormal que lo genera.

L2 (a, ∞), L2 (−∞, b), L2 (−∞, ∞) son separables.
Todos los espacios H que consideraremos en lo que sigue son separables .

Def. Un conjunto de vectores {h1 , ..., hn , ...} se llama BASE para H si cada u ∈ H puede
ser representado de una y sólo una forma
∞
X
u= αk uk {αk } = coordenadas de u
k=1
N
X
Si la base es ortonormal αk = hu, hk i , ∀k. Más precisamente si SN = αk hk :
k=1
*N + N
X X
hSN , hm i = αk hk , hm = αk hhk , hm i = αm
k=1 k=1

como SN → u si N → ∞ y el producto interno es continuo

lı́m hSN , hm i = hu, hm i = hm

N →∞

Una base ORTONORMAL se conoce como un CONJUNTO ORTONORMAL COMPLE-

TO.

Teor. Si se cumple cualquiera de las condiciones siguientes, el conjunto {ek } ortonormal,

es una base para H.
∞
X
1. ∀u ∈ H, u= hu, ek i ek .
k=1

2. El conjunto {ek } es maximal i.e. si NO existe elemento e ∈ H tal que {e, e1 , e2 , ...} sea
un conjunto ortonormal.
3. El único elemento u ∈ H para el cual todos sus coeficientes hu, ek i son cero es el elemento
u = 0.
4. Parseval: ∀u ∈ H
∞
k u k2 = | hu, ek i |2
X

k=1

Dem.
(a) 2 ⇒ 3. Si 3 no es cierto ∃ ϕ 6= 0 tal que hϕ, ek i = 0, ∀k, entonces ϕ/ k ϕ k= e es
unitario y ortogonal a ek , ∀k, por lo tanto se contradice 2.
∞
X
(b) 3 → 1. La serie hu, ek i ek = v para algún v ∈ H. Como u y v tienen los mismos
1
coeficientes de Fourier hu − v, ek i = 0 para toda k, por lo tanto u = v por 3.

(c) 1 ⇒ 4. Se tiene la identidad

k k
hu, ek i ei k2 =k u k2 − | hu, ei i |2
X X
ku−
i=1 i=1
pero
k ∞
2
| hu, ei i |2 .
X X
lı́m k u − hu, ek i ek k= 0 →k u k =
k→∞
1 i=1

(d) 4 → 2. Si 2 no es cierto entonces ∃ e tal que k e k= 1 y he, ek i = 0 para toda k. Por 4

se tendrá que cumplir
∞
2
| he, ek i |2 = 0 contradicción.
X
1 =k e k =
k=1

EJEMPLOS DE BASES ORTONORMALES

a) Para x ∈ [0, 2π] o cualquier intervalo de longitud 2π:

1
ek = √ eikx , k ∈ ZZ
2π

1 1
b) Cualquier intervalo de longitud 2π: { √ cos kx, √ sen kx}, k = 0, 1, 2, ...
π π
(s )
2
c) 0 ≤ x ≤ π : cos kx , k = 0, 1, 2, ...
π
(s )
2
d) 0 ≤ x ≤ π : sen kx , k = 1, 2, ...
π
( )
1
e) Cualquier intervalo de longitud 2L : √ eikπx/L , k ∈ ZZ.
2L
(s )∞ (s )∞
2 kπx 2 kπx
f) 0 ≤ x ≤ L : cos , k = 0, 1, 2, ... ó sen , k = 1, 2, ...
L L 0
L L
g) Polinomios de Hermite, funciones de Bessel, polinomios de Tchebyshev, etc.
(s !! )
2 2 a+b
Obs. Si {ek (x)} es base ortonormal para L2 (−1, 1) entonces ek x−
b−a b−a 2
es base ortonormal para
L2 (a, b)

Muchas veces los conjuntos son ortogonales con función de peso ρ(x), con ρ(x) > 0 en (a, b),
es decir: Z b
1 , k=j

ρ(x)ek (x)ej (x)dx =
a 0 , k 6= j
∞
X
Entonces si u(x) = γk ek (x), la serie converge en el sentido:
k=1
Z b n
γk ek (x)|2 dx = 0
X
lı́m
n→∞ a
ρ(x)|u(x) −
k=1