Está en la página 1de 21

MTODOS MATEMTICOS

ESPACIOS DE HILBERT Y OPERADORES LINEALES


Profesora: M Cruz Bosc

TEMA 3: ESPACIOS FUNCIONALES Y


DESARROLLOS EN SERIE
Por qu la integral de Lebesgue: introduccin a los
p
p
espacios funcionales L , L
Complecin del espacio Ck ( a, b )
Sea Ckp ([ a, b ]) (Ck ([ a, b ]),  p ), donde Ck ([ a, b ])

es el espacio lineal de las

funciones continuas definidas sobre el intervalo cerrado

[ a, b ]

y con

recorrido en k , sobre el cual se constituye el espacio normado definiendo


b

1
p

f ( x) dx , f Ck ([ a, b ]) , con 1 p < + ; este espacio normado es


p

espacio eucldeo slo si p=2 , y es no completo en todo caso.


Segn el teorema de complecin, todo espacio normado (no completo)
admite una complecin, nica salvo isomorfismos en norma.

Definicin: Dado ( L,  ) espacio normado no completo, se define una complecin

del mismo como un espacio ( L> ,  > ) tal que:

a) ( L> ,  > ) es espacio completo, esto es, de Banach.


b) Contiene un subconjunto L0 denso en L> , esto es, L0 = L> .
c) ( L0 ,  > ) es isomorfo en norma con ( L,  ) , L0 L .]
Est garantizada, por tanto, la existencia de un espacio completo,

L ([a, b]) = C kp ([a, b]) .


p
k

-Nota: Obsrvese que en este enunciado se estn identificando Ck ([ a, b ]) y su

imagen Ck 0 ([ a, b ]) segn el correspondiente isomorfismo, donde el subconjunto

Ck 0 ([ a, b ]) del espacio (Lpk ([ a, b ]),  p ) , norma segn integral de Lebesgue, es


denso en ste.

Pero resulta que hay que incorporar al espacio funciones - en principio:


los lmites de sucesiones de Cauchy no convergentes en Ckp ([ a, b ]) - que no
son integrables Riemann en [a,b]. Se necesita, entonces, un nuevo tipo de
integracin: la integral de Lebesgue, ms amplia que la de Riemann.

M.C. Bosc, U. de Granada

Nota: Dada f :[a, b] k , funcin acotada,

f integrable Riemann
f integrable Lebesgue; y ambas integrales coinciden.

(Aunque si f no es acotada, puede su integral de Riemann, en sentido impropio, y


su integral Lebesgue).]
Y, una vez introducida esta integral, los vectores del nuevo espacio, ya
completo, no sern, a la postre, funciones, sino clases de equivalencia de
funciones (por la necesidad de cumplir el axioma x = 0 x = 0 , cf. p. 11).

Lpk ([a, b]) (Lpk ([a, b]),  p ) es la complecin de Ckp ([ a, b]) , 1 p < + , donde
Lpk ([a, b]) es el conjunto de las clases de equivalencia de funciones
p integrables Lebesgue definidas sobre [a, b] y con recorrido en k ,

esto es, tales que

f ( x) dx < + (integral de Lebesgue); sobre l se define


p

[ a ,b ]

la norma

1
p

f ( x) dx

, 1 p < + , obtenindose un espacio Banach

[ a ,b ]

(y un espacio Hilbert p=2).


Puede procederse a las siguientes generalizaciones (compatibles entre s):
Sustituir el intervalo cerrado [ a, b ] por cualquier compacto X de
interior no vaco.
Partir

del

espacio

f ( x) ( x)dx
p

1
p

Ckp , ([ a, b ]) (Ck [ a, b ] ,  p ), ,

normado

donde

(integral Riemann-Stieltjes), f Ck ([ a, b ]) , siendo

[ a ,b ]

( x) :[a, b] k una funcin real, no-negativa e integrable en [a, b] , para


finalizar con el espacio Banach Lpk, ([a, b]) (Lpk, ([a, b]),  p ) , donde
Lpk, ([a, b]) es el conjunto de las clases de equivalencia de funciones tales
que

f ( x) ( x) dx < + (integral de Lebesgue).


p

[ a ,b ]

-En el caso p=2, se trata de un espacio de Hilbert separable con el producto


interno

f ,g =

f * ( x) g ( x) ( x) dx ;

f , g L2,k ([a, b]) L2 ([a, b]) .

[ a ,b ]

Tambin puede sustituirse el intervalo [a,b] por cualquier conjunto

compacto X n , de forma que Ck [ a, b ] pasa a ser el conjunto Ck ( X ) de


las

funciones

X n ;

f : X n k

continuas

definidas

sobre

el compacto

L ( X ) (L ( X ),  p ) es la complecin de C ( X ) (Ck ( X ),  p ),
p
k

p
k

p
k

1 p < + .

