Intbochner

2
LA INTEGRAL DE BOCHNER
UNIVERSIDAD DISTRITAL FRANCISCO JOS DE CLDAS
FACULTAD DE CIENCIAS Y EDUCACIN

PROYECTO CURRICULAR DE MATEMTICAS
JUAN DAVID LEAL CAMPUZANO
Bogot D. C.
2017
3
4
UNIVERSIDAD DISTRITAL FRANCISCO JOS DE CLDAS
FACULTAD DE CIENCIAS Y EDUCACIN
PROYECTO CURRICULAR DE MATEMTICAS
LA INTEGRAL DE BOCHNER
JUAN DAVID LEAL CAMPUZANO
Trabajo de Grado presentado como parte de

los requisitos para la obtencin del ttulo
de Matemtico por la Universidad Distrital
Francisco Jos de Cldas.
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
El fin es entender a cabalidad la integral de Lebesgue como una medida en

Rn y observar la ampliacin de la teora hacia una forma de medir en espacios
vectoriales y ms aun espacios de Banach a travs de la integral de Bochner.
9
10 NDICE GENERAL
Objetivos
0.1. Objetivo general

Identificar la integral de Bochner como una generalizacin de la integral de Le-
besgue y analizar sus propiedades.
0.2. Objetivos especficos

1.) Definir la integral de Bochner como una medida vectorial sobre un espacio de
Banach
2.) Comparar las propiedades de la integral de Bochner con las propiedades del
a integral de Lebesgue
3.) Ejemplificar funciones medibles sobre espacios de Banach desde la integral de

Bochner
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
1.2. Definicin, propiedades y ejemplos

Definicin 1. Sea X un conjunto arbitrario, entonces la familia X de subconjuntos de X
se llama una lgebra si solo si cumple las siguientes propiedades:
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) 0 para todo A X.
La funcin es contablemente aditiva, es decir para un sucesin de elementos En de

X,

