MTODOS MATEMTICOS

ESPACIOS DE HILBERT Y OPERADORES LINEALES

Profesora: M Cruz Bosc

TEMA 2: ESPACIOS EUCLDEOS Y DE HILBERT

Sea un espacio lineal L (X, +, ) sobre el cuerpo k .

Producto interno o escalar y espacio pre-Hilbert

Definicin: Una producto escalar o interno , sobre L es una aplicacin

, : L L k , tal que satisface los axiomas:

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.

( L, , ) es espacio normado, ( L,

) , con la norma derivada del producto

escalar segn x = +

x, x

x L .

Sea un espacio pre-Hilbert L ( L, , ) y sea

la norma inducida:

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

M.C. Bosc, U. de Granada

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 .

ngulo entre dos vectores: Si k = , entonces el ngulo entre dos

vectores no nulos de L se define segn cos =

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 =

Ley del paralelogramo:

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

satisface la ley del paralelogramo.

Y, entonces, , queda definido por la identidad de polarizacin. Y este
producto interno induce la norma especfica del espacio normado de
partida: un espacio normado admite, en su caso, una nica estructura
eucldea.
Un espacio eucldeo es un espacio normado cuya norma satisface la ley
del paralelogramo.

, es una funcin continua.

Sean xn e yn dos sucesiones de Cauchy en ( L, , )

xn , yn es sucesin

de Cauchy en k .

Definicin: Dos espacios pre-Hilbert L1 ( L1 , , 1 ) y L2 ( L2 , , 2 ) son

isomorfos en producto escalar T : L1 L2 , aplicacin lineal de L1 en L 2 ,

tal que:
a) T es un isomorfismo entre los espacios lineales.
b) T preserva el producto escalar: Tx, Ty 2 = x, y 1 x,y L1 .
Dos espacios eucldeos son isomorfos en producto escalar
isomorfos en norma.

son

-Notacin: L1 L2 .
Todos los espacios eucldeos de igual dimensin finita n son isomorfos
entre s topolgica y mtricamente.

M.C. Bosc, U. de Granada

Sea un espacio pre-Hilbert L ( L, , ) y sea

la norma inducida:

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 .

Definicin: Dos subconjuntos S1 L y S 2 L son mutuamente

ortogonales

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

es convergente, con suma

nI

x
nI

= xn

nI

Dado S = { x } A L , conjunto ortogonal, S es conjunto linealmente

independiente 0 S .

M.C. Bosc, U. de Granada

Definicin: Sea un subconjunto A L, A . Se define su complemento

ortogonal A como el subconjunto A = { x L / x y y A} L .

Dado A L, A A L .
Dados A L, A y B L, B

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 ,

PMM1 2 PM1 : L M 1 , se dice que es un proyector ortogonal M 1 M 2 .

Dados un proyector ortogonal P y el operador identidad I en L el
operador I P es proyector ortogonal con recorrido R ( I P ) = ker P y ncleo
ker ( I P ) = R ( P ) .

{}


Todo proyector ortogonal PM es continuo y, sii M 0 , de norma unidad.

Dado P proyector ortogonal en L

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 .

-Nota: Obsrvese que, dado un M L , no est garantizado que exista un proyector

ortogonal PMM , o sea, no siempre se tendr L = M M (algo que s ocurre cuando el
espacio es completo, esto es, un Hilbert).

M.C. Bosc, U. de Granada

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 .

Dado S = { x } A L , conjunto ortonormal S es conjunto linealmente

independiente.

Dado S = { x } A L , conjunto ortonormal 0 S .

x
x

Dado S = { x } A L , conjunto ortogonal, 0 S , entonces S0 =

es
A

conjunto ortonormal S0 es conjunto linealmente independiente.

Mtodo de ortonormalizacin de Gram-Schmidt:
Dado S = { xn }nI L , card I 0 , conjunto linealmente independiente,
entonces existe un conjunto ortonormal S0 de la misma cardinalidad,

yn
yn

construible segn S0 = un =

L , donde
nI

n 1

y1 = x1 ; yn = xn u k , xn uk , n > 1, n I , y que es tal que [ S0 ] = [ S ] .