M.C. Bosc, U. de Granada

SEMINARIO: LA INTEGRAL DE LEBESGUE(*)


1) La integral de Lebesgue: presentacin.
Dada f C ([ a, b]) (o, en general, una funcin real acotada sobre [a,b]),
su integral de Riemann sobre [a,b] se obtiene:
a) Realizando un particin finita del intervalo [a,b] en n subintervalos
[ xi 1 , xi ] , : a = x0 < x1 < < xn 1 < xn = b , de longitudes respectivas

i i ([ xi 1 , xi ]) = xi xi 1 , i I = {1, 2, , n} .

b) Definiendo = sup i = sup xi x i 1


iI

iI

c) Construyendo las sumas


inf f ( x) i y
sup f ( x) i ,

iI

x[ xi 1 , xi ]

iI x[ xi 1 , xi ]

que representan ambas aproximaciones mediante suma de reas de


rectngulos al rea total de la regin limitada por la grfica de f ( x) y el eje
de abscisas.
d) Estudiando si el lim de ambas sumas existe; en caso afirmativo y de
0

coincidencia de ambos valores, la integral de Riemann es, por definicin:


b

IR f dx = lim inf f ( x) i ( x) = lim sup f ( x) i = lim f ( x) i


a

iI

x[ xi 1 , xi ]

iI x[ xi1 , xi ]

iI x[ xi1 , xi ]

( f ( x) representa un valor de la funcin en cada subintervalo).

Se requiere poder medir la altura de f ( x) en cada rectngulo, para averiguar el rea


encerrada por f sobre un subintervalo [ xi 1 , xi ] ; posteriormente se suman todas estas
reas y se hace tender 0 el requisito a exigir es que f se comporte bien (por
ejemplo, que sea continua) en cuanto a su altura en cada rectngulo y en cuanto al lim .
0

(*) Cf. L. Abellanas y A. Galindo, Espacios de Hilbert, Eudema, 1987.

M.C. Bosc, U. de Granada

La integral de Riemann-Stieltjes

d se define, ms generalmente,

sustituyendo i por i = ( xi ) ( xi 1 ) , donde


acotada definida sobre

[ a, b ] ;

es una funcin real

cuando posee derivada continua puede

reemplazarse d por ' dx , y cuando ( x ) = x , se obtiene la integral de


Riemann.
La integral de Lebesgue supone un cambio de perspectiva: el
procedimiento para su construccin se inicia realizando una particin en el
rango de valores de la funcin f :
a) Realizamos un particin finita del intervalo [ min f ( x), max f ( x)] en n
x[ a ,b ]

subintervalos

[ yi 1 , yi ] ,

x[ a ,b ]

: min f ( x) = y0 < y1 < < yn1 < yn = max f ( x) ,


x[ a ,b ]

x[ a ,b ]

de

longitudes respectivas i i ([ yi 1 , yi ]) = yi yi 1 , i I = {1, 2, , n} .


b) Definimos = sup i = sup yi y i 1
iI

iI

c) Nos planteamos medir las bases de los rectngulos definidos por esas
alturas i = yi yi 1 ( yi 1 f ( x ) < yi ): cul es el valor medido ( Bi ) a tomar
en el boreliano (el significado preciso de este trmino se aclarar ms adelante)
Bi conjunto de puntos x para los que f ( x) pertenece a [ yi 1 , yi ) :

Bi = { x [a, b] / f ( x) [ yi 1 , yi ) } [a, b] , i I

( Bi ) medida del conjunto Bi

c) Construimos la suma

f ( x) ( B )
iI

d) Tomamos el lmite

i
xBi

f ( x) ( B ) =
lim

iI

f dx IL

[ a ,b ]

(integral de Lebesgue).
Esta nueva integral es una extensin de la de Riemann: es aplicable a
una familia de funciones ms amplia.

(En definitiva, se compensa un peor comportamiento de la funcin, que la hace no


integrable Riemann, con la consideracin de conjuntos dominio ms generales, a los
que se requiere slo ser medibles).

M.C. Bosc, U. de Granada

Se requiere que [a,b] sea subdivisible en un conjunto de subconjuntos de


tipo ms general que los subintervalos [ xi 1 , xi ] conjuntos medibles
poder medir los conjuntos de valores de
comprendido en

[ yi 1 , yi )

x para los que f ( x) est


el requisito a exigir es que f sea medible

Borel en [a,b] teora de la medida.

-Nota: tambin es posible desarrollar la integral de Lebesgue sin recurrir a la teora de la


medida.

2) Conjuntos de Borel e integral de Lebesgue


Medida de Borel-Lebesgue (nociones bsicas)
Dada la familia mnima de subconjuntos de , B = {Bi }iI , Bi i I ,
tal que contenga todos los intervalos (a,b) de , los subconjuntos Bi se
definen como conjuntos de Borel o borelianos de se cumple:

i) B es cerrada bajo unin numerable:

B B.
i

i =1

ii) B es cerrada bajo complementos: ( \ Bi ) B i .


Existe una familia mnima cuyos conjuntos son borelianos de (ya que:
1) la interseccin de cualquier coleccin de familias que satisfagan las dos
condiciones dadas es a su vez una familia que las satisface, y
2) la familia de todos los subconjuntos de es una familia que los cumple).

B conjunto universal introducido para desarrollar la teora de la medida familia


ms sencilla de subconjuntos de tal que permite compaginar la topologa usual sobre
y la teora de la integracin.

Todo abierto de es boreliano (es unin numerable de intervalos


abiertos); todo cerrado de es boreliano, y en particular lo es todo
compacto; toda coleccin numerable de puntos es un boreliano (por serlo
un punto); el conjunto de puntos racionales de [0,1] es boreliano; y
son borelianos; es boreliano.
Existen subconjuntos de no borelianos (no son triviales: un ejemplo en
Apostol, Anlisis matemtico, p. 370, ejm. 10-36).
Dado un boreliano Bi B , se define su medida de Borel-Lebesgue, ( Bi ) ,
como ( Bi ) = inf l ( A) , donde A es la clase de todos los abiertos que
AA

contienen a Bi ,

A = A / A = (a j , b j ) , (a j , b j ) (ak , bk ) = si k j , Bi A ,

j =1
y l ( A) es la longitud de A , definida segn

l ( A) = bi ai + .
i =1

M.C. Bosc, U. de Granada

Un conjunto B posee medida nula si > 0 un recubrimiento numerable de


B por medio de intervalos abiertos tales que la suma de sus longitudes sea menor que
: > 0 / B (ai ,bi ), siendo bi ai < , card N 0 .
iN

iN

B B ( B) = inf { ( A) / A abierto, B A} .

B B ( B) = sup { (C ) / C compacto, C B} .

Dado { Bn }nI : Bn Bm = si n m ( Bn ) = ( Bn ) ( -aditividad).


Ejemplos:

- ( ) = 0
- () =

- ((a, b)) = ([a, b)) = ((a, b]) = ([a, b]) = b a


- ((a, +)) = ((, a )) = ([a, + )) = (( , a ]) =

- ( x Q x [ 0,1] ) = 0
- card B 0

( B) = 0

- M denso en , M = ( M ) = ; por ejemplo: (Q ) = 0


- borelianos de medida nula no numerables (ejm: ternario de Cantor, cf.
Abellanas-Galindo, ejemplo 3, p. 69).

Funciones medibles Borel o borelianas


Una funcin f : es medible Borel o boreliana B B se tiene

( 1)

( B) B .

Una funcin

f : {+} {} es medible Borel o boreliana

B B se tiene f ( 1) ( B ) B , f ( 1) (+) B y f ( 1) () B .
Una funcin f : es medible Borel o boreliana Re f e Im f son
borelianas.

Sean f , g : borelianas
borelianas.

f + g , f , fg ,

Criterios:
f : es medible Borel f ( 1) {(a, b)} B a, b .
n
f n boreliana n N y f n ( x)
f ( x) f boreliana.

f : es medible Borel { x : f ( x) < b} B b .

M.C. Bosc, U. de Granada

y f  g son

Integral de Lebesgue
Dada f : tal que f es acotada, boreliana y f ( x) 0 x , se
define su integral de Lebesgue sobre como
f dx =
(f) ,

lim

donde

: inf

f ( x )R ( f )

f ( x) = y0 < y1 < < yn 1 < yn = sup

f ( x )R ( f )

f ( x)

representa una particin del recorrido de f y


n 1

( f ) = yi 1 ( f ( 1) ([ yi1 , yi )) ) + yn1 ( f ( 1) ([ yn1 , yn ]) ) .


i =1

Notas:
La suma

( f )

es una aproximacin inferior al rea encerrada por el

grfico de f y el eje OX .
Si realizamos una particin
(f) (f).
'

Generando la sucesin

(f)

nN

'

ms

fina

que

entonces

de particiones cada vez ms finas, esta

sucesin, montona no decreciente, tiene un lmite, el cual puede ser finito


o no. Por definicin, este lmite es la integral de Lebesgue de f sobre .

[La anterior definicin puede ir sucesivamente amplindose, definindose la integral de


Lebesgue para funciones borelianas, f 0 , no necesariamente acotadas; funciones
reales borelianas (no necesariamente ni f 0 ni acotadas) hasta llegar a la definicin
para una funcin boreliana integrable Lebesgue, ver a continuacin].

M.C. Bosc, U. de Granada

Dada

f :

f L ()
1

boreliana,

f dx < + , donde

es

integrable

Lebesgue

f = f + ( x) + f ( x) ,

sobre

