La Integral de Riemann

Facultad de Ingeniera y Ciencias. Universidad Adolfo Ib a nez

Nicol as Abarz ua Cisternas
Julio, 2011
1. Suma Superior y Suma Inferior
Denici on 1.1 Sea [a, b] R un intervalo. Una particion del intervalo [a, b]
es un subconjunto nito de punto P = {t
0
, t
1
, . . . , t
n
} [a, b] tal que a P y
b P. Sin perdida de generalidad podemos suponer que si P = {t
0
, t
1
, . . . , t
n
}
es una particion de [a, b] entonces a = t
0
< t
1
< . . . < t
n1
< t
n
= b.
El intervalo [t
i1
, t
i
] con i = 1, . . . , n se llama intervalo i-esimo de la particion
P y mide t
i
t
i1
.
Observacion 1.1 Si P = {t
0
, t
1
, . . . , t
n
} es una particion de [a, b] entonces
es claro que
n

i=1
(t
i
t
i1
) = b a
Ejemplo 1.1 P = {0,
1
3
,
1
2
,
7
8
, 1} es una particion de [0, 1].
Ejemplo 1.2 Q = {0,
1
2
5
,
1
2
4
,
1
2
3
,
1
2
2
,
1
2
, 1} es una particion de [0, 1].
Denicion 1.2 Sean P y Q particiones del intervalo [a, b]. Diremos que Q
rena a P o que Q es un renamiento de P si y solo si P Q.
Ejemplo 1.3 Q = {0,
1
2
5
,
1
2
4
,
1
2
3
,
1
2
2
1
3
,
1
2
,
7
8
, 1} es una particion de [0, 1] que es
un renamiento de P = {0,
1
2
5
,
1
2
4
,
1
2
3
,
1
2
2
,
1
2
, 1}.
1
Observacion 1.2 Sea f : [a, b] R una funcion acotada. Denotamos por
M = Sup{f(x) : x [a, b]}
m = Inf{f(x) : x [a, b]}
De esta forma se tiene que m f(x) M para todo x [a, b].
Sea P = {t
0
, t
1
, . . . , t
n
} una particion de [a, b] entonces f es acotada en cada
intervalo i-esimo de la particion. Luego para cada i = 1, . . . , n, denotamos
por
M
i
= Sup{f(x) : x [t
i1
, t
i
]}
m
i
= Inf{f(x) : x [t
i1
, t
i
]}
Denicion 1.3 Sea f : [a, b] R una funcion acotada y P = {t
0
, t
1
, . . . , t
n
}
una particion de [a, b]. Denimos la suma superior de f relativa a la particion
P como
S(f, P) =
n

i=1
M
i
(t
i
t
i1
)
y la suma inferior de f relativa a la particion P como
s(f, P) =
n

i=1
m
i
(t
i
t
i1
)
Observacion 1.3 Es claro que si f : [a, b] R es una funcion acotada y
P = {t
0
, t
1
, . . . , t
n
} una particion de [a, b] entonces
m(b a) s(f, P) S(f, P) M(b a)
Ejemplo 1.4 Sea f : [0, 1] R denida por
f(x) =
_
0 : si x es racional
1 : si x es irracional
Entonces para cualquier particion P de [0, 1] se tiene que s(f, P) = 0 y
S(f, P) = 1.
Ejemplo 1.5 Sea g : [a, b] R denida por g(x) = c (funcion constante
c). Entonces para cualquier particion P de [a, b] se tiene que s(g, P) = c(ba)
y S(f, P) = c(b a).
2
Observacion 1.4 Sea f : [a, b] R una funcion acotada tal que f(x) 0
para todo x [a, b]. Si R es la region del plano acotada por el graco de f
en [a, b], las rectas x = a, x = b y el eje x y A(R) es el area de la region
R entonces para cualquier particion P de [a, b], S(f, P) y s(f, P) represen-
tan valores aproximados de A(R), es decir se tiene que s(f, P) A(R) y
A(R) S(f, P).
Teorema 1.1 Sea f : [a, b] R una funcion acotada, P y Q particiones
de [a, b]. Si Q es un renamiento de P entonces se tiene que s(f, P) s(f, Q)
y S(f, Q) S(f, P).
Demostracion 1.1 Supongamos inicialmente que la particion Q = P {r}
con P = {t
0
, t
1
, . . . , t
n
}. Sin perdida de generalidad podemos suponer que
t
i1
< r < t
i
para alg un i = 1, . . . , n. Sean m