k =1

Definicin: Dados un conjunto ortonormal S = { x } A L y un vector

x L , se definen las componentes de Fourier del vector x respecto al

conjunto ortonormal S como el conjunto de escalares x , x k , A ,
notndose CF( x , S ) =

{ x , x }

k
.

Dado un espacio eucldeo L y un subconjunto ortonormal finito del

mismo, S = { xn }nI L , card I = m, m y finito, entonces
a)

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

b) Desigualdad de Bessel finita: y L /

n =1

Dado ( L, , ) y un subconjunto ortonormal a lo sumo numerable del

mismo, S = { xn }nI L , card I 0 , entonces :
2

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

M.C. Bosc, U. de Granada

y, xn

xn , z y z , xn S n I .

-Nota: Obsrvese que el conjunto de escalares xn , u k , n I , no son sino las

componentes de Fourier del vector u respecto al conjunto ortonormal S = { xn }nI L .

S = { x } A L ,

( L, , ) ,

Dados

CF( x , S ) = { x , x

conjunto

ortonormal

de

L,

k
, conjunto de las componentes de Fourier de un

vector x L respecto a S , entonces

S ( x ) = { x S /

x , x 0} A =

card S ( x ) = card { x S /

{ xn }nJ

S es numerable, esto es:

x , x 0} A = card { xn }nJ = card J 0 y

card C(Fx, S0) = { x , x CF( x , S ) / x , x 0}

0 ; C(Fx, S0) CF( x , S ) k .

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

Dados ( L, , ) , S = { xn }nI L, card S 0 , conjunto ortonormal de L a

lo sumo numerable, y C = {n }nI k , conjunto de escalares de igual

cardinalidad que S , entonces, si y L /

nI

=y

n n

(esto es, si la serie

converge en L con suma y )

a) n = xn , y n I
b) y

= n = xn , y

nI

(Identidad de Parseval)

nI

x ,x }C

-Nota 1: Obsrvese que, en general,

adems, y aun aunque

nI

convergente

( x,S )
F 0

x
nI

x =
nI

n n

nI

n n

convergente ;

xn , x xn

fuera

convergente, su suma podra ser y L , y = n xn = xn , x xn x , tenindose

nI

nI

entonces, segn la identidad de Parseval y la desigualdad de Bessel, que, dado

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

M.C. Bosc, U. de Granada

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.

{}


Todo espacio eucldeo L ( L, , ) , L 0 , posee al menos una 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.

Todas las bases ortonormales de un espacio pre-Hilbert o eucldeo tienen

la misma cardinalidad.

Definicin: La dimensin ortogonal o hilbertiana de un espacio eucldeo se

define como el cardinal de sus bases ortonormales: dim H L = card B ,
B base ortonormal de L .

Por convenio, si L = 0 , entonces dim H L = 0 .

{}

Dado ( L, , ) con dim L 0 (dimensin lineal)

a) Dado S = { xn }nI L , card I = dim L , base de Hamel de L , el

conjunto S0 = {un }nI L , obtenido a partir del S mediante el mtodo de

ortonormalizacin de Gram-Schmidt, es b.o.n. de L .
b) Toda base ortonormal es base de Hamel.
c) una base ortonormal numerable ( b.o.n), B = {en }nI , con
m

card B = card I 0 , tal que x L m( x) N , m finito / x = en , x en , donde

{ e ,x }

n =1

n =1

son las componentes de Fourier del vector x respecto a la base

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 ).

M.C. Bosc, U. de Granada

Interrelaciones en un eucldeo
En un ( L, , ) , espacio eucldeo general, se tiene:

{}


L 0 espacio eucldeo

un B base ortonormal de L , y puede

un S L , conjunto ortonormal (si , es tambin base

ortonormal) para el que se cumplen las siguientes propiedades e
interrelaciones:
B

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).

{}

2) Una base ortonormal como un conjunto ortonormal tal que

L = [ S ] (aqu: lo

primero, un conjunto ortonormal maximal; lo segundo, un conjunto S que expande L).

3) Un conjunto ortonormal cerrado S como aqul tal que L = [ S ] .