[ X
En =
(En )
n=1 n =1
A la tripla (X, X, ) se le llama un espacio de medida.
Definicin 3. Sea un espacio de medida (X, X, ) y sea A X y A X, se dice que A

tiene medida - finita si es unin contable de elementos de la sigma lgebra y tiene medida
finita.
Definicin 4. Sea un espacio de medida (X, X, ) y sea Rn , dada una funcin

arbitraria f : X , decimos que f es una funcin simple si f (X) es numerable y
f 1 ({x}) es X medible para todo x X.
En las definiciones anterior se puede tomar a X como un subconjunto de Rn y a

como la medida de Lebesgue con su respectiva lgebra; como particularidad,
la medida de Lebesgue tiene la propiedad de invarianza bajo traslaciones, eso
quiere decir que dado un conjunto A X y una ntupla r de Rn se define
A + r = y Rn ; y = x + r, x A

. la invarianza se caracteriza por (A) = (A + r).

A continuacin se trabajar con funciones del tipo f : I J donde I, J son interva-
los de la recta real, y con la medida de Lebesgue denotada por con su respectiva
1.2. DEFINICIN, PROPIEDADES Y EJEMPLOS 15
-lgebra para el caso de la integral de Lebesgue. Los conceptos ms necesarios

se refieren a funciones simples y medibilidad fuerte entre otros, con el uso de
los teoremas de convergencia montona y convergencia dominada usados en la
teora de la medida [1, pag. 31, pag. 44].
Para entender la definicin formal de una funcin Lebesgue medible. Definase la

funcin caracterstica de R en R:

1
a<x<b
(a,b) (x) =

0 E.O.C.

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.
Ejemplo 1. Sea la funcin tringulo, simtrica en el intervalo [1, 1]:

x+1 1x<0
f (x) = x + 1 0 x 1

(1.1)

0 E.O.C.

Figura 1.1: Funcin tringulo simtrica en el intervalo
veamos que es Lebesgue integrable.

La funcin tringulo simtrica se puede escribir como la suma de dos funciones

de la siguiente manera:
f (x) = (x + 1)[1, 0] + (x + 1)(0, 1]
tmese f1 (x) = (x + 1)[1, 0] y f2 (x) = (x + 1)(0, 1] as f = f1 + f2 , tomando

2i particiones del intervalo [1, 1] para cada funcin f1 y f2 se puede tomar una
sucesin de funciones simples tal que fn1 y fn2 converjan a f1 y f2 respectivamente.
Las funciones son:
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
como cada sucesin de funciones es una suma de funciones caractersticas en-

tonces se puede definir fn como la suma de fn1 y fn2 , as fn converge a la funcin
triangulo. Algunas imgenes de las grficas para n = 1, n = 2, n = 3 se muestran
a continuacin
fig 1 Funcin para n = 1

fig. 2 Funcin para n = 2
fig. 3 Funcin para n = 3
As la funcin es Lebesgue integrable ya que por el teorema de convergencia

montona, como fn f y fn medible para cada n entonces f Lebesgue medible y
Z Z
f d = lm fn d = 1
Las anteriores grficas muestran como se comporta la sucesin de funciones

simples al acercarse a la funcin original pero no necesariamente la sucesin de
funciones es nica, se puede acercar tanto por abajo como por arriba y de
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.
Demostracin. [1, pag. 13]
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.
Ejemplo 2. Sea f como

0
si x I [0, 1]
f (x) =

1
si x Q [0, 1]
se desea hallar la integral de Lebesgue de la funcin en el intervalo cerrado [0, 1].
Sea Q = Q [0, 1], dado que es numerable entonces se puede definir a Q =

{a1 , a2 , a3 , ...} donde ai < a j para i < j; tmese el intervalo (ai , ai+1 ) y sea una sucesin
bin tal que bin ai , adems que bi1 = ai+1 y que bik+1 > bik para todo i, k N. Se tiene
que |ai bi1 | < 2i por la densidad de Q en R.
Ahora tmese la sucesin de funciones
n X
X
fn (x) = 1 ([bik , bik+1 )
k=1 i=1
Entonces fn (x) f (x)
Ahora dado que bin ai para todo > 0 existe Ni N tal que si n Ni entonces
|bin ai | < 2i
para todo i natural; as tmese N = maxi {Ni } y si n N 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.
El segundo ejemplo es por decirlo as el complemento de la funcin de Dirichlet,

es decir
Ejemplo 3. Sea f como

1
si x I [0, 1]
f (x) =

0
si x Q [0, 1]
se desea hallar la integral de Lebesgue de la funcin en el intervalo cerrado [0, 1].
Sea Q = Q [0, 1], dado que es numerable entonces se puede definir a Q =

{a1 , a2 , a3 , ...} donde ai < a j para i < j; se puede notar que an 1 si n . Por otro
lado sea la sucesin de funciones fn (x) definidas de la siguiente manera:

1
si x (an , an+1 )
fn (x) =

0
si E.O.C.
R
As definida ni=1 fi (x) f (x) si n . Ahora observe que lmn [0,1] | f (x) fn (x)| =
P
0. En efecto dado que an 1, para todo > 0 existe N N tal que si n N entonces
|1 an | < ; ahora
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.
Definicin 5 (Continuidad absoluta). Sea un espacio de medida (X, X, ) y sea una

medida v : X R, se dice que v es absolutamente continua con respecto a si para todo
A X tal que v(A) = 0 implica que (A) = 0
Captulo 2
Integral de Bochner
2.1. Definicin de la integral de Bochner

Esta seccin est dedicada al examen de la integral de Bochner. Algunos la co-
nocen como integral de Dunford y Schwart y otros como Primera integral de
Dunford. La integral de Bochner es una abstraccin directa de la integral de
Lebesgue, dicha integral fue introducida por Salomon Bochner en 1933. Se podra
decir que la integral de Bochner es solamente la integral de Lebesgue donde el va-
lor absoluto ha sido reemplazado por la norma en el espacio de Banach. Aunque
esto ocurre frecuentemente, tal comentario constituye una valoracin errnea de
la integral de Bochner. De hecho, la falla del Teorema de Radon-Nikodym para la
integral de Bochner es la base de algunos de los resultados ms sorprendentes en
la teora de medidas vectoriales y en la teora de estructura de espacios de Banach.
Por lo pronto se dar su definicin y algunas propiedades que obtiene y otras que
hereda de la integral de Lebesgue.
Definicin 6. Sea un funcin f : X E donde X es un espacio de medida -finito
(X, X, ) y E es un espacio de Banach, entonces f es fuertemente -medible si existe una
sucesin de funciones simples fn : X E que converge a f en casi todo punto.
La definicin de medibilidad fuerte da la concepcin de lo que es la integral de
Bochner de una funcin de un espacio de medida - finito a un espacio de Banach.
Definicin 7 (Integral de Bochner). Sea un funcin f : I E de un intervalo I de R
con la medida de Lebesgue, y E un espacio de Banach, entonces f es Bochner medible o
Bochner integrable si es fuertemente medible y
Z
lm k fn f kE d = 0 (2.1)
n I
21
22 CAPTULO 2. INTEGRAL DE BOCHNER
En ese caso se define la integral de f como

Z Z
f = lm fn d (2.2)
n I
En general Las funciones Lebesgue medibles son funciones tambin Bochner

medibles, los ejemplos 2 y 3 son ejemplos de ella y, an ms las funciones Riemann
son Bochner integrables. Para el ejemplo 1 se tiene que
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
2.2. Propiedades de la integral de Bochner

Algunas propiedades importantes de la integral de Bochner son su linealidad, la
desigualdad triangular entre otras.
En primer lugar si una funcin f es Bochner integrable entonces existe una suce-
sin de funciones simples tal que f = f1 + f2 + f3 + ... y por lo tanto
Z Z Z Z
f = f1 + f2 + f3 + ... <
De lo anterior se puede deducir el siguiente lema
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)
Demostracin. Tomando a a f y g como f = f1 + f2 + f3 + ... Ry g = g1 +Rg2 + g3 + ...

entonces
R f +R g = ( f + g)1 + ( f + g)R2 + ( f R+ g)3 +R... y as:R f + g = ( f + g)1 +
( f + g)2 + ( f + g)3 + ... < y f = R f1 + R f2 + R f3 + R... < R y as por
las propiedades de las funciones simples f + g = f + g y f = f
Lema 3. Dadas dos funciones Bochner integrables f , g y un nmero real, entonces

f + g(x) y f (x) es Bochner integrable
Demostracin. Dado que f y g son Bochner integrables existen fn y gn tal que
fn f y gn g, por lo tanto si se toma hn = fn + gn entonces hn ( f + g)(x) y si
se toma ln (x) = fn entonces
R ln (x) f (x). R
Ahora veamos que k f + g ( fn + gn ) kE = 0 y que k f fn kE = 0
Sea > 0, para fn y gn existen N1 y N2 tal que

Z Z
k f fn kE < /2 y k g gn kE < /2 si n > N1 y n > N2 resp.
As tomando N = max {N1 , N2 }:

Z Z
k f + g ( fn + gn ) kE k f fn kE + k g gn kE
Z Z
k f fn kE + k g gn kE
<
Sea > 0, para fn existe N tal que

Z
k f fn kE < /|| si n > N
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.

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
f (x)b es Bochner integrable.

Demostracin. i)Sea > 0 como bm b entonces existe N1 N tal que si n N1
entonces
k bm b kE <
, como f (x) Lebesgue integrable entonces por el lema 1 existe una sucesin fn (x)
f (x) creciente tal que para > 0 existe N2 N y se cumple que
Z
| fn (x) f (x)|d < /||bm ||E
para cada m N fijo y para n N2 . As fn (x)bm f (x)bm para un m fijo y adems
Z Z
k fn (x)bm f (x)bm kE = ||bm ||E | fn (x) f (x)|
I I
< ||bm ||E /||bm ||E =
Por lo tanto f (x)bm es Bochner integrable para todo m.