y m

los nmos de f en los

intervalos [t
i1
, r] y [r, t
i
] respectivamente. Entonces es claro que m
i
m

,
m
i
m

y que t
i
t
i1
= (t
i
r) + (r t
i1
), por lo tanto
s(f, Q) s(f, P) = m

(t
i
r) + m

(r t
i1
) m
i
(t
i
t
i1
)
= (m

m
i
)(t
i
r) + (m

t
i
)(r t
i1
)
0
Lo que equivale a decir que s(f, P) s(f, Q)). Par obtener el resultado
general, a P le agregamos k puntos y usamos k veces lo anterior demostrado.
De manera analoga se prueba que S(f, Q) S(f, P).
Corolario 1.1 Sea f : [a, b] R una funcion acotada, P y Q particiones
arbitrarias de [a, b] entonces s(f, P) S(f, Q).
Demostracion 1.2 Consideremos la particion R = P Q de [a, b] entonces
R es un renamiento de P y de Q, decir P R y Q R. Por teorema 1.1
se tiene que
s(f, P) s(f, R) S(f, R) S(f, Q)
Denicion 1.4 Sea f : [a, b] R una funcion acotada. La integral infe-
rior y la integral superior de f en [a, b] son los n umeros denidos respectiva-
mente por
_
b
a
f(x)dx = Sup{s(f, P) : P}
_
b
a
f(x)dx = Inf{S(f, P) : P}
3
Corolario 1.2 Sea f : [a, b] R una funcion acotada entonces
m(b a)
_
b
a
f(x)dx
_
b
a
f(x)dx M(b a)
Demostracion 1.3 Sabemos que para toda particion P de [a, b] se tiene
que m(b a) s(f, P) y S(f, P) M(b a) entonces es claro que
m(b a)
_
b
a
f(x)dx
_
b
a
f(x)dx M(b a)
Por corolario 1.1 se tiene que para todo par de particiones P y Q de [a, b],
s(f, P) S(f, Q), esto signica si A es el conjunto de sumas inferiores y B
es el conjunto de sumas sentonces s S para todo s A y para todo S B.
Luego todo elemento de B es cota superior de A y todo elemento de A es
cota inferior de B. En particular se tiene que Sup(A) Inf(B), es decir
_
b
a
f(x)dx
_
b
a
f(x)dx
Corolario 1.3 Sea f : [a, b] R una funcion acotada y P
0
una parti-
cion de [a, b]. Si consideramos las sumas s(f, P) y S(f, P) relativas a las
particiones P que renan a P
0
entonces no cambian los valores de
_
b
a
f(x)dx
_
b
a
f(x)dx
Demostracion 1.4 Ejercicio.
Denicion 1.5 Sea f : [a, b] R una funcion acotada. Diremos que f es
Riemann integrable en [a, b] si y solo si
_
b
a
f(x)dx =
_
b
a
f(x)dx
4
A este valor com un lo llamaremos la integral de f en [a, b] y sera denotado
por
_
b
a
f(x)dx
Observacion 1.5 Cuando f es integrable en [a, b], su integral
_
b
a
f(x)dx
es un n umero real.
Ejemplo 1.6 f : [0, 1] R denida por
f(x) =
_
0 : si x es racional
1 : si x es irracional
no es Riemann integrable puesto que
_
b
a
f(x)dx = 0 = 1 =
_
b
a
f(x)dx
Ejemplo 1.7 g : [a, b] R denida por g(x) = c es Riemann integrable
con
_
b
a
g(x)dx = c(b a)
Observacion 1.6 Sea f : [a, b] R una funcion acotada tal que f(x) 0
para todo x [a, b]. Si f es integrable en [a, b] entonces
_
b
a
f(x)dx
es precisamente el area bajo la curva f acotada por las rectas x = a, x = b y
el eje x.
Teorema 1.2 Sea f : [a, b] R una funcion acotada. Las siguientes ar-
maciones son equivalentes.
1. f integrable en [a, b].
2. Para todo > 0 existen P y Q particiones del intervalo [a, b] tal que
S(f, Q) s(f, P) < .
5
3. Para todo > 0 existe R una particion del intervalo [a, b] tal que
S(f, R) s(f, R) < .
Demostracion 1.5 Para mostar que las tres armaciones son equiva-lentes,
probaremos que 1 implica 2, 2 implica 3 y 3 implica 1.
Sea A el conjunto de sumas inferiores de f y B el conjunto de sumas supe-
riores de f. Dado > 0 existen por denicion de supremo e nmo, s A
y S B tal que Sup(A)