-Nota sobre convergencia de las series:
En todas las series que aparecen en espacios normados y eucldeos, se satisfacen
siempre, en cada caso, las condiciones que garantizan que ni la convergencia ni el valor
de la suma quedan afectados por reordenaciones de trminos en la serie.

M.C. Bosc, U. de Granada

Espacio eucldeo separable

Definicin: ( L, , ) es separable existe un subconjunto no vaco a lo
sumo numerable denso en L :
L es separable D L , D , card D 0 / D = L .
Dados ( L, , ) separable y S L conjunto ortogonal (u ortonormal )

S es a lo sumo numerable: card S 0 .

Dado ( L, , ) separable

dim H L 0 .

La separabilidad es un invariante topolgico.

-------------------------------------------------------------------------------------

Interrelaciones en un eucldeo separable

En un ( L, , ) eucldeo separable (no necesariamente
completo) se tiene:

{}


L 0

espacio eucldeo separable

un S0 L , conjunto

L = S

ortonormal a lo sumo numerable ( card S0 0 ) /

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

M.C. Bosc, U. de Granada

Sea un espacio lineal L (X, +, ) sobre el cuerpo k .

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.

-Nota: algunos autores definen un Hilbert requiriendo, adems, la separabilidad del

espacio; otros, tambin, una dimensin lineal no finita.

( L, , ) es espacio de Hilbert ( L,

) , con la norma derivada del

producto escalar segn x = +

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

es espacio Hilbert (separable).

lk2 (lk2 ,

2 ) , donde lkp  k , es el subconjunto de las sucesiones

de cuadrado sumable, esto es, de las sucesiones

x { i }i =1 = (1 , 2 , , n ,), i k i I = {1, 2, , n,} , card I = 0 , tales que

i =1

2
i

2 2
< , lk < k , con x 2 = i , es espacio Hilbert (separable).
iI

M.C. Bosc, U. de Granada

10

Sea un espacio de Hilbert H ( L, , ) y sea

la norma inducida:

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.

Definicin: Dado H , sea un M H , M < H , tal que M = M , entonces el

( M , , ) constituye un subespacio de Hilbert, o

subespacio hilbertiano, M H , del H original.
espacio de Hilbert

Propiedades
A  H , A es cerrado A  H , A es completo.

Dado H , A < H A H ( A, , ) es (sub)espacio de Hilbert.

Dado H , M < H / dim M = n (finita) M H ( M , , ) es (sub)espacio de
Hilbert.
Dado H , M < H / dim M = n (finita) M = M .
Dado A H , A A H .

M.C. Bosc, U. de Granada

11

Conjuntos ortonormales en un Hilbert

S = { xn }nI H , card I 0 , conjunto ortonormal a lo sumo
numerable en H :
Dado C = {n }nI k , conjunto de escalares de igual cardinalidad que S ,
Dados

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

xn , x xn = y , con y H tal que:

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

(a partir de la desigualdad de Bessel)

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 , esto es, B expande H .

(Riesz-Fisher 2) Lpk ([ a, b ]) (Lpk ([ a, b ]) ,

p ) , p 1 , es completo (tema 3).

Nota: Por tanto, en un espacio de Hilbert todos las proposiciones en el diagrama

correspondiente (comparar pginas 8 y 13) estn interconectadas por , y todas las
bases ortonormales

en el espacio las satisfacen.

Teorema: B c. ortonormal de H es base ortonormal de H

[ B] = H .

Relaciones entre dimensiones

Dado

B = { x }A H , card A 0 , base ortonormal no finita en H

no es base lineal de H .
Dado H / dim H H

0 dim H > dim H H .

dim H H = 0 ( H separable con dimensin no

H,
dim H > 0 .
H / dim H = 0
Dado

M.C. Bosc, U. de Granada

12

finita)

Isomorfismos
H1

Dados dos espacios de Hilbert

H1

H2

H 2 , dim H H1 = dim H H 2

son isomorfos en producto escalar.

Para cada cardinal , en su caso, un nico espacio de Hilbert (o sea:

puede existir o no, pero si existe, es nico, salvo isomorfismos isomtricos).

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 ) )

