TERCER INFORME PARCIAL

DE PROYECTO DE INVESTIGACI

ON
Codigo del Proyecto: 917
Palabras claves: Teorema de Convergencia
Monotona de Lebesgue
y la Integral de Riemman.
PROGRAMA DE INVESTIGACI

ON
I. GENERALIDADES
1.0 Ttulo.
Estudio del Teorema de Convergencia Monotona de Lebesgue y la Integral de
Riemman
2.0 Personal Investigador.
Autores:
- Iris Margarita Tejada Romero.
- Magister en Matematica - Licenciada en Matematica.
- Profesor asociada a dedicacion exclusiva.
- Centro de investigacion de la FACFYM.
- Betty Rimarachn Lopez
- Magister en Matematicas.
- Profesor asociada a tiempo completo.
- Miriam Estrada Huancas.
- Bachiller en Matematica - Licenciada en Matematica
- Profesor Asociada a tiempo completo.
1
3.0 Resolucion de Aprobacion
467-2013-D/FACFyM.
4.0 Tipo de Investigacion
Basica.
5.0

Area de Investigacion
Ciencias exactas.
6.0 Lnea de Investigacion
Analisis.
7.0 Duracion del proyecto
12 meses.
8.0 Fecha de inicio
20 de marzo del 2013.
9.0 Fecha de termino
31 de marzo del 2014.
10.0 Contenido
10.1 Introduccion.
En el presente informe parcial, parte principal de este trabajo, una vez
estudiado la integral de Riemman, mostraremos la teora de la integral
de Lebesgue, cuya medida depende de conjuntos con caractersticas espe-
ciales, mostraremos un importante teorema que me permite el paso del
lmite bajo el signo de la integral.
10.2 Materiales, tecnicas e Instrumentos de recoleccion de datos.
Dado que se trata de una investigacion cientca de tipo explicativo se
utilizara el modelo deductivo, acompa nado del metodo de investigacion
conceptual.
Ademas se utilizara el metodo deductivo-progresivo para la demostracion
de diversas propiedades que se presenten.
10.3 Resultados.
2
Captulo 1
La Integral de Riemann
Denicion de la Integral de Riemann
Sea f(x) denida y acotada en [a, b]. Dividir este intervalo en n subintervalos por medio
de puntos x
0
, x
1
, , x
n
donde a = x
n
< x
1
< < x
n
= b. Esto se llama una red de
participacion o grado de subdivision del intervalo. El mayor de los valores x
k
x
k1
=
x
k
donde k = 1, 2, , n se llama norma de la particion y se denota por Sean
M
k
= m.c.s.f(x) y m
k
= m.c.i.f(x) en [x
k1
, x
k
] y formemos las sumas
S = M
1
(x
1
x
0
) + +M
n
(x
n
x
n1
) =
n

k=1
M
k
x
k
(1.1)
s = m
1
(x
1
x
0
) + +m
n
(x
n
x
n1
) =
n

k=1
m
k
x
k
(1.2)
Llamamos a S y s las sumas superior e inferior respectivamente correspondientes a la
participacion dad. Como m
n
M
k
entonces s S.
Variando la participacion, o sea tomando puntos diferentes de subdivision y distinto
n umero de puntos, obtenemos conjuntos de valores S y s. Sean
I = extremo inferior de los valores de S para todas las particiones posibles.
J = extremo superior de los valores de s para todas las particiones posibles.
Estos valores, que siempre existen, se llaman integrales superior e inferior de Riemann
de f(x) sobre [a, b] respectivamente y se denotan
I =

b
a
f(x)dx, J =

b
a
f(x)dx (1.3)
3
Si I = J decimos que f(x) es integrable seg un Riemann en [a, b] y denotamos el valor
com un por

b
a
f(x)dx
que se llama integral denida de Riemann de f(x) en [a, b]
Si I = J, entonces f(x) no es integrable seg un Riemann en [a, b]. Veamos la inter-
pretacion geometrica
Denicion de la Integral de Riemann
Hacemos referencia a la gura 1 que muestra la curva C que representa y = f(x). La
suma inferior s correspondiente a la particion que se muestra representa la suma de las
areas de los rectangulos sombreados mientras que la suma superior S representa la suma
de las areas de los rectangulos mas grandes. Claramente s S, como se ve en la gura.
y
m
m
x
M
M
a
b
x x x
k1 k
1 1
1
n n
C
Figura 1
El valor