2
< s y S < Inf(B) +

2
. Esto implica que
S s < Inf(B) Sup(A) + . Supongamo que f es integrable en [a, b] en-
tonces Sup(A) = Inf(B) y por tanto se tiene que S s < . Luego hemos
demostrado que si f es integrable en [a, b] entonces para todo > 0 existen
s A y S B tal que S s < . Equivalentemente, existen P y Q particio-
nes de [a, b] tal que S(f, Q) s(f, P) < . Por tanto 1 implica 2.
Para probar que 2 implica 3, basta observar que R = P Q es un renamien-
to de las particiones P y Q entonces s(f, P) s(f, R) y S(f, R) S(f, Q).
Luego si S(f, Q) s(f, P) < entonces S(f, R) s(f, R) < , puesto que
S(f, R) s(f, R) S(f, Q) s(f, P).
Finalmente para demostar que 3 implica 1, notamos primero que siempre
Sup(A) Inf(B). En efecto supongamos que Sup(A) < Inf(B) enton-
ces para = Inf(B) Sup(A) > 0, existe R particion de [a, b] tal que
S(f, R) S(f, R) < . Por otro lado se tiene que s(f, R) Sup(A) e
Inf(B) S(f, R) entonces = Inf(B) Sup(A) S(f, R) s(f, R),
lo que contradice lo anterior. Por tanto Sup(A) = Inf(B).
Ejemplo 1.8 Sea f : [a, b] R denida por f(x) = c para todo x (a, b]
y f(a) = d con c = d. Entonces f es integrable en [a, b] con
_
b
a
f(x)dx = c(b a)
En efecto, podemos suponer que c < d entonces dada una particion cualquiera
P = {t
0
, . . . , t
n
} de [a, b], se tiene que m
1
= c, M
1
= d y m
i
= M
i
= c para
todo i = 2, . . . , n. Por tanto
S(f, P) s(f, P) = (d c)(t
1
t
0
)
Luego dado > 0 arbitrario consideramos la particion P
0
de [a, b] tal que
t
1
t
0
<

(dc)
entonces
S(f, P
0
) s(f, P
0
) = (d c)(t
1
t
0
) < (d c)

