UNA APROXIMACIN A LA TEORIA DE LOS

ESPACIOS DE
HILBERT



























Carlos S. Chinea
Marchena, dic, 2000






DIVULGACIN DE LA MATEMTICA EN LA RED




ESPACI OS DE HI LBERT




1. DEFI NI CI N DE ESPACI O DE HI LBERT:

1.1. I nt r oduccin: Espacios Vect oriales. Base y dimensin. Mt rica.
Mt rica euclidiana. Mt rica euclidiana ordinaria.
1.2. Espacios prehilbert ianos. Espacios euclidianos. Espacios de Hilbert .
1.3. Bases en un espacio de Hilbert . Teorema Fundament al. I dent idades
de Bessel- Parseval.
1.4. Unicidad de las bases.



2. UN EJEMPLO DE ESPACI O DE HI LBERT:

2. 1. Las funciones de cuadrado sumable en un int ervalo cerrado como
espacio vect or ial.
2. 2. Las funciones de cuadrado sumable en un int ervalo cerrado como
espacio prehilbert iano.
2. 3. Teorema de complet it ud de Fischer- Riesz.


3. BI BLI OGRAF A DE AMPLI ACI N.






- - - oo0oo- - -























1. I NTRODUCCI N A LOS ESPACI OS DE HI LBERT:

1.1. Espaci os Vect or i al es. Base y di mensi n:

Se dice que el gr upo conmut at ivo ( V, + ) es un espacio vect or ial sobre el cuerpo
( K, + , . ) , y se puede represent ar por ( V; K) , si se verifica que exist e una ley de
composicin ext erna, . , definida desde

V KxV
est o es, t al que
V x V x K . ,
cumpliendo las condiciones:

a) Dist ribut ividad mixt a del product o de element os de K por suma de
element os de V:

y x y x VxV y x K . . ) .( , , , + +

b) Dist ribut ividad mixt a del product o de element os de V por suma de
element os de K:

x x x V x KxK . . ). . ( , , , + +

c) Asociat ividad mixt a de element os de K por element o de V:

) . .( ). . ( , , , x x V x KxK

d) Exist encia de element o uno del cuerpo K:

x x V x K . 1 , / 1
Se llaman escal ar es a los element os del cuerpo, y vect or es a los element os del
grupo conmut at ivo.

Se def inen los conj unt os de vect or es es linealment e independient es:

0 ... 0 ... _ , ,... ,
1 2 2 1 1 2 1
+ + +
n n n
n
n
x x x ntes independie e linealment V x x x

Se definen los conj unt os de vect or es que gener an a t odo el espacio vect or ial:

x x a x a x a K V x s generadore V x x x
n n n
n
n
+ + + . ... . . / ... , , ,... ,
2 2 1 1 , 2 1 2 1


Una base es un conj unt o de vect ores que es linealment e independient e y, t ambin,
sist ema de generadores del espacio vect orial.

Se prueba que en un espacio vect orial dado t odas sus bases t ienen el mismo
nmero de vect ores, que definen la dimensin del espacio. Cuando el nmero de
vect ores de las bases es finit o, se dir que el espacio es de dimensin finit a, en
caso cont r ar io, se dice que es un espacio de dimensin infinit a.

En un espacio de dimensin finit a, n, se cumple que el nmero mximo de
vect ores linealment e independient es coincide con la dimensin del espacio.



1.2. Mt r i ca. Mt r i ca eucl i di ana. Mt r i ca eucl i di ana or di na r i a.

Una mt rica en un espacio vect orial ( V; K) es una dist ancia o medida, est o es, una
cor r espondencia t al que a cada par de vect or es le cor r esponde una medida. La
definicin de una medida o dist ancia puede hacerse desde la definicin de una
operacin de VxV en K, est o es, una composicin o product o int erior de element os
del espacio que da como result ado un element o del cuerpo de definicin del
espacio:

K y x VxV y x
K VxV


, ,
:


donde se ha llamado a la operacin que define el pr oduct o int er ior y, por t ant o,
la mt rica.