ii) Sea > 0 dado que f acotada existe K R+ tal que | f | K, bm b entonces
existe N N tal que si n N entonces
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)
Sea > 0 existe N1 tal que si n N1 entonces

| fn (x) f (x)| <
2( + ||b||E )
y existe N2 tal que si n N2 entonces
||bn b||E < /2|K|
Ahora tmese N = max {N1 , N2 } entonces:
k fn (x)bn f (x)b kE ||bn ||E | fn (x) f (x)| + | f (x)| k bn b kE

< ( + ||b||E ) + |K|
2( + ||b||E ) 2|K|
<
Por lo tanto gn (x) converge a f (x)b, adems
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 f (x)b es Bochner integrable
La propiedad de expresar una funcin Bochner integrable como una serie de

funciones simples permite tener la propiedad
Z Z
f || f ||E d (2.4)

Proposicin 3. Una f : I E funcin es Bochner integrable si solo si || f ||E : I R+ es

Lebesgue integrable.
Demostracin. Sea f Bochner integrable entonces existe una sucesin de fun-
ciones fn simples tal que fn f , definase la sucesin || fn ||E , entonces || fn ||E a || f ||E
por la desigualdad:
|| fn || || f ||E || fn f ||E
R
Adems dado que fn es integrable para cada n, entonces || fn ||E d = ki=1 (Bi I)||xi ||E
Pn
para Bi subconjuntos de I con interseccin vaca 2 a 2
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
Como por hiptesis || f ||E es integrable podemos aplicar el teorema de convergencia