(d c)
=
6
Luego f es integrable en [a, b]. Ademas como s(f, P) = c(b a) para toda
particion P de [a, b], se tiene que
_
b
a
f(x)dx = c(b a)
Como f es integrable en [a, b], resulta que
_
b
a
f(x)dx =
_
b
a
f(x)dx = c(b a)
Observacion 1.7 Sean [a, b] R un intervalo cualquiera y n N. Para
cada i = 0, 1, . . . , n dena los n umeros t
i
= a +
i(ba)
n
. Entonces el conjunto
de puntos P
n
= {t
0
, t
1
, . . . , t
n
} es una particion del intervalo [a, b]. Notar que
la medida de cada intervalo i-esimo de la aparticion P
n
es constante igual a
ba
n
. Por esta razon, P
n
es llamada particion regular.
Ejemplo 1.9 Sea f : [0, b] R denida por f(x) = x entonces f es
acotada puesto que f es continua en un intervalo cerrado.
Sea n N y P
n
= {t
0
, . . . , t
n
} la particion regular del intervalo [0, b] entonces
t
i
=
ib
n
con i = 0, . . . , n.
Como f es creciente en [0, b], se tiene que m
i
= f(t
i1
) = t
i1
=
(i1)b
n
y
M
i
= f(t
i
) = t
i
=
ib
n
, para todo i = 1, . . . , n. Luego
s(f, P
n
) =
n

i=1
m
i
(t
i
t
i1
) =
n

i=1
_
(i 1)b
n
__
b
n
_
S(f, P
n
) =
n

i=1
M
i
(t
i
t
i1
) =
n

i=1
_
ib
n
__
b
n
_
Recordemos que para todo n N se tiene que
n

i=1
i =
n(n + 1)
2
Entonces se tiene que
s(f, P
n
) =
n

i=1
(i 1)
b
2
n
2
=
b
2
n
2
n

i=1
(i 1) =
b
2
n
2
(n 1)n
2
=
b
2
2
_
1
1
n
_
7
S(f, P
n
) =
n

i=1
i
b
2
n
2
=
b
2
n
2
n

i=1
i =
b
2
n
2
n(n + 1)
2
=
b
2
2
_
1 +
1
n
_
Por tanto se tiene que
S(f, P
n
) s(f, P
n
) =
b
2
2
_
1 +
1
n
_

b
2
2
_
1
1
n
_
=
b
2
n
Como
lm
n
b
2
n
= 0
se tiene que para todo > 0 existe N N tal que si n N entonces
b
2
n
< .
Luego para todo > 0 existe P
N
particion de [0, b] tal que
S(f, P
N
) s(f, P
N
) <
entonces por teorema 1.2 se tiene que f es integrable en [0, b].
Para calcular el valor de
_
b
0
f(x)dx =
_
b
0
xdx
notamos que para todo n N se tiene que
s(f, P
n
)
b
2
2
S(f, P
n
)
por tanto
_
b
0
f(x)dx =
_
b
0
xdx =
b
2
2
De manera similar se puede probar que f : [a, b] R denida por f(x) = x
es integrable en [a, b] con
_
b
a
f(x)dx =
_
b
a
xdx =
b
2
2