f + ( x) = max { f ( x), 0} 0

f ( x) = max { f ( x), 0} 0 . Su integral de Lebesgue sobre se define

entonces como el valor finito

dx = f + ( x)dx f ( x)dx .

En particular:
Dada f : B , se define como boreliana sobre B cuando la funcin

F ( x) = { 0f ( x ) sisi xxBB es boreliana (esto es, lo es sobre ).


Dada

f :[a, b]

f L ([a, b])
1

la

boreliana, es integrable Lebesgue sobre

F ( x) = {

funcin

f ( x ) si x[ a ,b ]
0
si x[ a ,b ]

es

tal
b

definindose su integral de Lebesgue sobre [a, b] como

f
a

Dada

[ a, b] ,

F L () ,
1

que

dx = F dx .

f : B , B B , boreliana, es integrable Lebesgue sobre B ,

f L ( B ) la funcin F ( x) = f ( x) B ( x) , donde B representa la funcin


1

caracterstica para B , B ( x) =

1 si x B
0 si x B

, es tal que F L1 () , definindose su

integral de Lebesgue sobre B como

dx = F dx (si B es un intervalo, finito

o no, de extremos y , se representa

tambin).

Dada

f : B , B B , f = u + iv ,

sobre B , f L ( B ) la funcin
1

Lebesgue sobre B como

boreliana, es integrable Lebesgue

f L1 () , definindose su integral de

dx = u dx + i v dx .

-Nota: La mayor parte de los resultados sobre integracin de Lebesgue para funciones
reales pueden extenderse a funciones complejas, siendo usualmente suficiente escribir
f = u + iv y aplicar el resultado en cuestin a las funciones reales u = Re( f ) y
v = Im( f ) . Por ello, a partir de ahora, salvo que sea preciso especificar, se usar la
notacin L1k ( B ) L1 ( B ) .

Propiedades
Sean f , g : k , borelianas. Entonces:

f , g L1 () f + g L1 () , k ( L1k () es espacio lineal sobre k ).

( f + g ) dx = f dx + g dx
B

M.C. Bosc, U. de Granada

, k .

dx f dx f L1 () .

Si f L ( ) y g f g L1 ( ) .
1

Sean f , g L1 ( ) , con f g

dx g dx .

f acotada en [a, b] f L1 ([a, b]) , siendo

dx M b a ,

M = sup f ( x) .
x[ a ,b ]

Ejemplos:
Toda funcin continua en [a, b] es integrable Lebesgue sobre [a, b] :

Ck ([a, b]) L1k ([a, b]) .


f ( x) = x n L1 () .

Q ( x) = {10

si xQ
si xQ

, definida en [0,1] , es integrable Lebesgue, Q L1 ([0,1])

(nota: pero no es integrable Riemann).

3) La integral de Lebesgue frente a la de Riemann


La integral de Lebesgue es ms amplia que la de Riemann:

Propiedades satisfechas casi por doquier: Dado A , una propiedad P ( x) ,


dependiente del punto x A , se verifica casi por doquier o casi doquiera
(notacin: c.d.) en A el subconjunto de puntos de A en que no se
verifica es un conjunto de medida nula.

Criterio de Lebesgue: Dada

f :[a, b] , acotada,

es integrable

Riemann sobre [ a, b ] f es continua c.d. en [ a, b ] (cf. Apostol, p. 208ss.).


Existen funciones acotadas y discontinuas en todo punto que son
integrables Lebesgue (ejemplo: Q ).
Dada f :[a, b] , acotada, f es integrable Riemann sobre [ a, b ]

1) f L1 ([ a, b ]) (es decir, f es integrable Lebesgue sobre [ a, b ] ); el inverso


es falso.
2) Ambas integrales coinciden.
Sea f : B , boreliana. Entonces:
Si f no es acotada en B , entonces puede existir la integral de Riemann
(impropia) y no existir la integral de Lebesgue (Ejemplo: B = (0,1] y

f ( x) =

1
1
sen ) (cf. Abellanas-Galindo, p. 64).
x
x

M.C. Bosc, U. de Granada

Si B es un intervalo infinito (semirrecta o recta real), entonces:


a) integral de Riemann de f integral de Lebesgue de f y
coinciden.
b) integral impropia de Riemann de

no es integrable

Riemann f no es integrable Lebesgue.


+ sen x
sen x
dx = , obtenible
admite la integral impropia

x
x
+ sen x
mediante residuos, pero la integral
dx no es finita, ya que al tenerse el

x
mdulo no se producen compensaciones, cf. Abellanas-Galindo, p. 65).

(Ejemplo: f ( x) =

4) Funciones p-integrables Lebesgue


f : B k , boreliana, y p , 1 p < + , definimos

Dados

como

p integrable Lebesgue en B , que notaremos f L ( B) L ( B) ,


p
k

f ( x) dx < + .
p

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

