Tesis

INSTITUTO POLIT
ECNICO NACIONAL
ESCUELA SUPERIOR DE FISICA Y MATEMATICAS
Sobre dos tipos de integrales de funciones
que toman valores en espacios de Banach
T E S I S
QUE PARA OBTENER EL T
ITULO DE
LICENCIADO EN F
ISICA Y MATEM
ATICAS
P R E S E N T A
CESAR OCTAVIO PEREZ REGALADO
DIRECTOR DE TESIS
M. en C. FRANCISCO RAMIREZ REYES
Mexico, D. F. Septiembre de 2010
Indice general
Introduccion V
1. Preliminares 1
1.1. Espacios de medida . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . 2
1.3. Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . 4
2. Medibilidad fuerte y medibilidad debil 9
2.1. Funciones simples . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2. Funciones fuertemente F-medibles . . . . . . . . . . . . . . . . 12
2.3. Funciones debilmente F-medibles . . . . . . . . . . . . . . . . 22
2.4. Teorema de medibilidad de Pettis . . . . . . . . . . . . . . . . 24
3. La integral de Bochner 33
3.1. La integral de Bochner para funciones simples . . . . . . . . . 33
3.2. La integral de Bochner para funciones fuertemente medibles. . 45
4. La Integral de Pettis 71
4.1. La Integral de Pettis . . . . . . . . . . . . . . . . . . . . . . . 71
5. Relaci on entre la integral de Pettis y la integral de Bochner 81
5.1. Funciones simples y funciones numerables . . . . . . . . . . . 83
5.2. Relacion entre integrabilidad y series . . . . . . . . . . . . . . 89
5.3. Integrabilidad en R
q
. . . . . . . . . . . . . . . . . . . . . . . 91
Conclusion 95
iii
Introducci on
Debido a la estructura de los espacios de Banach estos pueden ser con-
siderados como el siguiente paso al extender la integral de Lebesgue despues
de haber sido extendida de los n umeros reales a los n umeros complejos, a
lo largo del tiempo las extensiones de la integral de Lebesgue a espacios
de Banach se han realizado extendiendo a espacios de Banach las diversas
construcciones que tiene la integral de Lebesgue, es conveniente mencionar
que al considerar espacios de Banach separables muchas de las extensiones
de la integral de Lebesgue son equivalentes o guardan grandes semejanzas
entre ellas, sin embargo cuando se consideran espacios de Banach no nece-
sariamente separables las distintas extensiones de la integral de Lebesgue se
alejan y guardan menos semajanzas.
En este trabajo se consideran dos tipos de integrales distintas, la inte-
gral de Bochner y la integral de Pettis; la primera integral, de Bochner, es
construida a partir de la construcci on clasica de la integral de Lebesgue, por
medio de el lmite de funciones escalonadas, de esta manera la Bochner inte-
grabilidad de una funcion f con valores en espacios de Banach se reduce a la
cl asica integrabilidad de [f[, sin embargo la integral de Bochner tiene algunas
deciencias con repsecto a la teora de la medida pues esta integral no cumple
en general con el Teorema de Radon-Nikodym; es en este punto donde toma
interes la Integral de Pettis pues esta se encuentra construida de tal manera
que si bien no cumple de manera exacta el Teorema de Radon-Nikodym, si
nos asegura que este se cumple de manera debil, es decir bajo la composici on
con los elementos del dual topol ogico del espacio de Banach correspondien-
te, es necesario mencionar que desde la publicacion original de B.J. Pettis
en 1938 y hasta nales de la decada de los sesentas no hubo progresos sig-
nicantes en la teora de la integral de Pettis, a partir de ese momento las
investigaciones que se realizaron tenan como motivacion la propiedad debil
de Radon-Nikodym.
Actualmente el desarrollo de las integrales de funciones con valores en
espacios de Banach se encuentra muy ligado a la integraci on estoc astica.
El siguiente trabajo hace un desarrollo de las integrales de Bochner y de
v
Pettis y se mencionan algunas relaciones entre ellas.
El Captulo 1 da los conceptos necesarios y b asicos de la teora de la
medida y de la integracion de Lebesgue que se utilizaran para comprender
las integrales tanto de Bochner como de Pettis, los resultados de este captulo
no se demuestran, sin embargo en cada uno referimos al lector a la bibliograa
donde puede encontrar su demostraci on.
En el Captulo 2 introduciremos los conceptos de medibilidad fuerte y
debil, el primer concepto es muy parecido en su denici on a la medibilidad
de funciones con valor en los reales; el segundo concepto sin embargo utiliza
el mismo concepto de las funciones medibles pero utilizandolo en el sentido
debil del espacio de Banach es decir observando que se cumpla para todos los
funcionales lineales y continuos del espacio de Banach, nalmente la ultima
seccion de este captulo demostraremos el teorema de Pettis que da la relaci on
entre la medibilidad fuerte y la medibilidad debil mostrando, asi que no son
conceptos ajenos uno de otro.
El Captulo 3 esta dedicado a desarrollar la integral de Bochner. La cons-
trucci on de esta integral es muy similir a la construcci on de de la integral
de Lebesgue en R tanto que ambas coinciden en R, al nal enunciamos y
demostramos el Teorema de Bochner que nos da condiciones necesarias y
sucientes para que una funcion sea Bochner integrable.
El Captulo 4 presenta el desarrollo de la integral de Pettis, los resultados
de este captulo son teoricos pues la denicion de la integral de Pettis no es
muy util para desarrollar calculos o encontrar el valor de la integral de una
funci on Pettis integrable.
El Captulo 5 de este trabajo nos muestra una manera de relacionar ambos
conceptos por medio de las series del espacio de Banach. La ultima seccion
de este captulo nos muestra el caso de trabajar con funciones valuadas en
R
n
y nos muestra las bondades de que ambos conceptos de integrabilidad
sean equivalentes.
vi
Captulo 1
Preliminares
Para el estudio de las integrales sobre espacios de Banach es necesario
conocer sobre teora de la medida y la construccion de la integral de Lebesgue
para funciones que toman valores en los n umeros reales. La fuente principal
de este captulo es [C80], tambien se usan [V02] y [R70].
1.1. Espacios de medida
Denicion 1.1.1. Sea un conjunto no vaco. Una colecci on F no vaca de
subconjuntos de es una -algebra sobre si:
a) A F entonces A
c
F,
b) Sea A
n
nN
una sucesion de conjuntos en F, entonces
n=1
A
n
F.
A la pareja (, F) le llamaremos espacio medible y a los elementos de F
les llamaremos conjuntos F-medibles.
Observaci on 1.1.1. De manera inmediata si F es una - algebra sobre ,
se tiene que , F. por lo que la coleccion de conjuntos , son una
- algebra sobre , al igual que el conjunto potencia P(), que en caso de
considerar a como un solo elemento ambas - algebras coinciden
Proposicion 1.1.2. Sea un conjunto no vaco y sea ( una coleccion
arbitraria de -algebras de , entonces la interseccion de -algebras que
pertenecen a (, es una -algebra de .
Demostracion. Vease [C80, p ag. 3].
Denicion 1.1.2. Sea A una colecci on de subconjuntos de , sea (
A
la
colecci on de todas las - algebras que contienen a A. La - algebra formada
por la interseccion de los elementos de (
A
es llamada la -algebra generada
por A.
1
Notemos que la - algebra generada por A es la mnima - algebra que
contiene a A
Denicion 1.1.3. Sea p N, sea T la colecci on de todos los conjuntos
abiertos de R
p
. A la - algebra generada por T en R
p
se le llama la -algebra
de Borel de R
p
y se denota por B(R
p
). A los elementos de B(R
p
) se les
llama los conjuntos Borelianos de R
p
.
Denicion 1.1.4. Sea (, F) un espacio medible. Una funcion : F
[0, +] es llamada una medida sobre (, F) si:
a) () = 0,
b) Si A
n
nN
es una sucesi on de conjuntos ajenos en F, entonces
(
n=1
A
n
) =
n=1
(A
n
).
Si (,F) es un espacio medible y : F [0, +] es una medida sobre
(,F), a la terna (,F,) se le llama espacio de medida.
Se dice que una condici on se cumple en casi todas partes (-c.t.p.) si el
conjunto de puntos donde no se cumple tiene medida cero.
1.2. Medida de Lebesgue
Denici on 1.2.1. Sea p N.Un intervalo p-dimensional es un subconjunto
de R
p
de la forma
(x
1
, . . . , x
p
) [ x
i
I
i
i = 1, . . . , p
donde I
1
, . . . , I
p
son intervalos de R y denotaremos a este conjunto por I
1
I
p
.
Denici on 1.2.2. Sea I = (a, b) un intervalo en R, denimos la longitud de
I como
long (I) := b a.
Si p N y I
1
I
p
es un intervalo p-dimensional, con I
j
= (a
j
, b
j
)
j = 1, . . . , p, se dene el volumen de I
1
I
p
como
Vol (I
1
I
p
) :=
p
j=1
long (I
j
) .
Sea A un subconjunto de R
p
, denimos C
A
como el conjunto de todas las suce-
siones Q
m
m=1
de intervalos p-dimensionales abiertos y acotados tales que
2
A
m=1
Q
m
. Entonces denimos la medida exterior de Lebesgue
: P(R
p
)
[0, +] como:
(A) := inf
_

n=1
Vol(Q
m
) [ Q
m
m=1
C
A
_
.
Denici on 1.2.3. Sea un conjunto y sea P() la coleccion de todos los
subconjuntos en . Una medida exterior sobre es una funci on
: P() [0, +]
tal que:
a)
() = 0
b) Si A, B con A B, entonces
(A)
(B),
c) Si A
n
nN
es una sucesi on de conjuntos en , entonces
_
n=1
A
n
_
n=1
(A
n
).
Proposicion 1.2.1. La medida exterior de Lebesgue sobre R
p
es una medida
exterior sobre R
p
.
Sea un conjunto y
una medida exterior sobre , un subconjunto A

de es
-medible si
(B) =
(B A) +
(B A
c
) B
Proposicion 1.2.2. Sea un conjunto y sea
una medida exterior sobre

. Si M
es la coleccion de todos los conjuntos
-medibles de . Entonces
a) M
es una -algebra sobre , y

b) la restriccion de
a M
, es una medida sobre (, M
).
Como consecuencia de la Proposicion 1.2.2 tenemos que (R
p
, M
) es
un espacio de medida, donde
es la medida exterior de Lebesgue, en este

caso M
se le conoce como los conjuntos Lebesgue medibles y a la restricci on

de
a M
se le llama la medida de Lebesgue.

3
1.3. Integral de Lebesgue
Denicion 1.3.1. Sea (, F) y (Y, E) dos espacios medibles. Una funci on
f : Y es llamada medible si
f
1
(B) F B E.
Si (Y, E) = (R, B(R)) entonces una funcion medible es llamada F-medible,
en el caso en el que (, F) = (R
p
, B(R
p
)) y (Y, E) = (R, B(R)) una fun-
ci on medible es llamada Borel medible o funcion de Borel, nalmente, si
(, F) = (R
p
, B(R
p
)) y (Y, E) = (R, M
) las funciones medibles son lla-

madas Lebesgue medibles.
En lo sucesivo y a menos que se indique lo contrario (, F, ) es un espacio
de medida, y recordemos que
R
+
:= x R [ x 0 .
Proposicion 1.3.1. Sea f : R una funcion F-medible, y g : R tal
que
f () = g () -c.t.p.,
entonces g es una funcion F-medible.
Denicion 1.3.2. : R es llamada simple si existen m N, E
1
, . . . , E
m
subconjuntos ajenos de y
1
, . . . ,
m
R tales que:
(x) =
m
j=1
E
j
(x)
j
x ,
donde
E
(x) es la funci on indicadora de E A.
Notemos que una funci on : R simple es F-medible si y s olo si los
conjuntos E
1
, . . . , E
j
son subconjuntos F-medibles de A.
Denici on 1.3.3. Sea f : R una funcion, se denen f
+
, f
: R
+
de la siguiente forma:
f
+
() := max f () , 0 ,
f
() := max f () , 0
Proposicion 1.3.2. Sea f : R si f es F-medible, entonces f
+
y f
son
F-medibles.
4
Demostracion. Vease [R70, p ag. 14].
Teorema 1.3.3. Sea f : R
+
una funcion F-medible. Entonces existen
funciones
n
: R
+
simples F-medibles para todo n N tales que:
a)
n

n+1
n N,
b)
f() = lim
n
n
() .
Denicion 1.3.4. Sea : R una funcion simple F-medible que se anula
fuera de A F, con medida nita, de la forma
() =
m
j=1
E
j
()
j
,
se dene la integral de como
_
d =
m
j=1
(E
j
)
j
.
Denici on 1.3.5. Sea f : R una funci on acotada que se anula fuera de
A F con medida nita. Si f es F-medible denimos la integral de Lebesgue
de f sobre como:
_
f d := sup
f
_
d,
donde el supremo se toma sobre el conjunto de funciones simples F-medibles,
que se anulan fuera de A.
Denici on 1.3.6. Sea f : R
+
una funcion F-medible. La integral de
Lebesgue de f sobre se dene como
_
f d := sup
hf
_
h d,
donde el supremo se toma sobre todas las funciones h: R F-medibles
acotadas, que se anulan fuera de un conjunto con medida nita.
5
Teorema 1.3.4 (Teorema de Beppo-Levi). Sean f
n
: R
+
funciones
F-medibles para todo n N, entonces
_
n=1
f
n
d =
n=1
_
f
n
d.
Teorema 1.3.5 (Lema de Fatou). Sean f
n
: R
+
funciones F-medibles
para toda n N, entonces
_
liminf
n
f
n
d liminf
n
_
f
n
d.
Denicion 1.3.7. Sea f : R
+
una funcion F-medible, entonces f es
llamada Lebesgue -integrable en , si
_
f d < +.
En el caso particular, cuando (, F, ) = (R
p
, M
) una funcion Lebesgue