b
a
f(x)dx en este caso representa el area de la region limitada por la curva, el
eje x y las ordenadas x = a y x = b. En este apendice [Apendice A], a diferencia de
las otras partes de este libro, todas las integrables seran de Riemann a menos que se
especique otra cosa.
4
Teoremas sobre sumas superior e inferior e integrables
Teorema 1.1. Si S y s son las sumas superior e inferior correspondientes a una par-
ticion P y M, m son un mayorante y un minorante de f(x) en [a, b] , entonces
m(b a) s S M(b a)
Teorema 1.2. Si S
1
, s
1
son sumas superior e inferior correspondientes a una nueva
particion P
1
obtenida por adicion de puntos a la antig ua particion P del teorema 1.1 [se
suele llamar un renamiento de P], entonces
s s
1
S
1
S
o sea que las sumas superiores no crecen y las inferiores no decrecen por adicion de
puntos.
Teorema 1.3. Si S
2
, s
2
y S
3
, s
3
, son las sumas superior e inferior correspondientes a
particiones cualesquiera P
2
y P
3
respectivamente, entonces
s
3
S
2
o s
2
s
3
o sea que cualquier suma inferior nunca es mayor que cualquier suma superior indepen-
dientemente de la particion.
Teorema 1.4. Una integral superior I nunca es menor que una integral inferior J y
tenemos S I J s.
El siguiente teorema establece la condicion necesaria y suciente de integrabilidad seg un
Riemann
Teorema 1.5. Una funcion acotada f(x) integrable seg un Riemann en [a, b], si y solo
si, dado cualquier > 0 exista una particion son sumas superior e inferior S, s tales
que S s <
La Integral de Riemann como Limite de una suma
La integral de Riemann puede denirse tambien como lmite de una suma. Para hacerlo
tomamos n puntos de subdivision a = x
0
< x
1
< x
2
< < x
n
= b y tambien puntos
5

1
,
2
, ,
n
tales que x
k1

k
x
k
, donde k = 1, 2, , n. Formamos la suma
f(
1
)(x
1
x
0
) +f(
2
)(x
2
x
1
) + +f(
n
)(x
n
x
n1
) =
n

k=1
f(
k
)x
k
donde x
k
= x
k
x
k1
y sea el maximo de x
k
igual a , esto es, max x
k
= .
Entonces denimos la integral de Riemann de f(x) en [a, b] as:

b
a
f(x)dx = lm
n
0
n

k=1
f(
k
)x
k
(1.4)
siempre que el lmite exista independientemente de como se tomen los puntos de sub-
division. En efecto debemos mostrar que si > 0, entonces podemos escoger > 0 tal
que si x
k1
x
k

k=1
f(
k
)x
k

b
a
f(x)dx

<
siempre que
x
k

Sean S, s las sumas superior e inferior correspondientes a la particion dada. Entonces
como m
k
f(
k
) M
k
donde M
k
, m
k
son el extremo inferior y el extremo superior de
f(x) en (x
k1
, x
k
), tenemos
s
n

k=1
f(
k
)x
k
S (1.5)
Tambien tenemos
S

b
a
f(x) s (1.6)
o sea
S

b
a
f(x)dx s (1.7)
sumando (1.5) y (1.7)
(S s)
n

k=1
f(
k
)x
k

b
a
f(x)dx S s
o sea que como
S s > 0,

k=1
f(
k
)x
k

b
a
f(x)dx

S s
Ademas puesto que podemos tomar los valores mayores de x
k
[o sea en la norma] tan
peque nos que S s <
1
, se obtiene el resultado pedido.
6
Tipos Especiales de Funciones Integrales seg un Rie-
mann
Teorema 1.6. Una funcion continua f(x) en [a, b] es integrable seg un Riemann en [a, b].
Teorema 1.7. Una funcion monotona f(x) en [a, b] es integrable seg un Riemann en
[a, b].
Demostracion. Supondremos que f(x) es monotona creciente. El caso en que f(x) sea
monotona decreciente se puede demostrar de manera analoga [o considerando f(x) en
lugar de f(x)].
Por denicion tenemos para la particion dada a = x
0
< x
1
< < x
1
= b
f(a) = f(x
0
) f(x
1
) f(x
n
) = f(b)
Entonces es claro que m
k
= f(x
k1
), M
k
= f(x
k
) de modo que
S =
n

k=1
f(x
k
)x
k
, s =
n

k=1
f(x
k1
)x
k
o sea
S s =
n

k=1
[f(x
k
) f(x
k
1)]x
k
(1.8)
Si tomamos la particion de modo que, suponiendo f(b) = f(a)
x
k
=

f(b) f(a)
(1.9)
tenemos por (1.12), puesto que f(x
k
) f(x
k1
)
S s =

f(b) f(a)
n

k=1
[f(x
k
) f(x
k1
)] (1.10)
=

f(b) f(a)
[f(b) f(a)] = (1.11)
As que se obtiene el resultado pedido.
Teorema 1.8. Una funcion f(x) de variacion acotada en [a, b] es integrable seg un Rie-
mann en [a, b].
7
Medida Nula
De un conjunto E de n umeros reales se dice que tiene medida de Lebesgue nula, o
brevemente medida nula si dado > 0 existe un conjunto enumerable de intervalos
abiertos I
k
, k = 1, 2, , tales que E I
k
y tales que la suma se la longitudes de I
k
es menor que ,

L(I
k
) < .
El teorema fundamental sobre la integral de Riemann es el siguiente.
Teorema 1.9. Una condicion necesaria y suciente para que una funcion acotada f(x)
sea integrable seg un Riemann en [a, b] es que el conjunto de discontinuidades de f(x) en
[a, b] tenga medida nula.
Teoremas sobre Funciones Integrables seg un Riemann
Teorema 1.10. Si f
1
(x) y f
2
(x) son integrables seg un Riemann en [a, b] entonces f
1
(x)+
f
2
(x) es integrable seg un Riemann en [a, b] y