BIBLIOGRAFA (integral de Lebesgue)


(*) L. Abellanas y A. Galindo, Espacios de Hilbert, Eudema, 1987.
T.M. Apostol, Anlisis Matemtico, Revert, 1976.
G. Helmberg, Introduction to spectral theory in Hilbert space, North
Holland, 1969.
A. N. Kolmogrov y S.V. Fomn, Elementos de la teora de funciones y del
anlisis funcional, M.I.R., 1975.
P. Roman, Some modern mathematics for physicists and other outsiders,
vol. 1, Pergamon, 1975.
G.E. Shilov and B.L. Gurevich, Integral, Measure & Derivative: A unified
approach, Dover, 1977.

FIN DEL SEMINARIO

M.C. Bosc, U. de Granada

10

ESPACIOS FUNCIONALES
Espacios funcionales de Banach Lp , Lp
Espacios normados

L1

El conjunto L1k ( ) L1 ( ) es un espacio lineal, sobre el que la aplicacin

f ( x) dx , f Ck () , donde

simboliza la integral de Lebesgue, no

genera un espacio normado, debido a que el axioma 1 de la definicin de


norma,  x  0 x = 0 , no se satisface, ya que dos funciones

f1 , f 2 L1k ([ a, b ]) , f1 f 2 , pueden ser tales que

f1 f 2 dx = 0 (por ejemplo, dos

funciones que difieran de valor slo sobre un conjunto de puntos de medida nula).
-Nota: en particular, puede sustituirse por cualquier boreliano B ).
Dadas dos funciones f1 , f 2 L1k ([ a, b ]) , se definen como iguales casi (por)

doquiera o iguales c.d., ( f1 f 2 ), cuando ({ x : g ( x) = f1 ( x) f 2 ( x) 0}) = 0 ,

donde simboliza la medida de Borel-Lebesgue.

Dos funciones f1 , f 2 L1k ([ a, b ]) son iguales c.d.

f1 f 2 dx = 0 .

La irrelevancia, a efectos de integracin (Lebesgue), de los conjuntos


Borel de medida nula, sugiere ampliar la familia de funciones integrables
incluyendo en ella funciones que, incluso aunque no sean estrictamente
borelianas, sean iguales c.d. a funciones integrables, es decir, a funciones
que pertenecen originariamente a L1k ( ) (cf. Abellanas y Galindo, p. 60).
Dada una funcin g : k , g L1 ( ) , si existe otra funcin f : k ,
boreliana y

f L1 () , tal que f g (son iguales c.d.), convenimos en

ampliar el espacio lineal L1k () incluyendo esa funcin g .


Dado el espacio lineal ampliado L1k ( ) L1 ( ) , se define el espacio L1 ()
como el espacio cociente L1 () / R , donde R representa la relacin de
equivalencia

R ser igual c.d., definida en L1 ()

ampliado.

Es decir: L1 () = L1 () / R = {C f { f } = { g L1 () : g R f g = f c.d .}} ,


conjunto (espacio lineal) de las clases de equivalencia.

M.C. Bosc, U. de Granada

11

Obtenemos as el espacio normado (L1 (),  1 ) , donde se ha tomado


para dos funciones f g , la f originalmente en L1 ( ) y la g incorporada

g1= f

tras la ampliacin realizada, que

= f ( x) dx , por definicin
1

(usualmente se elige como representante de la clase { f } , en su caso, la funcin continua o, ms


generalmente, la boreliana).

Definicin anloga sustituyendo por cualquier boreliano.


Propiedades:

(L1 (),  1 ) es un espacio normado completo o espacio Banach.


(L1 (B ),  1 ) es un espacio Banach.

Ck ([ a, b ]) es denso en L1k ([ a, b]) , esto es, L1k ([a, b]) = C k1 ([a, b]) (a este respecto,
consultar la nota en la pgina siguiente para la propiedad anloga en

Lpk ([ a, b]) ).

(L1k ([ a, b ]),  1 ) es la complecin de (Ck ([ a, b ]),  1 )


-Notas:
1) Los elementos de L1 son clases de equivalencia de funciones, C f { f } , y
no funciones.
2) Dos funciones iguales c.d. pertenecen al mismo elemento de L1 .
3) Carecen de sentido, entonces, afirmaciones del tipo f L1 posee un
valor dado en un punto, ya que, por ejemplo, carece de sentido hablar del
valor de C f { f ( x) = cos x} L1 ([ 0, ]) en un punto x0 [ 0, ] , pues otras
funciones, como g ( x) =

cos x

si x x0

cos x0 si x = x0

, tambin pertenecen a

{f}.

4) Sin embargo, y abusando del lenguaje, se suele llamar funcin a los


elementos de dicho espacio L1 , identificndolos, de existir, con el elemento
de cada clase

{f}

M.C. Bosc, U. de Granada