dominada de Lebesgue y deducir que:
Z
lm k gn f d k= 0
n I
Lo cul quiere decir que Z Z

lm gn d = f d
n I
Por lo tanto f es Bochner integrable.
Corolario 1. Dada una funcin f Bochner integrable, se tiene que la integral de Bochner
es una medida absolutamente continua con respecto a la medida de Lebesgue, es decir,
Z
lm f d = 0 (2.5)
(M)0 M
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
Teorema 3 (Convergencia Dominada). Sea una sucesin fn : I E de funciones que

convergen a f : I E en casi todo punto de I. Si existe una funcin g : I R Lebesgue
integrable tal que || fn ||E |g| para todo n natural entonces f es Bochner integrable y
Z Z
f d = lm fn d
I n
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
Demostracin. Si f es simple entonces

n
X
f (x) = Bi xi
i=1
con xi E, as como T es lineal, se define

n
X
T( f (x)) = Bi I T(xi )
i=1
y por lo tanto
Z n
X
T( f (x))d = (Bi )T(xi )
i=1
y por la linealidad de T se tiene que

n
X Xn
(Bi )T(xi ) = T( (Bi )xi )
i=1 i=1
Z
= T( f d)
Ahora suponga que f Bochner integrable, entonces existe sucesin de funciones

simples fn tales que fn f y
Z Z Z
lm k fn f kE d = 0 lm fn d = f d
n n
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
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.
2.2.1. Teorema de medibilidad de Pettis

En la teora de integracin sobre espacios de Banach y por sobretodo espacios
vectoriales el matemtico Billy James Pettis hizo fuertes contribuciones sobre la
medibilidad de funciones definidas partiendo desde teoras ya establecidas por
Dimitri Egorov y Carlo Severini los cuales mostraban las condiciones suficientes
para la convergencia puntual y uniforme de una funcin sobre espacios de Banach
y sobre espacios vectoriales normados, el siguiente teorema que se debe a l y
muestra la propiedad de Pettis acerca de las consecuencias de que una funcin
definida de un subconjunto conexo de Rn a un espacio de Banach sea medible y
adems integrable; los conceptos necesarios ya se han venido usando, como lo
son la medida de Lebesgue, la medibilidad fuerte, lo que es una funcin simple,
etc. as enuncia el teorema de medibilidad de Pettis
Teorema 5 (Teorema de medibilidad de Pettis). Sea una funcin f : I E es
Lebsegue medible o fuertemente medible entonces existe M X con (M) = 0 y tal que
f (I/M) es un subconjunto separable de E
Demostracin. Suponga que f es Lebesgue medible, por lo tanto existe una suce-
sin de funcines simples fk tal que
lm k fk f kE = 0 (2.6)
k
en casi todo I. Definase para n, m naturales el conjunto