b
a
[f
1
(x) +f
2
(x)]dx =

b
a
f
1
(x)dx +

b
a
f
2
(x)dx
Demostracion. Supondremos que f(x) es monotona creciente. El caso en que f(x) sea
monotona decreciente se puede demostrar de manera analoga [o considerando f(x) en
lugar de f(x)].
Por denicion tenemos para la particion dada a = x
0
< x
1
< < x
1
= b
f(a) = f(x
0
) f(x
1
) f(x
n
) = f(b)
Entonces es claro que m
k
= f(x
k1
), M
k
= f(x
k
) de modo que
S =
n

k=1
f(x
k
)x
k
, s =
n

k=1
f(x
k1
)x
k
o sea
S s =
n

k=1
[f(x
k
) f(x
k
1)]x
k
(1.12)
Si tomamos la particion de modo que, suponiendo f(b) = f(a)
x
k
=

f(b) f(a)
(1.13)
8
tenemos por (1.12), puesto que f(x
k
) f(x
k1
)
S s =

f(b) f(a)
n

k=1
[f(x
k
) f(x
k1
)] (1.14)
=

f(b) f(a)
[f(b) f(a)] = (1.15)
As que se obtiene el resultado pedido.
Teorema 1.11. Si f(x) es integrable seg un Riemann en [a, b] y c es cualquier constante,
entonces cf(x) es integrable seg un Riemann en [a, b] y

b
a
cf(x)dx = c

b
a
f(x)dx
Teorema 1.12. Si f(x) y g(x) son integrables seg un Riemann en [a, b], entonces f(x)g(x)
es integrable seg un Riemann en [a, b].
Teorema 1.13. Si f(x) es integrable seg un Riemann en [a, b], entonces

b
a
f(x)dx =

a
b
f(x)dx,

a
a
f(x)dx = 0
Teorema 1.14. Si f(x) es acotada e integrable seg un Riemann en [a, b] y c es cualquier
punto de [a, b], entonces

b
a
f(x)dx =

c
a
f(x)dx +

b
a
f(x)dx
Demostracion. Supongamos que c no es un punto de subdivision al denir sumas
superiores e inferiores. Si agregamos el punto c a la particion, la suma superior S no se
crece.
Denotando las sumas superiores para los intervalos ]a, c[ y ]c, b[ por S
1
y s
2
, tenemos
S S
1
+S
2

c
a
f(x)dx +

b
a
f(x)dx (1.16)
De modo analogo hallamos para las sumas inferiores correspondientes
s s
1
+s
2

c
a
f(x)dx +

b
c
f(x)dx (1.17)
De modo que si I y J son las integrales superior e inferior correspondientes a f(x),
tenemos
I = J =

b
a
f(x)dx (1.18)
9
as que por (1.17) y (1.18).

b
a
f(x)dx =

c
a
f(x)dx +

b
c
f(x)dx
Teorema 1.15. Si f(x) y g(x) son integrables seg un Riemann en [a, b] y f(x) g(x),
entonces

b
a
f(x)dx

b
a
g(x)dx
Demostracion. Sean M
(1)
k
, m
(1)
k
y M
(2)
k
, m
(2)
k
los extremos superiores y los extremos
inferiores en (x
k1
, x
k
) correspondientes a f(x) y g(x) respectivamente. Sean ademas
S
(1)
, s
(1)
y S
(2)
, s
(2)
las sumas superior e inferior correspondientes. Entonces tenemos,
puesto que f(x) g(x),
M
(1)
k
M
(1)
k
, m
(2)
k
m
(2)
k
(1.19)
de modo que
S
(1)
S
(1)
s
(2)
s
(2)
(1.20)
Si suponemos ahora que las integrales superior e inferior son I
(1)
, J
(1)
y I
(2)
, J
(2)
corre-
spondientes a f(x) y g(x) respectivamente, tenemos
I
(1)
I
(1)
, J
(2)
J
(2)
(1.21)
Entonces como
I
(1)
= J
(1)
=

b
a
f(x)dx, I
(2)
= J
(2)
=

b
a
g(x)dx (1.22)
tenemos

b
a
f(x)dx

b
a
g(x)dx
Teorema 1.16. Si f(x) es integrable seg un Riemann en [a, b] y tiene un mayorante y
un minorante M y m en [a, b], respectivamente, entonces
m(b a)

b
a
f(x)dx M(b a)
y si es un n umero tal que m M, entonces

b
a
f(x)dx = (b a)
10
Demostracion. Tenemos
Entonces integrando de a y b y utilizando el problema, obtenemos

b
a
mdx

b
a
f(x)dx

b
a
Mdx
o sea
m(b a)

b
a
f(x)dx M(b a) (1.23)
De esto se deduce que hay un n umero entre m y M que m(ba) (ba) M(ba)
y

b
a
f(x)dx = (b a) (1.24)
Teorema 1.17 (Teorema del valor medio). Si f(x) es continua en [a, b], entonces existe
un n umero c [a, b] tal que

b
a
f(x)dx = (b a)f(c)
Demostracion. Como f(x) es continua en [a, b], es integrable seg un Riemann en [a, b].
De modo que existe un n umero entre los valores mnimo y maximo m y M de f(x)
tal que

b
a
f(x)dx = (b a) (1.25)
Pero una funcion continua toma todos sus valores entre su mnimo y su maximo y por
tanto hay un n umero c tal que f(c) = . Lo que llevado a (1.25) da el resultado pedido.
Teorema 1.18. Si f(x) es integrable seg un Riemann en [a, b] y |f(x)| M para alguna
constante M, entonces
|

b
a
f(x)dx| M(b a)
Teorema 1.19. Si f(x) es integrable seg un Riemann en [a, b], entonces
a) |f(x)| es integrable seg un Riemann en [a, b] y
b) |