a
2
2
2. Propiedades de la Integral
Teorema 2.1 Sean a, b y c n umeros reales tales que a < c < b. Una funcion
f : [a, b] R acotada es integrable en [a, b] si y solo si sus restricciones
f
[a,c]
: [a, c] R y f
[c,b]
: [c, b] R son integrables en [a, c] y [c, b]
respectivamente. Ademas se tiene que
_
b
a
f(x)dx =
_
c
a
f(x)dx +
_
b
c
f(x)dx
8
Demostracion 2.1 Sean A y B los conjuntos de las sumas inferiores de
f
[a,c]
y f
[c,b]
respectivamente. Es facil ver que A + B es el conjunto de las
sumas inferiores de f relativa a todas las particiones de [a, b] que contienen
a el punto c. Luego por corolario 1.3, para calcular la integral inferior de
f, basta considerar esas particiones puesto que ellas son las que renan a
P
0
= {a, c, b}. De esta forma se tiene que
_
b
a
f(x)dx = Sup(A + B) = Sup(A) + Sup(B) =
_
c
a
f(x)dx +
_
b
c
f(x)dx
De manera similar se puede demostar que
_
b
a
f(x)dx =
_
c
a
f(x)dx +
_
b
c
f(x)dx
Luego
_
b
a
f(x)dx
_
b
a
f(x)dx =
_
_
c
a
f(x)dx
_
c
a
f(x)dx
_
+
_
_
b
c
f(x)dx
_
b
c
f(x)dx
_
Como
_
_
c
a
f(x)dx
_
c
a
f(x)dx
_
0
_
_
b
c
f(x)dx
_
b
c
f(x)dx
_
0
se tiene que
_
b
a
f(x)dx
_
b
a
f(x)dx = 0
si y solo si
_
_
c
a
f(x)dx
_
c
a
f(x)dx
_
= 0
_
_
b
c
f(x)dx
_
b
c
f(x)dx
_
= 0
Asi f es integrable en [a, b] si y solo si sus restricciones f
[a,c]
y f
[c,b]
son
integrables en [a, c] y [c, b] respectivamente y en tal caso se tiene que
_
b
a
f(x)dx =
_
c
a
f(x)dx +
_
b
c
f(x)dx
9
Ejemplo 2.1 Sea h : [1, 2] R denida por h(x) = [x], la funcion parte
entera denida en el intervalo [1, 2].
Notamos que para x [1, 0), h(x) = 1 entonces se tiene que
_
0
1
h(x)dx =
_
0
1
[x]dx = 1(0 (1)) = 1
Para x [0, 1) se tiene que h(x) = 0 entonces
_
1
0
h(x)dx =
_
1
0
[x]dx = 0(1 0) = 0
Si x [1, 2) entonces h(x) = 1, luego
_
2
1
h(x)dx =
_
2
1
[x]dx = 1(2 1) = 1
Por teorema 2.1, h es integrable en [1, 2] con
_
2
1
h(x)dx =
_
0
1
h(x)dx +
_
1
0
h(x)dx +
_
2
1
h(x)dx = 1 + 0 + 1 = 0
Observacion 2.1 La igualdad
_
b
a
f(x)dx =
_
c
a
f(x)dx +
_
b
c
f(x)dx
tiene sentido cuando a < c < b. A n de hacer verdadera esta igualdad para
cualquier a, b y c n umeros reales, haremos las siguientes dos convenciones:
1.
_
a
a
f(x)dx = 0.
2.
_
b
a
f(x)dx =
_
a
b
f(x)dx
Teorema 2.2 Sean f, g : [a, b] R integrables en [a, b]. Entonces
1. La suma f + g : [a, b] R es integrable en [a, b] con
_
b
a
(f + g)(x)dx =
_
b
a
f(x)dx +
_
b
a
g(x)dx
10
2. El producto f g : [a, b] R es integrable en [a, b]. En particular si
c R entonces c f : [a, b] R es integrable en [a, b] con
_
b
a
(c f)(x)dx = c
_
b
a
f(x)dx
3. Si existe k > 0 tal que k |g(x)| para todo x [a, b] entonces el
cuociente
f
g
: [a, b] R es integrable en [a, b].
4. Si f(x) g(x) para todo x [a, b] entonces
_
b
a
f(x)dx
_
b
a
g(x)dx
5. La funcion |f| : [a, b] R es integrable en [a, b] con

_
b
a
f(x)dx