[
En m = x I; k fk (x) f (x) kE > 1/m

(2.7)
k=n
Como fk y f son medibles entonces k fk (x) f (x) kE es medible por proposicin 3

y as En m es medible para cada m, n N; adems la sucesin de conjuntos En m
es decreciente para todo n N, es decir En+1 m En m para todo T n y dado que
fk (x) f (x) en casi todo I, existe M tal que (M) = 0 y adems M (
n=1 En m ) = .
Dado que (I) < entonces

\
( En m ) = 0
n=1
Ahora sea > 0 y tmese para cada m N un km tal que
(Ekm m ) < /2m

S
y defnase E = m=1 Ekm m , tambin se tiene que E es Lebesgue medible y adems

X
(E ) (Ekm m )
m=1

X
<
m=1
2m
=
As si x < E entonces no pertenece a En m para cada m y n, por lo tanto
k fk (x) f (x) kE < 1/m
para k km , de lo anterior se da que fk (x) converge uniformemente en I/E y as

queda demostrado (2.6)
Ahora dado que fk (x) es simple para cada k N entonces la imagen de
I por fk tiene
dimensin finita y por lo tanto es un conjunto acotado es decir fk (I) = x1 , x2 , ...xrk ,

como la dimensin del rango para cada k natural es finita entonces la dimensin
de fk (I/En ) es de dimensin finita para todo n, k N. Sea z = f (w) f (I/En ) y
> 0 como fk (w) converge uniformemente a f (w) existe N N tal que si n N
k f (w) fk (w) kE <
entonces tmese xrk = fk (w) f j (I/En ) con j k, as
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.
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).
Al tener esto, para co y a [0, 1] definase la funcin f : [0, 1] c0 como

x = a

f (x) =

(2.9)
0 E.O.C.

R1
veamos que f es Bochner integrable y que su integral es 0 f = 0. En efecto,
sea una sucesin decreciente an de nmeros reales que converja a a tal que el
supnN {|an a|} 1 y definase fn : [0, 1] c0 como
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
|an+1 a| < /||||

2.3. EJEMPLOS 33
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.
y sea una sucesin decreciente in E tal que in i y que adems i1 i < 2i

para cada i N; y definase
n
X n X
X n
fn (x) = ei ([i , i1 ]) ei ([ik+1 , ik ])
i=1 i=1 k=1
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
<
Dado que i1 i < 2i para cada i N, entonces f(x) es Bochner integrable y

R1
adems 0 f d = 0.
En el ejemplo anterior no se pudo denotar muy bien el teorema de medibilidad
de Pettis dado que el rango era un conjunto numerable dada las circunstancias en
las que se define la funcin, en el siguiente ejemplo se podr observar mejor.
Ejemplo 6. Sea el intervalo I = [1, 1] y el espacio de Banach de las funciones acotadas

definidas en I con la norma del sup B([1, 1]) y sea la funcin f : I B([1, 1]) como
x+1 1x
f (k) = [1, k) + [k, 1) (2.10)
1+k 1k
Ver que es Bochner integrable y encontrar su integral
La anterior funcin describe una familia de tringulos cuyos vrtices se encuen-

tran en los puntos (1, 0), (k, 1), (1, 0) cuyas reas siempre son 1. Como funcin de
R2 en R genera la superficie mostrada en la siguiente figura si se fuera a medir
con una integral esta superficie, se trabajara con el volumen bajo la superficie
es decir una integral de volumen o se trabajara con la medida de la superficie
con una integral de superficie a lo cual esta integral nos arrojara un numero real
definiendo la medida sea cual sea el caso;
Lo interesante de esta teora es que al integrar la funcin descrita (2.10) la medida

de lo que nos arroja su integral ya no es un elemento de los reales, sino que es un
elemento del espacio imagen como subconjunto del espacio de Banach de llegada,
en este caso B([1, 1]), y este caso la imagen sern una familia de funciones que
describirn un rea en el plano R2
2.3. EJEMPLOS 35
Veamos que la funcin descrita es fuertemente medible, tmese la siguiente su-