b
a
f(x)dx|

b
a
|f(x)|dx
Demostracion. a) Sea
F
1
(x) =
_

_
f(x), f(x) 0
0, en los demas casos
F
2
(x) =
_

_
f(x), f(x) 0
0, en los demas casos
11
Entonces tenemos
f(x) = F
1
(x) F
2
(x), |f(x)| = F
1
(x) +F
2
(x) (1.26)
Como f(x) es integrable seg un Riemann, tambien lo son F
1
(x) y F
2
(x). As que por
el problema F
1
(x) +F
2
(x) = |f(x)| es integrable seg un Riemann.
b) A partir de (1.26) tenemos

b
a
f(x)dx =

b
a
F
1
(x)dx

b
a
F 2(x)dx

b
a
|f(x)|dx =

b
a
F
1
(x)dx +

b
a
F
2
(x)dx
Entonces
|

b
a
f(x)dx| |

b
a
F
1
(x)dx| +|

b
a
F
2
(x)dx|
=

b
a
F
1
(x)dx +

b
a
F
2
(x)dx =

b
a
|f(x)|dx
12
Captulo 2
La integral de Lebesgue
En este captulo introduciremos primero las funciones medibles simples no negativas, y
para, funciones medibles de valores reales extendidas. Un resultado principal es de el
Teorema de Convergencia Monotona, el cual es basico para todo lo que sigue.
Ademas este captulo, consideraremos un espacio medida jo (x, X, ). Nosotros deno-
taremos la coleccion de todo Xfunciones medible en x a R por M = M(x, X) y la
coleccion de todo las Xfunciones medibles de x a R no negativa por M
+
= M
+
(x, x).
Nosotros deniremos la integral para funciones en M+ con respecto a la medida
Denicion de Funciones Simples
Una funcion de valores reales es simple si tiene solamente un n umero nito de valores.
Una funcion medible simple puede ser representada en la forma:
=
n

j=1
a
j

E
j
(*)
donde a
i
R y
E
j
es la funcion caracterstica de un conjunto E
j
en X, ademas, esta
representacion para es una representacion standard, es caracterizada por el hecho
que los a
j
son distintos y los E
j
son disjuntos. Realmente si a
1
, a
2
, . . . , a
n
son estos
valores distintos de y si E
j
= {x X : (x) = a
j
}, entonces los E
j
son disjuntos y
X =
n
j
= E
j
Note: (X) = {a
1
, a
2
, . . . , a
n
}
13
Observacion: E
j
x X, denimos la funcion caracterstica E : X X R
X
E
j
(x) =
_

_
1, x E
j
0, six X E
j
Denicion 2.1. Si es una funcion simple en M
+
(x, X), con la representacion estandar
de (*), nosotros denimos la integral de con respecto a al n umero real extendido

d =
n

j=1
a
j
(E
j
) (**)
En la expresion (**) nosotros emplearemos la conversion que 0(+) = 0 es la integral
de una funcion identicamente 0 es igual a 0, o que el espacio tiene medida nita o innita
Ejemplo 2.1. Sea A = [1, 1], : A R tal que:
(x) =
_

_
5 = a
1
, si x [1, 1/2] = E
1
= [1, 1]
0 = a
2
, si x (1/2, 1/2] = E
2
= [1, 1/2]
2 = a
3
, si x (1/2, 1] = E
3
= [1/2]
(x) =

a
i

Entonces

[1,1]
du =

[1,1/2]
d +

(1/2,1/2]
+

(1/2,1]
d
= 5([1, 1/2]) + 0((1/2, 1/2]) + 2((1/2, 1])
= 5(1/2 (1)) + 0(0) + 2(1/2)
=
7
2
Estudiaremos propiedades de la integral
Lema 2.1. a) Si y son funciones simples en M
+
(x, X) y c 0

cd = c

d ,

( + )d =

du +

d
b) Si es denida por E en X por:
(E) =

E
d
es medida en X
14
Demostracion. Dq: c 0,

cd = c

d lo analizaremos cuando c = 0 c > 0

I) Cuando c = 0: c = 0
Pero:
c
n

i=1
a
n
(E
j
) = 0
n

i=1
(a
n
)(E
j
) = 0

c = 0 = 0

c = 0

Reemplazando:

0 = 0

=
n

i=1
a
i

E
i
c = 0
0 =

(a
i
0)
E
i
, es simple medible

0 =
n

i=1
(a
i
0)(E
i
) = 0 = 0

