Documente Academic
Documente Profesional
Documente Cultură
de L L sobre k ,
Ax.1: x, x 0 x L
Ax.2: x, x = 0 x = 0
Ax.3: x, y = y, x
x, y L (hermiticidad)
Ax.4: x, y = x, y
k x, y L (homogeneidad a la derecha)
Ax.5: x, y + z = x, y + x, z
x, y, z L (distributividad o aditividad)
-Nota: esta definicin es la de una forma sesquilineal hermtica.
Definicin: El par ( L, , ) define un espacio pre-Hilbert o espacio eucldeo.
x, x
x L .
Propiedades y definiciones
x, 0 = 0, x =0 x L
x, y = 0 y L x = 0
x, y = z , y
y L x = z
x, y + z = x, y + x, z y x + y, z = * x, z + * y, z , k x,y,z L
Desigualdad de Schwarz-Cauchy-Buniakowskii:
a) x, y
b) x, y
x, x y , y
( x, y x y ) x, y L ;
= x, x y , y
y= x
k x, y L .
x, y
x y
, x, y L, x 0, y 0 .
Identidad de polarizacin:
1
2
2
x + y x y x, y L .
4
1
2
2
2
2
b) Si k = , entonces x, y = x + y x y i ( x + iy x iy ) x, y L .
4
a) Si k = , entonces x, y =
x + y + x y = 2( x + y ) x, y L .
-Nota: esta ley no se cumple en un espacio normado arbitrario; s cuando la norma
deriva de un producto escalar. Adems, se tiene:
Un espacio normado ( L, ) es espacio pre-Hilbert ( L, , ) en l se
2
xn , yn es sucesin
de Cauchy en k .
son
-Notacin: L1 L2 .
Todos los espacios eucldeos de igual dimensin finita n son isomorfos
entre s topolgica y mtricamente.
Ortogonalidad
Definicin: Dado ( L, , ) , dos vectores x, y de L son ortogonales
x, y = 0 .
-Notacin: x y
x y yx
0 x x L
xx x=0
x y x+ y = x y
Definicin: Un vector x L es ortogonal a un subconjunto S L
x y y S .
-Notacin: x S
Definicin: Un conjunto S = { x } A , A conjunto indicial de cualquier
cardinalidad, es ortogonal
x x , A /
x , x = x
, A .
x y x S1 y S 2 .
-Notacin: S1 S 2
Teorema de Pitgoras generalizado:
Sea { xn }nI L, card I 0 , un conjunto ortogonal tal que
x
nI
= x.
Entonces,
2
xn
x =
2
nI
x
nI
= xn
nI
independiente 0 S .
A B B A
A A
A B A B
A = A
A A = A A = 0
x A A x = 0
{}
( A)
= A
L = 0 y
[ A]
{}
{0}
=L
= A
{}
Si A es denso en L, esto es, A = L , entonces A = 0
Proyectores ortogonales
Definicin: Dados dos subespacios lineales M 1 < L y M 2 < L tales que
L = M 1 M 2 , un proyector de L sobre M 1 en la direccin de M 2 ,
{}
ker P L
R( P) L
ker P = ( R ( P ))
R ( P ) = (ker P )
Dados dos subespacios lineales M < L y N < L tales que L = M N y
M N , entonces ! (existe un nico) proyector ortogonal P con R ( P ) = M
y ker P = N = M .
Conjuntos ortonormales
Definicin: Un conjunto S = { x } A L , A conjunto indicial de cualquier
cardinalidad, es ortonormal
S es ortogonal y x = 1 A
x , x = , , A .
x
x
es
A
yn
yn
construible segn S0 = un =
L , donde
nI
n 1
{ x , x }
k
.
y = xn , y
y L /
n =1
+ y xn , y xn
, x n S n I
n =1
y xn , y , xn S n I
n =1
a) Desigualdad de Bessel: y L /
y xn , y , xn S n I
2
nI
b) y L : lim xn , y =0, xn S n I
n
c) y, z L /
nI
y, xn
xn , z y z , xn S n I .
S = { x } A L ,
( L, , ) ,
Dados
CF( x , S ) = { x , x
conjunto
ortonormal
de
L,
k
, conjunto de las componentes de Fourier de un
S ( x ) = { x S /
x , x 0} A =
card S ( x ) = card { x S /
{ xn }nJ
y xn , y , lim xn , y =0, xn S ( x ) n J
y L /
nJ
(para y = x ) x
xn , x ,
2
lim xn , x = 0,
n
nJ
y z y, xn
y, z L /
nJ
, xn S ( x ) n J
xn , z
x z x, xn
(para y = x ) z L /
xn S ( x ) n J
, xn S ( x ) n J .
xn , z
nJ
nI
=y
n n
= n = xn , y
nI
(Identidad de Parseval)
nI
x ,x }C
nI
convergente
( x,S )
F 0
x
nI
x =
nI
n n
nI
n n
convergente ;
xn , x xn
fuera
nI
x
nI
n n
= y,
entonces
y = xn , y
2
nI
= n = xn , x
2
nI
x ,
con
nI
xn , x = xn , y = n n I .
-Nota 2: En particular, en espacios eucldeos completos (hilbertianos), s se tiene la
2
doble implicacin n convergente
n xn convergente ; adems, si S no es
nI
nI
un conjunto ortonormal numerable cualquiera, sino una base ortonormal numerable,
entonces se tendr garantizado y = x en las frmulas de la anterior nota 1, esto es,
nI
xn , x xn = x ,
nI
xn , x
= x .
2
Bases ortonormales
Definicin: Una base ortonormal de L es un conjunto B L ortonormal
maximal (esto es, B L es conjunto ortonormal y S L conjunto
ortonormal / B S ).
Todo conjunto ortonormal puede ampliarse a base ortonormal.
{}
{}
Definicin: Un conjunto ortonormal S L es un conjunto total S = 0 .
Un conjunto B L es base ortonormal de L B es un conjunto total.
{}
{ e ,x }
n =1
n =1
B.
d) dim H L = dim L .
-Notas:
1) Si L es completo (cualquier dimensin) dim L dim H L .
2) L completo (Banach) con dim L = 0 .
3) En general, puede ser dim L > dim H L (i.e.: lo es para L completo con
dim H L 0 ).
Interrelaciones en un eucldeo
En un ( L, , ) , espacio eucldeo general, se tiene:
{}
L 0 espacio eucldeo
b.o. de L
S , si , es b.o. de L
L=S
x, y L : x, y =
x L : x =
2
xn , x
xn S ( x )
x, xn
x L : x =
xn , y
xn , x xn
xn S ( x )
xn S ( x ) ( S ( y ) )
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-Nota: En todas las series que aparecen se cumplen los requisitos que garantizan que la
convergencia de las mismas, y en su caso el valor de la suma, no se ven afectados por
reordenaciones.
-Nota sobre terminologa:
Algunos autores definen, alternativamente:
{}
1) Un conjunto ortonormal completo como aqul S tal que S = 0 (aqu: cuando
S = 0 , entonces S es un conjunto ortonormal total).
{}
L = [ S ] (aqu: lo
dim H L 0 .
-------------------------------------------------------------------------------------
{}
L 0
un S0 L , conjunto
L = S
Interrelaciones:
es b.o.n. de L
x L : x = xn , x
2
L = S0
xn
x, y L : x, y = x, xn
x L : x = xn , x xn
xn , y
xn
xn
Espacio de Hilbert
Definicin: Dado un espacio eucldeo o pre-hilbertiano ( L, , ) , constituye
un espacio de Hilbert es completo respecto de la topologa inducida por
el producto escalar toda sucesin de Cauchy es convergente.
x, x
x L , es espacio de Banach.
Complecin
Definicin: Dado L = ( L, , ) espacio eucldeo no completo, se define una
complecin del mismo como un espacio L> ( L> , , > ) tal que:
a) L> es espacio completo, esto es, hilbertiano.
b) Contiene un subconjunto L0 denso en L> , esto es, L0 = L> .
c) ( L0 , , > ) es isomorfo en producto escalar con ( L, , ) , L0 L .
Todo espacio eucldeo admite una complecin, nica salvo isomorfismos
en producto escalar.
Ejemplos
(k n , 2 ) , donde x (1 , , n ), i k i {1, , n} y
i =1
1
2
i =1
2
i
2 2
< , lk < k , con x 2 = i , es espacio Hilbert (separable).
iI
10
Subespacio de Hilbert
Dado M H
( M , , ) es espacio de Hilbert
-Observacin: Dados H
y M H , M < H , no siempre ( M , , ) es un
espacio de Hilbert.
Propiedades
A H , A es cerrado A H , A es completo.
11
entonces:
a)
nI
b) Dado
( en L, H )
convergente
( en H )
nI
n n
y = n = = xn , y
2
nI
nI
xn , x = xn , y n I ,
= xn , y
= y , entonces
2
(identidad de Parseval)
nI
nI
b) y
convergente
n n
nI
x H se tiene
nI
= yH /
xn , y = n n I ;
a)
lim xn , x = 0 .
n
= xn , x
nI
Teorema de Riesz-Fisher
Teorema de Riesz-Fisher ( las bases ortonormales de H expanden H ):
Dado el conjunto ortonormal B = { x } A H , B es base ortonormal de H
[ B] = H .
no es base lineal de H .
Dado H / dim H H
H,
dim H > 0 .
H / dim H = 0
Dado
12
finita)
Isomorfismos
H1
H1
H2
H 2 , dim H H1 = dim H H 2
Interrelaciones en un Hilbert
En un H ( L, , ) , espacio de Hilbert (no necesariamente
separable), se tiene:
{}
H 0 espacio de Hilbert
al menos una),
interrelaciones:
se
B H , base ortonormal de H (y
cumplen
las
siguientes
propiedades
B es b.o. de H
H = [ B]
x, y H : x, y =
x H : x =
2
xn , x
xn B( x )
x, xn
x H : x =
xn , y
xn B( x ) ( B ( y ) )
xn B ( x )
13
xn , x xn
{}
{}
H 0
espacio
de
Hilbert
separable
B H ,
base
B0 es b.o.n. de H
x H : x = xn , x
2
H = B0
x, y H : x, y = x, xn
xn
x H : x = xn , x xn
xn , y
xn
xn
14
! xM M
yM
x xM = d ( x, M ) ( xM xM ( x) )
yM
, y xM / ( x y ) M
c) x M xM = x ( d ( x, M ) = 0) .
b) ( x xM ) M ;
d) Corolario 1: H = M M
e) Corolario 2: M = M .
-permite demostrar fcilmente el anterior teorema de Riesz-Fisher.
Un enunciado alternativo, en trminos de proyectores ortogonales, sera:
M ( PM + PM = I ; H = M M ; PM x = xM x H ).
Dados H y sus subconjuntos no vacos A, M , B :
A < H ( A = A ; A = H A = 0 )
M H ( M = M ; M = H M = 0 )
{}
{}
A = [ A]
( en L , H )
[ A] = H
( en H )
{}
A = 0
A H, B H, A B A+ B H .
(M )
(M )
x xopt
x y y M , siendo x xopt
la distancia del
(M )
vector x al subespacio M , d ( x, M ) = x xopt
.
(M )
-Nota: por ser M H , est garantizada la existencia y unicidad de xopt
.
15
Dados M H y x H
(M )
xopt
= PM x = xM .
el subespacio M = [ S ] H
(M )
xopt
= PM x = xM = xn , x x n .
nI
x S
(M )
opt
(x
x , x x .
(x)
2:
/ x = PM x = xM =
(base
x B
x S
S = B b. o.
Si
( M = [ S = B] = H )
x H
x = PM x = xM =
x , x x
( x)
ortonormal)
de
x , x x .
(x)
y M H
( PM + PM = I ; H = M M ) tal que x H
es PM x = xM =
nI
xn , x xn con
card I 0
(M )
de M tiene la expresin: xopt
= PM x = xM =
Corolario: Si
S = B b. o. n.
nI
xn , x x n .
PM x = xM =
xn B
por elementos
( M = [ S = B] = H )
x H se tiene x =
xH
16
xn , x xn .