que es continuo (el cual, cuando existe, es nico).

12

Espacios normados

Lp

El procedimiento seguido para L1 puede generalizarse para Lp ,

1 p < + :
Partimos del espacio lineal Lp ( B ) .
Incluimos en la definicin de funciones p integrables Lebesgue en B las
funciones g : B k para las que f boreliana tal que:
1) f Lp ( B ) , esto es, f es p integrable Lebesgue en B , y
2) f g , definida ahora la igualdad c.d. como f g

f g dx = 0 .
p

Ampliamos as el espacio inicial obteniendo otro espacio lineal Lp ( B ) cuyos


elementos son clases de equivalencia de funciones.
Obtenemos finalmente el espacio normado Banach (Lpk (B ),  p ) , donde se
ha tomado para dos funciones f g

que

= f

1
p

f ( x) d x , por

definicin, tenindose para ellas

f g

= 0 (de forma que ambas forman

parte del mismo elemento C f { f } Lp ( B ) o correspondiente clase de


equivalencia).
Propiedades:
(Lp (),  p ) es un espacio normado completo o espacio Banach.

(Lp (B ),  p ) es un espacio Banach.

Ck ([ a, b ]) es denso en el Lpk ([ a, b]) , esto es, Lpk ([a, b]) = C kp ([a, b]) .
-Nota: Obsrvese que, ms rigurosamente, y atenindonos al enunciado del teorema
de complecin, esta propiedad debera enunciarse como: (Lpk ( a, b ),  p ) , norma
segn integral de Lebesgue, contiene un subconjunto Ck 0 ( a, b ) denso en l y tal
que el espacio (Ck 0 ( a, b ),  p ) , norma segn integral de Lebesgue, es isomorfo
con el espacio original no completo (Ck ( a, b ),  p ) , norma segn integral de
Riemann. O sea, se estn identificando Ck ( a, b ) y su imagen Ck 0 ( a, b ) segn
el correspondiente isomorfismo.

(Lpk ([ a, b ]),  p ) es la complecin de (Ck ([ a, b ]),  p ) .


Tambin puede generalizarse a n , mediante la apropiada
extensin de la integral de Lebesgue, obtenindose los espacios
Lp ( n ) (la medida de una celda [ a1 , b1 ] [ a2 , b2 ] [ an , bn ] se define
como el producto l (a1 , b1 ) l (a2 , b2 ) l (an , bn ) ).

M.C. Bosc, U. de Granada

13

Teorema de Fubini 1: Dado B , subconjunto medible Borel; dada

K( x, y ) : B B , boreliana K L2 ( B B ) , y definidos
1

2
2

2
hx ( x) = K( x, y ) d y ; hy ( y ) = K( x, y ) d x ;
B

I1 = f ( x)( K( x, y ) g ( y )d y ) d x ,

I 2 = g ( y )( K( x, y ) f ( x) d x) d y , con f , g L2 ( B) ;
B

entonces:
hx L2 ( B) , hy L2 ( B) , I1 < + I 2 < + ;
hx

2
L2 ( B )

= ( K( x, y ) d y ) d x = K
B

hy

L2 ( B )

= ( K( x, y ) d x) d y = K
B

B
2

2
L2 ( B B )
2
L2 ( B B )

I1 = I 2 .
Teorema de Fubini 2: Dados M m y N n , subconjuntos medibles
Borel, m, n 1 ; dada f ( x, y ) : M N , boreliana, y definidos

I MN = ( f ( x, y ) d n y ) d m x e I NM = ( f ( x, y ) d m x) d n y , entonces:
M

N M

I MN < + I NM < + ;
I MN o I NM (y, por tanto, las dos) son finitas f L1 ( M N ) , tenindose
entonces

( f ( x, y ) d
M

y ) d m x = ( f ( x, y ) d m x ) d n y =

N M

f ( x, y ) d m x d n y .

M N

Espacios funcionales de Hilbert L2 , L2


De todos los espacios de Banach (Lp ,  p ) , tan slo el caso p = 2 es un
espacio eucldeo: tan slo para p = 2 la norma cumple la ley del
paralelogramo, permitiendo derivar un producto escalar va la identidad de
polarizacin, el cual a su vez retorna la norma a partir de

El espacio (L2 (B ), <, >) , con

f =+

f, f .

f , g = f * ( x) g ( x)dx f , g L2 , es un Hilbert
B

separable (medida de Borel-Lebesgue).


Una generalizacin posible para este espacio se obtiene introduciendo
la medida de Lebesgue-Stieltjes, que nos permite obtener los espacios de
Hilbert (L2 (B ), <, >) . En estos apuntes, sin entrar en ms detalles,
consideraremos el espacio lineal L2 ( B ) , o espacio de las funciones f : B k
tales que

f dx < + , siendo : B una funcin real, denominada