Una mt rica se dice euclidiana, si el product o int erior cumple las siguient es
condiciones:

1) Conmut at ividad:
x y y x V y x , ,
2


2) Dist ribut ividad con respect o a la suma vect orial:

z x y x z y x V z y x + + ) ( , , ,
3


3) Asociat ividad mixt a:

) . ( ) . ( ) .( , , ,
2
y x y x y x K V y x

4) Definicin posit iva:

0 , x x V x

5) No degeneracin:

0 0 x x x

Se llama mt rica euclidiana ordinaria a aquella mt rica definida por la condicin de
ort onormalidad de la base:

Si son los vect or es
i i
e x x .

j j
e y y . , se t iene:

( ) ( )

+ + + +
i i n n j i j i j j i i
y x y x y x y x e e y x e y e x y x V y x . ... . ... . . , ,
2 2 1 1
2

( t rivialment e puede comprobarse que verifica las cinco condiciones ant eriores para
las mt ricas euclidianas)

En los prrafos que siguen represent aremos el product o int erior euclidiano por un
parnt esis en el que figuran los dos vect ores separados por una coma, es decir, el
pr oduct o int er ior de los vect or es a y b se r epr esent ar :
) , ( b a b a

En general, para una mt rica euclidiana cualquiera, en cualquier base { e
n
} :

( )


j i
ij
j i j i j j i i
y x g e e y x y x e y y e x x V y x ) ,. ( . , , . . / ,
2


( )


j i
ij
y x g y x V y x , , ,
2


siendo g
i j
=e
i
. e
j
, la mt rica definida en el espacio, y G = (g
i j
) la mat riz mt rica. En
el caso de la mt rica euclidiana ordinaria, la mat riz mt rica es la mat riz ident idad.

Y la dist ancia euclidiana ent r e dos vect or es, x e y, se define por
[ ] ) ( ), ( ) , (
2
y x y x y x d , est o es, si los vect ores son de la forma
,...), ,..., , ( ,...), ,..., , (
2 1 2 1 n n
y y y y x x x x se t iene:

) ).( ( ) , (
2
j j i i
ij
y x y x g y x d , y, para una mt rica euclidiana ordinaria, es

2
2 2
) ( ) )( ( ) , (
i i i i i i i i
y x y x y x y x y x d



Si en un espacio euclidiano ordinario V definimos la norma y el mdulo de un vect or
por


+
n
i
i
n
i
i
x x x x x Mdulo x x x x Norma
1
2
1
2
) , ( ) ( ) , ( ) (
se verifican, t rivialment e los t eoremas bsicos:

( ) y x y x . , ( de Schwar t z)
y x y x + + ( de Minkowski)
x m mx .




1.3. Espaci os pr ehi l ber t i anos. Espaci os eucl i di anos. Espaci os de
Hi l ber t :

Un espacio prehilbert iano es un espacio vect orial con mt rica euclidiana. Si el
espacio prehilbert iano es finit odimensional, se dir ent onces que es un espacio
euclidiano de n dimensiones.

Para est ablecer el concept o de espacio de Hilbert , aclaremos qu hemos de
ent ender por sucesin conver gent e de vect or es de un espacio mt r ico, y qu
debemos ent ender por sucesin de Cauchy de vect or es de un espacio mt r ico.

Sucesin conver gent e de vect or es de un espacio mt r ico:

Una sucesin de vect or es { x
n
} { x
1
, x
2
, . . . , x
n
, . . . } del espacio mt rico (V; K) se
dice conver gent e hacia l si se verifica que, dado un escalar posit ivo, por muy
pequeo que fuera, , exist e un nmero nat ural N t al que par a t odo n N, es d( l,
x
n
) < .

El vect or l se dice que es el limit e de la sucesin conver gent e, y se designa en
general por lim x
n
= l,
O bien, por lim d( l, x
n
) = 0.


Sucesin de Cauchy de vect or es de un espacio mt r ico:

Llamaremos Sucesin de Cauchy a t oda sucesin { x
n
} { x
1
, x
2
, . . . , x
n
, . . . } que
cumple la condicin de que cualquiera que fuera el escalar posit ivo , y por muy
pequeo que fuere, exist e siempre un nmero nat ural N t al que para dos nat urales,
p, q, mayores o iguales a N, se verifica que la dist ancia ent re los vect ores x
p
y x
q
,
est o es, d( x
p
, x
q
) , es menor que . O sea, lim d( x
p
, x
q
) = 0.

Haciendo uso de la Desigualdad Triangular de la mt rica euclidiana, se prueba
t rivialment e el siguient e t eorema:

Teorema 1:

Toda sucesin conver gent e es sucesin de Cauchy.

En ef ect o:

Cauchy de es x
x x d x l d l x d x x d
x l d l x d x x d
x l d
x l d e convergent x
m
q p q p q p
q p q p
m
m m
} {
0 ) , ( lim 0 0 0 ) , ( lim ) , ( lim ) , ( lim
) , ( ) , ( ) , (
0 ) , ( lim
0 ) , ( lim } {

+ +

'

Sin embargo, el t eorema recproco no siempre es ciert o. Cuando lo es, es decir,
cuando t oda sucesin de Cauchy de vect or es del espacio es, t ambin, una sucesin
conver gent e de vect or es del espacio, se dir que t al espacio es compl et o.

Los espacios prehilbert ianos euclidianos, es decir, los espacios con mt rica
euclidiana finit odimensionales, son, efect ivament e, espacios mt ricos complet os,
pues en ellos t oda sucesin conver gent e es de Cauchy y t oda sucesin de Cauchy
es conver gent e.

Vemoslo en el siguient e t eorema , para una mt rica euclidiana ordinaria, usando el
cr it er io gener al de conver gencia de Cauchy par a sucesiones de escalar es.

Teorema 2:

Todo espacio mt rico euclidiano ordinario es complet o.

En ef ect o:

Sean dos vect or es

i
i
p p
e x x . y

i
i
q q
e x x . . Se t iene:

i
i
q
i
p q p
e x x x x ). (

[ ]


2
2
) ( ), ( ) , (
i
q
i
p q p q p q p
x x x x x x x x d

por t ant o,

a e a e x x
a x K a x x x x x x d
i
i
i
i
n n
i i
n
i i
q
i
p
i
q
i
p q p

< < <

lim lim
lim / ) , (
2



por t ant o, la sucesin { x
n
} de Cauchy, conver ge hacia a.

Pero no t odos los espacios prehilbert ianos infinit odimensionales son complet os.

Llamaremos Espacio de Hilbert a un espacio prehilbert iano complet o.

Los espacios de Hilbert engloban, pues, a los espacios euclidianos como caso
part icular.



1.4. Bases en un espaci o de Hi l ber t . Teor ema Fundament al .
I dent i dades de Bessel- Par sev al :

Aunque en los espacios euclidianos se cumple que el nmero mximo de vect ores
linealment e independient es es, precisament e, el nmero de dimensiones del
espacio, y una base cualquiera t iene un nmero de component es igual a t al nmero
de dimensiones, no ocurre lo mismo en los espacios de Hilbert en general, lo cual
exige una pr ecisin del concept o de base y de coor denadas en est os espacios, de
modo que al part icularizar a los espacios euclidianos, finit odimensionales, coincida
con el concept o de base y coor denadas en est os espaci os.

En un espacio H de Hilbert , se t iene que una sucesin cualquiera de vect ores
ort onormalizados no es necesariament e una base de H, es decir, si para x H
const ruimos los escalares x
i
= (x, e
i
) , no se puede asegurar que la suma sigui ent e

1
.
i
i
i
e x
sea convergent e y que su suma sea x. Est o es, no se puede asegurar que

1
. ,
i
i
i
e x x H x
Es preciso est udiar, ent onces, qu condiciones habran de cumplir los vect ores { e
i
}
para que const it uyan una base del espacio H.

Se llama Sist ema Tot al en H a un sist ema { e
i
} de vect ores linealment e
independient es de H t ales que verifican:
0 0 . , x e x H x
i

O bien, con la not acin del parnt esis:

0 0 ) , ( , x e x H x
i


Veamos un a cont inuacin un t eorema previo al t eorema fundament al:

Teorema 3:

Sea la sucesin, { b
n
} , de nmeros reales no negat ivos de la forma:

n
i
i
n
x b
1
2

Sea t ambin, la sucesin de vect or es { a
n
} engendrados por el sist ema { e
i
} , que
podemos suponer ort onormal:

1
.
i
i
i
n
e x a
Se verif ican ent onces, t r es desigualdades, que usando la not acin del par nt esis
para el product o int erior, son :

a) ( ) ( ) ( ) 0 , , ,
n n n n n
b a a x a a x

b) 0 ) , ( ) , ( ) , (
2

n n n n
b x x a x a x a x d

c) ) ( 0 ) , (
2
p q b b a a d
q p q p
<

En ef ect o:
a) ( ) ( )
n
n
i
n
i
i i i
n
i
i
i
n
i
i
i
n
b x x x e x x e x x a x