M.C. Bosc, U. de Granada

xn B ( x )

13

xn , x xn

Espacio de Hilbert separable

{}

Caracterizacin: Un espacio de Hilbert H 0 es separable existe una

base ortonormal a lo sumo numerable del mismo.

-Nota: recordar la definicin: H es separable D H , D , card D 0 / D = H .

La separabilidad es un invariante topolgico.
Todo espacio de Hilbert separable con dimensin hilbertiana infinita es
isomorfo isomtricamente con el espacio de Hilbert lk2 .

Dado H espacio de Hilbert separable, M H ( M , , ) es espacio de Hilbert

separable.
-Nota: En general, dado ( X , d ) separable todo A X es separable.
------------------------------------------------------------------------------------Postulado I de la Mecnica Cuntica: A cada sistema fsico que se pretenda
describir en el marco de la MC, se le hace corresponder un espacio de Hilbert H complejo
( k = ) y separable.
-------------------------------------------------------------------------------------

Interrelaciones en un Hilbert separable

En un H ( L, , ) , espacio de Hilbert separable, se tiene:

{}

H 0

espacio

de

Hilbert

separable

B H ,

base

ortonormal (y al menos una, y toda base de H ha de ser finita o

a lo sumo inf. numerable: b.o.n., con card B0 0 ), se cumplen las
siguientes propiedades e interrelaciones:

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

M.C. Bosc, U. de Granada

14

Teorema de proyeccin ortogonal

Teorema de proyeccin ortogonal:
Dados H (no necesariamente separable) y M H , y definida x H la
distancia de x a M segn d ( x, M ) = inf x y , entonces x H
a)

! 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:

Dados H y M H ! PM PMM , proyector ortogonal en la direccin de

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 .

Aproximacin ptima a un vector

Definicin: Dado un conjunto A = { x } C L , C conjunto indicial de
cualquier cardinalidad, subconjunto de un espacio normado ( L, ) , si
existe y es nico, se define la aproximacin ptima a un vector x del
espacio L en trminos de los vectores de A L como el vector
( A)
( A)
xopt
A L / x xopt
x y y A , pudiendo entonces definirse la
( A)
distancia del vector x al conjunto A como el real d ( x, A) = x xopt
.

Definicin: Dado un subespacio M H , se define la aproximacin ptima

a un vector x del espacio H en trminos de M como el vector
(M )
xopt
M 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
.

M.C. Bosc, U. de Granada

15

Dados M H y x H

(M )
xopt
= PM x = xM .

Dados S = { xn }nI H , card I < 0 , conjunto ortonormal finito en H , y

el subespacio M = [ S ] H

(M )
xopt
= PM x = xM = xn , x x n .
nI

-Nota: en dimensin finita: M = [ S ] = [ S ] H .

Dado S = { x } A H , conjunto ortonormal en H (sin restriccin sobre

card A ), y sea M = [ S ] H x H es x opt = PM x = xM =

(M )

x S

(M )
opt

(x

x , x x .

(x)

es la aproximacin ptima a x en trminos de vectores de M ).

-Nota: Obsrvese que los escalares

x , x k son las componentes de Fourier del

vector x respecto al conjunto ortonormal S , y recurdese que se tiene

S ( x ) = { x S / x , x 0} I = { xn }nJ S / card S ( x ) = card { xn }nJ = card J 0 .
Corolario 1: Dado x M = [ S ]
Corolario

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)

Teorema de proyeccin y aproximacin ptima en un

Hilbert separable
Dados H separable

y M H

! proyector ortogonal PM PMM

( PM + PM = I ; H = M M ) tal que x H

es PM x = xM =

nI

xn , x xn con

xM M , card I 0 y { xn }nI = B 0 b. o. n. , base ortonormal numerable de M.

Dados H separable, M H y una b.o.n. de M , B ( M ) = { xn }nI H ,

card I 0

la aproximacin ptima a un vector

(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

M.C. Bosc, U. de Granada

por elementos

(base ortonormal numerable) de

( M = [ S = B] = H )

x H se tiene x =

xH

16

xn , x xn .