como funcin peso, tal que W : , W ( x) =

M.C. Bosc, U. de Granada

14

( x ) si x B
0

si x B

cumple:

2) W L1 ( ) , 3) > 0 :

1) W 0 ; W ( x) 0 x B ,

W ( x) dx < ;

sobre este espacio se construye el espacio de Hilbert (L2 (B ), <, >) ,


mediante la definicin del producto escalar f , g

= f * ( x) g ( x) ( x)dx .

Nota: estas condiciones garantizan la existencia de b.o.n. polinmicas de (L2 (sopW ), <, >)
obtenidas por ortonormalizacin de

{P ( x)W ( x)}
1

n =0

{x }

n +
n =0

, sopW (x ) = x D(W ) / W (x ) 0 , o sea:

es b.o.n. de (L2 (sopW ), <, >) (vese Abellanas-Galindo pp. 113-114).

El espacio (L2 (B ), <, >) es un Hilbert separable (medida de LebesgueStieltjes).


1

f = g 2 L2 ( B) g = f

1
2

L2 ( B ) (lo que permite establecer un


1

isomorfismo, ya que  f  2 =  g 2  2 =  g  2 ).
Casos que consideraremos primordialmente:
B = [ a, b ] , con a < b + .
Todos estos espacios de Hilbert, por ser separables, poseen base
ortonormal numerable, B = {en }nI , card I 0 . Su conocimiento tendr
entonces una aplicacin prctica directa, el permitir abordar el problema de
la aproximacin de funciones (vectores) del espacio L2 (B ) mediante su
desarrollo en serie (aproximacin en la norma o cuadrtica):
m

( m ) ) < , donde f ( m ) =
> 0 m( ) N / d ( f , f aprox
en , f en
aprox

n =1

d (f, f
2

( m)
aprox

)= f f

(m)
aprox

= f en , f en dx < 2 , tenindose
n =1

ff

(m)
aprox

0 lim f en , f en dx = 0 f = en , f en
m

n =1

nI

(expresiones anlogas en L2 (B ) , sin ms que aadir la funcin peso en las integrales).

Bases polinmicas en los espacios L2 , L2


Grosso modo: Puesto que Lpk ([ a, b ]) = C kp ([ a, b ]) , toda funcin de Lpk ([ a, b ])
puede aproximarse por funciones continuas (aproximacin cuadrtica: toda
funcin de cuadrado integrable Lebesgue es lmite de una sucesin de
funciones continuas). Y como toda funcin continua en un intervalo
compacto es aproximable por polinomios (segn el teorema de
aproximacin de Weirstrass, aproximacin continua, norma del supremo:
los polinomios son un conjunto denso en Ck ([ a, b ]) ), toda funcin de L2 (B ) es
aproximable por polinomios.

M.C. Bosc, U. de Granada

15

En definitiva, vamos a emplear bases ortonormales polinmicas en estos


espacios de Hilbert, lo que ser posible merced a los teoremas:
Dados [ a, b ] , a y b finitos, y A = { x n }n =0 , entonces

[ A] = L2 ([ a, b])

1 d n ( x a )( x b )
Dado Pn ( x) =
, 0n<,
n
dx n
1
n!
n+
(b a) 2 , elegido de forma que Pn = 1 n , entonces
con n =
(2n + 1)
1) Pn es un polinomio de grado n, y
n

2) {Pn }n =0 es la base ortonormal numerable de L2 ([ a, b ]) que se obtiene

aplicando el mtodo de Gram-Schmidt al conjunto A = { x n }n =0 .

Esquema de su construccin (cf. Helmberg, pp. 55ss.):


Caso a y b finitos: partimos del conjunto linealmente independiente
numerable A = { x n }n =0 , a partir del cual por un mtodo apropiado (por

ejemplo: Gram-Schmidt) se obtiene un conjunto ortonormal numerable S


con la misma envolvente lineal, [ S ] = [ A] , la cual es, por tanto, densa en

L2 ([ a, b ]) , esto es, S es una base ortonormal numerable (b.o.n.) del espacio


H = L2 ([a, b]) :

polinomios de Legendre:

[ a, b] = [ 1, +1] , Pn ( x) =

1 dn 2
( x 1)n ; la
n
n
n !2 dx

b.o.n. viene dada por

( Pn =

2
2n + 1

1;

{en ( x)}n =0

1
Pn ( x ) = n + Pn ( x)
2

n = 0

Pn ( x) = 1 n ).

Casos en que a o b , o ambos, no son finitos: se generaliza el


procedimiento anterior, ahora en el espacio L2 , de manera que la
introduccin de la funcin peso ( x) permite considerar a 1 2 x n como
perteneciente al espacio L2 (la base obtenida ahora, estrictamente hablando,
no ser polinmica, por la presencia del factor 1 2 ):

