Académique Documents
Professionnel Documents
Culture Documents
LA INTEGRAL DE BOCHNER
Bogot D. C.
2017
3
4
LA INTEGRAL DE BOCHNER
Director:
MILTON DEL CASTILLO LESMES ACOSTA
Bogota, D.C
2017
ndice general
Introduccin 7
Justificacin 9
Objetivos 11
0.1. Objetivo general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
0.2. Objetivos especficos . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1. Integral de Lebesgue 13
1.1. Historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2. Definicin, propiedades y ejemplos . . . . . . . . . . . . . . . . . . . 14
2. Integral de Bochner 21
2.1. Definicin de la integral de Bochner . . . . . . . . . . . . . . . . . . 21
2.2. Propiedades de la integral de Bochner . . . . . . . . . . . . . . . . . 23
2.2.1. Teorema de medibilidad de Pettis . . . . . . . . . . . . . . . 30
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Conclusiones 43
5
6 NDICE GENERAL
Introduccin
En la historia yace la necesidad del uso del smbolo de la integral como un ope-
rador antiderivada con Newton y Leibniz, los cuales introducen los infinitesimos
con sus respectivos usos en en el clculo, continuamente la necesidad de medir
longitudes, reas y volmenes dieron paso a la integral de Riemann, las cuales con
algunas falencias tuvieron algunos avances hasta encontrar funciones las cuales
la integral de Riemann no poda medir, en a necesidad de querer medir aquellas
funciones y con ayuda de Emille Borel, se da paso a la integral de Lebesgue y con
el a la teora de la medida que actualmente se ve y se estudia, en 1933 Von Neu-
mann y Salomn Bochner escriben basados en la teora de Lebesgue, un artculo
acerca de medidas vectoriales a travs de integrales sobre espacios vectoriales,
con el fin de caracterizar funciones a travs de sus del anlisis de Fourier como
una forma de medir las funciones sobre espacios ms complejos.
El presente trabajo est basado en la obra de Jan Mikusinski del libro Bochner
integral. En el primer captulo se retomara la teora de la integral de Lebesgue con
su respectivos teoremas, en el segundo captulo se dar a conocer la definicin
formal de la integral de Bochner con distintas propiedades que la caracterizan y
para terminar en el captulo 3 se mostrarn unos ejemplos para entender mejor
como funciona la integral de Bochner.
7
8 NDICE GENERAL
Justificacin
9
10 NDICE GENERAL
Objetivos
2.) Comparar las propiedades de la integral de Bochner con las propiedades del
a integral de Lebesgue
11
12 NDICE GENERAL
Captulo 1
Integral de Lebesgue
1.1. Historia
Hacia finales del siglo XIX, el matemtico alemn Bernhard Riemann instaur una
nocin de integral que acoga funciones altamente discontinuas. Sin embargo, la
nocin de integral de Riemann llevaba a contradicciones. Justamente, el matem-
tico Camille Jordan intent una salida a los problemas de la integral de Riemann
a travs de la nocin de contenido. A pesar de ser una salida bastante sutil, en-
caminaba el problema en la direccin de una teora abstracta de la medida,que
empieza a ventilarse con los trabajos de mile Borel. Ese es justamente el punto
de partida de Lebesgue.En su tesis doctoral de 1902 Integral, Longitud, rea.
Lebesgue se da cuenta que para establecer una nocin rigurosa de integral deba
volver a los fundamentos primigenios de la geometra de los antiguos; concreta-
mente deba convertir el concepto de medida relativa, implcito en la geometra
euclidiana,en una nocin de medida absoluta. En este sentido Lebesgue entiende
que una fundamentacin rigurosa de la nocin de integral se da como proyeccin
de los fundamentos sobre los que reposa la geometra.Para Lebesgue, el problema
de la medida consiste en asignarle a cada conjunto acotado un nmero mayor o
igual a cero, que se denomina su medida, bajo las siguientes premisas:
1. Existe un conjunto cuya medida es diferente de cero.
2. La medida es invariante bajo traslaciones.
3. La medida de la unin de un nmero finito o numerable de conjuntos,
disjuntos dos a dos, es la suma de las medidas de los conjuntos.
Para Lebesgue, estas tres propiedades sintetizan el desarrollo histrico de la acti-
vidad de medir.
13
14 CAPTULO 1. INTEGRAL DE LEBESGUE
y X estan en X.
si A X entonces Ac X.
S
Para una sucesin de conjuntos En en X, entonces n=1 En pertenece a X
Definicin 2. Sea un conjunto X y sea X una lgebra sobre X, se define una medida
como una funcin de X en R+ que cumple lo siguiente:
() = 0
A + r = y Rn ; y = x + r, x A
Para comodidad de notacin se utilizar (a,b) (x) como (a, b); Utilizando la medida
de Lebesgue sobre los reales, as se tiene que L((a, b)) = ba. EL siguiente ejemplo
mostrar como funciona la integral de Lebesgue sobre el espacio de los reales.
n 2i 1
1 X 2i+1 + 2k + 1 2i+1 + 2k + 2
X !
fn1 (x) = i+1
i+1
, (1.2)
i=0
2 k=0
2 2i+1
n 2i 1
2k 2k + 1
!
X 1 X
fn2 (x) = i+1 , i+1 (1.3)
i=0
2i+1 k=0 2 2
otras varias maneras, sin interferir en el resultado final, este hecho lo enuncia el
siguiente lema mostrado en [1, pag. 13], el cual tiene una gran importancia.
Lema 1. Sea f una funcin medible, entonces existe una sucesin n de funciones
simples medibles tal que n f en casi todo punto y adems n n+1 para todo
n N.
Los dos siguiente ejemplos se dan gracias a Johann Peter Lejeune Dirichlet,el
primer ejemplo es una funcin la cual no era Riemman integrable, llamada la
funcin de Dirichlet precisamente llamada as por quien la formul.
Ahora dado que bin ai para todo > 0 existe Ni N tal que si n Ni entonces
Z Z
1 Xn X Z 1 1 X
|1 ([bik , bik+1 )|d f d = | ((bin , ai )|d
0 k=1 i=1 0 0 i=1
X
= ai bin
i=1
X
|ai bin |
i=1
X
< 2i
i=1
=
R1
por lo tanto es integrable Lebesgue y 0
f d = 0.
0. En efecto dado que an 1, para todo > 0 existe N N tal que si n N entonces
|1 an | < ; ahora
20 CAPTULO 1. INTEGRAL DE LEBESGUE
Z Z X n
| f f |d = | f f (x)|d
n i
i=1
Z
X
= | fi (x)|d
i=n
X n
= 1 fi (x)
i=1
= |1 an |
< si n N
R
As f (x) es Lebesgue integrable y f (x)d = 1 Los dos ejemplos anteriores escla-
recen an un poco ms como funciona la integral de Lebesgue. Se puede observar
que las integrales de las estas funciones nos definen la medida de los conjuntos
donde estn definidas las funciones; el ejemplo 1 define la medida de Lebesgue
de los racionales en el intervalo [0, 1] y el ejemplo 2 define la medida de Lebesgue
de los irracionales en el mismo intervalo intervalo.
Integral de Bochner
21
22 CAPTULO 2. INTEGRAL DE BOCHNER
Z
1
lm | f (x) fn (x)| = lm
n [0,1] n 2n
=0
y por lo tanto tambin es Bochner medible. Al conjunto de las funciones Bochner
integrables se denotar como B( fI ).
Proposicin 1. Sea f una funcin simple, entonces f es Bochner integrable y
Z Xn
f d = (Bi I)xi
I i=1
Sn
Donde Bi B j = si j , i y adems i=1 Bi = I
Demostracin. Dado que f es simple entonces f (I) = {xi }ni=1 , as f se puede definir
como
n
X
f (x) = (Bi I) xi
i=1
por lo tanto como es una sumatoria finita se tiene que
Z Xn Z
f d = (Bi I) dxi
I i=1
Z n
X
f d = (Bi I)xi
I i=1
Ejemplo 4. Sea g : I R Lebesgue medible, y b E, entonces la funcin F(x) = g(x)b
es fuertemente medible dado que existe una sucesin gn de funciones simples que converge
a g, por lo tanto definida la sucesin Fn (x) = gn (x)b, se da que Fn (x) converge a F(x).
2.2. PROPIEDADES DE LA INTEGRAL DE BOCHNER 23
Lema 2. Dadas dos funciones f y g con integral de Bochner finita y un nmero real
entonces Z Z Z Z Z
f +g= f+ g< f = f < (2.3)
<
24 CAPTULO 2. INTEGRAL DE BOCHNER
As
Z Z
k f fn kE = || k f fn kE
Z
=|| k f fn kE
<
Teorema 1. El espacio de las funciones Bochner integrables B( f ) es un espacio vectorial.
Demostracin. Sabiendo que el espacio de las funciones es un espacio vectorial
entonces por los Lemas 1 y 2 queda mostrado
Para el el espacio de las funciones Bochner integrables se define la norma L1 ,
Teorema 2. El par (B( fI ), L1 ) donde (I) < es un espacio de Banach.
Demostracin. Ya se tiene que L1 es un norma, solamente falta ver que es completo,
sea fn B( f ) un sucesin de cauchy y sea > 0, entonces existe N1 N tal que si
n, m N entonces Z
k fn fm kE d < /2
Por otro lado como E es un espacio de Banach entonces existe f : I E tal que
fn f por ser completo, por lo tanto existe N2 N tal que si n N entonces
k fn fm kE < /2(I)
Tomese N = max {N1 , N2 }, entonces si n N
Z Z Z
k fn f kE d k fn fm kE d + k f fm kE d
R
I d
/2 +
2(I)
<
Por lo tanto f B( fI ), as (B( fI ), L1 ) es completo y por ende un espacio de Banach.
2.2. PROPIEDADES DE LA INTEGRAL DE BOCHNER 25
Proposicin 2. Sea b E y una sucesin bm tal que bm b y sea f (x) una funcin
Lebesgue integrable acotada, entonces lo siguiente se cumple:
f (x)bm es Bochner integrable para todo m N
f (x)bm f (x)b
Z Z
k fn (x)bm f (x)bm kE = ||bm ||E | fn (x) f (x)|
I I
< ||bm ||E /||bm ||E =
k bm b kE < /K
, as
Z Z
k f (x)bm f (x)b kE = | f (x)| |bm b|
I I
< || f (x)||/K
<
iii) Por el lema 1 existe una sucesin fn (x) f (x) creciente y existe bm b.
definase la sucesin de funciones
gn (x) = bn fn (x)
26 CAPTULO 2. INTEGRAL DE BOCHNER
Z Z Z
k fn (x)bn f (x)b kE d ||bn ||E | fn (x) f (x)|d+ k bn b kE | f (x)|d k bn b kE
I I I
< ( + ||b||E ) + |K|(I)
2( + ||b||E ) 2|K|(I)
<
por lo tanto || fn ||E son Lebesgue integrables y por el teorema de convergencia mo-
ntona se tiene que || f ||E es integrable Lebesgue. Sea f una funcin tal que || f ||E
es integrable Lebesgue, Sea fn una sucesin de funciones simples que convergen
a f en casi todo punto, definase gn (x) = fn (x) si y slo si || fn (x)||E 2|| f (x)||E y
gn (x) igual a 0 en otro caso. Entonces, puesto que ||gn ||E 2|| f ||E , se sigue que
||gn || es integrable y por la proposicin 1 gn es una sucesin de funciones sim-
ples Bochner-integrables y adems converge a f . Finalmente por la desigualdad
triangular
|| f gn ||E + ||gn ||E ||gn f ||E + || f ||E
|| f gn ||E ||gn f ||E ||gn ||E + || f ||E
||gn f gn ||E + || f ||E
3|| f ||E
Para algn M X
Demostracin. Dado que f es Bochner
R integrable se tiene que || f ||E es Lebesgue
integrable y por ende lm(M)0 M || f ||E d = 0 por el teorema anterior, y de la
R
R
desigualdad triangular
M f
M || f ||E d se obtiene lo deseado.
La siguiente condicin nos da una condicin clave para reconocer una funcin
Bochner integrable Se conoce el teorema de convergencia dominada de Lebesgue
y su gran importancia, a continuacin se dar una versin para la medida de
Bochner
28 CAPTULO 2. INTEGRAL DE BOCHNER
Demostracin. Dado que f : n f entonces || fn ||E || f ||E y como || fn ||E |g|, para
cada n || fn ||E es integrable y por teorema anterior es Bochner integrable, as por el
teorema de Convergencia Dominada e Lebesgue ||f|| es Lebesgue integrable y de
nuevo por el teorema anterior f es Bochner integrable.
R R
Para ver que lmn I fn d = f d, en efecto dado que fn f para todo > 0
existe N natural tal que si n N entonces
|| fn f ||E < /(I)
as tomese ese N, y si n N entonces por desigualdad triangular
Z Z Z
k fn d f d kE k fn f d kE
I I I
Z
< /(I) d
I
<
As Z Z
f d = lm fn d
I n I
El siguiente teorema exhibe una propiedad fuerte de la teora de la integral de
Bochner que no tiene anlogo no trivial en la teora de integracin de Lebesgue.
Teorema 4. Sean f : I E Bochner integrable y F un espacio de Banach sea el operador
lineal acotado T : E F, entonces T f : I F es Bochner integrable y
Z Z
T f = T( f )
I I
y por lo tanto
Z n
X
T( f (x))d = (Bi )T(xi )
i=1
Sea > 0,
Z Z Z Z
kT f d T fn d kF =k T( f d fn d) kF
I I I I
Z Z
k T kk f d fn d) kE
Z I I
k T k k f fn kE d
I
R
y dado que I
k f fn k d 0 entonces existe N N tal que si n N entonces
Z
k f fn kE d < /||T||F
I
entonces
Z Z
kT f d T fn d kF <
I I
30 CAPTULO 2. INTEGRAL DE BOCHNER
as Z Z
T fn d T f d
I I
Adems
Z Z
T f d = T lm fn d
I n I
Z
= lm T( fn )d
n I
Z
= T( f )d
I
R
As T f d es Bochner integrable.
k z xrk kE <
S
f (I/En ) es separable y por ende f I/ E
j=1 j . Es separable quedando demostrado
el teorema.
32 CAPTULO 2. INTEGRAL DE BOCHNER
2.3. Ejemplos
El siguiente ejemplo nos dar una nocin de integrabilidad de Bochner a funciones
discontinuas en conjuntos relativamente grandes
Ejemplo 5. Sea el subespacio de l , c0 el conjunto de todas las sucesiones que convergen
a 0 el cual es cerrado sobre l y por lo tanto completo, con la norma del sup es un espacio
de Banach, sea el conjunto Q = Q [0, 1] el cual es contable; Q = {1 , 2 , 3 , ...}, definase
la funcin:
ek
x = k , k Q
f (x) =
(2.8)
0 E.O.C.
Para solucionar este ejemplo se necesita entender que es una funcin caracterstica
en general dada una funcin entre dos espacios vectoriales, A y B. Sea M A y
sea B, entonces
xM
f (x) =
0
E.O.C.
Y se denotar como f (x) = (M).
fn (x) = ([an+1 , an ])
As la serie de funciones queda de la siguiente manera:
n
X
f1 fi
i=1
Esta serie converge a la funcin 2.9. Por otro lado, si an a entonces dado > 0
existe N N tal que si n N entonces
entonces:
Z 1
Xn
Z 1 Xn
([a, a1 ]) ([an+1 , an ]) f
d = kk (([a, a1 ]) ([an+1 , an ])) d
0
k=1
0 k=1
Z 1 Xn
= kk ([a, a1 ]) ([an+1 , an ]) d
0 k=1
|||||an+1 a|
<
Por lo tanto es Bochner integrable y su integral es 0 c0 .
Ahora para continuar en el ejemplo (2.8), dado que el conjunto Q es contable, sea
para cada i Q la funcin
e i
x = i
fei (x) =
0
E.O.C.
Z
Z 1
X n Xn X n
1
X n X n
ei [i , i1 ] ei [ik+1 , ik ] f (x)
= e ( , ] e [ , ]
d
i i i 1 i i k+1 ik
0
i=1 i=1 k=1
0 i=1 k=1
Z 1X n
X n
ei (i , i1 ] ei [ik+1 , ik ]
d
0 i=1
k=1
Z 1X n X n
kei k (i , i1 ] [ik+1 , ik ]d
0 i=1 k=1
Xn Z 1 Xn
(i , i1 ] [ik+1 , ik ] d
i=1 0 k=1
Xn
|in+1 |
i=1
<
34 CAPTULO 2. INTEGRAL DE BOCHNER
x+1 1x
f (k) = [1, k) + [k, 1) (2.10)
1+k 1k
x+1
[1, 1] si k = 1
g1 (k) si k {1, 1}
2
1 x
g1 (k) = g2 (k) = (x + 1)[1, 0) + (1 x)(0, 1]
si k S0
[1, 1] si k = 1
2
0
E.O.C.
0 E.O.C.
gn1 (k) k Sn3 n2
gn (k) = [1, 1 + m2n+2 ) + 2m2n+2 [m2 , 1] donde m = 2r + 1 y 0 r 2n2
x+1 1x n+2
m2n+2
; si k Sn2
(2.11)
En principio veamos que gn es medible para cada n natural, en efecto se proceder
por induccin, para n = 1 se tiene que
R 1
Z 1 x+1
1 2 d
g1 (k)d =
1 1x d
R
1
1 2
2 1
x /2+x
2 1
=
1
xx /2
2
2 1
=1 k S1
36 CAPTULO 2. INTEGRAL DE BOCHNER
R 1
Z 1
1 gn1 (k)d
gn (k)d =
1 x+1
R
n+2 [1, 1 + m2 ) + 2m2 n+2 [m2 , 1]d
n+2 1x n+2
1
1 m2 Sn3
1 k i=1 Si Por hiptesis de induccin
=
n+2
1+m2
R R1
x+1
[1, 1 + m2 n+2
)d + 1x
[m2n+2 , 1]d
1 m2n+2 1+m2n+2 2m2n+2
1 k Sn3 Si
i=1
=
n+2
1+m2 1
(x /2+x)
2 (xx2 /2)
+ 2m2n+2
m2n+2
1 1+m2n+2
Sn3
1 k Si
(1+m2n+2 )2i=1 n+2
=
! !
(1+m2n+2 )2
+(1+m2 ) (1+m2n+2 )
2
m2n+2
+ m2n+2 + (2m2n+2 ) +
1/2 1/2
(2m2n+2 )
2
Sn3
1 k i=1 Si n+2
=
2n+3
m2n+2 + 2m2 m2n+2 m22n+3
m2 2m2
n+2 + 2m2n+2
S n3
1 k i=1 Si
=
n+2
+ 1 m2n+1 2m2
n+1
m2 2m2 n+2
n2
[
=1 k Si
i=1
R1
Entonces se cumple para todo n as 1 gn (k)d = 1 para todo k n2
S
i=1 Si , para
poder entender mejor la sucesin recursiva, en las siguientes imgenes se grfica
2.3. EJEMPLOS 37
hasta n = 10, en donde se puede observar como la regin que debera estar colo-
reada se rellena a partir de esas funciones:
Fig 1: n=1
Fig 2: n=2
38 CAPTULO 2. INTEGRAL DE BOCHNER
Fig 3: n=3
Fig 4: n=5
2.3. EJEMPLOS 39
Fig 5: n=7
Fig 6: n=10
efecto:
Z 1 Z 1
k gn (k) 1 k d = lm
lm supx |gn (k) 1| d
n 1 n 1
Z 1
= lm d
n 1
=0
As se tiene una convergencia uniforme y dado que el intervalo sobre el cual estn
todas la funciones es de medida finita, entonces la funcin es Bochner integrable
R1
y 1 f (k)d = 1.
Para observar y hacer evidente el teorema de medibilidad de Pettis hay que ver
que dado que la funcin es Bochner integrable o Bochner medible debe existir
un conjunto de medida 0, para no complicar las cosas tomese como conjunto
de medida nula y veamos que f ([1, 1]) es separable, en efecto, sea k [1, 1], y
definase a fk (x), la funcin de la figura (2.3)
|1k2 ||1q2 |
Por la densidad de los racionales sobre R existe q Q tal que |kq| < 2(|1q||1k|+|1+k||1+q|)
,
as para la funcin fq (x) se tiene que
2.3. EJEMPLOS 41
43
44 CAPTULO 2. INTEGRAL DE BOCHNER
Bibliografa
[1] Bartle Robert G., The elemnt of integration and de Lebesgue measure, Jhon Wiley
y Sons, 1995.
[3] Jan Mikusinski L., The Bochner Integral,Academic Press Birkhuser, 1978.
45