_
b
a
|f(x)|dx
Demostracion 2.2 Ejercicio.
Observacion 2.2 Si f : [a, b] R es integrable en [a, b] con f(x) 0
para todo x [a, b] entonces
_
b
a
f(x)dx 0
Sin embargo es posible tener f(x) 0 para todo x [a, b] con
_
b
a
f(x)dx = 0
sin que f sea la funcion constante cero. De hecho, consideremos la funcion
f : [1, 3] R denida por
f(x) =
_
1 : x = 1, 2, 3
0 : x (1, 3) {2}
Entonces f(x) 0 para todo x [1, 3] e integrable en [1, 3] por teorema 2.1
con
_
3
1
f(x)dx =
_
2
1
f(x)dx +
_
3
2
f(x)dx = 0 + 0 = 0
11
Ahora si f es continua en [a, b] y f(x) 0 para todo x [a, b] entonces
_
b
a
f(x)dx = 0
implica que f es la funcion constante cero.
En efecto si existe alg un punto x
0
[a, b] tal que f(x
0
) = c > 0 existira un
intervalo [c, d] con x
0
[c, d] [a, b] tal que f(x) >
c
2
para todo x [c, d] por
la continuidad de f en x
0
. Como f(x) 0 se tiene que
_
b
a
f(x)dx
_
d
c
f(x)dx >
c
2
(d c) > 0
lo cual es una contradiccion. Por tanto f(x) = 0 para todo x [a, b].
3. Condiciones Sucientes de Integrabilidad
Teorema 3.1 Sea f : [a, b] R continua entonces f es integrable en [a, b].
Demostracion 3.1 Como f es continua en el intervalo cerrado [a, b], se
tiene que f es uniformemente continua esto quiere decir que dado > 0 existe
> 0 tal que si |y x| < con x, y [a, b] entonces |f(y) f(x)| <

(ba)
.
Sea P = {t
0
, . . . , t
n
} particion de [a, b] tal que la medida de todo intervalo
i-esimo de la particion P es menor que . En todo intervalo [t
i1
, t
i
] exiten
x
i
e y
i
tal que f(x
i
) = m
i
y f(y
i
) = M
i
entonces se tiene que
S(f, P) s(f, P) =
n

i=1
M
i
(t
i
t
i1
)
n

i=1
m
i
(t
i
t
i1
)
=
n

i=1
(M
i
m
i
)(t
i
t
i1
)
=
n

i=1
(f(y
i
) f(x
i
))(t
i
t
i1
)
<

(b a)
n

i=1
(t
i
t
i1
)
=
Luego por teorema 1.2, f es integrable en [a, b].
12
Observacion 3.1 El recproco del teorema 3.1, es decir, f integrable en
[a, b] entonces f continua en [a, b] no es cierto. Basta tomar f : [0, 2] R
denida por f(x) = [x] entonces f es integrable en [0, 2] con
_
2
0
f(x)dx =
_
2
0
[x]dx = 1
pero f no es continua en [0, 2], presenta discontinuidad en x = 1.
Teorema 3.2 Sea f : [a, b] R monotona entonces f es integrable en
[a, b].
Demostracion 3.2 Supongamos que f es monotona creciente en [a, b]. Da-
do > 0 sea P = {t
0
, . . . , t
n
} particion de [a, b] tal que t
i
t
i1
<

(f(b)f(a))
para todo i = 1, . . . , n. Note que f(a) = f(b), de hecho f(a) < f(b). Entonces
se tiene que
S(f, P) s(f, P) =
n

i=1
M
i
(t
i
t
i1
)
n

i=1
m
i
(t
i
t
i1
)
=
n

i=1
(M
i
m
i
)(t
i
t
i1
)
=
n

i=1
(f(t
i
) f(t
i1
))(t
i
t
i1
)
<
n

i=1
(f(t
i
) f(t
i1
))

(f(b) f(a))
=

(f(b) f(a))
n

i=1
(f(t
i
) f(t
i1
))
=

(f(b) f(a))
(f(t
n
) f(t
0
))
=