polinomios de Hermite: [ a, b ] = (, +) , ( x) = e x , espacio L2 () ,


2

2 d
2

e 2

n x
x
H n ( x) = (1) e
e ; la b.o.n. es {en ( x)}n =0 =
H n ( x) .
1
n
dx
(n !2 n ) 2

n = 0
x
polinomios de Laguerre: [ a, b ] = [0, +) , ( x) = e , espacio L2 ([0, +)) ,
2

1
dn

Ln ( x) = e x n (e x x n ) , la b.o.n. es {en ( x)}n = 0 = e 2 Ln ( x) .


n ! dx

n = 0

M.C. Bosc, U. de Granada

16

Bases trigonomtricas en el espacio L2 ([ a, b ])


En el espacio L2 ([ a, b ]) , < a < b < + , existen bases ortonormales
numerables constituidas por funciones trigonomtricas (bases de Fourier o,
en particular, de senos y cosenos):
Denominaremos
n

(
k =0

como polinomio trigonomtrico

cos kx + k senkx) ,

la

cual,

segn

la

una expresin

frmula

de

Moivre,

einx = cos nx + i sen nx = (cos x + i senx) n , puede expresarse como


n

(
k =0

cos kx + k senkx) =

r ,s =0

r ,s

(cos x) r (senx) s =

k = n

eikx , donde

1
2 ( k i k ) k > 0

k = 0
k =0 .
1
( k + i k ) k < 0
2
En definitiva: un polinomio trigonomtrico no es sino una combinacin
lineal de elementos de uno cualquiera de los tres conjuntos:,

{e }

(1)
k
k =0

= {eikx }

+
k =

{ }

, ek(2)

k =0

= {cos kx, senkx}k =0 , {en(3) }

n =0

= {(cos x) r , (senx) s }

r , s =0

Para los polinomios trigonomtricos es vlido un teorema anlogo al de


Weirstrass para los polinomios usuales, de forma que f C ([ , + ]) se
tiene que es aproximable (convergencia en el sentido de la norma del
supremo) en trminos de ellos. Consecuentemente, es posible obtener una
+

1 inx
base ortonormal numerable:
e
es b.o.n. de L2 ([ , + ]) .
2
n =
Ms generalmente, puede elegirse cualquier intervalo [ a, b ] , con a < b ,
+

2 nx
i
1

e ba
es b.o.n. para L2 ([ a, b ]) ; si,
ambos finitos, tenindose que
ba
n =
en particular, el intervalo es de longitud b a = 2 (por ejemplo: [ , + ] ,

[ 0, 2 ] , etc.), entonces se tiene la b.o.n. del apartado anterior.


Tambin es posible elegir una b.o.n. de senos y cosenos:

1
,

2
2 nx
sen
,
ba
ba

2
2 nx
2
cos
es b.o.n. de L ([ a, b ]) y
ba
ba
n =1
+

1
1
1

,
sennx,
cos nx es b.o.n. de cualquier intervalo con b a = 2 .

2
n =1

M.C. Bosc, U. de Granada

17

Nota: La serie de Fourier de

f (desarrollo en la base de Fourier) converge a f

en norma, pero no necesariamente punto a punto


(cf. Abellanas y Galindo, p. 113).
Nota (teorema de Dirichlet): Dada

[ a, b ]

(es decir, cumple que

M 0 tal que

i =1

derivada acotada en

f L2k ([ a, b ]) , bien de variacin acotada en

particin de [ a, b] , : a = x0 < x1 < < xn 1 < xn = b ,

f ( xi ) f ( x i 1 ) M ; toda funcin continua en [ a, b] y con

( a, b )

lo es), bien acotada y montona a trozos en

serie de Fourier converge puntualmente en

f ( x ) si f es continua en x , x ]a, b[ ;

1
f (x ) ;
[ f ( x + 0) + f ( x 0)] x / f ( x 0) = lim
0
2
1
y 3)
[ f (a + 0) + f (b 0)] , x = a, b / f (a + 0) , f (b 0) .
2

2)

Tablas

f = g 2 L2 ( B) g = f
TABLA 1 (general: aparecen
tablas M.C. Bosc y E. Romera, Univ. de Granada.

M.C. Bosc, U. de Granada

18

la

[ a, b] al valor (cf. Abellanas y Martnez,

p. 117):
1)

[ a, b ]

1
2

L2 ( B)

L2 ( B ) y L2 ( B) )

M.C. Bosc, U. de Granada


19
TABLA 1 (general) tablas M.C. Bosc y E. Romera, Univ. de Granada.

M.C. Bosc, U. de Granada


20
TABLA 2 (sin funcin peso explcita) tablas M.C. Bosc y E. Romera, Univ. de Granada.

M.C. Bosc, U. de Granada


21
TABLA 3 (slo con funcin peso) tablas M.C. Bosc y E. Romera, Univ. de Granada.