-integrable es llamada simplemente funcion integrable.
Denici on 1.3.8. Sea f : R una funci on F-medible. Se dice que f
es Lebesgue -integrable, si las funciones f
+
, f
: R
+
son Lebesgue -
integrables, en este caso
_
f d =
_
f
+
d
_
d.
Al espacio formado por todas las funciones f : R Lebesgue -inte-
grables lo denotaremos por L
1
(, R) .
Finalmente hemos construido la Integral de Lebesgue para funciones med-
ibles de valor real, recordando primero se construye la integral para funciones
simples despues extendemos la denici on de integral a funciones medibles no
negativas. Para nalizar, se dene el concepto de funci on integrable para
cualquier funcion medible as como su integral en el caso de existir. Aho-
ra veamos un resultado muy importante para la convergencia de funciones
integrables.
Teorema 1.3.6 (Teorema de Convergencia Monotona). Sean f
n
: R
funciones F-medibles, para todo n N tales que:
6
a) f
1
f
2
. . . f
n
. . .
b) existe f : R tal que
lim
n
f
n
= f -c.t.p.,
entonces
_
f d = lim
n
_
f
n
d.
Proposicion 1.3.7. Sea f : R una funcion F-medible, si existe g :
R una funcion Lebesgue -integrable tal que
f () = g () -c.t.p.
Entonces f es Lebesgue -integrable y
_
f d =
_
g d.
Proposicion 1.3.8. Sea f : R una funcion F-medible. Si existe g :
R una funcion Lebesgue -integrable tal que
[f ()[ g () -c.t.p.
entonces f es Lebesgue -integrable.
Demostracion. Vease[C80, p ag. 62].
Teorema 1.3.9 (Teorema de Convergencia Dominada de Lebesgue). Sean
f
n
: R funciones F-medibles para toda n N, y sea f : R una
funcion, si
lim
n
f
n
= f -c.t.p.
y existe g : R
+
una funcion Lebesgue -integrable tal que
[f
n
[ g -c.t.p.
para toda n N. Entonces
a) f y f
n
son Lebesgue -integrables para todo n N;
7
b)
lim
n
_
[f
n
f[ d = 0;
c)
lim
n
_
f
n
d =
_
f d.
El Teorema 1.3.9, tiene una versi on para serie de funciones, esto es.
Teorema 1.3.10. Sean f
n
: R funciones F-medibles para toda n N
tales que
n=1
f
n
converge -c.t.p., si ademas
n=1
_
[f
n
[ converge, en-
tonces
a)
n=1
f
n
es Lebesgue -integrable,
b)
lim
m
_
n=m
f
n
d = 0;
c)
n=1
_
f
n
d =
_
n=1
f
n
d.
Demostracion. Inmediata del Teorema 1.3.9.
Teorema 1.3.11 (Lema de Riesz). Sean f
n
: R funciones Lebesgue
-integrables para toda n N y sea f : R una funcion Lebesgue -
integrable tales que
lim
n
_
[f
n
f[ d = 0,
entonces existe una subsucesion f
n
k
k=1
tal que
lim
k
f
n
k
= f -c.t.p.
Demostracion. Vease [V02, p ag. 790].
8
Captulo 2
Medibilidad fuerte y
medibilidad debil
En el presente captulo se introducen los conceptos de funci on fuertemente
medible y funci on debilmente medible tambien se mencionan algunas equiva-
lencias entre ambos conceptos. La base principal de este captulo es [S05] de
aqui se toman las deniciones y la estructura en general del Captulo, aunque
se modica ligeramente esta ultima pues en [S05] se trabaja con un espacio
de medida nita, por lo que es necesario introducir algunos resultados de
[R70] y [C80] para demostrar el Teorema de medibilidad de Pettis.
En lo sucesivo y a menos que se indique lo contrario X es un espacio de
Banach sobre un campo K (con R o C), 0
X
es el cero de X, 0
f
X
: X la
funci on identica a O
X
para toda , la norma de X se denota por [[
X
y X
a su dual topol ogico (esto es el conjunto de los funcionales lineales y

continuos sobre X), con norma [[
X
.
2.1. Funciones simples
Denicion 2.1.1. Una funcion f : X es llamada simple si existen
A
1
, A
2
, . . . , A
n
F tales que
A
i
A
j
= si i ,= j y =
n
_
i=1
A
i
,
x
1
, x
2
, . . . , x
n
X, con
f() =
n
i=1
A
i
()x
i
. (2.1)
9
Al conjunto de funciones simples de en X, lo denotaremos como o(, X).
Proposicion 2.1.1. Sean K y f, g o(, X). Entonces
a) f o (, X) ,
b) f +g o (, X) .
Demostracion. Sean A
1
, . . . , A
m
F y x
1
, . . . , x
m
X que cumplen (2.1),
tal que
f =
m
i=1
A
i
x
i
,
entonces
f() = f()
= (
m
i=1
A
i
()x
i
)
=
m
i=1
A
i
()x
i
Por lo tanto f o (, X). Sean B
1
, . . . , B
n
F y y
1
, . . . , y
n
X que
cumplen (2.1), tal que
g =
n
i=1
B
i
y
i
.
Denimos C
i,j
:= A
i
B
j
para i = 1, . . . , m, j = 1, . . . , n, claramente C
i,j
F
para i = 1, . . . , m, j = 1, . . . , n, y sea C
i,j
y C
k,l
tales que
C
i,j
C
k,l
,= ,
entonces
A
i
B
j
A
k
B
l
,= ,
as
A
i
A
k
,= y B
j
B
l
,= ,
luego i = k y j = l, lo cual implica que los conjuntos C
i,j
son ajenos a pares,
adem as
=
m
_
i=1
n
_
j=1
C
i,j
.
10
Por otro lado, dado , se tiene
(f +g) () = f () +g ()
=
m
i=1
A
i
() x
i
+
n
j=1
B
j
()y
j
=
m
i=1
()
A
i
()x
i
+
n
j=1
()
B
j
()y
j
=
m
i=1
n
j=1
B
j
()
A
i
()x
i
+
n
j=1
m
i=1
A
i
()
B
j
()y
j
=
m
i=1
n
j=1
B
j
()
A
i
()x
i
+
n
j=1
m
i=1
A
i
()
B
j
()y
j
=
m
i=1
n
j=1
B
j
A
i
()x
i
+
n
j=1
m
i=1
A
i
B
j
()y
j
=
m
i=1
n
j=1
C
i,j
()x
i
+
n
j=1
m
i=1
C
i,j
()y
j
=
m
i=1
n
j=1
C
i,j
()x
i
+y
j
.
Por lo tanto f +g o (, X).
Corolario 2.1.2. o (, X) es un espacio lineal sobre K.
Demostracion. Inmediata de la Proposici on 2.1.1, considerando la multipli-
caci on por escalar : Ko (, X) o (, X) como;
( f) () := f () K, f o (, X)
y la suma +: o (, X) o (, X) o (, X) como;
(f +g) () := f () +g () f, g o (, X) .
Adem as de considerar a 0
f
X
: X como el cero de o (, X) .
Proposicion 2.1.3. Sea f o(, X), entonces la funcion [f[
X
: R
denida por
[f[
X
() = [f()[
X
,
es una funcion simple F-medible.
11
1
, . . . , A
m
F y x
1
, . . . , x
m
X que cumplen (2.1).
Dado y notando que los A
i
, i = 1, . . . , m son ajenos, tenemos
[f[
X
() = [f()[
X
=
i=1
A
i
()x
i
X
=
m
i=1
A
i
() [x
i
[
X
.
As, [f[
X
o (, R).
2.2. Funciones fuertemente F-medibles
Denicion 2.2.1. Diremos que una funcion f : X es fuertemente F-
medible si exite una sucesi on de funciones f
n
n=1
en o (, X) tal que
lim
n
[f
n
() f()[
X
= 0 -c.t.p..
Al conjunto de funciones f : X fuertemente F-medibles, lo deno-
taremos por T (, X). Veamos a continuacion algunas propiedades de las
funciones fuertemente medibles.
Proposicion 2.2.1. Sean f T (, X) y g : X tales que
f () = g () -c.t.p.,
entonces g T (, X).
Demostracion. Sea f
n
n=1
una sucesion en o (, X) tal que
lim
n
[f
n
() f()[
X
= 0 -c.t.p..
Sean
A := [ f () ,= g ()
y
B :=
_
[ lim
n
[f
n
() f()[
X
,= 0
_
,
sea (A B) entonces
lim
n
[f
n
() g()[
X
= 0,
12
lo cual implica que
lim
n
[f
n
() g()[
X
= 0 -c.t.p.,
luego g T (, X).
Proposicion 2.2.2. Sean K y f, g T (, X). Entonces
a) f T (, X) ,
b) f +g T (, X) .
Demostracion. Sea f
n
n=1
lim
n
[f
n
() f()[
X
= 0 -c.t.p..
Entonces por la Proposicion 2.1.1, f
n
o (, X) para toda n N, adem as
[f
n
() f()[
X
= [[ [f
n
() f()[
X
-c.t.p..
As,
lim
n
[f
n
() f()[
X
= lim
n
[[ [f
n
() f()[
X
= [[ lim
n
[f
n
() f()[
X
= [[ 0 -c.t.p..
Por lo tanto f T (, X).
Sea g
n
n=1
lim
n
[g
n
() g()[
X
= 0 -c.t.p..
por la Proposici on 2.1.1, f
n
+g
n
es una sucesi on en o (, X), ademas
[(f
n
+g
n
) (f +g)[
X
= [f
n
+g
n
f g[
X
= [f
n
f +g
n
g[
X
[f
n
f[
X
+[g
n
g[
X
-c.t.p..
Luego
lim
n
[(f
n
+g
n
)() (f +g)()[
X
lim
n
[f
n
() f()[
X
+
[g
n
() g()[
X
lim
n
[f
n
() f()[
X
+
lim
n
[g
n
() g()[
X
= 0 + 0 -c.t.p.,
as f +g T (, X).
13
Corolario 2.2.3. T (, X) es un espacio lineal sobre K.
caci on por escalar : KT (, X) T (, X) como;
( f) () := f () K, f T (, X)
y la suma +: T (, X) T (, X) T (, X) como;
(f +g) () := f () +g () f, g T (, X) .
f
X
: X como el cero de T (, X) .
Proposicion 2.2.4. Sea f T (, X). Entonces [f[
X
: R es una fun-
cion medible.
Demostracion. Sea f
n
n=1
lim
n
[f
n
() f()[
X
= 0 -c.t.p.,
por la Proposici on 2.1.3, [f
n
[
X
o (, X) para todo n N, ademas
[[f
n
()[
X
[f()[
X
[ [f
n
() f()[
X
,
luego,
lim
n
[f
n
()[
X
= [f()[
X
-c.t.p..
As, [f[
X
es medible.
Proposicion 2.2.5. Sea f
n
n=1
f
1
n
(B) F B B(X), n N,
donde B(X) es la -algebra de Borel de X. Si f : X es tal que
lim
n
f
n
() = f() -c.t.p.,
entonces
f
1
(B) F B B(X) .
Demostracion. Probemos lo siguiente: Si f : X, entonces
f
1
(B) F B B(X) (g f) es una funci on A-medible,
para toda g : X R continua. Sea f : X una funcion tal que
f
1
(B) F
14
para todo B B(X) y sea g : X R continua. Si U R es un conjunto
abierto, entonces, g
1
(U) X es abierto, as g
1
(U) B(X), notando que
(g f)
1
(U) =
_
f
1
g
1
_
(U)
= f
1
_
g
1
(U)
_
se tiene
(g f)
1
(U) F,
en consecuencia g f es una funci on F-medible.
Sea f : X una funci on tal que g f es una funci on F-medible para
toda g : X R continua. Dado U X, denimos g
U
: X R como
g
U
(x) := inf
yU
c
[x y[
X
,
es claro que g es continua y ademas
U = g
1
U
(A),
donde A := R [ > 0, como g f es F-medible, tenemos que
f
1
g
1
U
(A) F, as f
1
(U) F para todo U X abierto, luego
f
1
(B) F B B(X) .
Finalmente, sea g : X R una funci on continua, entonces g f
n
: R es
F-medible para toda n N. Como g es una funci on continua,
lim
n
f
n
() = f()
entonces
lim
n
g f
n
() = g f()
as
lim
n
g f
n
() = g f() -c.t.p..
Luego g f es una funcion F-medible para toda g funci on continua y por la
armaci on anterior tenemos
f
1
(B) F B B(X).
Teorema 2.2.6. Sea f : X, entonces f es fuertemente F-medible si y
solo si existe A F, con (A) = 0 tal que f(A) es separable y
f
1
(B) F B B(X).
15
Demostracion. Sup ongase que f T (, X) y sea f
n
n=1
una sucesi on en
o (, X) tal que
lim
n
[f
n
() f()[
X
= 0 -c.t.p..
Sea X
y n N, dada A F tal que (A) = 0 y

lim
n
[f
n
() f()[
X
= 0 (A) .
Denimos
I
n
:= f
n
(A) n N
y sea
I :=
_
n=1
I
n
,
como cada I
n
es un conjunto nito, entonces I es un conjunto numerable y
su cerradura

I es separable adem as f(A) I. Luego f(A) es separable.
Fijemos n N, sean A
1
, . . . , A
m
F una particion de y x
1
, . . . , x
m
tales que
f
n
() =
m
i=1
A
i
()x
i
tomemos B X denimos := j N [ x
j
B. Entonces f
1
n
(B) =
j
A
j
por lo tanto
f
1
n
(B) F B X.
En particular para los subconjuntos de Borel de X y por la Proposicion 2.2.5
f
1
(B) F B B(X).
Sea f : X tal que existe A F, con (A) = 0 tal que f (A) es
separable y
f
1
(B) F B B(X) .
Sea C un subconjunto denso a lo sumo numerable del conjunto f(A), se
dene
C
:= q x X [ q Q y x C .
Si x
n
n=1
es una enumeraci on de C
, sin perdida de generalidad suponga-

mos que x
1
= 0, demostremos que para toda y f(A) y para todo > 0
existe m N tal que
[x
m
[
X
[y[
X
y [x
m
y[
X
< .
16
Sea y f(A) y > 0, si [y[
X
< , escogemos x
m
= x
1
= 0 por otro lado,
si [y[
X
sea Q
+
tal que
[y[
X

2
3
[ y[
X
[y[
X

3
,
claramente < 1. Dado que C es denso en f(A), existe x C tal que
[y x[
X
< /3,
como Q, entonces x C
, ademas cumple lo siguiente.

[ x[
X
= [ x y + y[
X
[ x y[
X
+[ y[
X
= [x y[
X
+[ y[
X
< /3 +[y[
X
/3
< /3 +[y[
X
/3
= [y[
X
,
as
[ x y[
X
= [ x y + y y[
X
[ x y[
X
+[ y y[
X
= [x y[
X
+[ y y[
X
< /3 +[( 1) y[
X
= /3 + (1 ) [y[
X
= /3 +[y[
X
[y[
X
2/3 +/3
= ,
lo cual prueba nuestra armaci on.
Para cada y n N denimos el conjunto
A
n
:= x
j
[ j n y [x
j
[
X
[f()[
X
,
notando que x
1
= 0, entonces A
n
no es vacio. Fijemos n N, construimos la
funci on f
n
: X de la siguiente manera
f
n
() := x
j
,
donde,
j
:= min
_
j N [ x
j
A
n
, [f () y
j
[
X
[f () y
i
[
X
y
i
A
n
_
.
17
Claramente f
n
tiene un rango nito, ahora probemos que f
1
n
(x
j
) es un
conjunto medible para toda n N y para toda j n. Sean n, m N con
n ,= m, denimos el conjunto
P
n,m
:= y X [ [y x
n
[
X
[y x
m
[
X
,
probemos que P
n,m
es un conjunto cerrado. Sea y un punto de acumulaci on
de P
n,m
entonces existe y
j
jN
en P
n,m
tal que
lim
j
y
j
= y,
como y
j
P
n,m
para toda j N, entonces
[y
j
x
n
[
X
[y
j
x
m
[
X
j N,
as
lim
j
[y
j
x
n
[
X
lim
j
[y
j
x
m
[
X
.
Recordando que el mapeo x [x z[
X
es continuo para todo z X, luego
[y x
n
[
X
=
lim
j
y
j
x
n
X
= lim
j
[y
j
x
n
[
X
lim
j
[y
j
x
m
[
X
=
lim
j
y
j
x
m
X
= [y x
m
[
X
,
esto es, y P
n,m
, as P
n,m
es cerrado.
Fijemos n
0
N tal que n
0
< 1 y sea k n
0
natural, para todo natural
j n
0
. Denimos el conjunto A
n
0
,k,j
de la siguiente forma,
A
n
0
,k,j
:=
_
_
_
B
(
0,|x
k
|
X
)
_
c
si j = k,
P
k,j
si j ,= k y [x
j
[
X
[x
k
[
X
,
P
k,j
B
(
0,|x
j
|
X
)
si j ,= k y [x
j
[
X
> [x
k
[
X
,
donde B
(x,r)
es la bola abierta de radio r > 0 y centro x. Notemos que
A
n
0
,j,k
B(X) para cualquier k n
0
, denimos
C
n
0
,k
:=
j=n
0
j=1
A
n
0
,k,j
,
18
el cual es un conjunto de Borel. Finalmente armamos que
f
1
(Y
n
0
,k
) = f
1
n
0
(x
k
) k n
0
donde
Y
n
0
,k
:=
_
_
C
n
0
,k
si k = 1
C
n
0
,k
i=k1
i=0
C
n
0
,i
_
si k > 1.
Fijemos un natural k n
0
, si k = 1 entonces
f
1
(Y
n
0
,1
) f
1
(C
n
0
,1
)
f() C
n
0
,1
f()
j=n
0
j=1
A
n
0
,1,j
f() A
n
0
,1,1
y f()
j=n
0
j=1
A
n
0
,1,j
f()
_
B
(
0,|0|
X
)
_
c
y
f()
j=n
0
j=2
_
P
1,j
B
(
0,|x
j
|
X
)
_
dado que x
1
= 0
f() X y f() P
1,j
B
(
0,|x
j
|
X
)
j = 2, . . . , n
0
f() P
1,j
o f() B
(
0,|x
j
|
X
)
j = 2, . . . , n
0
[f()[
X
[f() x
j
[
X
o [f()[
X
< [x
j
[
X
j = 2, . . . , n
0
[f()[
X
[x
j
[
X
y [f()[
X
[f() x
j
[
X
o
[f()[
X
< [x
j
[
X
j = 2, . . . , n
0
x
j
A
n
y [f()[
X
[f() x
j
[
X
o
x
j
/ A
n
j = 2, . . . , n
0
1 = min
_
j A
n
[ [f () y
j
[
X
[f () y
i
[
X
i A
n
_
f
n
0
() = x
1
f
1
n
0
(x
1
) .
19
Si k > 1, entonces
f
1
(Y
n
0
,k
) f
1
_
C
n
0
,k
_
k1
_
i=0
C
n
0
,i
__
f() C
n
0
,k
_
k1
_
i=0
C
n
0
,i
_
f() C
n
0
,k
y f() /
k1
_
i=0
C
n
0
,i
f() C
n
0
,k
y f() / C
n
0
,i
i < k
f()
n
0
j=1
A
n
0
,k,j
y f() /
n
0
j=1
A
n
0
,i,j
i < k
f () A
n
0
,k,j
j = 1, . . . , n
0
y
f () / A
n
0
,i,j
i
i < k y alg un j
i
n
0
[f ()[
X
[x
k
[
X
; [f () x
k
[
X
[f () x
j
[
X
o
[f ()[
X
< [x
j
[
X
j = 1, . . . , n
0
y
[f ()[
X
< [x
i
[
X
o [f ()[
X
[x
i
[
X
,
[f () x
i
[
X
> [f () x
j
i
[
X
i < k
x
k
A
n
0
y
min
_
j A
n
[ [f () y
j
[
X
[f () y
i
[
X
i A
n
_
f
n
0
() = x
k
f
1
n
0
(x
k
) .
Finalmente hemos probado que
f
1
(Y
n
0
,k
) = f
1
n
0
(x
k
) k n
0
.
As, f
1
n
0
(x
k
) F para todo natural k n
0
, por lo tanto f
n
0
es una funcion
simple para todo n
0
N. Sea A y sea > 0, entonces
f() f(A),
luego existe x
k
tal que
[x
k
[
X
[f ()[
X
y [x
k
f ()[
X
< .
Para toda N k se tiene que
x
k
A
N
,
20
as
[f
N
() f ()[
X
[x
k
f ()[
X
< .
Luego
f () = lim
n
f
n
() -c.t.p.,
lo cual implica que f T (, X).
Corolario 2.2.7. Sea f : K. Entonces f T (, K) si y solo si es
F-medible.
Demostracion. Consecuencia del Teorema 2.2.6.
n
n=1
una sucesion en T (, X) y f : X una
funcion tal que
lim
n
[f
n
() f()[
X
= 0 -c.t.p..
Entonces, f T (, X).
Demostracion. Notando que para todo n N, f
n
T (, X), entonces para
todo n N existe A
n
F, con (A
n
) = 0 tal que f
n
(A
n
) es separable y
f
1
n
(B) F B B(X),
por la Proposici on 2.2.5 sabemos que
f
1
(B) F B B(X).
Para cada n N, existe un conjunto D
n
numerable y denso en f
n
(A
n
),
denimos el conjunto
D :=
_
n=1
D
n
y armamos que f(A)

D, donde
A :=
_
n=1
A
n
[ limf
n
() ,= f
.
Por lo tanto (A) = 0. Sea x f(A) entonces existe
x
A tal que
f(
x
) = x, entonces
lim
n
f
n
(
x
) = f(
x
).
As, para todo > 0 existe m N tal que
[f
n
(
x
) f (
x
)[
X
< /2,
21
adem as,
x
/ A
m
lo cual implica que existe y D
m
tal que
[f
n
(
x
) y[
X
< /2,
entonces
[f (
x
) y[
X
[f
n
(
x
) f (
x
)[
X
+[f
n
(
x
) y[
X
< .
De donde se concluye que x = f(
x
)

D, esto es, f(A) es un conjunto
separable y por la Proposici on 2.2.6, f T (, X).
2.3. Funciones debilmente F-medibles
Denicion 2.3.1. Una funcion f : X es llamada debilmente F-medible
si f es F-medible para toda X
.
Denotamos al conjunto de todas las funciones f : X debilmente
F-medibles por J(, X).
Proposicion 2.3.1. Toda funcion simple es debilmente F-medible.
Demostracion. Sea f : X una funcion simple y A
1
, . . . , A
m
F, x
1
, . . . , x
m

X que cumplen (2.1) tales que
f =
m
i=1
A
i
x
i
,
y sea X
entonces
( f) () = (f())
=
_
m
i=1
A
i
()x
i
_
=
m
i=1
(
A
i
()x
i
)
=
m
i=1
A
i
()(x
i
) .
As, f : R es una funcion simple de valor real, luego medible para
todo X
, es decir, f J(, X).

22
Proposicion 2.3.2. Sean R y f, g J(, X). Entonces
a) f J(, X) ,
b) f +g J(, X) .
Demostracion. Recordando que
(f) () = f () y (f +g) () = f () +g () .
Sea X
, entonces
( f) () = ((f)())
= ( f())
= (f()) ,
luego ( f)() es F-medible para todo X
. Por lo tanto f
J(, X) . Sea X
, entonces
( (f +g)) () = ((f +g)())
= (f() +g())
= (f()) +(g()) ,
luego ((f +g))() es F para todo X
, por lo tanto, f +g J(, X).

Corolario 2.3.3. J(, X) es un espacio lineal sobre K.
caci on por escalar : KJ(, X) J(, X) como;
( f) () := f () K, f J(, X)
y la suma +: J(, X) J(, X) J(, X) como;
(f +g) () := f () +g () f, g J(, X) .
f
X
Proposicion 2.3.4. Sean f
n
n=1
una sucesion en J(, X) y f : X,
tal que
lim
n
[f
n
() f()[
X
= 0 -c.t.p..
Entonces f J(, X).
23
Demostracion. Sea X
, entonces f
n
n=1
es una sucesion de funciones
F-medibles, como es una funci on continua, entonces es acotada, luego
[( f
n
) () ( f) ()[
x
= [(f
n
()) (f())[
X
= [(f
n
() f())[
X
[[
X
[f
n
() f()[
X
.
As
lim
n
[( f
n
) () ( f) ()[
x
= lim
n
[(f
n
()) (f())[
X
lim
n
[[
X
[f
n
() f()[
X
= [[
X
lim
n
[f
n
() f()[
X
= [[
X
0 -c.t.p..
Lo cual implica que
( f)() = lim
n
( f
n
)() -c.t.p..
Entonces ( f) es F-medible para todo X
, as, f J(, X).

Proposicion 2.3.5. Sea g : X una funcion tal que
g () = f () -c.t.p.,
para alguna funcion f J(, X), entonces g J(, X).
Demostracion. Sea X
entonces
( g) () = ( f) () -c.t.p..
Dado que f es F-medible, entonces g tambien es F-medible, as g
J(, X) .
2.4. Teorema de medibilidad de Pettis
Teorema 2.4.1. Sea
n
n=1
una sucesion en X
y sea
. Entonces
lim
n
n
(x) =
(x) x X
si y solo si
[
n
[
X
n=1
es acotada y lim
n
n
(x) =
(x) x D,
donde D es un subconjunto denso de X.
24
Demostracion. Vease [Y80, p ag. 125].
Lema 2.4.2. Sea X un espacio de Banach separable, entonces existe una
sucesion
n
n=1
en X
con
[
n
[
X
1 n N,
y dada X
, con [[
X
1 existe una subsucesion

n
k
k=1
de
n
n=1
tal que
lim
k
n
k
(x) = (x) x X.
Demostracion. Sea x
i
i=1
una sucesi on densa de X, jemos m N, deni-
mos
S
1
:= X
[ [[
X
1.
Si
m
: S
1
R
m
donde
m
() = ((x
1
), . . . , (x
m
))
(con x
1
, . . . , x
m
los primeros n terminos de x
i
iN
). Sabemos que R
m
con
la norma euclideana es un espacio separable, si se considera a
m
(S
1
) como
un subespacio metrico de R
m
entonces, (S
1
) es separable. As, existe una
sucesi on
n,m
n=1
de S
1
tal que
m
(
n,m
)
n=1
es densa en
m
(S
1
).
Sea S
1
entonces existe una subsucesi on
k
m
,m
m=1
tal que
[
k
m
,m
(x
i
) (x
i
)[ <
1
m
para i = 1, 2, . . . , m m N.
Esto implica que
lim
m
k
m
,m
(x
i
) = (x
i
) i N.
Como
[
k
m
,m
[
X
1 m N y lim
m
k
m
,m
(x
i
) = (x
i
)
para un conjunto denso x
i
iN
de X, por el Teorema 2.4.1 se tiene que
lim
m
k
m
,m
(x) = (x) x X.
Teorema 2.4.3 (Teorema de Hahn-Banach). Sean X un espacio lineal nor-
mado, M un subespacio lineal de X y f
1
M
. Entonces existe f X
tal
que
f(x) = f
1
(x) x M y [f
1
[
M
= [f[
X
.
25
Corolario 2.4.4. Sea x X entonces existe X
tal que
(x) = [x[
X
y [[
X
= 1.
Demostracion. Sea M el subespacio lineal de X generado por x y sea
x
: M R denido por
x
(y) := [[ [x[
X
,
donde y = x, es claro que
x
M
y [
x
[
M
= 1, con
x
(x) = [x[
X
.
Por el Teorema 2.4.3 existe X
tal que
(x) = [x[
X
y [[
X
= 1.
Proposicion 2.4.5. Sea A X deparable, entonces el mnimo subespacio
lineal cerrado de X que contiene a A es separable.
Demostracion. Sea M el mnimo subespacio lineal cerrado que contiene a A,
se dene
L(A) :=
_
nN
_
n
j=1
c
j
x
j
[ c
j
Kx
j
A
_
,
es decir las combinaciones lineales nitas de elementos de A es evidente que
A L(A). Al se M un subespacio lineal que contiene a A, se tiene que
L(A) M, por otro lado si tomamos una combinacion ineal de elementos
en L(A) tenfremos una combinacion lineal nita de elementos de A, es decir
L(A) es un subespacio lineal de X, al tomar la cerradura de L(A) y con-
siderando que M es el minimo subespacio lineal cerrado de X que contiene
a A se tiene que L(A) = M.
Sea D A un conjunto denso numerable de A, sabemos que K es sepa-
rable y sea D un conjunto denso numerable de K, se dene
D
M
:=
_
nN
_
n
j=1
d
j
y
j
[ d
j
Dy
j
D
_
.
Notemos que D
M
es la union numerable de conjuntos numerables, por lo
tanto es numerable.
26
Sea x L(A), entonces existen n N, c
1
, . . . , c
n
K y x
1
, . . . , x
n
A
tales que
x =
n
j=1
c
j
x
j
.
Como D es un conjunto denso de K, dado > 0 existen d
1
, . . . , d
n
D tales
que
[c
j
d
j
[ <

2n[x
j
[
X
j = 1, . . . , n.
de igual manera al ser D un subconjunto denso de A existen y
1
, . . . , y
n
D
tales que
[x
j
y
j
[ <

2n[d
j
[
j = 1, . . . , n.
Entonces
x
n
j=1
d
j
y
j
X
=
j=1
c
j
x
j

n
j=1
d
j
y
j
X
=
j=1
c
j
x
j
d
j
y
j
j=1
[c
j
x
j
d
j
y
j
[
X
=
n
j=1
[c
j
x
j
d
j
x
j
+d
j
x
j
d
j
y
j
[
X
j=1
[c
j
x
j
d
j
x
j
[
X
+
n
j=1
[d
j
x
j
d
j
y
j
[
X
=
n
j=1
[c
j
d
j
[ [x
j
[
X
+
n
j=1
[d
j
[ [x
j
y
j
[
X
j=1
2n[x
j
[
X
[x
j
[
X
+
n
j=1
[d
j
[

2n[d
j
[
= .
Por lo tanto D
M
es un subconjunto denso de L(A), luego D
M
es un subcon-
junto denso y numerable de M por lo tanto M es separable.
Teorema 2.4.6 (Teorema de Medibilidad de B.J. Pettis). Sea f : X.
Entonces f T (, X) si y solo si f J(, X) y existe A F tal que
(A) = 0 y f(A) X es separable.
27
Demostracion. Supongamos que f T (, X) . Por la Proposici on 2.2.6,
existe A F tal que (A) = 0 y f (A) es separable. Por la Denici on 2.2.1
f es el lmite de una sucesion de funciones simples, por la Proposici on 2.3.1
son debilmente F-medibles. Finalmente por la Proposicion 2.3.4 se concluye
que f J(, X).
Supongamos que f J(, X) y que existe A F tal que (A) = 0 y
f(A) es separable. Sea M el minimo subespacio lineal cerrado de X que
contiene a A por la Proposici on 2.4.5 M es separable, adem as sea M
el
dual topologico de M. Probemos que para todo x M, [f() x[
M
es una
funci on F-medible. Sea b R, denimos
B := [ [f() x[
M
a
y
B
:= [ [(f() x)[ a M
.
Si B y M
con [[
M
1, entonces
[(f() x)[ [[
M
[(f() x)[
M
1 a,
luego B
para todo M
, as
B
||
M
1
B
.
Por otro lado, si

||
M
1
B
, entonces por el Corolario 2.4.4, existe
f()x
M
tal que
f()x
(f() x) = [f() x[ y
f()x
1,
as
a
f()x
(f() x)
= [f() x[
M
,
lo cual implica
||
M
1
B
B.
Resumiendo, se tiene
B =
||
M
1
B
.
28
Por el Lema 2.4.2, existe una sucesi on
n
n=1
en M
, con
[
n
[ 1 n N,
es claro que
||
M
1
B
n=1
B
n
.
Sea
n=1
B
n
, entonces
[
n
(f() x)[ a n N
y sea M
con [[
M
1, nuevamente por el Lema 2.4.2, existe una

subsucesi on
n
k
k=1
de
n
n=1
tal que
lim
k
n
k
(x) = (x),
luego
a lim
k
[
n
k
(f() x)[ = [(f() x)[ .
As, B
para todo M
, con [[
X
1, lo cual implica
n=1
B
||
M
1
B
y B =
||
X
1
B
n=1
B
n
.
Por la F-medibilidad debil de f, se tiene que la funci on f() x es
debilmente F-medible, sea M
por el Teorema 2.4.3 existe X
tal
que
(x) = (x) .
Probemos que
(f () x) = (f () x) -c.t.p. x M.
Fijemos x M, sea A entonces f () M, luego
(f () x) = (f () x) ,
lo cual implica que el conjunto donde la igualdad no se cumple es un sub-
conjunto de A, por lo tanto es de medida nita lo que prueba nuestra ar-
maci on. Luego por la Proposici on 1.3.1 (f () x) es F-medible para todo
M
, luego los conjuntos A
n
F para todo n N, por lo tanto A F y
[f() x[
M
es una funci on F-medible para todo x M.
29
Dado que f (A) es separable, para toda n N existen x
j,n
tales que
X =
_
jN
B(x
j,n
, 1/n) n N,
como [f() x
j,n
[
M
es una funcion F-medible, entonces el conjunto
B
j,n
= [ [f() x
j,n
[
M
< 1/n,
es un conjunto medible para todo j N.
Denimos
B
j,n
:= B
j,n
j1
_
i=1
B
i,n
,
y sea f
n
: X la funcion dada por
f
n
() :=
j=1
j,n
() x
j,n
.
Considerando que
f
n
= lim
k
k
j=1
j,n
() x
j,n
,
tenemos que f
n
T (, X) para toda n N, adem as para toda se
cumple que
[f
n
() f ()[
X
< 1/n n N,
as,
lim
n
f
n
() = f () .
De donde se concluye por la Proposici on 2.2.8 que f T (, X) .
Corolario 2.4.7. Sea f : X. Entonces
f T (, X) lim
n
h
n
() = f()
se tiene uniformemente para casi toda , donde h
n
n=1
es una sucesion
de funciones fuertemente F-medibles con rango a lo sumo numerable.
Demostracion. Sea f T (, X), por la demostraci on del Teorema 2.4.6,
existe una sucesi on f
n
n=1
en T (, X) dada por
f
n
() :=
j=1
j,n
() x
j,n
,
tal que
f = lim
n
f
n
() = f () .
Consideremos h
n
= f
n
para todo n N, lo que demuestra el Corolario.
30
Corolario 2.4.8. Sea X un espacio de Banach separable. Entonces f
T (, X) si y solo si f J(, X).
Demostracion. Sea f T (, X), por el Teorema 2.4.6 se tiene que f
J(, X). Sea f J(, X), como X es separable, entonces f () es sep-
arable aplicando el Teorema 2.4.6 al considerar A = se tiene que f
T (, X).
Proposicion 2.4.9. Si f T (, X), entonces existen g, h T (, X) con
g acotada y h tal que
h() =
i=1
x
i
E
i
() ,
donde x
i
X, i N y los conjuntos E
i
F ajenos a pares tales que
f() = g() +h() -c.t.p.
Demostracion. Por el Teorema 2.4.6 existe A F con (A) = 0, tal que
f (A) es un conjunto separable, sea x
n
n=1
una sucesion densa de A.
Denimos
E
n
:=
_
[ f () (x
n
+B(X))
n1
_
k=1
(x
k
+B(X))
_
,
donde B(X) es la bola unitaria en X. Entonces
A
_
n=1
E
n
y E
n
E
m
= m, n N con m ,= n,
adem as, E
n
es un conjunto medible por la Proposici on 2.2.6. Sea
h() :=
n=1
x
n
E
n
() ,
entonces h: X es fuertemente F-medible y f h T (, X), ademas,
para toda A
f () h() B(X) ,
es decir
[f () h()[
X
1 -c.t.p..
Tomando
g () :=
_
_
_
f () h() si A,
0
X
si A,
31
se tiene que para toda [g ()[
X
1 y
g () = f () h() -c.t.p.,
luego por la Proposicion 2.2.1 g T (, X), nalmente
f () = g () +h() -c.t.p..
32
Captulo 3
La integral de Bochner
Al extender el concepto de la integral de Lebesgue a funciones con valores
en espacios de Banach, se pueden mencionar al menos dos tipos de integrales:
la integral de Pettis y la integral de Bochner. En este captulo se muestra
la construcci on de la integral de Bochner, esta al igual que la integral de
Lebesgue, se dene primero para funciones simples y despues por medio de
limites, se dene para las funciones fuertemente F-medibles.
La fuente principal de este captulo es [S05], sin embargo para demostrar
algunos resultados como el teorema de Bochner usando espacios de medida
en genaral, no solo espacios de medida nita, se utiliza [Y80].
3.1. La integral de Bochner para funciones
simples
Denicion 3.1.1. Sea f : X una funcion simple dada por
f =
n
i=1
x
i
A
i
, (3.1)
con A
i
F, A
i
A
j
= si i ,= j, =
n
i=1
A
i
y x
i
X, i = 1, . . . , n. Se dice
que f es Bochner -integrable, si (A
i
) < para x
i
,= 0
X
, i = 1, . . . , n. En
este caso denimos la integral de Bochner de f sobre como
B
_
f d :=
n
i=1
x
i
(A
i
) .
Si A F denimos la integral de Bochner de f sobre A como
B
_
A
f d :=
n
i=1
x
i
(A
i
A) . (3.2)
33
Notemos que si A F tal que (A) = 0, entonces
B
_
A
f d = 0
X
y para todo A F
B
_
A
f d := B
_
f
A
d.
Adem as
B
_
0
f
X
d = 0
X
(3.3)
donde 0
f
X
() := 0
x
.
Denotaremos al conjunto de funciones f : X simples Bochner -
integrables como o
(, X).
Proposicion 3.1.1. Sean f, g o
(, X), K, entonces
a) f, f +g o
(, X);
b)
B
_
f d = B
_
f d;
c)
B
_
(f +g) d = B
_
f d +B
_
g d.
1
, . . . , A
m
F, x
1
, . . . , x
m
X que satisfacen (3.1),
con
f =
m
i=1
A
i
x
i
.
Entonces por Proposicion 2.1.1-a) f es una funcion simple y por la ecuaci on
(2.2),
f =
m
i=1
A
i
x
i
=
m
i=1
A
i
x
i
.
Si = 0, se tiene que f = 0
X
luego B
_
f d = 0
X
. Si ,= 0, sea
x
i
,= 0
X
, entonces x
i
,= 0
X
as, (A
i
) < luego f o
(, X).
34
Por denici on
B
_
f d :=
m
i=1
x
i
(A
i
)
=
m
i=1
x
i
(A
i
)
= B
_
f d.
Sean B
1
, . . . , B
n
F, y
1
, . . . , y
n
X que satisfacen las condiciones de la
Denici on 3.1.1, con
g =
n
j=1
B
j
y
j
.
Entonces por Proposici on 2.1.1-b) f + g es una funcion simple y por la
ecuaci on (2.2),
(f +g) () = f () +g ()
=
m
i=1
A
i
() x
i
+
n
j=1
B
j
() y
j
=
m
i=1
n
j=1
C
i,j
() z
i,j
con C
i,j
= A
i
B
j
y z
i,j
= x
i
+y
j
. Si z
i,j
,= 0
X
, entonces x
i
,= 0
X
o y
j
,= 0
X
,
luego
(A
i
) < o (B
j
) < ,
nalmente (C
i,j
) = (A
i
B
j
) < , por lo tanto f + g es Bochner -
integrable.
35
Adem as,
B
_
(f +g) d =
m
i=1
n
j=1
z
i,j
(C
i,j
)
=
m
i=1
n
j=1
(x
i
+y
j
)(A
i
B
j
)
=
m
i=1
n
j=1
x
i
(A
i
B
j
) +
m
i=1
n
j=1
y
j
(A
i
B
j
)
=
m
i=1
x
i
n
j=1
(A
i
B
j
) +
n
j=1
y
j
m
i=1
(A
i
B
j
)
=
m
i=1
x
i
(A
i
) +
n
j=1
y
j
(B
j
)
= B
_
f d +B
_
g d.
Corolario 3.1.2. o
(, X) es un espacio lineal sobre K.

caci on por escalar : Ko
(, X) o
(, X) como;
( f) () := f () K, f o
(, X)
y la suma +: o
(, X) o
(, X) o
(, X) como;
(f +g) () := f () +g () f, g o
(, X) .
f
X
Proposicion 3.1.3. Sea f o
(, X), entonces [f[

X
o
(, R) y
B
_
f d
X
B
_
[f[
X
d.
1
, . . . , A
m
F, x
1
, . . . , x
m
con
f =
m
i=1
A
i
x
i
.
36
Entonces por la Proposicion 2.1.3 [f[
X
es una funcion simple F-medible y
por la ecuaci on (2.2),
[f[
X
() =
m
i=1
A
i
() [x
i
[
X
.
Si [x
i
[
X
,= 0, entonces x
i
,= 0
X
luego (A
i
) < . As [f[
X
o
(, X).
Finalmente,
B
_
f d
X
=
i=1
x
i
(A
i
)
i=1
[x
i
(A
i
)[
X
=
m
i=1
[x
i
[
X
(A
i
)
= B
_
[f[
X
d.
(, X) y A, B F. Entonces
B
_
AB
f d = B
_
A
f d +B
_
B
f d B
_
AB
f d.
Demostracion. De la ecuaci on (3.2) se tiene que,
B
_
AB
f d = B
_
f
AB
d
= B
_
f(
A
+
B

AB
) d
= B
_
(f
A
+f
B
f
AB
) d
= B
_
f
A
d +B
_
f
B
d B
_
f
AB
d
= B
_
A
f d +B
_
B
f d B
_
AB
f d.
37
(, X) tales que f = g -c.t.p. Entonces

B
_
f d = B
_
g d.
Demostracion. Sea E dado por
E := [ f () ,= g () ,
luego E F y (E) = 0. Entonces por la Proposici on 3.1.4 y ecuaci on (3.2)
B
_
(f g) d = B
_
\E
(f g) d +B
_
E
(f g) d = 0
X
,
as
B
_
f d = B
_
g d.
La siguientes Proposiciones muestra algunas propiedades muy conocidas
de la integral de Lebesgue y que se conservan para la integral de Bochner
funciones simples considerando a R como un espacio de Banach.
(, R).
a) Si f() 0 -c.t.p., entonces
B
_
f d 0.
b) Si f() g() -c.t.p., entonces
B
_
f d B
_
g d.
Demostracion. a) Sea
f
1
() :=
_
_
_
f () si f() 0,
0 si f() < 0,
entonces f
1
= f -c.t.p.. Sean A
1
, . . . , A
n
y x
1
, . . . , x
n
R que satis-
facen las condiciones de la Denicion 3.1.1, con
f
1
=
n
i=1
x
i
A
i
.
38
Sea A
i
para algun i = 1, . . . , n, entonces f
1
() = x
i
, as x
i
0.
Razonando de esta manera, se tiene que x
i
0, A
i
,= . Si para algun
i = 1, . . . , n A
i
= , entonces (A
i
) = 0, luego x
i
(A
i
) = 0
Luego
B
_
f
1
d =
n
i=1
x
i
(A
i
) 0,
y por la Proposicion 3.1.5
B
_
f d = B
_
f
1
d 0.
b) Por la Proposicion 3.1.1, (f g) o
(, X) y (f g) () 0 -c.t.p.,
por el inciso a) tenemos
B
_
(f g) d 0,
luego
B
_
f d B
_
g d.
(, R) tal que f 0 -c.t.p., entonces

B
_
fd = 0 f = f
0
R
c.t.p..
Demostracion. Supongamos que
f = f
0
R
c.t.p.,
entonces por la equaci on (3.3) y la Proposici on 3.1.5
B
_
f d = B
_
f
0
R
d = 0.
Supongamos que
B
_
f d = 0,
sean A
1
, . . . , A
n
y x
1
, . . . , x
n
R que satisfacen las condiciones de la Deni-
ci on 3.1.1, con
f
1
=
n
i=1
x
i
A
i
.
39
Sea B := i = 1, . . . , n [ x
i
,= 0 , supongamos que B ,=, en caso contrario
tendriamos que x
i
= 0, i = 1, . . . , n y por lo tanto f = f
0
R
lo que probaria
nuestra armacion, supongamos que existe j B tal que (A
j
) > 0 como
f 0 -c.t.p. es claro que x
j
> 0, entonces
f () x
j
A
j
()
y por la Proposicion 3.1.6-b)
B
_
f d B
_
x
j
mu
A
j
d > 0,
lo cual es una contradicci on a nuestra hip otesis por lo tanto (A
j
) = 0 para
toda x
j
B por lo tanto
_
jB
A
j
_
= 0 y
f = f
0
R
-c.t.p..
Denicion 3.1.2. Se dene la L-seminorma de o
(, X), [[
1
: o
(, X)
R como
[f[
1
:= B
_
[f[
X
d.
Proposicion 3.1.8. La L-seminorma de o
(, X), es una seminorma sobre

o
(, X).
Demostracion. a) Por la Proposicion 3.1.3, [f[
X
es una funci on Bochner
-integrable y
[f()[
X
0 ,
entonces
[f[
1
= B
_
[f[
X
d 0.
b) Sea f o
(, X) y K, entonces por la Proposicion 3.1.1-b),

[f[
1
= B
_
[f[
X
d
= B
_
[[ [f[
X
d
= [[ B
_
[f[
X
d
= [[ [f[
1
,
esto es
[f[
X
= [[ [f[
X
K, f o
(, X) .
40
c) Sean f, g o
(, X), notando que [f +g[

X
[f[
X
+ [g[
X
, tenemos
por la Proposici on 3.1.6-b) y 3.1.1-c)
[f +g[
1
= B
_
[f +g[
X
d
B
_
([f[
X
+[g[
X
) d
= [f[
1
+[g[
1
f, g o
(, X) .
Denicion 3.1.3. Se dene la relacion de equivalencia -c.t.p. en o
(, X)
como
R
c.t.p.
(, X) := (f, g) o
(, X) o
(, X) [ f = g -c.t.p. .
Proposicion 3.1.9. La relacion de equivalencia -c.t.p. en o
(, X) deno-
tada por R
c.t.p.
(, X) es una relacion de equivalencia en o
(, X).
Demostracion. a) Sea f o
(, X), sea
A := [ f () ,= f () ,
dado que f es una funci on se tiene que A = , luego (A) = 0, as
f = f -c.t.p.,
por lo tanto R
c.t.p.
(, X) es reexiva.
b) Sean f, g o
(, X) tales que
f = g -c.t.p.,
por la simetria de la igualdad se tiene que,
g = f -c.t.p.,
por lo tanto R
c.t.p.
(, X) es simetrica.
c) Sean f, g, h o
(, X) tales que
f = g -c.t.p. y g = h -c.t.p..
Sean A := [ f () ,= g () y B := [ g () ,= h(), sea
(A B), entonces
f () = h() ,
41
luego el conjunto donde f y h no son iguales es un subconjunto de
A B, por lo tanto es de medida cero, es decir
f = h c.t.p.,
esto implica que R
c.t.p.
(, X) es transitiva.
Recordemos que para todo f o
(, X) , [f] representa la clase de equiv-

alencia de f, es decir
[f] := g o
(, X) [ f = g -c.t.p. .
Denicion 3.1.4. Sea S
(, X) := o
(, X) /R
c.t.p.
(, X) es decir el
conjunto de clases de equivalencia de o
(, X) respecto a R
c.t.p.
(, X) .
Proposicion 3.1.10. S
(, X) es un espacio lineal sobre K con la multipli-

cacion por escalar : KS
(, X) S
(, X) denida por,
[f] := [ f] K, [f] S
(, X) ,
y la suma : S
(, X) S
(, X) S
(, X) denida por,
[f] + [g] := [f +g] [f] , [g] S
(, X) .
Donde ,+ son la multiplicacion por escalar y la suma de o
(, X) respecti-
vamente. Ademas de considerar a [0
f
X
] como el cero de S
(, X) .
Demostracion. Provemos que tanto como estan bien denidas y no
dependen del representante de la clase de equivalencia.
Sea K y [f] S
(, X) , sean f, g [f], entonces

f = g -c.t.p.,
se denen
A := [ f () ,= g ()
y
B := [ f () ,= g () ,
sea A, entonces
f () = g () ,
luego
f () = g () ,
42
por lo tanto B A, as (B) = 0 y
f = g -c.t.p.,
nalmente [ f] = [ g] .
Sean [f] , [g] S
(, X) , sean f, h [f] y g, q [g], entonces

f = h y g = q -c.t.p.,
se denen A := [ f () ,= h() , B := [ g () ,= h() y
C := [ f +g () ,= h +q () . Sea (A B), entonces
f +g () = h +q () ,
luego C A B, as (C) = 0 y
f +g = h +q -c.t.p.,
nalmente [f +g] = [h +q] .
De esta manera se prueba que tanto como estan bien denidas,
nalmente por el Corolario 3.1.2 y el hecho de que las operaciones y
dependen de y + respectivamente, se concluye que S
(, X) es un espacio
lineal.
tales que
f = g -c.t.p.,
entonces
[f[
1
= [g[
1
.
Demostracion. Sean A := [ f () ,= g () y B := [ [f[
X
() ,= [g[
X
().
Sea A, entonces [f[
X
() = [g[
X
() , luego B A, as (B) = 0 y
[f[
X
= [g[
X
,
[f[
1
= B
_
[f[
X
d = B
_
[g[
X
d = [g[
1
.
Gracias a la Proposici on 3.1.11 podemos denir una norma sobre S
(, X)
a partir de la L-seminorma de o (, X) .
43
Denicion 3.1.5. Se dene la L-norma de S
(, X), ||
1
: S
(, X) R
como
|[f]|
1
:= [f[
1
.
Por la Proposici on 3.1.11 la L-norma de S
(, X) se encuentra bien
denida y no depende del representante de la clase de equivalencia.
Proposicion 3.1.12. La L-norma de S
(, X) es una norma sobre S
(, X).
Demostracion. a) Sea [f] S
(, X), entonces por la Proposici on 3.1.8

|[f]|
1
= [f[
1
0.
b) Sea [0
f
X
] S
(, X), entonces por la Denicion 3.1.5 |[0

f
X
]|
1
=
B
_
[0
f
X
[
X
d = 0. Sea [f] S
(, X) tal que |[f]|

1
= 0, entonces
B
_
[f[
X
d = 0
[f[
X
= f
0
R
-c.t.p.,
entonces
f = 0
f
X
-c.t.p.,
es decir [f] = [0
f
X
] .
c) Sean K y [f] S
(, X) , entonces por la Proposici on 3.1.8,

| [f]|
1
= |[ f]|
1
= [ f[
1
= [[ [f[
1
= [[ |[f]|
1
.
d) Sean [f] , [g] S
(, X) , entonces por la Proposici on 3.1.8,

|[f] [g]|
X
= |[f +g]|
1
= [f +g[
1
= [f[
1
+[g[
1
= |[f]|
1
+|[g]|
1
.
44
3.2. La integral de Bochner para funciones
fuertemente medibles.
Denicion 3.2.1. Sean f
n
n=1
y g
m
m=1
sucesiones en o
(, X).
a) La sucesi on f
n
n=1
es llamada L-cero si
lim
n
[f
n
[
1
= 0.
b) f
n
n=1
y g
m
m=1
se dicen equivalentes si f
n
g
n
n=1
es L-cero.
c) La sucesion f
n
n=1
es llamada L-Cauchy si para cada > 0 existe
N
N tal que
[f
q
f
r
[
1
< q, r N
.
n
n=1
una sucesion L-Cauchy en o
(, X), en-
tonces [f
n
[
X
n=1
es L-Cauchy en o
(, R).
Demostracion. Sea > 0, entonces existe N
N tal que [f
q
f
r
[
1
< , si
q, r N
. Entonces, de la Proposicion 3.1.6-c), tenemos
[f
q
[
X
[f
r
[
X
1
= B
_
[f
q
[
X
[f
r
[
X
d
B
_
[f
q
f
r
[
X
d
= [f
q
f
r
[
1
< q, r N
.
Proposicion 3.2.2. Sean f
n
n=1
, g
m
m=1
sucesiones L-Cauchy en o
(, X)
y K. Entonces f
n
n=1
y f
n
+g
n
n=1
son sucesiones L-Cauchy.
Demostracion. Sea > 0, como f
n
n=1
es L-Cauchy existe N
/||
N tal
que
[f
q
f
r
[
1
<

[[
q, r N
/||
.
As,
[f
q
f
r
[
1
= [()(f
q
f
r
)[
1
= [[ [f
q
f
r
[
1
< [[

[[
= q, r N
/||
,
45
esto es, f
n
n=1
es L-Cauchy.
Finalmente, sea > 0, como f
n
n=1
y g
m
m=1
son L-Cauchy existe
N
N tal que
[f
q
f
r
[
1
<

2
y [g
q
g
r
[
1
<

2
q, r N
.
Entonces de la Proposici on 3.1.8
[f
q
+g
q
f
r
g
r
[
1
[f
q
f
r
[
1
+[g
q
g
r
[
1
<

2
+

2
= .
As, f
n
+g
n
n=1
es L-Cauchy.
Corolario 3.2.3. El espacio de sucesiones L-Cauchy en o
(, X) es un
espacio lineal sobre K.
caci on por escalar
f
n
n=1
:= f
n
n=1
,
y la suma como;
f
n
n=1
+g
n
n=1
:= f
n
+g
n
n=1
,
adem as de considerar al cero como la sucesion constante 0
f
X
n=1
.
El siguiente resultado nos asegura que cada sucesi on L-Cauchy admite
una subsucesi on que converge en el sentido usual y adem as de manera uni-
forme.
Lema 3.2.4. Sea f
n
n=1
una sucesion L-Cauchy de o
(, X). Entonces
existe una subsucesion f
n
k
k=1
tal que converge a una funcion f : X
-c.t.p. y para cada > 0 existe E F, con (E) < tal que f
n
k
k=1
converge uniformemente a f en E.
Demostracion. Como f
n
n=1
es L-Cauchy, entonces para toda k N, existe
M
k
N tal que si q, r M
k
, entonces
[f
q
f
r
[
1
<
1
2
2k
. (3.4)
Sea N
1
= M
1
y N
k
:= max M
k
, N
k1
+ 1 para todo k 2, entonces para
todo q, r N
k
se cumple la ecuaci on (3.4) y adem as N
k
< N
k+1
. Tomemos
g
k
= f
N
k
, entonces
[g
m
g
n
[
1
= [f
N
m
f
N
n
[
1
<
1
2
2n
m n.
46
Para cada , denimos la serie
g
1
() +
k=1
(g
k+1
() g
k
())
y mostremos que es absolutamente convergente -c.t.p. y que su convergencia
es uniforme excepto en un conjunto de medida arbitrariamente peque na.
Para n N denimos
M
n
:=
_
[ [g
n+1
() g
n
()[
X

1
2
n
_
,
y por la Proposici on 2.2.6, M
n
es un conjunto F-medible. Entonces por la
Proposicion 3.1.6-b)
1
2
n
(M
n
) = B
_
M
n
1
2
n
d
B
_
M
n
[g
n+1
g
n
[
X
d
B
_
[g
n+1
gn[
X
d
= [g
n+1
g
n
[
1
<
1
2
2n
,
por lo tanto
(M
n
) <
1
2
n
.
Sea Z
n
:=
j=n
M
j
, entonces
Z
n+1
Z
n
n N
y
(Z
n
)
j=n
(M
j
)
<
j=n
1
2
j
=
1
2
n1
.
47
Para / Z
n
y k n, tenemos
[g
k+1
() g
k
()[
X
<
1
2
k
,
y por lo tanto la serie
k=n
(g
k+1
() g
k
()) converge absolutamente y
uniformemente para / Z
n
.
Sea > 0, tomemos k N tal que
1
2
k1
< , si N = Z
k
, entonces
(N) = (Z
k
) <
1
2
k1
< ;
esto prueba que la serie
k=n
(g
k+1
()g
k
()) converge absoluta y uniforme-
mente sobre N.
Tomando M :=
n=1
Z
n
, entonces es evidente que (M) = 0 y si / M,
entonces / Z
n
para algun n N. Por lo tanto
g
1
() +
k=1
(g
k+1
() g
k
())
converge para toda / M. Esto implica que
lim
k
g
k
() = lim
k
f
N
k
existe -c.t.p. y la sucesion f
N
k
k=1
converge uniformemente sobre N.
Lema 3.2.5. Sean f
n
n=1
y g
m
m=1
sucesiones L-Cauchy en o
(, X).
a) La sucesion
_
B
_
f
n
d
_
n=1
converge en X.
b) Si f
n
n=1
y g
m
m=1
son equivalentes, entonces las sucesiones
_
B
_
f
n
d
_
n=1
y
_
B
_
g
m
d
_
n=1
convergen al mismo lmite en X.
c) Si f
n
n=1
y g
m
m=1
ambas convergen a f : X -c.t.p., entonces
f
n
n=1
y g
m
m=1
son equivalentes.
Demostracion. a) Probemos que la sucesion
_
B
_
f
n
d
_
n=1
en X es una
sucesion de Cauchy, por ser X completo
_
B
_
f
n
d
_
n=1
converge en
X. Sea > 0, entonces existe N
N tal que
[f
q
f
r
[
1
< q, r N
.
Si q, r N
B
_
f
q
d B
_
f
r
d
X
=
B
_
(f
q
f
r
)
X
d
B
_
[f
q
f
r
[
X
d
= [f
q
f
r
[
1
< .
48
b) Del inciso a) sabemos que f
n
n=1
y g
m
m=1
tienen lmite en X sean
f
:= lim
n
B
_
f
n
d y g
:= lim
n
B
_
g
n
d, ademas dado que
f
n
n=1
y g
m
m=1
son equivalentes, entonces para toda > 0 existe
N N tal que
[f
r
g
r
[
1
= B
_
[f
r
g
r
[
X
d <

3
,
B
_
f
r
d f
X
<

3
,
B
_
g
r
d g
X
<

3
, r N,
luego
[f
[
X

B
_
f
r
d
X
+
B
_
f
r
d B
_
g
r
d
X
+
B
_
g
r
d g
X
<
2
3
+B
_
[f
r
g
r
[
x
d
< .
Lo que implica que
lim
n
B
_
f
n
d = lim
m
B
_
g
m
d.
c) Denimos
h
n
:= f
n
g
n
n N
como f
n
n=1
y g
n
n=1
son L-Cauchy, por la Proposici on 3.2.2 la
sucesi on h
n
n=1
es L-Cauchy, ademas
limh
n
= 0
X
-c.t.p.
Por la porposici on 3.2.1 y el inciso a) se tiene que las sucesiones
_
B
_
h
n
d
_
n=1
y
_
B
_
[h
n
[
X
d
_
n=1
son convergentes.
Demostremos que
lim
n
B
_
[h
n
[
X
= 0,
sea > 0, existe N N tal que para todo q, r N se tiene que
[h
q
h
r
[
1
< ,
49
denimos
M := [ h
N
,= 0 ,
notemos que M y por la Proposici on 2.2.6 M F y por ser h
N
Bochner -integrable M es de medida nita.
Por otro lado q N, tenemos
B
_
\M
[h
q
[
X
d = B
_
\M
[h
q
h
N
[
X
d
B
_
[h
q
h
N
[
X
d
= [h
q
h
N
[
1
< .
Por denicion de M, tenemos h
N
() = 0
X
para todo M, por el
Lema 3.2.4 existe un subconjunto Z M con
(Z) <

sup
[h
N
()[
X
+ 1
y una subsucesi on h
n
k
k=1
que converge a 0
X
uniformemente sobre el
conjunto MZ. As, existe n
k
0
N con n
k
0
N tal que para n
k
n
k
0
y para toda MZ se tiene
h
n
k
0
X
<

(M)
.
Sea n
k
n
k
0
, entonces
B
_
M\Z
h
(n)
X
d <

(M)
(MZ)
,
adem as
B
_
Z
h
(n)
X
d B
_
Z
h
(n)
h
N
X
d +B
_
Z
[h
N
[
X
d
h
(n)
h
N
1
+ sup
[h
N
()[
X
(Z)
< +

sup
[h
N
()[
X
+ 1
sup
[h
N
()[
X
< 2.
50
Por lo tanto
[h
n
[
1
= B
_
h
(n)
X
d
B
_
\M
h
(n)
X
d +B
_
M\Z
h
(n)
X
d +B
_
Z
h
(n)
X
d
< + + 2
= 4.
Lo cual implica
lim
n
B
_
h
(n)
X
d = 0,
as
lim
n
B
_
[h
n
[
X
d = 0,
es decir, f
n
n=1
y g
m
m=1
son equivalentes.
Denicion 3.2.2. Sea f : X diremos que f es una funci on Bochner
-integrable, si existe una sucesion f
n
n=1
L-Cauchy en o
(, X) tal que
lim
n
[f
n
() f()[
X
= 0 -c.t.p.,
decimos que la sucesi on L-Cauchy f
n
determina a f. En este caso la integral
de Bochner de f sobre se dene como:
B
_
f d := lim
n
B
_
f
n
d.
Observaci on 3.2.6. Gracias al Lema 3.2.5, sabemos que existe la integral
de Bochner y que esta no depende de la sucesi on que determina a f. Por lo
tanto esta bien denida la integral de Bochner. En lo sucesivo, al conjunto
de funciones f : X Bochner -integrables lo denotaremos por B
(, X).
Proposicion 3.2.7. Sean f, g B
(, X) y K, entonces
a) f, (f +g) B
(, X)
b)
B
_
f d = B
_
f d
c)
B
_
(f +g) d = B
_
f d +B
_
g d.
51
Demostracion. Sean f
n
n=1
y g
m
m=1
dos sucesiones L-Cauchy en o
(, X)
que determinan a f y g respectivamente. Por la Proposici on 3.2.2, se sabe
que f
n
n=1
y f
n
+g
n
n=1
son sucesiones L-Cauchy. Sea > 0, entonces
existe n
0
N tal que para toda n n
0
se cumple que
[f
m
() f()[
X
< min
_
2
,

[[
_
-c.t.p.
y
[g
m
() g()[
X
<

2
-c.t.p.
As,
[f
n
() f()[
X
= [[ [f
n
() f()[
X
< [[

[[
= ,
y
[(f
n
+g
n
)() (f +g)()[
X
= [f
n
() +g
n
() f() g()[
X
[f
n
() f()[
X
+[g
n
() g()[
X
<

2
+

2
= .
Por lo tanto f
n
n=1
y f
n
+g
n
n=1
determinan a f y f + g respectiva-
mente.
Luego
B
_
f d = lim
n
B
_
f
n
d
= lim
n
B
_
f
n
d
= lim
n
B
_
f
n
d
= B
_
f d.
52
Por otro lado
B
_
(f +g) d = lim
n
B
_
(f
n
+g
n
) d
= lim
n
_
B
_
f
n
d +B
_
g
n
d
_
= lim
n
B
_
f
n
d + lim
n
B
_
g
n
d
= B
_
f d +B
_
g d.
Corolario 3.2.8. B
(, X) es un espacio lineal sobre K.

caci on por escalar : KB
(, X) B
(, X) como;
( f) () := f () K, f B
(, X)
y la suma +: B
(, X) B
(, X) B
(, X) como;
(f +g) () := f () +g () f, g T (, X) .
f
X
: X como el cero de B
(, X) .
Proposicion 3.2.9. Sean X, Y dos espacios de Banach y sea T : X Y
una transformacion lineal continua de X en Y . Si f B
(, X), entonces
T f B
(, Y ) y
T
_
B
_
f d
_
= B
_
T f d.
Este resultado nos asegura que la propiedad de que una funcion sea Bochn-
er -integrable se conserva al aplicar transformaciones lineales continuas.
Demostracion. Primero probemos que el resultado se cumple para funciones
simples Bochner -integrables.
Sean f o
(, X), A
1
, . . . , A
m
F, x
1
, . . . , x
m
con
f =
m
i=1
A
i
x
i
.
53
Dado que f o
(, X) entonces, si x
i
,= 0
X
se tiene que (A
i
) < en este
caso
(T f) () = T
_
n
i=1
x
i
A
i
()
_
=
n
i=1
T (x
i
)
A
i
() ,
donde T (x
i
) Y , i = 1, . . . , n. Ademas si
T (x
i
) ,= 0
Y
x
i
,= 0
X
,
as (A
i
) < +, luego T f o
(, Y ).
Finalmente
T
_
B
_
f d
_
= T
_
n
i=1
x
i
(A
i
)
_
=
n
i=1
T (x
i
) (A
i
)
= B
_
T f d.
Ahora supongamos que f B
(, X) y sea f
n
n=1
una sucesi on L- Cau-
chy en o
(, X) que determina f. Por el desarrollo anterior de la demostraci on,

sabemos que T f
n=1
es una sucesi on en o
(, X). Sean q, r N, entonces

B
_
[T f
q
T f
r
[
Y
d = B
_
[T (f
q
f
r
)[
Y
d
B
_
[T[ [f
q
f
r
[
X
d
= [T[ B
_
[f
q
f
r
[
X
d,
de lo cual se puede concluir que la sucesion T f
n=1
es L-Cauchy. Por otro
lado
lim
n
[(T f
n
) () (T f) ()[
Y
= lim
n
[T (f
n
() f ())[
Y
lim
n
[T[ [f
n
() f ()[
X
= [T[ lim
n
[f
n
() f ()[
X
= [T[ 0.
54
Por lo tanto T f
n=1
es una sucesi on L-Cauchy que determina a T f.
As
T
_
B
_
f d
_
= T
_
lim
n
B
_
f d
_
= lim
n
T
_
B
_
f d
_
= lim
n
B
_
T f d
= B
_
T f d.
Proposicion 3.2.10. Si f B
(, X) y f
n
n=1
es una sucesion L-Cauchy
en o
(, X) que determina a f, entonces [f[

X
B
(, R). Ademas [f
n
[
X
n=1
determina a [f[
X
, en este caso
B
_
[f[
X
d = lim
n
B
_
[f
n
[
X
d
= lim
n
[f
n
[
1
,
mas a un

B
_
f d
X
B
_
[f[
X
d.
Demostracion. Sabemos por la Proposicion 3.2.1 que [f
n
[
n=1
es una suce-
si on L-Cauchy en o
(, R) y
[f
n
()[
X
[f()[
X
[f
n
() f()[
X
, n N.
Entonces
lim
n
[f
n
()[
X
[f()[
X
= 0 -c.t.p.,
por lo tanto [f
n
[
X
n=1
determina a la funci on [f[
X
, luego [f[
X
B
(, X)
y
B
_
[f[
X
d = lim
n
B
_
[f
n
[
X
d.
De la Proposici on 3.1.3 se sabe que
B
_
f
n
X
d B
_
[f
n
[
X
d n N,
55
entonces
B
_
f d
X
=
lim
n
B
_
f
n
d
X
lim
n
B
_
[f
n
[
X
d
= B
_
[f[
X
d.
Proposicion 3.2.11. Sea f : X una funcion tal que f = 0
f
X
-c.t.p.,
entonces f B
(, X) y
B
_
f d = 0
X
.
Demostracion. Sea f
n
n=1
una sucesi on, con f
n
() = 0
X
para toda ,
as, B
_
f
n
d = 0
X
para toda n N. Sean q, r N, entonces f
q
()fr() =
0
X
para toda , luego
[f
q
f
r
[
1
= B
_
[f
q
f
r
[
X
d = 0,
as f
n
n=1
es una sucesi on L-Cauchy tal que
lim
n
f
n
= f -c.t.p.
Por lo tanto f B
(, X) y
B
_
f d = lim
n
B
_
f
n
d
= lim
n
0
X
= 0
X
.
Proposicion 3.2.12. Sea f B
(, X) y g : X tales que f = g -
c.t.p., entonces g B
(, X) y
B
_
f d = B
_
g d.
56
Demostracion. Como f = g -c.t.p., entonces g f = 0
X
-c.t.p. y por la
Proposicion 3.2.11, (g f) B
(, X) y
B
_
(g f) d = 0
X
.
Por otro lado, g = g f +f, entonces g B
(, X) y
B
_
g d = B
_
f d +B
_
(g f) d
= B
_
f d.
(, R) si
a)
f 0 -c.t.p. B
_
f d 0.
b)
f g -c.t.p. B
_
f d B
_
g d.
Demostracion. a) Como f 0 -c.t.p., entonces f = [f[ -c.t.p., as, por
las Proposiciones 3.2.12 y 3.2.10
B
_
f d = B
_
[f[ d
=
B
_
f d
,
lo cual implica
B
_
f d 0.
b) Como f g -c.t.p., entonces f g 0 -c.t.p., entonces por el inciso
a)
B
_
(f g) d 0.
57
Por otro lado
B
_
f d = B
_
(f g +g) d
= B
_
(f g) d +B
_
g d
= B
_
g d.
(, R
+
) tal que
B
_
f d,
entonces
f = 0
f
R
-c.t.p..
Demostracion. Probemos el resultado por contrapositivo. Supongamos que
existe A F con (A) > 0 tal que
f () > 0 A.
Para cada n N denimos B
n
:= A [ f () 1/n, entonces A =
n=1
B
n
. Supongamos que (B
n
) = 0 para todo n N, entonces (A) = 0
lo cual es una contradicci on a nuestra suposici on, por lo tanto existe n
0
N
tal que (B
n
0
) > 0. Notemos que
f ()
1
n
0
B
n
0
() ,
entonces por la Proposici on 3.2.13-b)
B
_
f d
(B
n
0
)
n
0
> 0.
Denicion 3.2.3. El mapeo [[
1
: B
(, X) R se dene como
[f[
1
:= B
_
[f[
X
d.
Proposicion 3.2.15. La funcion [[
1
tiene las siguientes propiedades
58
a) [f[
1
0 para toda f B
(, X);
b) [f[
1
= [[ [f[
1
para todo f B
(, X) y R;
c) [f +g[
1
[f[
1
+[g[
1
para todo f, g B
(, X).
Es decir [[
1
es una seminorma sobre B
(, X).
Demostracion. Sean f, g B
(, X) y f
n
n=1
y g
m
m=1
sucesiones L- Cau-
chy que determinan a f y g respectivamente. Por la Proposici on 3.1.8, se sabe
que
a)
B
_
[f
n
[
X
d 0;
b)
B
_
[f
n
[
X
d = [[ B
_
[f
n
[
X
d K y
c)
B
_
[f
n
+g
n
[
X
d B
_
[f
n
[
X
d +B
_
[g
n
[
X
d n N.
Por las Proposiciones 3.2.1 y 3.2.2, las sucesiones [f
n
[
n=1
, [g
n
[
n=1
, [f
n
[
n=1
y [f
n
+g
n
[
n=1
son L-Cauchy y determinan a [f[ , [g[ , [f[ y [f +g[, respec-
tivamente. Si n , entonces las propiedades se conservan y el resultado
se tiene.
Al igual que en el caso de funciones simples Bochner -integrables, pode-
mos por medio de una relaci on de equivalencia construir un espacio normado
a partir de B
(, X).
Denicion 3.2.4. Se dene la relacion de equivalencia -c.t.p. en B
(, X)
como
R
c.t.p.
(, X) := (f, g) B
(, X) B
(, X) [ f = g -c.t.p. .
Proposicion 3.2.16. La relacion de equivalencia -c.t.p. en B
(, X) de-
notada por R
c.t.p.
(, X) es una relacion de equivalencia en B
(, X).
59
Demostracion. a) Sea f B
(, X), sea
A := [ f () ,= f () ,
dado que f es una funci on se tiene que A = , luego (A) = 0, as
f = f -c.t.p.,
por lo tanto R
c.t.p.
(, X) es reexiva.
b) Sean f, g B
(, X) tales que
f = g -c.t.p.,
por la simetria de la igualdad se tiene que,
g = f -c.t.p.,
por lo tanto R
c.t.p.
(, X) es simetrica.
c) Sean f, g, h B
(, X) tales que
f = g -c.t.p. y g = h -c.t.p..
Sean A := [ f () ,= g () y B := [ g () ,= h(), sea
(A B), entonces
f () = h() ,
luego el conjunto donde f y h no son iguales es un subconjunto de
A B, por lo tanto es de medida cero, es decir
f = h c.t.p.,
esto implica que R
c.t.p.
(, X) es transitiva.
Denicion 3.2.5. Sea B
(, X) := B
(, X) /R
c.t.p.
(, X) es decir el
conjunto de clases de equivalencia de B
(, X) respecto a R
c.t.p.
(, X) .
Proposicion 3.2.17. B
(, X) es un espacio lineal sobre K con la multi-

plicacion por escalar : KB
(, X) B
(, X) denida por,
[f] := [ f] K, [f] B
(, X) ,
y la suma : B
(, X) B
(, X) B
(, X) denida por,
[f] + [g] := [f +g] [f] , [g] B
(, X) .
Donde ,+ son la multiplicacion por escalar y la suma de B
(, X) respecti-
vamente. Ademas de considerar a [0
f
X
] como el cero de B
(, X) .
60
Demostracion. Provemos que tanto como estan bien denidas y no
dependen del representante de la clase de equivalencia.
Sea K y [f] B
(, X) , sean f, g [f], entonces

f = g -c.t.p.,
se denen
A := [ f () ,= g ()
y
B := [ f () ,= g () ,
sea A, entonces
f () = g () ,
luego
f () = g () ,
por lo tanto B A, as (B) = 0 y
f = g -c.t.p.,
nalmente [ f] = [ g] .
Sean [f] , [g] B
(, X) , sean f, h [f] y g, q [g], entonces

f = h y g = q -c.t.p.,
se denen A := [ f () ,= h() , B := [ g () ,= h() y
C := [ f +g () ,= h +q () . Sea (A B), entonces
f +g () = h +q () ,
luego C A B, as (C) = 0 y
f +g = h +q -c.t.p.,
nalmente [f +g] = [h +q] .
De esta manera se prueba que tanto como estan bien denidas,
nalmente por el Corolario 3.2.8 y el hecho de que las operaciones y
dependen de y + respectivamente, se concluye que B
(, X) es un espacio
lineal.
tales que
f = g -c.t.p.,
entonces
[f[
1
= [g[
1
.
61
Demostracion. Sean A := [ f () ,= g () y B := [ [f[
X
() ,= [g[
X
().
Sea A, entonces [f[
X
() = [g[
X
() , luego B A, as (B) = 0 y
[f[
X
= [g[
X
,
[f[
1
= B
_
[f[
X
d = B
_
[g[
X
d = [g[
1
.
Gracias a la Proposici on 3.2.18 podemos denir una norma sobre B
(, X)
a partir del mapeo [[
1
: B
(, X) R.
Denicion 3.2.6. Se dene la L-norma de B
(, X), ||
1
: B
(, X) R
como
|[f]|
1
:= [f[
1
.
Por la Proposici on 3.2.18 la L-norma de B
(, X) se encuentra bien
denida y no depende del representante de la clase de equivalencia.
Proposicion 3.2.19. La L-norma de B
(, X) es una norma sobre B
(, X).
Demostracion. a) Sea [f] B
(, X), entonces por la Proposici on 3.2.15-

a) y la Denici on 3.2.6 |[f]|
1
= [f[
1
0.
b) Sea [0
f
X
] B
(, X), entonces por la Denici on 3.2.6 |[0

f
X
]|
1
=
B
_
[0
f
X
[
X
d = 0. Sea [f] B
(, X) tal que |[f]|

1
= 0, entonces
B
_
[f[
X
d = 0
[f[
X
= f
0
R
-c.t.p.,
entonces
f = 0
f
X
-c.t.p.,
es decir [f] = [0
f
X
] .
c) Sean K y [f] B
(, X) , entonces por la Proposici on 3.2.15-b),

| [f]|
1
= |[ f]|
1
= [ f[
1
= [[ [f[
1
= [[ |[f]|
1
.
62
d) Sean [f] , [g] B
(, X) , entonces por la Proposici on 3.2.15-c),

|[f] [g]|
X
= |[f +g]|
1
= [f +g[
1
= [f[
1
+[g[
1
= |[f]|
1
+|[g]|
1
.
(, X) y sea f
n
n=1
una sucesion L- Cau-
chy que determina a f. Entonces (f
n
f) B
(, X) para toda n N y
lim
n
[f
n
f[
1
= 0.
Demostracion. Sea n N, por la Proposici on 2.1.1 se tiene que f
n
f
m

o
(, X) para toda m N, ademas

[f
n
f
q
f
n
+f
r
[
1
= [f
r
f
q
[
1
q, r N,
lo cual implica que f
n
f
m
n=1
es una sucesi on L-Cauchy en o
(, X).
Por otro lado
[f
n
() f
m
() f
n
() +f()[
X
= [f() f
m
()[
X
m N, ,
as
lim
n
[f
n
f
m
f
n
+f[ = 0 -c.t.p.,
es decir, f
n
f B
(, X) para toda n N. Sea > 0, entonces existe

n
0
N tal que
[f
q
f
r
[
1
< q, r n
0
,
y sea r n
0
, entonces
[f
r
f[
1
= B
_
[f
r
f[
X
d
= lim
m
B
_
[f
r
f
m
[
x
d
= lim
m
[f
r
f
m
[
1
< .
As,
lim
n
[f
n
f[
1
= 0.
63
Corolario 3.2.21. Sea f B
(X), entonces para cada > 0 existe g

o
(, X) tal que
[f g[
1
< .
Demostracion. Sea f
n
n=1
una sucesion L-Cauchy que determina a f, sea
> 0 por la Proposicion 3.2.20, se tiene
lim
n
[f f
n
[
1
= 0;
luego, existe n
0
N tal que
[f f
m
[
1
< m n
0
.
Sea p n
0
y denimos g := f
p
, entonces
[f g[ < .
Proposicion 3.2.22. El espacio B
(, X) equipado con la seminorma [[

1
,
es completo.
Demostracion. Sea f
n
n=1
una sucesion de Cauchy con respecto a la semi-
norma [[
1
. Por el Corolario 3.2.21 para cada q N existe g
q
o (, X) tal
que
[f
q
g
q
[
1

1
q
,
entonces
[g
q
g
r
[
1
[g
q
f
q
[
1
+[f
q
f
r
[
1
+[f
r
g
r
[
1
<
1
r
+
1
q
+[f
q
f
r
[
1
,
lo cual implica que, la sucesi on g
n
n=1
es L-Cauchy. Por el Lema 3.2.4, la
sucesi on g
n
n=1
tiene una subsucesion g
n
k
k=1
que converge -c.t.p. a una
funci on f : X, as es L-Cauchy, luego f B
(, X) y
lim
n
[g
n
k
f[
1
= 0.
Sea > 0 entonces existe k
0
N tal que
1
n
k
<

2
y [g
n
k
f[
1
<

2
k k
0
.
64
Dado k k
0
, tenemos
[f
n
k
f[
1
[f
n
k
g
n
k
[
1
+[g
n
k
f[
1
<

2
+

2
= ,
as,
lim
kX
[f
n
k
f[
1
= 0,
lo cual implica que
lim
nX
[f
n
f[
1
= 0.
Corolario 3.2.23. El espacio B
(, X) equipado con la norma ||

1
, es un
espacio de Banach.
Demostracion. Sea [f]
n
n=1
una sucesi on de Cauchy en B
(, X). Para
cada n N sea f
n
un representante de [f]
n
, por la Denicion 3.2.6 se tiene
que la sucesion f
n
n=1
es una sucesion de Cauchy en B
(, X) con respecto
a la seminorma [[
1
, entonces por la Proposici on 3.2.22 existe g B
(, X)
tal que
lim
n
[f
n
g[
1
= 0.
Luego
|[f]
n
[g][
1
= |[f
n
g][
1
= [f
n
g[
1
.
As
lim
n
[f]
n
= [g] .
Lema 3.2.24. Sea f : K. Entonces
f B
(, X) f es Lebesgue -integrable.
Ademas
B
_
f d =
_
f d.
Este resultado nos muestra la estrecha relacion entre la integral de Bochner y
la integral de Lebesgue, mostrando que la integral de Bochner es una extencion
de la integral de Lebesgue a espacios de Banach.
65
Demostracion. Consideremos f o
(, K) dada por
f =
n
i=1
A
i
x
i
,
donde A
1
, . . . , A
n
F y x
1
, . . . , x
n
X satisfacen la ecuacion (3.1). Entonces
f B
(, X) si y solo si (A
i
) < si x
i
,= 0. As
f B
(, K)
n
i=1
[x
i
[ (A
i
) <
f d < .
Lo cual implica que
f B
(, K) f es Lebesgue -integrable
y notando que en ambos casos la integral de f est a denida por
n
i=1
x
i
(A
i
) ,
se tiene
B
_
f d =
_
f d.
Ahora supongamos que f B
(, K), entonces si f
n
n=1
es una sucesi on
L-Cauchy en o
(, K) que determina a f tenemos

f = lim
n
f
n
-c.t.p,
es decir, f es el lmite -c.t.p. de una sucesi on de funciones simples. As,
f B (, X). Por otro lado, dado que f
n
n=1
es L-Cauchy; dado > 0
existe n
0
N tal que
B
_
[f
q
f
r
[ d < q, r n
0
.
Por las Proposiciones 2.1.1 y 2.1.3, [f
q
f
r
[ es una funci on simple para toda
q, r N y por la primera parte de la demostracion
_
[f
q
f
r
[ d = B
_
[f
q
f
r
[ d q, r N,
66
luego f
n
n=1
es una sucesi on de Cauchy en L
1
(, K). Como L
1
(, K) es un
espacio de Banach, existe g funci on Lebesgue -integrable tal que
lim
n
_
[f
n
g[ d = 0,
por el Lema 1.3.11, existe una subsucesi on f
n
k
k=1
que converge -c.t.p. a
g y notando que f
n
k
k=1
converge a f -c.t.p., se tiene
f = g -c.t.p.
Por lo tanto f es Lebesgue -integrable.
Finalmente, supongamos f una funci on Lebesgue -integrable, entonces exis-
te una sucesi on de funciones simples Lebesgue -integrables f
n
n=1
de Cauchy
en L
1
(, K) tal que converge en medida a f. Por el Lema 1.3.11, existe una
subsucesi on f
n
k
k=1
que converge -c.t.p. a f. Como toda subsucesion de
una sucesi on de Cauchy es de Cauchy, entonces f
n
k
k=1
es una sucesion de
Cauchy en L
1
, as dado > 0 existe k
0
N tal que
_
f
n
q
f
n
r
d < q, r k
0
.
Recordando que
f
n
q
f
n
r
(, X) para toda q, r N, entonces

B
_
f
n
q
f
n
r
d =
_
f
n
q
f
n
r
d q, r N.
Luego f
n
k
k=1
es L-Cauchy y
lim
k
f
n
k
= f -c.t.p.,
lo cual implica que f es Bochner -integrable.
Corolario 3.2.25. f B
(, X) si y solo si existe una sucesion f

n
n=1
en
o
(, X) tal que
lim
n
f
n
= f -c.t.p.
y
lim
n
[f
n
f[
1
= lim
n
B
_
[f
n
f[
X
d
=
_
[f
n
f[
X
d
= 0.
En algunos textos esta equivalencia se usa como la denicion de las funciones
Bochner -integrables, este resultado es la base para construir la integral de
Bochner a partir de la integral de Lebesgue.
67
Demostracion. Si f B
(, X), por denici on existe una sucesi on f

n
n=1
L-Cauchy en o
(, X) tal que
lim
n
[f
n
f[
X
= 0 -c.t.p.
lim
n
[f
n
f[
1
= 0.
Sea f : X tal que existe una sucesion f
n
n=1
en o
(, X), con
lim
n
f
n
= f -c.t.p.,
y
lim
n
[f
n
f[
1
= lim
n
B
_
[f
n
f[
X
d
= 0,
as f
n
B
(, X) para todo n N.
Sea > 0, entonces existe n
0
N tal que
[f
m
f[
1
<

2
m n
0
,
y sean q, r n
0
, entonces
[f
q
f
r
[
1
[f
q
f[
1
+[f f
r
[
1
<

2
+

2
= .
Lo cual implica que f
n
n=1
es una sucesion de Cauchy con respecto a la
seminorma [[
1
, con la sucesion convergente a f con la misma norma y por la
Proposicion 3.2.22 f B
(, X).
Corolario 3.2.26. Sea f B
(, X) entonces f T (, X).
Demostracion. Sea f B
(, X) por el Corolario 3.2.25, existe una sucesi on

f
n
n=1
en o
(, X) tal que
lim
n
f
n
= f -c.t.p.,
entonces por la Denici on 2.2.1 f T (, X).
68
Teorema 3.2.27 (S.Bochner). Sea f T (, X). Entonces f B
(, X)
si y solo si [f[
X
B
(, R) .
Demostracion. Si f B
(, X) por la Proposici on 3.2.10, [f[

X
es Bochner
-Integrable.
Por otro lado, del Corolario 3.2.25, existe una sucesi on f
n
n=1
en o
(, X)
que converge a f -c.t.p. Para cada n N, denimos
g
n
() :=
_
_
_
f
n
() si [f
n
()[
X
[f
n
()[
X
(1 + 2
1
) ,
0
X
si [f
n
()[
X
> [f
n
()[
X
(1 + 2
1
) .
Notando que
g
n
() [f
n
()[
X
_
1 + 2
1
_
,
luego
[g
n
() f ()[
X
[g
n
()[
X
+[f ()[
X
[f()[
X
_
1 + 2
1
_
+[f ()[
X
= [f ()[
X
_
2 + 2
1
_
.
Aplicando el Teorema 1.3.9 se tiene que
lim
n
_
[f
n
f[
X
d = 0.
As, por todo lo anterior f es una funci on Bochner -integrable.
Corolario 3.2.28. Sea f T (, X). Entonces
f B
(, X) [f[
X
es Lebesgue -integrable.
Demostracion. Por el Teorema 3.2.27 se sabe que
f B
(, X) [f[
X
B
(, R) ,
aplicando el Lema 3.2.24 a [f[
X
se tiene que
[f[
X
B
(, R) [f[
X
es Lebesgue -integrable.
Corolario 3.2.29. Sea f T (, X). Entonces f B
(, X) si existe una
funcion g : R Lebesgue -integrable tal que
[f[
X
g -c.t.p.
Demostracion. Por la Proposici on 1.3.8 se sabe que si
[f[
X
g -c.t.p.,
entonces [f[
X
es Lebesgue -integrable, luego por el Corolario 3.2.28 f
B
(, X).
69
Captulo 4
La Integral de Pettis
Una funci on que toma valores en un espacio lineal topologico se dice
que cumple una propiedad de manera debi si la composicion de esta funcion
con cada uno de los elementos del espacio dual topologico del espacio lineal
cumple con dicha propiedad. Utilizando esta idea para extender el concepto
de Integral de Lebesgue es como se desarrollan las integrales de Dunford y
de Pettis. En este captulo se muestra un desarrollo de la integral de Pettis,
primero se dene la integral de Dunford y se prueba que la integral de Pettis
es una restricci on muy conveniente de esta ultima.
La fuente principal de este Captulo es [S05], de este texto se han tomado
las deniciones y las demostraciones de la mayoria de las proposiciones.
4.1. La Integral de Pettis
A continuacion se presentan algunas deniciones y resultados, sobre fun-
cionales de un espacio de Banach, que ser an utiles para la demostracion de
resultados posteriores.
Denicion 4.1.1. Un operador lineal T : X K de un espacio de Banach
X es llamado cerrado si la gr aca de T denida por
G(T) := (x, T (x)) X R [ x X
es un conjunto cerrado de X R.
Teorema 4.1.1. Un operador lineal cerrado de un espacio de Banach X a
un espacio de Banach Y es continuo.
71
Lema 4.1.2. Sea f J(, X) tal que para cada X
la funcion
f : R es Lebesgue -integrable. Entonces para todo A F el funcional
A
denido por
A
() :=
_
A
f d X
,
es lineal y acotado.
Demostracion. Sea A F, entonces
_
A
f d =
_
( f)
A
d
=
_
(f
A
) d,
se dene
T
A
() := (f
A
) .
Sean , X
y sea R, entonces
T
A
( +) = ( +) (f
A
)
= (f
A
) + (f
A
)
= T
A
() +T
A
() ,
esto es, T
A
: X L
1
(, K) es un operador lineal. As,
A
() :=
_
T
A
() d X
,
es un funconal lineal de X
en K pues la integral de Lebesgue es lineal. Por

otro lado, sea X
y
n
n=1
una sucesion en X
tal que
lim
n
[
n
[
X
= 0,
si x X, entonces
[
n
(x) (x)[
X
= [(
n
) (x)[
X
[
n
[
X
[x[
X
,
luego
lim
n
[
n
(x) (x)[
X
= 0 x X. (4.1)
Si g L
1
(, K) tal que
lim
n
_
[
n
(f
A
) g[ d = 0,
72
por el Lema de Riesz 1.3.11 existe una subsucesi on
n
k
(f
A
)
k=1
de
n
(f
A
)
n=1
tal que
lim
k
n
k
(f
A
) = g -c.t.p.
Luego por la ecuaci on (4.1)
g = (f
A
) -c.t.p.
Esto implica que la gr aca del operador T
A
: X
L
1
es cerrada y por el
Teorema 4.1.1, el operador T
A
es acotado. As,
[
A
()[ =
(f
A
) d
[ (f
A
)[ d
=
_
[T
A
()[
= [T
A
()[
L
1
[T
A
[ [[
X
,
es decir
A
es acotado luego continuo, lo cual implica
A
X
.
Denicion 4.1.2. Si f J(, X) tal que ( f) es Lebesgue -integrable
para toda X
, entonces f es llamada Dunford -integrable.

Dada A T y f Dunford -integrable se dene la integral de Dunford
de f sobre A como
T
_
A
f d :=
A
.
Denici on 4.1.3. Si f J(, X) tal que ( f) es Lebesgue -integrable
para todo X
, entonces f es llamada Pettis -integrable si para todo

A F, existe x
A
X tal que
(x
A
) =
_
A
f d X
,
en este caso, denimos a la integral de Pettis de f sobre A como
T
_
A
f d := x
A
.
73
Denotaremos al conjunto de todas las funciones f J(, X) Pettis
-integrables por T
(, X).
Recordemos que si X es un espacio de Banach entonces, X es isomorfo
a un subespacio de su doble dual X
. Esto se hace a traves del mapeo

e (x) :=
x
, donde
x
() := (x) X
(4.2)
El mapeo denido en la ecuacion (4.2), es una isometra y es llamado el
encajamiento canonico de X en X
Proposicion 4.1.3. Sea f J(, X). Entonces f T (, X) si y solo si

f es Dunford -integrable y
T
_
A
f d e (X) A F.
Ademas,
T
_
A
f d = e
_
T
_
A
f
_
.
Demostracion. Sea f T
(, X), entonces f J(, X) y f es Lebesgue

-integrable para todo X
. As, f es Dunford -integrable. Sea A T,

entonces existen x
A
X y
A
X
tales que
(x
A
) =
_
A
f d
y
A
() =
_
A
f d X
,
entonces
A
() = (x
A
) X
.
As,
e (x
A
) =
A
,
luego
T
_
A
f d = e
_
T
_
A
f d
_
.
Por otro lado supongamos que f : X es Dunford -integrable tal que
para todo conjunto A F existe x
A
X tal que
T
_
A
f d = e(x
A
).
74
Sea A F, entonces
A
() = (x
A
) X
,
donde
A
= T
_
A
f d, luego
_
A
f d = (x
A
) X
.
As, para todo A F existe x
A
X tal que
(x
A
) =
_
A
f d X
,
lo cual implica que f T
(, X) y
T
_
A
f d = e (x
A
)
= e
_
T
_
A
f d
_
.
Corolario 4.1.4. Sea f T
(, X), entonces f es una funcion Dunford

-integrable.
Demostracion. De la necesidad de la Proposicion 4.1.3 se tiene que si f
T
(, X), entonces f es Dunford -integrable.

El recproco del Corolario 4.1.4, no se cumple en general; el siguiente
ejemplo da una muestra.
Ejemplo 4.1.5. Sea c
0
el espacio de Banach de la sucesiones reales
x = x
n
n=1
tales que
lim
n
x
n
= 0,
con la norma
[x[
c
0
:= sup
nN
[x
n
[ .
Denimos f : [0, 1] c
0
como sigue
f () :=
_
n
(0,
1
n
]
()
_
n=1
,
75
Claramente por denici on, f(0) es la sucesion constante 0. Si (0, 1],
existe n
0
N tal que (
1
n
0
+1
,
1
n
0
] y f() = x
n
n=1
con
x
n
:=
_
_
_
n si n n
0
,
0 si n > n
0
,
luego f() c
0
para todo [0, 1].
Sea (c
0
)
, entonces existe una sucesi on g = g

n
n=1
l
1
(Vease [Y80,
p ag. 114]), con
[g[
l
1
=
n=1
[g
n
[ <
tal que
(x) =
n=1
g
n
x
n
para todo x = x
n
n=1
c
0
. Entonces
( f) () = (f ())
=
n=1
g
n
n
(0,1]
() ,
es una funci on real medible, es decir, f J(, X) y
_
1
0
[(f ())[ d =
_
1
0
n=1
g
n
n
(0,1]
()
n=1
[g
n
[ n
_
1
0
(0,1]
() d
=
n=1
[g
n
[ < .
As, f es una funci on Dunford -integrable y
_
1
0
(f ()) d =
_
1
0
n=1
g
n
n
(0,1]
() d =
n=1
g
n
,
por la Denici on 4.1.2 se tiene que
T
_
1
0
f () d = 1
n=1
l
;
76
notando que l
= (l
1
)
= (c
0
)
y
T
_
1
0
f () d / c
0
,
luego f no es Pettis -integrable.
Proposicion 4.1.6. Sean f, g T
(, X) y K, entonces
a) f, f +g T
(, X) ,
b)
T
_
A
f d = T
_
A
f d A F,
c)
T
_
A
(f +g) d = T
_
A
f d +T
_
A
g d A F.
El inciso a) implica que T
(, X) es un espacio lineal sobre K, los incisos

b) y c) implican que la integral de Pettis es una transformacion lineal.
Demostracion. Sea A F, entonces existe x
A
X tal que
(x
A
) =
_
A
( f) d X
.
Sea X
arbitrario, entonces
_
A
( f) d =
_
A
( f) d
=
_
A
( f) d
= (x
A
)
= ( x
A
).
Como y A son arbitrarios, entonces para todo A F, existe x
A
tal que
( x
A
) =
_
A
( f) d X
,
entonces f T
(, X) y
T
_
A
f d = x
A
= T
_
A
f d.
77
Sea A F, entonces existen x
A
, y
A
X tales que
(x
A
) =
_
A
( f) d y (y
A
) =
_
A
( g) d X
.
Sea X
arbitrario, entonces
_
A
( (f +g)) d =
_
A
( f + g) d
=
_
A
( f) d +
_
A
( g) d
= (x
A
) +(y
A
)
= (x
A
+y
A
) .
Dado que y A son arbitrarios, entonces existe x
A
+y
A
X para todo A F
tal que
(x
A
+y
A
) =
_
A
(f +g) d X
,
luego (f +g) T
(, X) y
T
_
A
(f +g) d = x
A
+y
A
= T
_
A
f d +T
_
A
g d.
Proposicion 4.1.7. Sean f J(, X), g T
(, X) tal que
[ f[ [ g[ -c.t.p. X
,
entonces f T
(, X) .
Demostracion. Sea X
, entonces f es una funci on F-medible y ( g)

es una funci on Lebesgue -integrable tales que
[ f[ [ g[ -c.t.p.,
y por la Proposicion 1.3.8 ( f) es una funcion Lebesgue -integrable para
todo X
, es decir f T
(, X).
Proposicion 4.1.8. Sea g : X una funcion tal que
g = f -c.t.p.,
para alguna funcion f T
(, X). Entonces g T
(, X) y
T
_
A
g d = T
_
A
f d A F.
78
Demostracion. Por la Proposici on 2.3.5, sabemos que g J(, X), luego
por la Proposici on 1.3.7, la funcion g es Lebesgue -integrable y
_
A
g d =
_
A
f d
=
_
T
_
A
f d
_
X, A F.
De la Denici on 4.1.3, se tiene que
T
_
A
g d = T
_
A
f d A F.
79
Captulo 5
Relacion entre la integral de
Pettis y la integral de Bochner
Los resultados de la primera seccion de este captulo estan tomados de
[B69], la segunda seccion es un an alisis mas detallado de los resultados de la
primera seccion.
Notemos que la integral de Pettis y la integral de Bochner mantienen
muchas diferencias, no s olo por el tipo de funciones que se utilizan para su
denici on, uno podra pensar que si consideramos espacios de Banach sepa-
rables como en el Teorema de Pettis se tendra que todas las funciones Pettis
integrables son Bochner integrables, pero esto no sucede as, el siguiente
ejemplo muestra una funcion que es fuertemente medible y que toma valores
en un espacio de Banach separable, la cual es Pettis inttegrable pero no es
Bochner integrable.
Ejemplo 5.0.1. Sea (R, M
) el espacio de medida de Lebesgue y sea l

2
el espacio de sucesiones x
n
n=1
en R tal que
n=1
(x
n
)
2
< ,
con la norma
[x
n
n=1
[
l
2
:=
_

n=1
(x
n
)
2
_
1/2
.
Sea f : R l
2
denida por
f () :=
_
1
n
[n1,n)
()
_
n=1
R,
81
notando que
f () = lim
m
m
k=1
[k1,k)
() y
n,k
n=1
R,
donde
y
n,k
:=
_
_
_
1
n
si n = k
0 si n ,= k
k N,
se tiene que f es una funci on fuertemente
-medible y por el Teorema 2.4.6,

tambien es debilmente
-medible.
Por otro lado, sea (l
2
)
, recordando que l
2
es reexivo, existe z
n
n=1

l
2
tal que
(x
n
n=1
) =
n=1
z
n
x
n
y
[[
(l
2
)
=
n=1
(x
n
)
2
.
As,
( f) () =
n=1
z
n
n

[n1,n)
() R.
Aplicando el Teorema 1.3.10, se tiene que ( f) es Lebesgue
-integrable
y
_
R
( f) d
n=1
z
n
n
(l
2
)
,
luego f es Pettis
-integrable y
T
_
R
f d
=
_
1
n
_
n=1
.
Ahora supongamos que f es Bochner
-integrable, entonces por el Corolario

3.2.28 [ f[
l
2
es una funci on Lebesgue
-integrable. Del Teorema 1.3.10 y

del hecho que
[f[
l
2
() =
n=1
1
n
[n1,n)
() R,
se tiene que
n=1
1
n
< ,
pero esto es absurdo, por lo tanto f no es Bochner
-integrable.
82
A partir de este ejemplo nos damos cuenta que para que una funci on Pettis
integrable sea Bochner integrable son necesarias condiciones mas fuertes que
solo pedir que el espacio de Banach sea separable o la funcion fuertemente
medible. Empezamos nuestro analisis con funciones simples y funciones con
rango numerable, para despues analizar el caso de funciones fuertemente
medibles.
5.1. Funciones simples y funciones numerables
Existe una relaci on casi inmediata entre la integral de Bochner y la de
Pettis y es la siguiente.
Proposicion 5.1.1. Si f B
(, X) , entonces es f T
(, X) y
T
_
A
f d = B
_
A
f d A F.
Demostracion. Sea f : X una funci on Bochner -integrable, luego por
las Proposiciones 3.2.9 y 3.2.24, f es una funcion Lebesgue -integrable
para toda X
, ademas para cada A F
_
B
_
A
f d
_
=
_
B
_
f
A
d
_
= B
_
(f
A
) d
= B
_
A
( f) d
= B
_
A
f d
=
_
A
f d, X
.
Luego f es Pettis -integrable y
T
_
A
f d = B
_
A
f d A F.
83
Proposicion 5.1.2. Sea E F y sea x X tal que x ,= 0
X
. Entonces la
funcion x
E
(), pertenece a T
(, X) si y solo si (E) < . Ademas,

en este caso
T
_
A
x
E
d = x (E A) A F.
Demostracion. Supongamos que (x
E
) T
(, X), entonces para todo

X
la funcion (x
E
) es Lebesgue -integrable. Recordando que
(x
E
) = (x)
E
X
,
entonces
[(x)[ (E) = [(x)[
_
E
d
=
_
[(x)
E
[ d
=
_
[ (x
E
)[ d < X
,
as, (E) < .
Supongamos que (E) < , sabemos por la Proposicion 2.3.1 que la
funci on x
E
es debilmente F-medible. Sea X
, entonces
(x
E
) = (x)
E
,
y por la denici on de la integral de Lebesgue para funciones simples, se tiene
que
_
[ (x
E
)[ d =
_
[(x) [
E
d
= [(x)[ (E)[ < X
.
Por lo tanto la funci on x
E
es Pettis -integrable.
Si x
E
() es Pettis -integrable entonces para cada A F y X
se
tiene que
_
A
(X
E
) d = (x)
_
A
E
d
= (x) (E A)
= (x (E A)) ,
luego por la denici on de la integral de Pettis, tenemos
T
_
D
x
E
d = x (E A) A F.
84
Proposicion 5.1.3. Sea f o (, X) dada por
f =
n
i=1
x
i
A
i
donde x
1
, . . . x
n
X, A
1
, . . . , A
n
F que satisfacen (2.1). Entonces f
T
(, X) si y solo si (A
i
) < , si x
i
,= 0
X
. Ademas en este caso
T
_
A
f d =
n
i=1
x
i
(A
i
A) A F.
Demostracion. Sea i
0
[1, n] tal que x
i
0
,= 0
X
y sea X
, entonces
f =
n
i=1
(x
i
)
A
i
y

_
x
i
0

A
i
0
_
= (x
i
0
)
A
i
0
,
luego

_
x
i
0

A
i
0
_
[ f[ ,
por la Proposicion 1.3.8, la funcion x
i
0

A
i
0
es Pettis -integrable, as,
(A
i
0
) < .
Sea
f
i
() = x
i

A
i
() , i = 1, . . . , n.
Dado i
0
[1, n], si x
i
0
= 0
X
, entonces f es la funcion constante 0
X
, luego
( f
i
0
) () = (f
i
0
())
= 0
X
, X
,
as, f
i
0
es Pettis -integrable y
T
_
A
f
i
0
d = 0
X
A F.
Si x
i
0
,= 0
X
, entonces (A
i
) < y por la Proposici on 5.1.2, f
i
0

T
(, X) y
T
_
A
f
i
0
d = x
i
0
(A
i
0
A) A F,
as, f
i
es una funci on Pettis -integrable para i = 1, . . . , n, luego dado que
f =
n
i=1
f
i
,
85
por la Proposici on 4.1.6 se tiene que f T
(, X) y adem as
T
_
A
f d =
n
i=1
T
_
A
f
i
d =
n
i=1
x
i
(A
i
A) A F.
Corolario 5.1.4. Una funcion simple es Pettis -integrable si y solo si es
Bochner -integrable.
Demostracion. Consecuencia inmediata de la Proposicion 5.1.3.
A continuacion enunciaremos algunos resultados sobre la convergencia de
series en espacios de Banach que son necesarios para continuar con nuestro
an alisis.
Denicion 5.1.1. Sea X un espacio de Banach y sea x
n
una sucesion en
X. Entonces decimos que la serie
n=1
x
n
,
converge incondicionalmente si
n=1
x
P(n)
,
converge para toda funci on P : N N biyectiva. Diremos que
n=1
x
n
,
converge absolutamente si
n=1
[x
n
[
X
,
converge.
Proposicion 5.1.5. Sea
n=1
x
n
una serie absolutamente covergente, en-
tonces la serie es incondicionalmente convergente.
Demostracion. Vease [KK91, pag. 7].
Teorema 5.1.6 (Teorema de Riemman). Sea
n=1
x
n
una serie en R. En-
tonces la serie es absolutamente convergente si y solo si es incondicional-
mente convergente.
86
Demostracion. Vease [KK91, pag. 3].
Teorema 5.1.7 (Orlicz-Pettis). Sea
n=1
x
n
una serie, con x
n
X espacio
de Banach. Si para cada A N existe x
A
X tal que para todo X
se
tiene que
n=1
(x
n
) = (x
A
) ,
entonces la serie converge incondicionalmente.
Demostracion. Vease [HP57, p ag. 62].
Proposicion 5.1.8. Sea f : X una funcion dada por
f () =
n=1
A
n
() x
n
,
donde x
n
X para todo n N y A
n
n=1
es una sucesion en F de conjuntos
ajenos a pares. Entonces,
a) f T
(, X) si y solo si la serie
n=1
(A
n
) x
n
converge incondi-
cionalmente.
b) f B
(, X) si y solo si la serie
n=1
(A
n
) x
n
converge absoluta-
mente.
Demostracion. a) Sea X
, entonces f es una funci on Lebesgue

-integrable, por el Teorema 1.3.10, tenemos
_
A
f d =
n=1
(A
n
D) (x
n
) A F.
Sea B N y sea E :=
nB
A
n
, entonces E F, luego por lo anterior
se tiene que
_
T
_
E
f d
_
=
_
E
f d
=
n=1
(A
n
E) (x
n
)
=
nB
((A
n
) x
n
) , (5.1)
de la ecuaci on (5.1) y del Teorema de Orlicz-Pettis 5.1.7, se concluye
que
n=1
(A
n
) x
n
converge incondicionalmente.
87
Por denici on, f es una funci on fuertemente F-medible, luego debil-
mente F-medible. Sea X
, entonces
f =
n=1
A
n
(x
n
)
y
n=1
(A
n
) x
n
_
=
n=1
(A
n
) (x
n
) , (5.2)
de la ecuaci on (5.2), se concluye que
n=1
(A
n
) (x
n
) converge in-
condicionalmente y por el Teorema 5.1.6 converge absolutamente. Apli-
cando el Teorema 1.3.10, se concluye que f es Pettis -integrable
y
T
_
E
f d =
n=1
(A
n
E) x
n
.
b) Por el Corolario 3.2.28, se sabe que [f[
X
es Lebesgue -integrable,
adem as dado que los conjuntos de la sucesion A
n
n=1
son ajenos a
pares, se tiene que
[f ()[
X
=
n=1
A
n
() [x
n
[
X
,
aplicando el Teorema 1.3.9 a la sucesion de sumas parciales
m
n=1
[f
n
[
m=1
, se concluye que
n=1
(A
n
) [x
n
[
X
=
_
[f[
X
d < .
Por otro lado, por denicion, f T (, X); basta probar que [f[
X
es
una funcion Lebesgue -integrable. Sabemos que
n=1
A
n
[x
n
[
X
,
converge entonces aplicamos el Teorema de 1.3.10, para concluir que
[f[
X
es Lebesgue -integrable y
_
[f[
X
d =
n=1
(A
n
) [x
n
[
X
.
88
5.2. Relacion entre integrabilidad y series
Hemos visto como en funciones simples los conceptos de integral de Pettis
y de Bochner son equivalentes, sin embargo para funciones de rango numera-
ble, la situacion es muy diferente pues los conceptos dependen de dos modos
de convergencia distintos. De este ultimo resultado, encontramos una relacion
entre la equivalencia de la integral de Pettis y de Bochner sobre espacios X
de Banach separables, considerando ciertos espacios de medida nita y la
equivalencia entre la convergencia incondicional y absoluta de las series en el
mismo espacio.
Teorema 5.2.1. Sea (, F, ) un espacio de medida tal que () < y
ademas existe una sucesion A
n
n=1
en F de conjuntos ajenos a pares, con
(A) > 0 n N.
Si X es un espacio de Banach separable, entonces las dos armaciones si-
guientes son equivalentes.
a) Una funcion f B
(, X) si y solo si f T
(, X).
b) Una serie
n=1
x
n
es absolutamente convergente si y solo si es incondi-
cionalmente convergente.
Demostracion. a) b) Sabemos por la Proposici on 5.1.5 que toda serie
absolutamente convergente es incondicionalmente convergente, por lo que
basta probar que una serie incondicionalmente convergente es absolutamente
convergente.
Sea
n=1
x
n
una serie incondicionalmente convergente, denimos f :
X, como sigue
f () :=
n=1
A
n
()
x
n
(A
n
)
.
Entonces, notando que
n=1
(A
n
)
x
n
(A
n
)
=
n=1
x
n
y dado que converge incondicionalmente, luego por la Proposici on 5.1.8-a) f
es una funcion Pettis -integrable y por la hipotesis es una funci on Bochner
-integrable, aplicando la Proposici on 5.1.8-b) se tiene
n=1
x
n
=
n=1
(A
n
)
x
n
(A
n
)
,
89
converge absolutamente.
b) a) Sabemos por la la Proposicion 5.1.1 que las funciones Bochner
-integrables son funciones Pettis -integrables, ademas como el espacio de
Banach es separable por el Corolario 2.4.8, una funci on es debilmente F- me-
dible si y solo si es fuertemente F-medible. Sea f : X una funcion Pettis
-integrable, entonces es debilmente F-medible luego fuertemente F-medible
y por la Proposicion 2.4.9, se puede representar de la siguiente manera
f () = g () +
n=1
B
n
() x
n
,
donde B
n
n=1
es una sucesion en F de conjuntos ajenos a pares y g
T (, X) acotada. Entonces g B
(, X) luego Pettis -integrable, por lo

que la funci on
f g =
n=1
A
n
x
n
,
es una funci on Pettis -integrable y por la Proposicion 5.1.8-a), la serie
n=1
(A
n
) ,
es incondicionalmente convergente, luego por hip otesis es absolutamente con-
vergente. As, por la Proposicion 5.1.8-b) f g es una funcion Bochner
-integrable, nalmente f es Bochner -integrable por ser la suma de dos
funciones Bochner -integrables.
Notemos que el resultado anterior necesita hip otesis muy fuertes por lo
que podemos debilitar un poco estas.
Teorema 5.2.2. Sea (, F, ) un espacio de medida tal que
() < ,
y sea X un espacio de Banach tal que toda serie incondicionalmente conver-
gente es absolutamente convergente. Si f : X es Pettis -integrable para
la cual existe A F, con (A) = 0 tal que f (A) es separable, entonces
f B
(, X).
Demostracion. Sea f : X que satisface las condiciones mencionadas
antes. Por el Teorema 2.4.6, f T (, X), luego por la Proposici on 2.4.9
f = g +
n=1
A
n
x
n
,
90
donde A
n
n=1
es una sucesi on en F de conjuntos ajenos a pares y g
T (, X) y acotada. Como es de medida nita, entonces g es Bochner -
integrable y por la Proposici on 5.1.1 es Pettis -integrable luego f g es
Pettis -integrable y por la Proposicion 5.1.8-a) la serie
n=1
(A
n
) ,
es incondicionalmente convergente, luego es absolutamente convergente. As,
por la Proposici on 5.1.8-b), fg es Bochner -integrable luego f B
(, X).
5.3. Integrabilidad en R
q
Un caso especial es cuando consideramos funciones que toman valores
en R
n
, pues a diferencia del resultado anterior, en este caso no importa el
espacio de medida (, F, ) que consideremos pues aqu las funciones Pettis
integrables siempre van a ser Bochner integrables.
Proposicion 5.3.1. Sea q N, R
q
como un espacio de Banach con la norma
euclideana es reexivo.
Demostracion. Vease [KF70, p ag. 188].
Proposicion 5.3.2. Sea (x
1
, . . . , x
q
) R
q
y sea [[
R
q
que denota a la norma
euclidiana en R
q
, entonces
[(x
1
, . . . , x
q
)[
R
q
[x
1
[ + +[x
q
[ .
Demostracion. Sea (x
1
, . . . , x
q
) R
q
, por la desigualdad del tri angulo se
tiene que
[(x
1
, . . . , x
q
)[
R
q
[(x
1
, 0, . . . , 0)[
R
q
+[(0, x
2
, . . . , 0)[
R
q
+
+[(0, . . . , 0, x
q
)[
R
q
=
_
x
2
1
+
_
x
2
2
+ +
_
x
2
p
= [x
1
[ +[x
2
[ + +[x
q
[ .
Proposicion 5.3.3. Sea f T
(, R
q
), entonces f B
(, R
q
) y
T
_
A
f d = B
_
A
f d A F.
91
Demostracion. Por denici on f es una funci on debilmente F-medible y como
R
q
es separable, por el Teorema de medibilidad de Pettis 2.4.6, f T (, R
q
).
Para cada j = 1, . . . , q, denimos la j-proyeccion como
p
j
(x
1
, . . . , x
j
, . . . , x
q
) := x
j
(x
1
, . . . , x
q
) R
q
.
Notemos que para cada j = 1, . . . , n, p
j
es un funcional lineal y
[p
j
(x
1
, . . . , x
j
, . . . , x
q
)[
_
x
2
1
+ +x
2
j
+ +x
2
q
(x
1
, . . . , x
q
) R
q
,
es decir, p
j
es un funcional lineal y acotado para cada j = 1, . . . , q. As p
j

(R
q
)
para j = 1, . . . , q.
Para cada j = 1, . . . , q, p
j
es un funcional lineal continuo, entonces p
j
f
es una funci on Lebesgue -integrable para j = 1, . . . , q, as [p
j
f[ es una
funci on Lebesgue -integrable para j = 1, . . . , q, luego
q
j=1
[p
j
f[ ,
es una funcion Lebesgue -integrable. Por la Proposicion 5.3.2, se cumple
que
[f()[
R
q

q
j=1
[p
j
f()[ ,
as, [f[
R
q
es Lebesgue -integrable y por el Corolario 2.4.8, f es una funcion
Bochner -integrable y por la Proposicion 5.1.1, se cumple que
T
_
A
f d = B
_
A
f d A F.
Este ultimo resultado y la Proposici on 5.1.1, nos dice que la integrabilidad
de Bochner y de Pettis son equivalentes en R
q
.
Corolario 5.3.4. Sea f T (, R
q
) (o f J(, R
q
)) es Bochner -
integrable (o Pettis -integrable) si y solo si p
j
f es Lebesgue -integrable
para toda j = 1, . . . , q.
Demostracion. Recordemos que en R
q
las funciones Bochner -integrables
coinciden con las funciones Pettis -integrables entonces podemos suponer
sin perdida de generalidad que f T
(, R
q
), por la demostracion de la
Proposicion 5.3.3, sabemos que p
j
f es una funci on Lebesgue -integrable
para j = 1, . . . , q.
92
Notemos que R
q
es separable, por lo tanto los conceptos de F-medibilidad
fuerte y F-medibilidad debil coinciden, sin perdida de generalidad podemos
suponer que f T (, R
q
) tal que p
j
f es una funcion Lebesgue -integrable
para toda j = 1, . . . , p, nuevamente por la demostracion de la Proposicion
5.3.3, se tiene que [p
j
f[ es una funci on Lebesgue -integrable para j =
1, . . . , q y
[f[
R
q

q
j=1
[p
j
f[ ,
luego f B
(, R
q
) y por la Proposici on 5.1.1, f T
(, R
q
).
Proposicion 5.3.5. Sea f T
(, R
q
) (o f B
(, R
q
)), entonces
T
_
A
f d =
__
A
p
1
f d, . . . ,
_
A
p
q
f d
_
A F
_
o B
_
A
f d =
__
A
p
1
f d, . . . ,
_
A
p
q
f d
_
A F
_
.
Demostracion. Recordemos que en R
q
las funciones Bochner -integrables
coinciden con las funciones Pettis -integrables entonces podemos suponer
sin perdida de generalidad que f T
(, R
q
), entonces dado A F, tenemos
_
T
_
A
f d
_
=
_
A
( f) d (R
q
)
.
Sabemos por la demostraci on de la Proposici on 5.3.3, que para todo j =
1, . . . , q, la funci on p
j
(x
1
, . . . , x
q
) = x
j
es un funcional lineal continuo de R
q
,
por lo tanto
p
j
_
T
_
A
f d
_
=
_
A
(p
j
f) d A F, j = 1, . . . , q.
As,
T
_
A
f d =
__
A
(p
1
f) d, . . . ,
_
A
(p
q
f) d
_
A F,
dado que
(x
1
, . . . , x
q
) = (p
1
(x), . . . , p
q
(x)) x = (x
1
, . . . , x
q
) R
q
.
93
Conclusi on
Los cuatro primeros captulos de este trabajo nos dan la base teorica de
la integral de Pettis y de Bochner; de acuerdo a los resultados del Captulo
3 notamos que la integral de Bochner comparte muchas propiedades con la
integral de Lebesgue, el ejemplo mas importante de este hecho es el Teo-
rema de Bochner, adem as se prueba que los espacios de funciones Bochner
integrables forman espacios de Banach.
En lo referente a la integral de Pettis notamos que dista mucho de la
integral de Lebesgue, es necesario mencionar que a pesar de que los espacios
de funciones Pettis integrables son lineales no podemos asegurar, que para
cualquier espacio de Banach X el espacio de funciones Pettis integrables con
valores en X es un espacio normado.
El Captulo 5 nos muestra que en los espacios de Banach separables ex-
iste cierta relacion entre las integrales y la convergencia de las series, es
importante mencionar que a un no existe un resultado general que nos de
condiciones para que las series incondicionalmente convergentes sean absolu-
tamente convergentes, de hecho existen grupos cuya investigaci on va en esa
direcci on.
La ultima seccion del Captulo 5 nos muestra lo importante que es el hecho
que las funciones Pettis integrables sean Bochner integrables, esto nos da la
posibilidad de usar de manera un tanto indirecta resultados concernientes
a la integral de Lebesgue, como el Teorema Fundamental del C alculo, que
puede ser utilizado gracias al ultimo resultado de esta secci on.
95
Bibliografa
[B69] Brooks, James K., Representations of weak and strong integrals in
Banach spaces, Proc. Nat. Acad. Sci. USA, pp. 266-270, 1969.
[C80] Cohn, Donald L., Measure theory, Boston, Basel, Stuttgart: Birkhaus-
er, 1980.
[HP57] Hille, E., Phillips, R.S., Functional Analysis and Semi-Groups, Amer-
ican Mathematical Society, Providence, 1957.
[KK91] Kadets, M. I., Kadets, V. M., Rearrangements of Series in Banach
Spaces, American Mathematical Society, Providence, 1991.
[KF70] Kolmogorov, A. N., Fomin, S. V., Introductory Real Analysis,
Prentice-Hall, 1970.
[R70] Rudin, W., Real and Complex Analysis, Mc Graw-Hill, 1970.
[S05] Schwabik, S., Guoju, Y., Topics in Banach Space Integration, World
Scientic, 2005.
[V02] V ath, M., Riesz Spaces and Ideals of Measurable Functions, pp. 787-
825, in Handbook of Measure Theory, Ed E. Pap, Elsevier Science B.
V., 2002.
[Y80] Yosida, K., Functional Analysis, Springer-Verlag Berlin Heidelberg
New York, 1980.
97

Tesis

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tesis

Cargado por

Copyright:

Formatos disponibles

INSTITUTO POLIT

una medida exterior sobre , un subconjunto A

una medida exterior sobre

es la coleccion de todos los conjuntos

es una -algebra sobre , y

, es una medida sobre (, M

es la medida exterior de Lebesgue, en este

se le conoce como los conjuntos Lebesgue medibles y a la restricci on

se le llama la medida de Lebesgue.

) las funciones medibles son lla-

) una funcion Lebesgue

a su dual topol ogico (esto es el conjunto de los funcionales lineales y

y n N, dada A F tal que (A) = 0 y

, sin perdida de generalidad suponga-

, ademas cumple lo siguiente.

, es decir, f J(, X).

, por lo tanto, f +g J(, X).

, as, f J(, X).

1 existe una subsucesion

, entonces por el Corolario 2.4.4, existe

1, nuevamente por el Lema 2.4.2, existe una

por el Teorema 2.4.3 existe X

, luego los conjuntos A

(, X) es un espacio lineal sobre K.

(, X), entonces [f[

(, X) tales que f = g -c.t.p. Entonces

(, R) tal que f 0 -c.t.p., entonces

(, X), es una seminorma sobre

(, X) y K, entonces por la Proposicion 3.1.1-b),

(, X), notando que [f +g[

(, X) , [f] representa la clase de equiv-

(, X) es un espacio lineal sobre K con la multipli-

(, X) , sean f, g [f], entonces

(, X) , sean f, h [f] y g, q [g], entonces

(, X) es una norma sobre S

(, X), entonces por la Proposici on 3.1.8

(, X), entonces por la Denicion 3.1.5 |[0

(, X) tal que |[f]|

(, X) , entonces por la Proposici on 3.1.8,

(, X) , entonces por la Proposici on 3.1.8,

. Entonces, de la Proposicion 3.1.6-c), tenemos

y por la Proposicion 3.1.3

(, X) es un espacio lineal sobre K.

(, X) que determina f. Por el desarrollo anterior de la demostraci on,

(, X). Sean q, r N, entonces

(, X) que determina a f, entonces [f[

(, X) es un espacio lineal sobre K con la multi-

(, X) , sean f, g [f], entonces

(, X) , sean f, h [f] y g, q [g], entonces

(, X) es una norma sobre B

(, X), entonces por la Proposici on 3.2.15-

(, X), entonces por la Denici on 3.2.6 |[0

(, X) tal que |[f]|

(, X) , entonces por la Proposici on 3.2.15-b),

(, X) , entonces por la Proposici on 3.2.15-c),

(, X) para toda m N, ademas

(, X) para toda n N. Sea > 0, entonces existe

(X), entonces para cada > 0 existe g

(, X) equipado con la seminorma [[

(, X) equipado con la norma ||

(, K) que determina a f tenemos

(, X) para toda q, r N, entonces

(, X) si y solo si existe una sucesion f

(, X), por denici on existe una sucesi on f