cesin de conjuntos Sn = k [1, 1]; k = 1 + (2m + 1)2n , m N y 0 m < 2n y

S1 = {1, 1} los cuales son finitos para cada n natural, definase la siguiente suce-
sin recursiva de funciones
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
Para n=2 se tiene que

R 1
Z 1
1 g1 (k)d

g2 (k)d =

1 (x + 1)[1, 0) + (1 x)[0, 1]d
R
1
1
1 k S1

=

0 1
x2 /2 + x) x x2 /2)

1 0
=1 k S1 S0
Supongase cierto para k = n 1, entonces:
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
Fig 3: n=3
Se puede observar que el area se va rellenanado apartir de finitas funciones
Fig 4: n=5
2.3. EJEMPLOS 39
Fig 5: n=7
Fig 6: n=10
Y usando el programa DERIVE se obtuvo la ultima imagen (Fig. 6)

Ahora veamos que gn (k) f (k), en efecto sea > 0 y sea N N tal que 2N < ,
as, si n N entonces
k f (k) gn (k) kE = supx[1,1] | f (k) gn (k)|

2N
<
En la anterior sucesin de funciones se puede observar que para cada n, gn (k) es

Bochner integrable , veamos entonces que la funcin es Bochner integrable, en
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
k fk (x) fq (x) kE = supx[1,1] | fk (x) fq (x)|

x + 1 x+1

1x 1x
= supx[1,1] [1, k) + (k, 1] [1, q) + (q, 1]

1+k 1k 1+q 1q
x + 1 x+1

1 x 1x
supx[1,1] [1, k) [1, q) + (k, 1] (q, 1]

1+k 1+q 1k 1q
(x + 1)(k q) (1 x)(q k)

supx[1,1] + supx[1,1]
(1 + q)(1 + k) (1 q)(1 k)
|k q| |q k|

supx[1,1] + supx[1,1] ||1 x||
|1 + q||1 + k| |1 q||1 k|
< /2 + /2 =
Conclusiones
1. La primera conclusin y en mi la ms representativa se refiere al la impor-

tancia del uso de la integral de Lebesgue para generalizar un medida sobre
espacios normados mediante la integral de Bochner, la cual generaliza bas-
tantemente bien a sabiendas que depende de que si los conjuntos son o no
Lebesgue medibles, adems muchas de las propiedades de la integral de Le-
besgue son prcticamente heredadas por la integral de Bochner a excepcin
de algunas.
2. La teora de medibilidad de Bochner y el teorema de medibilidad de Pettis

permite ver la clase de convergencia que hay en el espacio y adems si el
espacio imagen de la funcin dada es separable o no, por medio de un la
existencia o no de una integral, adems si se tiene un espacio que no es
separable, por el teorema de Pettis se podra inferir que no existe la funcin
Bochner integrable que como imagen recaiga en ese espacio.
43
Bibliografa
[1] Bartle Robert G., The elemnt of integration and de Lebesgue measure, Jhon Wiley
y Sons, 1995.
[2] Forket Dominik L., The Banach space-valued integrals of Riemann,

McShane,Henstock-Kurzweil y Bochner, Viena university, 2012.
[3] Jan Mikusinski L., The Bochner Integral,Academic Press Birkhuser, 1978.
[4] Yoshida Kosaku, Funcional analysis, Springer-Verlang, 1980, pag. 132-135.
45

Intbochner

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Intbochner

Uploaded by

Copyright:

Available Formats

2

UNIVERSIDAD DISTRITAL FRANCISCO JOS DE CLDAS

FACULTAD DE CIENCIAS Y EDUCACIN

JUAN DAVID LEAL CAMPUZANO

UNIVERSIDAD DISTRITAL FRANCISCO JOS DE CLDAS

FACULTAD DE CIENCIAS Y EDUCACIN

PROYECTO CURRICULAR DE MATEMTICAS