II) Cuando c > 0
Como M
+
(x, x) c > 0 c M
+
su representacion estandar ie:
c = c
_
n

j=i
(ca
j
)
E
j
_
c =
n

j=1
ca
j

E
j
, entonces tiene representacion estandar
Por denicion:

cd =
n

j=1
ca
j
(E
j
)
= c
n

j=1
a
j
(E
j
)
= c

d
15
Nos resta probar

( +)d =

d +

d
En efecto:
, M
+
(x, X) tienen su representacion estandar

j=1
a
j

E
j
, =
n

k=1
b
k

F
k
, F
k
X
donde (x) = {a
1
, a
2
, . . . , a
n
} y (x) = {b
1
, b
2
, . . . , b
n
}
n

j=1
E
j
= x ,
m

k=1
F
k
= x
Para poder hablar de la suma de dos funciones tenemos que tener cuidado en los dominios
de esas funciones
denimos a la suma como
+ =
_
n

j=1
_
m

k=1
(a
j
+b
k
)
E
j
F
k
(+)
+ = a
1
xE
1
+ a
2

E
2
+ + a
n

E
n
+b
1

F
1
+b
2

F
2
+ + b
n

F
m
Como ustedes observan esta suma no esta en representacion estandar i.e como (**)(en
otras palabras como una combinacion lineal de medidas) i.e as como este puede que
a
j
+b
k
no sea distinto a la vez. Para ello lo ordenaremos de la siguiente forma
Sea C
h
= {a
j
+b
k
/j = 1, n, k = 1, m}, h = 1, p n umeros distintos
El conjunto
J
h
= {(j, k) {1, . . . , n} {1, . . . , m}/a
j
+b
k
= C
h
}
de modo
p

h=1
J
h
= {1, 2, . . . , n} {1, 2, . . . , m} y
Sea G
h
=
d

(j,k)J
h
(E
j
F
k
)/C
h
= a
j
+b
k
escogido de tal manera que (E
j
F
k
)
(i,k)J
h
son
sucesiones de conjunto nita y disjunta como es medido
(G
h
) =

(i,j)J
h
(E
j
F
k
)
16
Entonces (+)se reduce: + =
p

h=1
C
h
X
G
h
como ya esta expresado en su representacion
estandar entonces por la denicion 2.1 de la integral se tiene:

+ =
p

h=1
C
h
(G
h
)
=
p

h=1
C
h

(i,j)J
n
(E
j
F
k
)
=
p

h=1

(i,j)J
n
(a
j
+ b
k
)(E
j
F
k
)
=
n

j=1
m

k=1
(a
j
+b
k
)(E
j
F
k
)
=
n

j=1
m

k=1
(a
j
(E
j
F
k
) +b
k
(E
j
F
k
))
=
n

j=1
m

k=1
a
j
(E
j
F
k
) +
n

j=1
m

k=1
b
k
(E
j
F
k
)
=
n

j=1
a
j
m

k=1
(E
j
F
k
) +
m

k=1
b
k
n

j=1
(E
j
F
k
)
E
j
F
k
E
j
E
j
=
m

k=1
E
j
F
k
(E
j
) =
m

k=1
(E
j
F
k
)
En forma analoga
F
k
=
n

j=1
E
j
F
k
(F
k
) =
n

j=1
(E
j
F
k
)
=
n

j=1
a
j
(E
j
) +
m

k=1
b
k
(F
k
)
=

x
du +

x
d
17
En efecto: H :
x
(E) =

E
x
E
d, donde
E =
n

j=1
(E
j
E)
(E) =
n

j=1
(E
j
E)
Ademas: Note que hay que expresar
E
en su forma estandar

E
=
_
n

j=1
a
j

E
j
_

E
=
n

j=1
a
j
(
E
j

E
. .
)
Como es multiplicacion de funciones
E
j

E
=
E
j
E
Para multiplicar funciones sus dominios se interceptan

E
=
n

j=1
a
j

E
j
E
Esta representado en su forma estandar entonces denamos la integral
Reemplazando en hip
(E) =

x
n

j=1
a
j

E
j
E
d
=
n

j=1
a
j

(E
j
E)
d
=
n

j=1
a
j
(E
j
E)
Note: Del ejemplo 2.1 B(E) = (E
j
E) es medible
(E) es una combinacion lineal de medidas X entonces por el ejercicio (3B) es la
medida en X
i.e Si f M
+
y el f, es medible

f es la cota superior

i.e
Denicion 2.2. De la integral de una funcion medible de valores reales no negativos
Sea f M
+
(x, X) denamos la integral de f respecto a al n umero real estendido:

fd = sup

d
= sup{

d, es simple , 0 f}
18
donde es una funcion simple en M
+
(x, X) que satisface: 0 (x) f(x) x X en
obras palabras esta integral de f es la cota superior de la

d
Observacion 1. Si f M
+
(x, X) y E X fx
E
M
+
(x, X) observe que el
producto de dos funciones medibles es medible y nosotros deniremos la integral de f
sobre E sobre E con respecto a al n umero real extendida:

E
fd =

fx d
Lema 2.2. a) Si f, g M
+
(x, X) y f g

fd

gd
b) Si f M
+
(x, X) si E, F X y E F