,
_

1 1
2
1 1
. . , . , ,

n n n
b a x x a ) , ( ) , (




n
j i
n
i
n
i
n
i
i i
ij
j i
n
j i
j i
j i
n
j
j
j
n
i
i
i
n n
b x x x x x e e x x e x e x a a
, 1
2
1 , 1 1
. . ) , ( . ) . , . ( ) , (

b)
0 ) , (
) , ( ) , ( ) , ( ) , ( ) , ( ) , ( ) , (
2

+ +
n
n n n n n n n n n n
b x x
b b b x x a a x a a x x x a x a x a x d


c)
0 . . , . ) , ( ) , (
2
2

,
_

p
q i
q p
i
ij
j
p
q i
i
p
q i
p
q i
j
j
i
i
q p q p q p
b b x x x e x e x a a a a a a d


Teorema 4 ( Teorema Fundament al) :
Un Sist ema Tot al, { e
i
} de H, es una base de H. Est o es, se verifica que la serie

1
.
i
i
i
e x es conver gent e y su suma es x

1
. ,
i
i
i
e x x H x
En ef ect o:

- Veamos en primer lugar que la sucesin de escalares { bn} es convergent e:

De la desigualdad b) del ant erior t eorema, se t iene que ) , ( x x b
n
, lo cual
indica que { }
n
b es una sucesi n acot ada, con lmit e inferior o igual a la cot a,
por el cr it er io M de Weier st r ass. Por t ant o, es una sucesin conver gent e.

- Veamos ahora que la sucesin de vect ores { a
n
} es t ambin convergent e:
Al ser { }
n
b conver gent e, se t iene que
2
, , , / , 0 < >
q p
b b N q p Z q p Z N
( ) p q <

De est a desigualdad y de la desigualdad c) del t eorema ant erior:

{ }
n q p q p q p
a a a d b b a a d < < ) , ( ) , (
2 2
sucesin de Cauchy, y por
ser H espacio mt rico complet o, es { }
n
a es conver gent e.


- Veamos finalment e que el limit e de convergencia de la sucesin { a
n
} es el
vect or x:

Llamemos a al lmit e de la sucesin { }
n
a . Y probemos que a = x.
( ) ( ) ( ) 0 , , , , ,
1

,
_

j j
n
i
j i
i j
j n j j n
x x e e x x e a e x e a x n j
Es decir, ( ) 0 ,
j n
e a x , por lo que, en el lmi t e:
( ) ( ) ( ) a x a x e a x e a x e a x
j j n j n
0 0 , , lim , lim

que demuest ra el t eorema.


Corolario 1 ( I dent idades de Bessel- Parseval) :

Se obt ienen inmediat ament e las dos ident idades:

a) ( )

1
2
,
i
i
x x x
b) ( )

1
. ,
i
i i
y x y x
En ef ect o:

a) Tomando lmit es en el t eorema 3, se t iene:

( ) ( ) [ ] ( ) ( )
( ) ( ) ( ) ( ) ( )

1
2
lim , lim , 0 , 0 lim , ,
lim , lim , lim , lim , lim
i
i
n n n
n n n n n n
x b x x b x x b x x x x x x
b x x a x a x b x x a x a x