JUAN DAVID LEAL CAMPUZANO

Trabajo de Grado presentado como parte de

El fin es entender a cabalidad la integral de Lebesgue como una medida en

0.1. Objetivo general

0.2. Objetivos especficos

3.) Ejemplificar funciones medibles sobre espacios de Banach desde la integral de

1.2. Definicin, propiedades y ejemplos

(A) 0 para todo A X.

La funcin es contablemente aditiva, es decir para un sucesin de elementos En de

A la tripla (X, X, ) se le llama un espacio de medida.

Definicin 3. Sea un espacio de medida (X, X, ) y sea A X y A X, se dice que A

Definicin 4. Sea un espacio de medida (X, X, ) y sea Rn , dada una funcin

En las definiciones anterior se puede tomar a X como un subconjunto de Rn y a

. la invarianza se caracteriza por (A) = (A + r).

-lgebra para el caso de la integral de Lebesgue. Los conceptos ms necesarios

Para entender la definicin formal de una funcin Lebesgue medible. Definase la

Ejemplo 1. Sea la funcin tringulo, simtrica en el intervalo [1, 1]:

Figura 1.1: Funcin tringulo simtrica en el intervalo

veamos que es Lebesgue integrable.

La funcin tringulo simtrica se puede escribir como la suma de dos funciones

f (x) = (x + 1)[1, 0] + (x + 1)(0, 1]

tmese f1 (x) = (x + 1)[1, 0] y f2 (x) = (x + 1)(0, 1] as f = f1 + f2 , tomando

como cada sucesin de funciones es una suma de funciones caractersticas en-

fig 1 Funcin para n = 1

fig. 2 Funcin para n = 2

fig. 3 Funcin para n = 3

As la funcin es Lebesgue integrable ya que por el teorema de convergencia

Las anteriores grficas muestran como se comporta la sucesin de funciones

Demostracin. [1, pag. 13]

Ejemplo 2. Sea f como

se desea hallar la integral de Lebesgue de la funcin en el intervalo cerrado [0, 1].

Sea Q = Q [0, 1], dado que es numerable entonces se puede definir a Q =

Entonces fn (x) f (x)

|bin ai | < 2i

para todo i natural; as tmese N = maxi {Ni } y si n N entonces

El segundo ejemplo es por decirlo as el complemento de la funcin de Dirichlet,

Ejemplo 3. Sea f como

se desea hallar la integral de Lebesgue de la funcin en el intervalo cerrado [0, 1].

Sea Q = Q [0, 1], dado que es numerable entonces se puede definir a Q =

Definicin 5 (Continuidad absoluta). Sea un espacio de medida (X, X, ) y sea una

2.1. Definicin de la integral de Bochner

En ese caso se define la integral de f como

En general Las funciones Lebesgue medibles son funciones tambin Bochner

2.2. Propiedades de la integral de Bochner

De lo anterior se puede deducir el siguiente lema

Demostracin. Tomando a a f y g como f = f1 + f2 + f3 + ... Ry g = g1 +Rg2 + g3 + ...

Lema 3. Dadas dos funciones Bochner integrables f , g y un nmero real, entonces

Sea  > 0, para fn y gn existen N1 y N2 tal que

As tomando N = max {N1 , N2 }:

Sea  > 0, para fn existe N tal que

f (x)b es Bochner integrable.

para cada m N fijo y para n N2 . As fn (x)bm f (x)bm para un m fijo y adems

Por lo tanto f (x)bm es Bochner integrable para todo m.

Sea  > 0 existe N1 tal que si n N1 entonces

||bn b||E < /2|K|

Ahora tmese N = max {N1 , N2 } entonces:

k fn (x)bn f (x)b kE ||bn ||E | fn (x) f (x)| + | f (x)| k bn b kE

|bin ai | < 2i

Sea > 0, para fn y gn existen N1 y N2 tal que

Sea > 0, para fn existe N tal que

Sea > 0 existe N1 tal que si n N1 entonces

||bn b||E < /2|K|

k f (w) fk (w) kE <

|an+1 a| < /||||