E
fd
Demostracion. 1.

fd = sup

d
= sup{

d, es simple M
+
}
Como0

fd = sup

(1)
Ademas f g 0 f g i.e

gd es la cota superior de

i.e:

gd (2)
y que la integral de f es una cota superior de

por cota que es la menor de las

cotas superior y como

f = sup

f = sup

gd

gd
2. Dq: si f M
+
(x, X) y E F

E
f

F
En efecto:
Como es simple y E F

E
d

E
f
19
Como
E F
(E E
j
) (F E
j
)

a
j
(E
j
E)

a
j
(F E
j
)

E
d

F
d

F
fd
i.e por denicion

F
fd es la cota superior en particular

E
(pues

f
)
y como

E
d sup

E
d =

E
fd
de (1) y (2) se tiene:

E
fd

f
d
por la denicion del supremo es menor
Teorema 2.1. Paso del lmite bajo el signo de la Integral (f
n
) sucesiones en M
+
(x, X)
f
n
f
n+1
(f
n
) f
f
n
= lm
n

f
n
Dq:
a) lm
n

f
n
d

fd
b) lmfd lm
n

f
n
d
En efecto:
a) (f
n
) son sucesiones monotona creciente: Por hipotesis, i.e: f
n
f
n+1

f
n
d

f
f+1
d (1)
Por el lema anterior
Como lm
n
f
n
= f y como (f
n
) son sucesiones creciente entonces f = sup{f
n
:
n N} i.e:
f
n+1
fn (*)
20
Y ademas por el corolario f(x) M(x, X) f 0, ya que f
n+1
Aplicando el Lema en (*):

f
n+1
d fd (2)
de (1) y (2) se tiene:

f
n
d fd
Haciendo tiende n al innito
lm
n

f
n
d fd
b) Desde que f M
+
(x, X) denimos

fd = sup

d donde son funciones simples

medibles no negativos satisfaciendo 0 (x) f(x) x X
En base a esas funciones simples construyamos los conjuntos, considerando: R
tal que 0 < < 1
Sea
A
n
= {x X : f
n
(x) ()}
Como f
n
M
+
n entonces A
n
X por la denicion
Ademas (A
n
) es creciente. En efecto:
Dq.: A
n
A
n+1
i.e si x
0
A
n
x
0
A
n+1
Si
x
0
A
n
x
0
X : f
n
(x
0
) (x
0
) (1)
Ademas
f
n+1
(x
0
) f
n
(x
0
) (2)
de (1) y (2)
f
n+1
(x
0
) (
0
)
Ademas X =

A
n
En efecto Pq.
1.X

n=1
2.

n=1
A
n
X
1. Si x
0
X f(x
0
) (x
0
)
Pero 0 < < 1 f(x
0
) > (x
0
)
Como f = sup{f
n
: n N}
21
n

N/f(x
0
) > f
n
(x
0
) > (x
0
)
f
n
(x
0
) > (x
0
), x
0
X
x
0
A
n
x
0

n=1
A
n
2. Por denicion
A
n
X n

n=1
A
n
= X
Denamos
: X R
E (E) =

E
d
es una medida en X por el Lema y como los (A
n
) una sucesion creciente, entonces
por el Lema

n=1
A
n
_
= lm
n
(A
n
)
(X) = lm
n
(A
n
)
Como f
n
A
n
X por el Lema

A
n
=

A
n
f
n
(*)
Como A
n
x por el lema

A
n
f
n
d

f
n
d (**)
De (*) y (**)

A
n

f
n
d
Haciendo tender n al innito

= lm
n

A
n
d lm lm
n

f
n
d

lm
n

f
n
, , 0 < < 1
22
En particular = 1
1
m
m N {1}

_
1
1
m
_
lm
n

f
n
Hacemos m +

d lm
n
f
n
d (3)
Como se han tomado arbitrariamente, i.e.:

sup

(4)
Por denicion suprema de (3) y (4)
sup

d = lm
n

f
n
d

fd lm
n

f
n
d
23
Captulo 3
Comparacion entre la integral de
Riemann y Lebesgue
Teorema 3.1. Sean a, b R, a < b y f : [a, b] R, acotada e integrable Riemann.
Entonces f es integrable Lebesgue y:

b
a
f(x)dx =

[a,b]
f dm.
Demostracion. Sea E el conjunto de puntos de [a, b], donde f no es continua. Entonces
se sabe que E es medible y de medida cero. Ademas, f/
([a,b]\)
es continua y por lo tanto
medible.
Luego, si R :
f
1
((, +)) = {x [a, b] : f(x) > }
= {x ([a, b] \ E) : f(x) > } {x E : f(x) > }
= (f/
([a,b]\)
)
1
(
1
, +) {x E : f(x) > }.
Como todo subconjunto de medida cero es medible, se concluye que f es una funcion
medible.
Ademas, como f es acotada, se tiene que existe M tal que:
|f(x)| M x [a, b].
Luego:

[a,b]
|f|dm M.(b a) < +.
24
Como consecuencia f es integrable Lebesgue.
Veamos ahora que

b
a
f(x)dx =

[a,b]
f dm.
Sea > 0. En tal caso existe una subdivision = {x
0
, ..., x
n
} de [a, b] tal que:

b
a
f(x)dx =

b
a
f(x)dx < s[f; ].
Ahora bien, defnase la funcion simple s

: [a, b] R por:
s

=
n

i=1
m[f; [x
i1
, x
i
]]
[x
i1
,x
i
]
.
Resulta claro que s

es medible y que
s
(x)
f(x) x [a, b]
y que:

[a,b]
s

dm = s[f; ].
Luego:

b
a
f(x)dx <

[a,b]
s

dm+

[a,b]
fdm +.
Por lo tanto:

b
a
f(x)dx

[a,b]
f dm < .
De manera totalmente similar (valiendose de sumas superiores), se obiene que

b
[a,b]
f dm

b
a
f(x)dx < .
Luego se puede decir que:

b
a
f(x)dx

b
[a,b]
f dm

< > 0.
Por lo tanto debe tenerse que:

b
a
f(x)dx =

[a,b]
f dm.
Corolario 3.1. Sean a, b R, a < b, f
1
, f
2
: [a, b] R funciones acotadas e integrables
Riemann y R. Entonces:
25
i) |f
1
| es integrabe Riemann y:

b
a
f
1
(x)dx

b
a
|f
1
|(x)dx,
ii) f
1
+f
2
es integrable Riemann y:

b
a
(f
1
+f
2
)(x)dx =

b
a
f
1
(x)dx +

b
a
f
2
(x)dx,
iii) f
1
es integrable Riemann y:

b
a
(f
1
)(x)dx =

b
a
f
1
(x)dx.
Demostracion. i) Es claro que |f
1
| es acotada y continua casi en todas partes, ya
que f
1
lo es. Se tiene:

b
a
f
1
(x)dx

[a,b]
f
1
dm

[a,b]
|f
1
|dm =

b
a
|f
1
|(x)dx.
ii) Sean E
1
= {x [a, b] : f
1
no es continua en x},
E
2
= {x [a, b] : f
2
no es continua en x},
E = {x [a, b] : f
1
+f
2
no es continua en x}.
Entonces E E
1
E
2
, y por lo tanto, E es de medida cero. Ademas F
1
+f
2
es acotada,
ya que f
1
y f
2
lo son. Luego f
1
+ f
2
es integrable Riemann. Se tiene:

b
a
(f
1
+f
2
)(x)dx =

[a,b]
(f
1
+f
2
)dm
=

[a,b]
(f
1
)dm+

[a,b]
(f
2
)dm
=

b
a
f
1
(x)dx +

b
a
f
2
(x)dx.
iii) La demostracion de este caso es similar a la de los casos anteriores.
Hasta ahora se ha visto que las propiedades algebraicas de las integrales de Riemann y
de Lebesgue son las mismas y que los valores de ambas integrales coinciden cuando la
funcion es acotada e integrable Riemann. Sin embargo, se ha visto funciones acotadas
que son integrables Lebesgue, pero no en el sentido de Riemann. Luego, la primera
26
observacion es que hay mas funciones integrables Lebesgue que funciones integrables
Riemann. En segundo lugar, hay que observar que para denir la integral de Lebesgue
no fue necesario suponer que las funciones fuesen acotadas. Una diferencia fundamental
entre ambas integrables es que la de Lebesgue maneja lmites con facilidad en tanto que
la de Riemann no, como lo ilustra el siguiente ejemplo.
Ejemplo 3.1. Considerese la funcion f : [0, 1] R denida por:
f(x) =
_

_
0 si x es irracional
x 1 si x es racional.
Se sabe ya que f no es integrable Riemann, pero que es integrable Lebesgue.
Para cada n N, defnase:
A
n
= {
k
n
: k Z, 0 k n}
y
B
n
=
n

i=1
A
i
Es claro que B
n
B
n+1
, para todo n N, y que

n=1
B
n
= Q [0, 1].
Para cada n N, defnase f
n
: [0, 1] R mediante:
f
n
=
B
n
.
Entonces, puesto que f
n
es la funcion caracterstica de un subconjunto nito de [0,1], f
n
solo es discontinua en un n umero nito de puntos. Como, ademas, f
n
es acotada para
todo n, se tiene que f
n
es integrable de Riemann para todo n N y puesto que todo
intervalo de longitud positiva contiene n umeros irracionales, se tiene que

1
0
f
n
(x)dx = 0 n N.
Defnase g : [0, 1] R mediante:
g(x) = 1 x [0, 1].
Entonces |f
n
(x)| g(x) x [0, 1], y ademas g es integrable Riemann sobre [0, 1].
Observese ahora que, si x [0, 1] y si x es irracional, entonces x B
n
n N, luego:
f
n
= 0 n N,
27
y si x [0, 1] es racional, entonces se puede escribir x =
p
q
donde q N y p Z, 0
p q, teniendo que x B
q
, y luego x B
n
, n q, de donde cabe armar que
f
n
(x) = 1 n q.
Por consiguiente:
lm
n
f
n
(x) = f(x) x [0, 1].
As se tiene una sucesion de funciones que cumple todas las condiciones del Teorema de
Convergncia Dominada con respecto a la integral de Riemann, pero tal que la funcion
lmite no es integrable Riemann. En conclusion se deduce que el mencionado teorema
no es valido para la integral de Riemann.
Para obtener un resultado relativo a lmites de integrales de Riemann de sucesiones de
funciones hay que recurrir a una nocion de lmites de sucesiones de funciones, mucho
mas restrictiva que la convergencia puntual.
Denicion 3.1. Sean A R y {f
n
}