(f(b) f(a))
(f(b) f(a))
=
Luego por teorema 1.2, f es integrable en [a, b].
13
4. La Integral Como Lmite de Sumas de Rie-
mann
Denicion 4.1 Sea P = {t
0
, t
1
, . . . , t
n
} una particion del intervalo [a, b].
Denimos la norma de P y anotamos ||P|| como
||P|| = max{t
i
t
i1
: i = 1, . . . , n}
Teorema 4.1 Sea f : [a, b] R una funcion acotada, entonces para todo
> 0 existe > 0 tal que
S(f, P) <
_
b
a
f(x)dx +
para cualquier particion P del intervalo [a, b] con ||P|| < .
Demostracion 4.1 Primero supongamos que f(x) 0 para todo x [a, b].
Recordar que
_
b
a
f(x)dx = Inf{S(f, P) : P}
entonces por denicion de nmo, dado > 0 existe P
0
= {t
0
, t
1
, . . . , t
n
}
particion del intervalo [a, b] tal que
S(f, P
0
) <
_
b
a
f(x)dx +

2
Sea M al supremo de f en [a, b] y tomemos > 0 tal que <

2Mn
.
Consideremos una particion arbitraria P del intervalo [a, b] tal que ||P|| < .
Sean [r
1
, r

] los intervalos de P que estan contenidos en alg un intervalo

[t
i1
, t
i
] de P
0
(i jo) y [r
1
, r

] los otros intervalos restantes de P. Es

claro que cada uno de estos intervalos contienen al menos un punto t
i
en su
interior, por tanto hay un maximo de n intervalos del tipo [r
1
, r

].
Sea M

es el supremo de f en [r
1
, r

], entonces se tiene que M

M
i
y

(r

) t
i
t
i1
.
Dado que todos los n umeros anteriores son no negativos, vemos que

(r

) M
i
(t
i
t
i1
)
M

(r

r
1
) M
14
Luego
S(f, P) =

(r

r
1
) +

(r

r
1
)

i=1
M
i
(t
i
t
i1
) + nM
< S(f, P
0
) +

2
<
_
b
a
f(x)dx +
Para el caso general, como f es acotada existe constante K tal que la funcion
g(x) = f(x) + K 0 para todo x [a, b]. Luego por lo anterior, dado > 0,
existe > 0 tal que
S(g, P) <
_
b
a
g(x)dx +
para toda particion P del intervalo [a, b] con ||P|| < .
Por otro lado es claro que para cualquier particion P del intervalo [a, b],
S(g, P) = S(f, P) + K(b a) y
_
b
a
g(x)dx =
_
b
a
f(x)dx + K(b a)
Es decir
S(f, P) + K(b a) <
_
b
a
f(x)dx + K(b a) +
S(f, P) <
_
b
a
f(x)dx +
Esto ultimo concluye la demostracion.
Observacion 4.1 El resultado del teorema anterior es equivalente a decir
que
lm
||P||0
S(f, P) =
_
b
a
f(x)dx
Corolario 4.1 Sea f : [a, b] R una funcion acotada, entonces
lm
||P||0
s(f, P) =
_
b
a
f(x)dx
15
Demostracion 4.2 Para la demostracion basta notar que s(f, P) = S(f, P),

_
b
a
f(x)dx =
_
b
a
f(x)dx y aplicar teorema anterior.
Denicion 4.2 Sea f : [a, b] R una funcion acotada, P = {t
0
, t
1
, . . . , t
n
}
una particion del intervalo [a, b] y
i
[t
i1
, t
i
] con i = 1, . . . , n. La suma
n

i=1
f(
i
)(t
i
t
i
)
es llamada suma de Riemann.
Observacion 4.2 Es claro que si f : [a, b] R es una funcion acotada,
P = {t
0
, t
1
, . . . , t
n
} es cualquier particion del intervalo [a, b] y
i
[t
i1
, t
i
]
con i = 1, . . . , n, entonces
s(f, P)
n

i=1
f(
i
)(t
i
t
i
) S(f, P)
Teorema 4.2 Sea f : [a, b] R una funcion acotada, entonces f es inte-
grable en [a, b] si y solo si lm
||P||0
f(
i
)(t
i
t
i1
) =
_
b
a
f(x)dx.
Demostracion 4.3 Supongamos que f es integrable en [a, b] entonces
_
b
a
f(x)dx =
_
b
a
f(x)dx =
_
b
a
f(x)dx
Como
s(f, P)
n