b) Al t omar lmit es en la ident idad ( ) ( ) ( )

n
i
i i
n n n n
y x c a c y a x y x
1
, , , , se
t iene:
( )

1 1
) 0 , 0 ( , )) lim( ), (lim( ) , lim(
i
i i
i
i i
n n
y x y x y x c y a x y x





1.5. Uni ci dad de l as bases

El Teorema Fundament al en la const ruccin de los espacios de Hilbert , t eorema
que permit e const ruir las bases de est os espacios, t iene var ios r ecpr ocos
dependiendo de las condiciones que a priori se est ablezcan. El siguient e t eorema
est ablece una condicin de unicidad.

Teorema 5:

Si { e
i
} es un sist ema t ot al de H, y { x
i
} es un conj unt o de nmeros complej os ( i
= 1, 2, ...) t ales que la suma

n
i
n i
b x
1
2
t iene lmit e, t ambin la serie

n
i
i
i
e x
1
. es
convergent e y su suma, x, es el nico vect or de H que cumple la condicin
( ) j x e x
j
j
, ,

En ef ect o:
p q
q
p i
i
p q
q
p i
i
i
p q
n
i
i
i
n
b b x a a e x a a e x a


2 2
1
. .
y, siendo la sucesin { }
n
b conver gent e, se t iene:
< < >
p q p q
a a b b N q p Z q p Z N
2
, , /
As, pues, { }
n
a es sucesin de Cauchy, y, por t ant o, conver gent e. Sea
x a
n
lim :

( )
i
i n
x e a n j < . ,
y, en el lmit e:
( )
i
i
x e x j , ,

y el vect or x es nico, pues si hubiera ot ro y t al que

( )
i
i
x e y j ,. ,
ent onces se t endr a
( ) y x y x e y x
i
0 0 ,

La bsqueda de un sist ema { }
j
e t ot al se puede realizar prct icament e t omando un
vect or x cualquiera del espacio y calculando los nmeros
( )
j
j
e x x ,
y, con ellos, la sucesin de vect or es { }

'

n
j
j
j
n
e x a
1
. . Est a sucesin ha de ser
convergent e y su suma ha de ser x. Comprobando est e ext remo puede decidirse si
{ }
j
e es un sist ema t ot al o no.


Exist en en la prct ica ej emplos concret os de espacios de Hilbert ( realizaciones de
espacios de Hilbert ) , como es, por ej emplo, el espacio L
2
( a, b) de las funciones de
cuadrado int egrable en un int ervalo cer r ado [ a, b] .








2. UN EJEMPLO DE ESPACI O DE HI LBERT:

Consideremos el conj unt o de las funciones de cuadrado sumable en un int ervalo
cerrado [ a, b] , es decir, las funciones f( x) para las que exist e y es finit a la int egral

b
a
b
a
dx x f x f dx x f ). ( ). ( . ) (
2

Vamos a ver que se t rat a de un espacio vect orial, al que se puede dot ar de una
mt rica euclidiana, y, adems, es un espacio complet o.


2. 1. Las f unci ones de cuadr ado sumabl e en un i nt er v al o cer r ado como
espaci o v ect or i al :

Designando por M( a, b) al conj unt o de t odas las funciones f( t ) definidas en [ a, b] ,
se le dot a fcilment e de est ruct ura de espacio vect orial definiendo la suma y el
product o por los escalares ( nmeros reales o complej os) de la forma:

[ ]
[ ] b a x x f x f C b a M f
b a x x g x f x g f b a M g f
, ), ( . ) )( ( , ), , (
, ), ( ) ( ) )( ( ), , ( ,

+ +



lo cual es inmediat o.


Teorema 6:

El conj unt o L
2
( a, b) definido ant es como el subconj unt o de M( a, b) const it uido por
las funciones de cuadr ado int egr able, es subespacio vect or ial del espacio M( a, b) .

En ef ect o:

Bast ar probar que es

[ ]
[ ] b a x b a L x f C b a L f
b a x b a L x g x f b a L g f
, ), , ( ) ( . , ), , (
, ), , ( ) ( ) ( ), , ( ,
2 2
2 2

+



1) De ser:
( )
( ) g f g f g f
g f g f g f
. . 2
. . 2
2 2 2
2 2 2
+
+ + +


sumando: ( ) ( )
2 2 2 2
2 2 g f g f g f + + +

y siendo ( ) 0
2
g f
se t iene que ( )
2 2 2
2 2 g f g f + +

de lo cual, ser ( )
2 2 2 2 2 2 2
2 2 2 2 g f g f g f g f g f + + + + +
y, por t ant o:
) , ( 2 2 .
2
2 2 2
b a L g f dx g dx f dx g f
b
a
b
a
b
a
+ + +




2) De ser:

2 2 2
. . f f

se cumple que ) , ( . . .
2
2 2
b a L f k dx f dx f
b
a
b
a










2. 2. Las f unci ones de cuadr ado sumabl e en un i nt er v al o cerr ado como
espaci o pr ehi l ber t i ano:


Para dot ar a est e espacio de una mt rica, bast ar definir el product o int erior de la
forma
( )


b
a
dx g f g f b a L g f . . , ), , ( ,
2

Hemos de ver que, efect ivament e, t al product o int erior pert enece al conj unt o de
las funciones de cuadrado int egrable, lo cual se muest ra con el siguient e t eorema.

Teorema 7:

a
b
dx g f g f b a L g f . * . ) , ( ), , ( ,
2
exist e y es f init o
En ef ect o:

+
b
a
b
a
b
a
b
a
b
a
dx g dx f dx g f dx g f dx g f .
2
1
.
2
1
. . . . . .
2 2



Es inmediat o que el product o int erior as definido cumple las condiciones de
definicin de la mt rica euclidiana, por lo que el espacio L
2
( a, b) queda
caract erizado como espacio prehilbert iano.


En el espacio prehilbert iano L
2
( a, b) se define el concept o de norma de f como el
nmero real no negat ivo ( f, f) , y el mdulo de f como la raz cuadrada posit iva de la
norma.

( )
( ) f f f f ulo
f f f norma
, ) ( mod
, ) (
+

Son de demost racin element al los t eoremas

( ) g f g f . , ( de Schwar t z)
g f g f + + ( de Minkowski)
f m mf .


Dos funciones, ) , ( ,
2
b a L g f se dice que per t enecen a l a misma clase, o
simplement e, que son iguales, si ambas funciones son iguales [ ] b a x , , salvo
para aquellos valor de x pert enecient es a un conj unt o de medida nula. Cada clase
de funciones se dice que es una funcin generalizada.

En general, la int egr acin que figur a en la definicin del espacio L
2
( a, b) es la
int egracin de Lebesgue- St ielt j es. Est e concept o t an gener al de int egr al, y el de
funcin generalizada, permit e desarrollar la t eora de est as funciones de cuadrado
int egrable hast a probar que se t rat a de un espacio prehilbert iano complet o, es
decir, de un espacio de Hilbert .




2. 3. Teor ema de compl et i t ud de Fi scher- Ri esz.

Ant es de exponer el t eorema de complet it ud, veamos previament e la siguient e
proposicin:

Teorema 7: Dada la funcin ) , ( ) (
2
b a L x g y los nmeros reales posit ivos y k,
se t iene que
k x g dx x g
b
a
< <

) ( . ) (
2

para t odo valor de x, salvo para los pert enecient es a un conj unt o E de medida
inferior a
2
2
k

.
En ef ect o:

Dividamos el int ervalo [ a, b] en dos conj unt os:

P = conj unt o de valores de x en los que k x g < ) (
E = conj unt o de valores de x en los que k x g ) (
Y siendo dx g dx g dx g g
E P
b
a
. . .
2 2 2 2

+ , ser :
2 2
. g dx g
E

Y puest o que ) ( .
2 2
2
E med k dx k dx g
E E



Ser:
2
2
2
2
) ( ) ( .
k
g
E med E med k g <
As pues, par a t odo t al que < g se ver ifica que
2
2
) (
k
E med

<
Lo que quiere decir que < g implica que k g < , par a t odo x no per t enecient e a
un subconj unt o E de medida inferior al nmero
2
2
k

Corolario:

Sea { }
n
g una sucesin de funciones de ) , (
2
b a L y apliquemos el t eorema ant erior
a cada una de est as funciones, eligiendo par a cada una de ellas un
n
n
3
2
1
y
un
n n
k
2
1

( con lo cual
n
n
n
k 2
1
2
2

) . Se ver ifica:
n n
n
n
x g x g
2
1
) (
2
1
) (
3
< < , par a t odo
x, excep- t o en un conj unt o de medida inferior a
n
2
1

Para n t endiendo a infinit o:

, 0 lim 0 lim
n n
g g para t odo x, except o en los punt os de medida nula. Es
decir, final- ment e:
, 0 lim 0 lim
n n
g g en casi t odo [ a, b]



Teor ema 8 ( de Fischer- Riesz) :

Toda sucesin de Cauchy del espacio L
2
( a, b) , de las funciones de cuadr ado
int egr able, es conver gent e en [ a, b] .

En ef ect o:

Vamos a probar el t eorema desde la proposicin ant erior y su corolario.

Sabemos que

{ }
n
f es sucesi n de Cauchy, ent onces < >
+
n m
f f N n m Z N , / , 0

Consideremos la sucesin de valores de :
n
n p
con
3
2 1
2
1
,... ,..., ,
O sea, ,...
2
1
,...,
2
1
,
2
1
3 6
2
3
1
p
p


Y la correspondient e sucesin de valores de n: ,... ,..., ,
2 1 p
N N N

Sea { }
p
n
f una sucesin ext rada de { }
n
f dando a n los valores Np.
.
En est as condiciones se t iene, por el corolario del t eorema ant erior, que
p
N N p N N
p p p p
f f f f
2
1
1 1
< <
+ +
en t odo int ervalo [ a, b] salvo en un
subconj unt o del mismo cuya medida es inferior a
p
2
1
.

Por t ant o, la sucesin { }
p
N
f t iene lmit e para p t endiendo a infinit o en casi t odo
[ a, b] . Sea f ese lmit e.

De la igualdad
n N N n
f f f f f f
p p
+ , se t iene

2 < +
n N N n
f f f f f f
p p


Tomando p y n suficient ement e avanzados.

Luego es f f
n
lim en casi t odo [ a, b] .
Es claro que la funcin lmit e f depender de la sucesin ext rada { }
p
N
f . Con ot r a
sucesin { }
q
N
f ext rada, el lmit e sera, por ej emplo, la funcin g. Pero el lmit e de
la diferencia:

0 ) lim( ) lim( ) lim( + f f f f g f
n n
par a casi t odo [ a, b]

As, pues, las funciones fy g pert enecen a la misma clase y son, por t ant o, iguales
segn la definicin de igualdad para funciones generalizadas.




3. BI BLI OGRAF A DE AMPLI ACI N:

ABELLANAS, L, GALI NDO, A. Espacios de Hilbert ( Geomet r a, oper ador es,
espect r os) . Eudema
BERBERI AN, S.K. I nt r oduccin al espacio de Hilber t . Ed. Teide, 1970
FRI EDRI CHS, K.O. Spect r al Theor y of Oper at or s in Hilber t Space' , Applied
Mat hemat ical Sc. Vol. 9
HALMOS, P.R., I nt r oduct ion t o Hilber t Spaces . Chelsea Pub. Co. 1957
KOLMOGOROV/ FOMI N, Element os de la Teora de Funciones y el Anlisis Funcional,
Mir, Moscu, 1972
LASZLO M. HI LGER, ADAM, Hilbert Space Met hods in Science and Egineering, 1989
RUDI N, W., Anlisis Funcional, Revert 1979