n=1
una sucesion de funciones reales denidas en A
y f : A R. Se dice que la sucesion {f
n
}

n=1
converge uniformemente hacia f sobre A,
lo que se denota por lm
n
f
n
= f[ unif ], si para todo > 0, existe N N tal que:
n N |f
n
(x) f(x)| < x A.
Observacion 2. Se tiene de inmediato que, si lm
n
f[unif], entonces
lm
n
f
n
= f(x), x A. (*)
Sin embargo, la convergencia uniforme de una sucesion de funciones exige mucho mas
que ().
Teorema 3.2. Sean A R, {f
n
}

n=1
una sucesion de funciones reales denidas en A,
f : A R y x
0
A. Supongase que lm
n
f
n
= f[unif] y que f
n
es continua en
x
0
, n N. Entonces f es continua en x
0
.
Demostracion. Sea > 0. En tal caso existe N N tal que
n N |f
n
(x) f(x)| <

3
x A.
En particular,
|f
N
(x) f(x)| <

3
x A.
28
Ahora bien, puesto que f
N
es continua en x
0
, existe > 0 tal que:
x A, |x x
0
| < |f
N
(x) f
N
(x
0
)| <

3
.
Sea, pues, x A talque |x x
0
| < . En consecuencia
|f(x) f(x
0
)| = |f(x) f
N
(x) +f
N
(x) f
N
(x
0
) +f
N
(x
0
) f(x
0
)|
|f(x) f
N
(x)| +|f
N
(x) f
N
(x
0
)| +|f
N
(x
0
) f(x
0
)|
<

3
+

3
+

3
= .
Luego f es continua en x
0
.
Ejemplo 3.2. Consideremos la sucesion {f
n
}

n=1
de funciones denidas en [0, 1] dada
por:
f
n
(x) =
x
n
x [0, 1], n N.
Sea f : [0, 1] R la funcion constante igual a cero. Entonces, dado > 0, se sabe que
existe N N tal que
n N
1
n
< .
Luego, si n N, se tiene que:
|f
n
(x) f(x)| = |
x
n
| =
x
n

1
n
< x [0, 1].
Luego: lm
n
f
n
= f[ unif ].
Ejemplo 3.3. Para cada n N, defnase f
n
: [0, 1] R mediante
f
n
(x) = x
n
, x [0, 1].
y defnase f : [0, 1] R por:
f(x) = 0, x [0, 1)
f(1) = 1.
Es claro entonces que lm
n
f
n
(x) = f(x), x [0, 1]. Sin embargo, no es cierto que
{f
n
}

n=1
converja uniformemente hacia f en [0, 1], ya que cada f
n
es continua en 1 y f
no lo es.
29
Teorema 3.3. Sean a, b R, a < b y {f
n
}

n=1
una sucesion de funciones reales acotadas
denidas en [a, b] y f : [a, b] R. Entonces, si lm
n
f
n
= [ unif ] y si f
n
es integrable
Riemann n N, se tiene que f es integrable Riemann sobre [a, b] y que:
lm
n

b
a
|f
n
(x) f
x
|dx = 0,
lm
n

b
a
f
n
(x)dx =

b
a
f(x)dx.
Demostracion. Para cada n N, sea E
n
el conjunto de puntos de [a, b], donde f
n
no
es continua, y sea E, el conjunto de puntos, donde f no es continua.
Entonces, en virtud del teorema 3.2, E

n=1
E
n
, y como la medida de cada E
n
es cero,
se sigue que E es de medida cero.
Ademas, puesto que lm
n
f
n
= f[ unif ], se tiene que existe N N tal que:
n N |f
n
(x) f(x)| < 1, x [a, b].
Luego:
|f(x)| |f
N
(x) f(x)| +|f
N
(x)| < 1 +|f
N
(x)|
y como F
N
es acotada, cabe decir que f es acotada. Se concluye que f es integrable
Riemann.
Sea M
0
= sup{|f
N
(x)| : x [a, b]}, y defnase g : [a, b] R mediante:
g(x) = M
0
+ 1, x [a, b].
Es inmediato que g es integrable Lebesgue sobre [a, b].
En tal caso se tiene que la sucesion {f
n
}

n=N
satisface las condiciones del Teorema de
Convergencia Dominada de Lebesgue. Por lo tanto es posible armar que:
lm
n

[a,b]
|f
n
f|dm = 0.
Pero, en virtud del teorema 3.1, se puede decir que:

[a,b]
|f
n
f|dm =

b
a
|f
n
(x) f(x)|dx.
Luego:
lm
n

b
a
|f
n
(x) f(x)|dx = 0.
Ahora, como

b
a
(f
n
(x) f(x))dx

b
a
|f
n
(x) f(x)|dx, la segunda igualdad sigue de
inmediato.
30