i=1
f(
i
)(t
i
t
i
) S(f, P)
por teorema de acotamiento se tiene que
_
b
a
f(x)dx = lm
||P||0
f(
i
)(t
i
t
i1
) =
_
b
a
f(x)dx
es decir
lm
||P||0
f(
i
)(t
i
t
i1
) =
_
b
a
f(x)dx
16
Reciprocamente, supongamos que
lm
||P||0
f(
i
)(t
i
t
i1
) =
_
b
a
f(x)dx
Entonces dado > 0 existe una particion P = {t
0
, t
1
, . . . , t
n
} del intervalo
[a, b] tal que

i=1
f(
i
)(t
i
t
i1
)
_
b
a
f(x)dx

<

4
con
i
[t
i1
, t
i
]. Ahora en cada intervalo [t
i1
, t
i
] podemos escoger
i
tal que
f(
i
) < m
i
+

4n(t
i
t
i1
)
y por tanto
n

i=1
f(
i
)(t
i
t
i1
) <
n

i=1
m
1
(t
i
t
i1
) +

4
= s(f, P) +

4
Analogamente podemos escoger
i
[t
i1
, t
i
] tal que M
i


4n(t
i
t
i1
)
< f(
i
)
y por tanto
S(f, P)

4
=
n

i=1
M
i
(t
i
t
i1
)

4
=
n

i=1
f(
i
)(t
i
t
i1
)
Luego
n

i=1
f(
i
)(t
i
t
i1
)

4
< s(f, P) S(f, P) <
n

i=1
f(
i
)(t
i
t
i1
) +

4
Como

i=1
f(
i
)(t
i
t
i1
)
_
b
a
f(x)dx

<

4

i=1
f(
i
)(t
i
t
i1
)
_
b
a
f(x)dx

<

4
entonces
S(f, P) <
_
b
a
f(x)dx +

2
_
b
a
f(x)dx

2
< s(f, P)
Por tanto S(f, P) s(f, P) < , es decir que f es integrable en [a, b].
17
5. Ejercicios
1. Si f : [a, b] R es integrable y P una particion de [a, b]. Que relacion
hay entre
_
b
a
f(t)dt y S(f, P) y entre
_
b
a
f(t)dt y s(f, P)?.
2. Sea f : [0, 1] R una funcion decreciente tal que f(0) = 1 y f(1) = 0.
Encuentre n N tal que S(f, P
n
) s(f, P
n
) < 10
3
, donde
P
n
=
_
0,
1
n
,
2
n
, . . . ,
n 1
n
, 1
_
3. Si f, g : [a, b] R integrables, Es cierto que
_
b
a
f(x)g(x)dx =
__
b
a
f(x)dx
___
b
a
g(x)dx
_
?
4. Si f es par y
_
a
0
f(t)dt = A. Calcule
_
a
a
f(t)dt, en terminos de A.
5. Sea f : [a, b] R una funcion integrable tal que f(x) 0 para todo
x [a, b]. Demuestre que
_
b
a
f(x)dx 0.
6. Sea f continua y no negativa en [a, b] tal que existe [a, b] con
f() > 0, entonces pruebe que
_
b
a
f(x)dx > 0.
7. Sea f : [a, b] R acotada tal que para cualquier particion P se tiene
que S(f, P) = s(f, P). Es f una funcion constante?.
8. Considera n N y dene I
n
=
_
n
0
[x]dx. Encuentre el valor de I
n
en
terminos de n.
9. Para cada x R dene I(x) =
_
x
0
[t]dt. Graca I.
10. Si f es continua en [a, b] y si
_
b
a
f(x)dx = 0, entonces pruebe que existe
[a, b] tal que f() = 0.
18