Funciones Riemann Integrables PDF

ra - Fe rnand
du o S
a 2 Funciones
m
Cálculo II
án
Riemann integrables
tre
Universidad de Extremadura
Departamento de Matemáticas
che
e Ex
z - Departam
d d
El cálculo de áreas de conjuntos puede hacerse sabiendo

a
calcular áreas de conjuntos que tienen rectos todos sus lados

d
salvo uno. La figura de al lado muestra cómo se puede dividir

i
F
s
en trozos: uno de ellos, que se ha designado como F , tiene

r
lados rectos salvo el de arriba. Ese lado que no es recto

e
estará definido de alguna forma, por ejemplo la gráfica de una

v
función f .
i
e
n
n
to U
Funciones integrables. Para una función no negativa
de -
Matemáticas
f : [a, b] −→ R+
f
04 · 2015
integrar es calcular el área subyacente a la gráfica Z b

Z b A= f
a
06 · 02
A= f.
a b
- Fernand a
20
ura o
Para funciones generales (positivas, negativas o con parte
ad S
positiva y parte negativa)
A=7 m
án
f : [a, b] −→ R
tre
a
che
B=2 b la integral mide cuánta área hay por encima del eje X menos
e Ex
cuántaR área hay por debajo. En la figura de la izquierda la integral

b
mide a f = 7 − 2 = 5.
z - Departam
d
Hay funciones no nulas cuya integral es negativa o cero. Por

ejemplo, la función
ad
f : x ∈ [−1, 1] −→ f (x) = x −1
id
verifica
s
1
r
Z 0 Z 1 Z 1
1 1
e
f =− , f= , f = 0.
v
−1 2 0 2 −1
i
e
n
to U
de -
Matemáticas
Funciones Riemann integrables – 1
ra - Fernand
du o S
a
Integración de funciones constantes. Por definición, si f : x ∈ [a, b] −→ f (x) = c ∈ R
m
es una función constante, la integral de f en [a, b] es
án
tre
Z b
f = c · (b − a)
che
a
e Ex
que es un número positivo, negativo o cero según sea c.
z - Departam
Integración de funciones escalonadas (o simples o constan-
d
tes a trozos). Una partición de [a, b] es una colección finita
de puntos a = x0 < x1 < x2 < . . . < xn = b. Suele escribirse c2
d
P = {a = x0 < x1 < x2 < . . . < xn = b}. Una función escalo- c3

a
nada (asociada a esa partición) es una función que es constante c1

d
en cada intervalo (xk−1 , xk ) de la partición, es decir, una fun-

i
ción f : x ∈ [a, b] −→ f (x) = ck si x ∈ (xk−1 , xk ) (el valor en

rs
los extremos puede ser f (xk ) = ck o bien f (xk ) = ck+1 ). Por a x1 x2 b

x0 x3
e
definición, la integral es
iv
e
Z b
n
n
f = c1 (x1 − x0 ) + c2 (x2 − x1 ) + · · · + cn (xn − xn−1 )
to
a
de n
X - U n
X
=Matemáticas
k=1
ck (xk − xk−1 ) =
k=1
ck ∆k
Se denota por E [a, b] al conjunto de funciones escalonadas en [a, b]. Es evidente que se
trata de un espacio vectorial en el cual la integral
E [a, b] −→ R
ra - Fernand f
Rb
f
u
a
d o S
es un funcional lineal. En otras palabras, si f, g ∈ E [a, b] entonces αf + βg ∈ E [a, b] y
a
además
mZ b Z b Z b
án
(αf + βg) = α f +β g.
tre
a a a
che
Además es un funcional monótono:

e Ex
Z b Z b
z - Departam
f, g ∈ E [a, b], f ≤ g =⇒ f≤ g,
a a
d
donde f ≤ g significa que f (x) ≤ g(x) para todo x ∈ [a, b].

d
Es fácil comprobar que si f, g ∈ E [a, b] entonces ı́nf(f, g), sup(f, g) ∈ E [a, b], donde, por
a
definición, ı́nf(f, g)(x) = ı́nf(f (x), g(x)) y sup(f, g)(x) = sup(f (x), g(x)).
d
R R
i
Rb b b
En general no hay ninguna relación entre los valores a (f · g) y f · a g . Hay
s
a
r
ejemplos que muestran que puede darse cualquier comparación, menor, mayor o igual.
ve
Las funciones escalonadas son la base para el cálculo de integrales de funciones más
i
complejas, que ya no son escalonadas pero que pueden aproximarse en algún sentido por
n
éstas. to U
de -
Matemáticas
ra - Fernand
du o S
a
Funciones Riemann integrables. Sea f : [a, b] −→ R una
función acotada, es decir, existe M > 0 que verifica |f (x)|< M
m
para todo x ∈ [a, b]. Se dice que f Riemann integrable o R-
án
tre
k
integrable (o integrable en el sentido de Riemann) en [a, b] si
che
para todo ε > 0 existen funciones escalonadas h, k ∈ E [a, b]
e Ex f
tales que
z - Departam
Z b h
a) h ≤ f ≤ k b) (k − h) < ε
d
a a b
d
(f está encajada entre funciones escalonadas cuya diferencia

en área es tan pequeña como se quiera)
da
Ejemplos. Cualquier función escalonada en es Riemann integrable: si f es escalonada se

i
eligen h = k = f que verifican los apartados a) y b) anteriores.

rs
La función f que vale cero en todos los puntos de [0, 1] salvo

e
1
f (1/2) = 1 es R-integrable. Para esta función se eligen h = 0 y
iv
e
n
( h1 ε 1 εi
n
to 1 x∈ − , +
k : x ∈ [0, 1] −→ k(x) = 2 2 2 2
U
de 0 resto -
Matemáticas
que verifican h ≤ f ≤ k y además
0 1/2 1
Z 1 Z 1
(k − h) = k = ε
0 0
La misma idea sirve para probar que son R-integrables funciones que son constantes en
arbitrarios.
ra - Fernand
un intervalo salvo en una cantidad finita de puntos en los que la función toma valores
du o S
a
Más adelante se verán algunas clases de funciones, como las monótonas o las continuas,
que son R-integrables. Sin embargo hay funciones muy sencillas que no lo son.
m
án
Ejemplo. La función de Dirichlet

tre
che
(
0 si x ∈ Q
e Ex
f : x ∈ [0, 1] −→
1 si x ∈
/Q
z - Departam
no es R-integrable en [0, 1]. Para comprobarlo basta observar

d
que si h y k son funciones escalonadas en [0, 1] y verifican 0 1

d
h ≤ f ≤ k entonces deben cumplir h ≤ 0 y 1 ≤ k.

a
Por tanto cumplen

d
Z 1 Z 1
(k − h) ≥ 1 = 1
si
0 0
y f no es R-integrable, no se puede integrar en el sentido de Riemann. Esta función sı́ es
er
integrable en un sentido más amplio (la integral de Lebesgue) y su integral de Lebesgue

v
vale 1.
i
e
n
to
Por otra parte hay resultados que muestran tipos de funciones que son R-integrables. Es
U
cierto que “no son muchas” funciones, pero incluyen a las funciones que son continuas en
de -
casi todos los puntos. Matemáticas
ra - Fernand
du o S
a
Proposición. Si f : [a, b] −→ R es una función monótona (creciente o decreciente)
entonces es R-integrable.
m
án
Demostración. Sea f creciente (la prueba es similar si f es
tre
decreciente). Sea a = x0 < x1 < . . . < xn = b una partición
che
de [a, b] con puntos igualmente separados (equidistantes), es
e Ex
decir, xk − xk−1 = (b − a)/n para k = 1, . . . , n. Se definen las
z - Departam
funciones escalonadas
d

h : x ∈ [a, b] −→ h(x) = f (xk−1 )
(x ∈ [xk−1 , xk ]) .
k : x ∈ [a, b] −→ k(x) = f (xk )
d
a b
a
Es evidente que h ≤ f ≤ k, ya que f es creciente.

d
Además
si
Z b n n
b − a b − a X
r
X
(k − h) = f (xk ) − f (xk−1 ) = f (xk ) − f (xk−1 )
e
a n n k=1
v
k=1
b−a
i

e
n
=
f (x1 ) + . . . + f (xn ) −
f (x2 ) −
f (x1 ) − f (x0 ) +
f (xn−1 )

n

n
to
=
b−a U
f (b) − f (a) −→ 0
de -
n n→∞
y por tanto f es R-integrable.

Matemáticas
Proposición. Si f : [a, b] −→ R es continua, entonces es R-integrable en [a, b].

Demostración. Como f es continua en [a, b], que es un conjunto compacto, entonces f es
Fernand
uniformemente continua en [a, b]. Por tanto, dado ε > 0, existe δ > 0 tal que
ra -
du o
x, y ∈ [a, b], |x − y|< δ =⇒ |f (x) − f (y)|<
S
ε
.
a b−a
m
Sea una partición a = x0 < x1 < . . . < xn = b tal que xk − xk−1 < δ para k = 1, 2, . . . , n.
án
Se consideran las funciones escalonadas

tre
che

h : x ∈ [a, b] −→ h(x) = mı́n{f (x) : x ∈ [xk−1 , xk ]} = mk (f )
e Ex
(x ∈ [xk−1 , xk ]) .
k : x ∈ [a, b] −→ k(x) = máx{f (x) : x ∈ [xk−1 , xk ]} = Mk (f )
z - Departam
Estas funciones cumplen h ≤ f ≤ k (es evidente, ya que en cada intervalo [xk−1 , xk ] la

función h es el valor mı́nimo de f y la función k es el valor máximo de f ). Por otra parte,
d d
Z b n h n
X i ε X ε
(k − h) = Mk (f ) − mk (f ) ∆k < ∆k = (b − a) = ε
a
a k=1
b − a k=1 b−a
id
aplicando la continuidad uniforme de f .

rs
Este resultado prueba que las funciones elementales son R-integrables en los intervalos
ve
en los que sean continuas. Sin embargo hay funciones que no se pueden integrar, como
i
en el ejemplo anterior. La integral de Lebesgue, que no se va a estudiar en este curso,

n
to
permite el cálculo del área subyacente para todas las funciones Riemann integrables y para
U
muchas más en las que la integral de Riemann no funciona. Esta integral de Lebesgue
de -
Matemáticas
extiende a la integral de Riemann y puede calcular integrales de funciones que no son

ra - Fernand
du o S
a
Riemann integrables. Al coincidir ambas integrales en las funciones elementales se habla de
m
“la integral” dando a entender que sólo hay un proceso para el cálculo de integrales.
án
tre
Proposición. Para una función f : [a, b] −→ R acotada son equivalentes
che
a) f es R-integrable en [a, b], es decir, para todo ε > 0 existen funciones escalonadas
e Ex Rb
h, k ∈ E [a, b] tales que h ≤ f ≤ k y a (k − h) < ε.
z - Departam
Z b Z b
b) sup h : h ∈ E [a, b], h ≤ f = ı́nf k : k ∈ E [a, b], f ≤ k
d
a a
En este caso, al número real que aparece en el apartado b) se le llama integral de f en

d
[a, b] y se escribe
da
Z b Z b Z b
h : h ∈ E [a, b], h ≤ f = ı́nf k : k ∈ E [a, b], f ≤ k
i
f = sup
s
a a a
ver
Rb
Cálculo de la integral. Hallar el valor de esta integral a f se puede hacer utilizando varios
i
e
métodos. Por ejemplo, ya se verá más adelante que para una función f que sea R-integrable
n
n
to
se pueden tomar puntos de una partición a = x0 < x1 < . . . < xn = b y ası́
U
b
de
n
b−a X
-
Z
a
f = lı́m
n n k=1
Matemáticas
f (xk ) = lı́m (b − a)
n
f (x1 ) + f (x2 ) + . . . + f (xn )
n
.
(el área es el paso al lı́mite del cálculo de la base por la media de las alturas). Por comodidad
se pueden elegir los puntos equidistantes, y ası́
a = x0 < x1 = x0 +
b−a
n a - Fernand
< x2 = x1 +
r
b−a
n
= x0 +2·
b−a
n
< . . . < xn = x0 +n·
b−a
n
= b.
du o S
Ejemplo. Para calcular a Rπ
sen x2 se eligen puntos de una partición de [0, π]
m
0
án
π 2π 9π
tre
0 = x0 < < < ... < <π

10 10 10
che
e Ex
y ası́
z - Departam
π 2 2π 2 9π 2

π
sen + sen + . . . + sen + sen π 2
Z
sen x 2
' (π − 0) 10 10 10
= 00 654789 . . .
d
0 10
d
Esta aproximación será poco ajustada ya que se han utilizado sólo diez valores. Mejor
π 2π
a
aproximación se consigue eligiendo más puntos, por ejemplo, 100 , 100 , . . . , π, y se tiene
d
π 2 2π 2
2
+ . . . + sen 99π

π
sen + sen + sen π 2
i
Z
2 100 100 100
= 00 765425 . . .
s
sen x ' (π − 0)
100
r
0
e
Rπ
Para 1000 puntos (n = 1000) se obtiene el valor 0 sen x2 ' 00 771971 . . . Al añadir más
iv
puntos cada vez se van obteniendo más cifras decimales exactas,

n
Z π to U
sen x2 ' 00 7726517126900656532010918 . . .
de -
0
Matemáticas
ra - Fernand
du o S
a
Con este método se pueden calcular integrales como
Z 1
m Z 2π
sen x
án
0
x
e tg x = 1 265376 . . . = −00 433785 . . .
tre
0 π x
che
e Ex
También se puede calcular el área de un cı́rculo (centrado en el origen con radio 1) de
ecuación x2 + y 2 = 1 o el de una elipse de semiejes a y b de ecuación x2 /a2 + y 2 /b2 = 1.
z - Departam
x2 y 2
d
2
x +y =12 b + 2 =1
1 a a2 b
d
A=π A = πab
sida
Rb
Regla de los trapecios y regla de Simpson. Para hacer el cálculo de la integral a f ,
r
donde f es una función R-integrable, existen más métodos, como la regla de los trapecios o
ve
la regla se Simpson. En ambas se elige una partición a = x0 < x1 < . . . < xn = b de puntos
i
e
equidistantes (xk − xk−1 = (b − a)/n). Lógicamente, la cantidad de puntos aumentará para
n
n
obtener más precisión. to U
de -
En la regla de los trapecios, en cada intervalo [xk−1 , xk ] de la f
Matemáticas
partición se mide el área del trapecio cuya base es [xk−1 , xk ] y f (xk )
sus dos alturas son f (xk−1 ) y f (xk ). Este área es f (xk−1 )
b − a f (xk−1 ) + f (xk )
·
n 2 xk−1 xk
ra - Fernand Rb
La regla de los trapecios consiste en tomar como aproximación de a f la suma de esas
áreas de todos los trapecios
du o S
a
m
Z b
b−a h i
f ' · f (x0 ) + 2f (x1 ) + 2f (x2 ) + . . . + 2f (xn−1 ) + f (xn )
án
2n
tre
a
che
En la regla de Simpson, en cada dos intervalos consecutivos

e Ex
[xk−1 , xk ] y [xk , xk+1 ] se considera el polinomio P de grado

f
z - Departam
2 que pasa por los puntos (xk−1 , f (xk−1 )), (xk , f (xk )) y
(xk+1 , f (xk+1 )). Este polinomio encierra en [xk−1 , xk+1 ] un
d
P
área igual a
d

b−a xk−1 + xk+1
a
xk−1 xk xk+1 f (xk−1 ) + 4f + f (xk+1 )

3n 2
sid
Rb
La regla de Simpson consiste en tomar como aproximación de a f la suma de esas áreas
er
encerradas por los polinomios de grado 2, y se obtiene (en este proceso se elige n par)
iv
b
b−a h
Z
e
i
n
f ' · f (x0 ) + 4f (x1 ) + 2f (x2 ) + 4f (x3 ) + 2f (x4 ) + . . . + 4f (xn−1 ) + f (xn )

n
a 3n to U
de -
Ver, por ejemplo, “Fórmulas de Newton–Cotes” en alguna página como Wikipedia.
Matemáticas
ra - Fernand
du o S
a
Sumas de Riemann y propiedades de la integral. Dadas dos particiones de [a, b],
m
P = {a = x0 < x1 < . . . < xn = b} y P 0 = {a = x00 < x01 < . . . < x0n = b}, se
án
dice que P es más fina que P 0 si P 0 ⊂ P , es decir todos los puntos de P 0 están en P . Se
tre
escribe también P 0 ≤ P . Se denotará por P[a, b] al conjunto de particiones de [a, b].
che
e Ex
Dada una función acotada f : [a, b] −→ R, se llama suma de Riemann de f relativa a la
partición P al número real
z - Departam
n
X X
S(f, P ) = f (tk )∆k = f (tk )∆k ,
d
k=1 P
d
donde ∆k = xk − xk−1 y tk es un punto del intervalo [xk−1 , xk ].

da
Si tk se elige como el valor en el que f alcanza el mı́nimo en el intervalo [xk−1 , xk ], es decir,

si f (tk ) = mı́n{f (x) : x ∈ [xk−1 , xk ]} = mk (f ), entonces la suma de Riemann recibe un
si
nombre especial, suma inferior, y su valor es

er
n
v
X X
L(f, P ) = mk (f )∆k = mk (f )∆k ,
i
e
n
k=1 P
n
to
(L es la abreviatura de lower.) U
de -
Matemáticas
En el caso opuesto, si tk se elige como el valor en el que f alcanza el máximo en el intervalo
[xk−1 , xk ], es decir, f (tk ) = máx{f (x) : x ∈ [xk−1 , xk ]} = Mk (f ), entonces la suma de
Riemann se llama suma superior, y es
n
X X
U (f, P ) = Mk (f )∆k = Mk (f )∆k ,
k=1 P
r
(U es la abreviatura de upper.)
a - Fernand
du o S
Es evidente que sea cual sea la elección de los puntos tk se tiene mk (f ) ≤ f (tk ) ≤ Mk (f ),
y por tanto a
m L(f, P ) ≤ S(f, P ) ≤ U (f, P ).
án
tre
che
f f f
e Ex
z - Departam
d
xk−1 xk xk+1 xk−1 xk xk+1 xk−1 xk xk+1

Cálculo de L(f, P ) Cálculo de S(f, P ) Cálculo de U (f, P )
ad
Para cada partición P ∈ P[a, b] la suma inferior L(f, P ) corresponde al área que deja
d
encerrada la mayor función escalonada h que está por debajo de f , es decir, h ≤ f . La

si
suma superior U (f, P ) es el área de la menor función escalonada k que verifica f ≤ k.

er
Proposición. Sea f : [a, b] −→ R acotada. Son equivalentes

iv
Rb
a) f es R-integrable en [a, b], es decir, existe a f
e
n
to Rb U
b) Existe un número real a f tal que para todo ε > 0 existe una partición P0 que
de
Rb -
Matemáticas
verifica S(f, P ) − a f < ε para P ≥ P0


ra - Fernand
du o S

a
c) Para todo ε > 0 existe una partición P verificando U (f, P ) − L(f, P ) < ε

án
Z b
d) sup {L(f, P ) : P ∈ P[a, b]} = ı́nf {U (f, P ) : P ∈ P[a, b]} =
tre
f
che
a
e Ex
Este resultado permite probar la mayorı́a de propiedades de la integral de Riemann.
z - Departam
Proposición. Si f, g ∈ R[a, b] y α, β ∈ R entonces αf + βg ∈ R[a, b] y
d
Z b Z b Z b
(αf + βg) = α f + β g.
d
a a a
a
Rb
(R[a, b] es un espacio vectorial sobre el cuerpo R y f ∈ R[a, b] −→ a
f ∈ R es un funcional
d
lineal sobre él)

si
Demostración. Por una parte, para cada partición P ∈ P[a, b] se tiene S(αf + βg, P ) =
r
αS(f, P ) + βS(g, P ). Como f, g ∈ R[a, b] entonces dado ε > 0 se tiene

ve
Z b Z b
ε ε
i
e

S(f, P ) − para P ≥ P0 , y S(g, P ) − para P ≥ P1
n
f < g <
n

a 2α
to
a 2β
de
(los casos α = 0 o β = 0 son triviales.) - U
Matemáticas
Por tanto, si P ≥ P0 ∪ P1 entonces se tienen ambas desigualdades y entonces
Z b Z b Z b Z b

S(αf + βg, P ) − α f − β g ≤ |α|· S(f, P ) − f + |β|· S(g, P ) − g <ε

a a a a
que termina la demostración.
ra - Fernand
Proposición. Si f, g ∈ R[a, b] y f ≤ g entonces
du o S
a Z b
f ≤
Z b
g
m a a
án
tre
(la integral es un funcional monótono.)

che
e Ex
Demostración. Como f ≤ g entonces L(f, P ) ≤ L(g, P ) para cualquier partición

Rb Rb Rb
P ∈ P[a, b]. Por tanto L(f, P ) ≤ a g. En consecuencia, a f ≤ a g.
z - Departam
Corolario. Si f ∈ R[a, b] y P, P 0 ∈ P[a, b] entonces

d
Rb
a) m(f ) · (b − a) ≤ L(f, P ) ≤ a f ≤ U (f, P ) ≤ M (f ) · (b − a), donde m(f ) y
d
M (f ) son los valores mı́nimo y máximo de f en [a, b]

da
b) L(f, P ) ≤ L(f, P ∪ P 0 ) ≤ U (f, P ∪ P 0 ) ≤ U (f, P 0 ) (cualquier suma inferior es

i
menor que cualquier suma superior)

rs
Proposición. Sea a < c < b. Entonces

ve
f ∈ R[a, b] ⇐⇒ f ∈ R[a, c] y f ∈ R[c, b]

i
e
n
y en este caso se tiene

to Z U b Z c Z b
de - f = f+ f.
Matemáticas a a c

ra - Fernand
du o S
a
Demostración. Dada cualquier partición P ∈ P[a, b] se considera la partición Pc = P ∪ {c}
m
(añadirle a P el punto c). Entonces
án
tre
L(f, P ) ≤ L(f, Pc ) ≤ U (f, Pc ) ≤ U (f, P ).
che
e Ex
Por otra parte, L(f, Pc ) = L(f[a,c] , P[a,c] ) + L(f[c,b] , P[c,b] ), donde f[a,c] es la restricción de f
al intervalo [a, c] y P[a,c] es la partición P ∩ [a, c]
z - Departam
Ra Rb Ra
Definición. Si a < b se define b f = − a f y a f = 0. Por tanto, para a < c < b el
d
teorema anterior puede escribirse como

d
Z b Z c Z a
a
f + f + f = 0.
d
a b c
rsi
Rb
R RSi f,
Proposición. g ∈ R[a, b] entonces f g ∈ R[a, b] aunque, en general, a
f g es distinto
e
b b
de a f · a g .
iv
e
n
Se verá más adelante que con funciones no acotadas incluso puede darse el caso
n
f, g ∈ R[a, b] pero f g ∈
to
/ R[a, b] U
de -
Matemáticas
Proposición. Si f, g ∈ R[a, b] entonces ı́nf(f, g) ∈ R[a, b] y sup(f, g) ∈ R[a, b].
Demostración. Se trata de ver que U (sup(f, g), P ) − L(sup(f, g), P ) < ε para P partición
de [a, b] suficientemente fina (es decir, existe una partición P0 para la cual la desigualdad
es verdad si P es más fina que P0 ). Esto es fácil ya que
Fernand
U (sup(f, g), P ) − L(sup(f, g), P ) ≤ U (f, P ) − L(f, P ) + U (g, P ) − L(g, P )
ra -
du
y basta aplicar que f, g ∈ R[a, b]
o S

a
Corolario. Si f ∈ R[a, b] entonces f+ , f− , |f |∈ R[a, b], donde
m
án
tre
f+ = sup(f, 0), f− = sup(−f, 0).

che
e Ex
(son funciones positivas que verifican f = f+ − f− y |f |= f+ + f− ).

z - Departam
Demostración. Basta aplicar el resultado anterior: si f ∈ R[a, b] entonces f+ ∈ R[a, b] y

f− ∈ R[a, b] y por tanto |f |= f+ + f− ∈ R[a, b].
d
Sin embargo, la función

ad

1 si x ∈ Q
f : x ∈ [0, 1] −→
d
−1 si x ∈
/Q
si
/ R[0, 1] y |f |∈ R[0, 1].

cumple f ∈
ver
Corolario (desigualdad triangular). Si f ∈ R[a, b] entonces

i
e
n
Z b Z b
to

f ≤
U |f |.
de
- a a
Matemáticas
ra - Fernand
du o S
Rb a
Demostración. Es una simple consecuencia de las desigualdades f ≤ |f | y −f ≤ |f |, ya
Rb Rb Rb
m
que entonces a f ≤ a |f | y − a f ≤ a |f |.
án
tre
También se puede utilizar el hecho de que f = f+ − f− y ası́
che
Z b Z b e ExZ b Z b Z b Z b Z b Z b

f =
f+ − f− ≤
f+ +
f− =
f+ + f− = |f |.
a a a a a a a a
z - Departam
El nombre de desigualdad triangular viene al caso ya que la integral es una suma (de
d
Riemann) llevada al lı́mite. Esta propiedad dice que el valor absoluto de la suma es menor
o igual que la suma de valores absolutos, en clara similitud con la desigualdad triangular de
d
números |x + y|≤ |x|+|y|.

da
Teorema (del valor medio del cálculo integral). Si f ∈ R[a, b] entonces existe un valor
i
η ∈ [m(f ), M (f )] que verifica

s
Z b
r
f = η(b − a).
e
a
v
Además, si f es continua en [a, b] (por tanto f ∈ R[a, b] y es acotada) existe ξ ∈ [a, b] tal
i
e
n
n
que f (ξ) = η. to
Demostración. Ya se ha visto que
de - U
Matemáticas
m(f )(b − a) ≤
Z b
f ≤ M (f )(b − a).
a
Por tanto, la función continua g : x ∈ [m(f ), M (f )] −→ x(b − a) toma valores menores y

Rb Rb
mayores que a f . Por el teorema de Bolzano existe η ∈ [m(f ), M (f )] con g(η) = a f . Si
Fernand
f es continua entonces f alcanza todos los valores comprendidos entre m(f ) y M (f ).
ra -
Al número
du o S 1
Z b
a η =
b−a
f
m a
án
se le llama valor medio o promedio de f en [a, b] . El teorema asegura la existencia de este

tre
valor y además es un valor que alcanza la función si ésta es continua.

che
e Ex
Por ejemplo, el promedio de la función f (x) = x2 en [0, 1] es

z - Departam
Z 1
1 1
f [0,1] = x2 = .
d
1−0 0 3
√
d
Este valor se alcanza para c = 1/ 3, ya que f (c) = 1/3.

a
El valor medio de la función f (x) = sen x en [0, π] es

id
Z π
1 2
s
f [0,π] = sen x = .
r
π−0 0 π
ve
Este valor se alcanza: para algún c ∈ [0, π] se cumple sen c = 2/π.

i
e
n
to
Teoremas fundamentales del cálculo integral. En este apartado se estudian resultados
U
que relacionan el cálculo integral con el diferencial. No debe confundirse el cálculo de áreas
de -
Matemáticas
con el cálculo de primitivas, aunque en algún resultado parece decirse todo lo contrario.

ra - Fernand
du o S x
a
Z
Teorema 1. Si f ∈ R[a, b] y F : x ∈ [a, b] −→ F (x) = f,
entonces se tiene m a
án
tre
f
a) F es continua en [a, b]
che
e Ex
b) Si f es continua en c ∈ [a, b], entonces F es F (x)
diferenciable en c y se tiene F 0 (c) = f (c) (en cada
z - Departam
punto c en el que f es continua, F es diferenciable y a x b
F 0 (c) = f (c))
d
Ra
[En la definición de F se tiene que F (a) = a f = 0.]
ad
Demostración. a) Sean x, y ∈ [a, b] con x < y. Se verifica

d
Z y Z x Z y Z y
i
F (y) − F (x) = f− f = f ≤ |f | ≤ M (|f |) · (y − x)

r
a a x x
ve
donde M (|f |) = M = sup {|f (x)| : x ∈ [a, b]}. Esa desigualdad dice que F es continua.
i
Es uniformemente continua (incluso es lipschitziana) ya que para x, y ∈ [a, b] se cumple
e
n
n
to
U
F (y) − F (x) ≤ M · |x − y|

de -
Matemáticas
y basta elegir δ = ε/M para obtener la continuidad (o la continuidad uniforme).
b) Si además f es continua en c, entonces
Rx Rc Rx
F (x) − F (c) a
f− af f f (ξ)(x − c)
= = c = = f (ξ)
x−c x−c x−c x−c
ra - Fernand
aplicando el teorema del valor medio del cálculo integral, donde ξ es un valor intermedio
du o
entre x y c. Si x → c entonces ξ → c y por ser f continua en c se cumple f (ξ) → f (c). En
S
resumen, a
m F 0 (c) = lı́m
F (x) − F (c)
án
= f (c),
x−c
tre
x→c
che
de donde se obtiene que F es diferenciable en c y F 0 (c) = f (c).

e Ex
Definición. Se dice que F : [a, b] −→ R es una primitiva de f : [a, b] −→ R si F es

z - Departam
diferenciable en [a, b] y F 0 (x) = f (x) para todo x.

d
El apartado b) del teorema anterior dice que si f es continua en [a, b] entonces f tiene
primitiva, que es
d
Z x
F (x) = f (con F (a) = 0)
a
a
d
Z x
i
F (x) = 7 + f (con F (a) = 7)

s
a
r
Z x
e
F (x) = F (a) + f (con F (a) a elegir)

v
a
i
e
n
Esto dice que una primitiva de f es la función F cuya expresión verifica

n
to U
Z x
de
F (x) − F (a) = - f (∀x ∈ [a, b]).
Matemáticas a

ra - Fernand
du o S
a
Sin embargo, hay funciones no continuas que tienen primitiva. Por ejemplo, ya se ha visto
m
en Cálculo I, tema 9, que la función
án
tre
 x2 sen 1 si x 6= 0

che
e Ex F (x) = x
0 si x = 0

z - Departam
es derivable en todo R, y su derivada
d
 2x sen 1 − cos 1 si x 6= 0

0 x x
f (x) = F (x) =
d
0 si x = 0

da
no es continua (ya que no es continua en 0). En este ejemplo f es no continua pero tiene
i
primitiva.
rs
En cualquier caso para ser la derivada de alguna función en un intervalo se debe cumplir el
ve
teorema del valor intermedio de las derivadas. Una función que tenga una discontinuidad
i
e
de salto no puede tener primitiva.
n
n
to
Ejemplo. La función f (x) = ex tg x es continua en [0, 1]. Por tanto tiene primitiva F , cuya
U
expresión es de -
Matemáticas
F (x) =
Z x
et tg t dt.
0
Esta función no es elemental y esto es todo lo que se puede decir de ella, de momento.
Ejemplo. También es continua en [0, 1] la función f (x) = x. Su primitiva es
Fernand
Z x
x2
ra -
F (x) = t dt =
2
du o S
0
a
ya que es el área de un triángulo de base x y altura x.
Ejemplo. La función m
án
tre
f
1
che
2
f (x) = √ e−x /2
e Ex
2π
z - Departam
se conoce como función de densidad de la distribución

x
normal N (0, 1) de media 0 y desviación tı́pica 1. Es una
d
función simétrica cuya área total es igual a 1:

d
Z +∞
f =1
a
−∞
d
La función (de distribución, como se conoce en Estadı́stica)

si
Z x Z x
r
1 2
F (x) = f = √ e−t /2 dt
e
−∞ 2π −∞
iv
Rx
no es elemental. Para cada x ≥ 0 el valor de F (x) es F (x) = 12 + 0 f , y esta integral es el
n
to
área marcada en la gráfica de arriba. Estos valores suelen aparecer en tablas que permiten
U
conocer F (x) para ciertos x ≥ 0. Como consecuencia de simples argumentos de simetrı́a
de -
Matemáticas
se puede conocer además F (x) para x ≤ 0.

ra - Fernand
du o S
a
Teorema 2 (regla de Barrow). Si f ∈ R[a, b] tiene primitiva F en [a, b], entonces
m Z b
án
f = F (b) − F (a).
tre
a
che
e Ex
Demostración. Sea P = {a = x0 < x1 < · · · < xn = b} una partición de [a, b]. Entonces
z - Departam
F (b) − F (a) = F (xn ) − F (xn−1 ) + F (xn−1 ) − F (xn−2 ) + · · · + F (x1 ) − F (x0 )
d
= F 0 (tn )∆xn + F 0 (tn−1 )∆xn−1 + · · · + F 0 (t1 )∆x1
d
= f (tn )∆xn + f (tn−1 )∆xn−1 + · · · + f (t1 )∆x1

da
= S(f, P ).
si
En la segunda igualdad se ha utilizado el teorema del valor medio, y ası́ por ejemplo
r
F (xn )−F (xn−1 ) = F 0 (tn )(xn −xn−1 ) = F 0 (tn )∆xn para algún tn ∈ [xn−1 , xn ]. Similarmente
e
para el resto de intervalos de la partición. En la tercera igualdad se utiliza la hipótesis

v
F 0 (tn ) = f (tn ).
i
e
n
n
En total to U
L(f, P ) ≤ F (b) − F (a) = S(f, P ) ≤ U (f, P ).
de -
Matemáticas Rb
Por tanto, al afinar la partición, se tiene que F (b) − F (a) = a f ya que f ∈ R[a, b].
Una consecuencia evidente de esta regla de Barrow: ya se ha visto R xque si f ∈ R[a, b] y

a < x < b entonces f ∈ R[a, x]. En este último intervalo se tiene a f = F (x) − F (a),
es decir Z x
ra - Fernand
F (x) = F (a) + f.
a
du o S
a
Ejemplo. La función “parte entera”
m
án
2
E(x) = [mayor número entero ≤ x] = máx{k ∈ Z : k ≤ x}
tre
che
1
en [−1, 2] es una función escalonada (y ası́ es R-integrable)
e Ex
z - Departam


 −1 si x ∈ [−1, 0) −1 1 2
0 si x ∈ [0, 1)

−1
E(x) =
d

 1 si x ∈ [1, 2)
2 si x = 2

ad
Rx
Se puede calcular la función F : x ∈ [−1, 2] −→ F (x) = E, que es continua.
d
−1
si
2
La función E no tiene primitiva en [−1, 2] ya que tiene
er
discontinuidad de salto, en cambio sı́ tiene primitiva definida a 1

v
trozos.
i
Rx
e
Si x ∈ [−1, 0) entonces F (x) = −1 E = −x − 1. Si x ∈ [0, 1)

n
−1 1 2
Rx to R0 Rx
entonces F (x) = −1 E = −1 E + 0 E = −1. Si x ∈ [1, 2)
U −1
Rx R1
de Rx -
entonces F (x) = −1 E = −1 E + 1 E = x − 2.
Matemáticas
ra - Fernand
du o S
a
Otra forma de calcular F es escribiendo en cada trozo la primitiva de E y hallando las
m
constantes que vayan apareciendo para que F (−1) = 0 y F sea continua (la última
án
constante C4 se calcula por continuidad):
tre

−x + C1 si x ∈ [−1, 0)
che

 −x − 1 si x ∈ [−1, 0)


C2 si x ∈ [0, 1)
F (x) =
 e Ex = −1 si x ∈ [0, 1)
x + C3 si x ∈ [1, 2)
x − 2 si x ∈ [1, 2]
z - Departam

 
C4 si x = 2

Esta función F es continua, por tanto la función

d
Z x
d
G : x ∈ [−1, 2] −→ G(x) = F
−1
a
es diferenciable. Se puede calcular fácilmente y se obtiene

id
 2
 −x2 /2 − x − 1/2 si x ∈ [−1, 0)
rs
G(x) = −x − 1/2 si x ∈ [0, 1)

e
1
x2 /2 − 2x si x ∈ [1, 2]

iv
e
Es una función que tiene tres trozos, uno parabólico a la
n
−1 1 2
n
to
izquierda que conecta con trozo recto y con otro parabólico a
U −1
la derecha. No sólo es continua; es diferenciable ya que F es
de -
continua. Matemáticas
2
Ejemplo. Se considera la función

(
x si x ∈ [0, 1) 1
f (x) =
a - Fernand
x − 1 si x ∈ [1, 2]
r
para la cual se obtiene
du o S
a 1 2
m
án
2
tre
che
e Ex
(
Z x x2 /2 si x ∈ [0, 1) 1
F (x) = f=
z - Departam
2
0 x /2 − x + 1 si x ∈ [1, 2]
d
1 2
ad
Ejemplo. Para la función

id
2
ers
(
x si x ∈ [0, 1)
v
1 f (x) =
i
2 − x si x ∈ [1, 2]
e
n
to es fácil comprobar que

U
1
de
2
-
Matemáticas
ra - Fernand
du o S
2
a
m x
(
x2 /2 si x ∈ [0, 1)
án
Z
tre
F (x) = f=
1
2x − x2 /2 − 1 si x ∈ [1, 2]
che
0
e Ex
(F es diferenciable a pesar de estar definida mediante dos
z - Departam
1 2
trozos parabólicos)
d
Teorema 3 (Lebesgue). Sea f : [a, b] −→ R una función acotada. Son equivalentes

ad
a) f ∈ R[a, b]
d
b) {x ∈ [a, b] : f no es continua en x} tiene medida de Lebesgue igual a 0

si
El apartado b) tambien se expresa diciendo que “f es continua salvo en los puntos de un

er
conjunto de medida (de Lebesgue) cero” o también que “f es continua casi por doquiera”.
v
Esta expresión casi por doquiera se suele abreviar como c.p.d. También se utilizan las
i
e
n
abreviaturas c.s. (casi siempre), a.e. (almost everywhere), p.p. (presque partout). Ası́ que
n
to
el teorema de Lebesgue se puede enunciar U
de -
f es Riemann-integrable en [a, b] ⇐⇒ f es continua c.p.d. en [a, b]
Matemáticas
No se va a demostrar este teorema, aunque sı́ se va a estudiar qué significa ser un conjunto
de medida de Lebesgue cero. Después se verán algunas consecuencias de este teorema.
Contenido y medida cero (medida de Jordan y de Lebesgue). Si I ⊂ R es un intervalo
de extremos a y b, se define la longitud de I como |I|= b − a. Por ejemplo, los intervalos
Fernand
(3, 7], [3, 7] y (3, 7) tienen longitud 4.
ra -
du o
Se dice que un subconjunto acotado A ⊂ R tiene contenido (o medida de Jordan) cero si
S
para todo ε > 0 existen intervalos I1 , . . . , In tales que A ⊂ I1 ∪ . . . ∪ In y |I1 |+ · · · + |In |≤ ε.
a
Con otras palabras, A puede ser cubierto por una cantidad finita de intervalos cuyas sumas
m
de longitudes es arbitrariamente pequeña.
án
tre
Por ejemplo, un conjunto formado por un sólo punto, A = {5}, tiene contenido cero, ya
che
que {5} ⊂ (5 − ε/2, 5 + ε/2) (como alternativa {5} ⊂ [5, 5] cuya longitud es |[5, 5]|= 0.)
e Ex
El mismo argumento sirve para probar que todo conjunto finito tiene contenido cero. Si
z - Departam
A = {x1 , . . . , xn } se eligen I1 = [x1 − ε/4, x1 + ε/4], I2 = [x2 − ε/8, x1 + ε/8],. . . Ası́ se

tiene A ⊂ I1 ∪ . . . ∪ In y |I1 |+ . . . + |In |= ε/2 + ε/4 + . . . < ε (como alternativa
d
A ⊂ [x1 , x1 ] ∪ . . . ∪ [xn , xn ] cuya suma de longitudes es cero)

d
Hay conjuntos infinitos que tienen contenido cero. Por ejemplo A = {1/n : n ∈ N}
a
tiene contenido cero: todos los elementos de A, salvo una cantidad finita de ellos, están
d
contenidos en el intervalo [0, ε]; el resto, al ser una cantidad finita, tiene contenido cero.
si
Todo conjunto con contenido cero es forzosamente acotado, ya que A ⊂ I1 ∪ . . . ∪ In y

r
esta unión es un conjunto acotado, ya que cada intervalo que interviene es acotado.
ve
La unión finita de conjuntos de contenido cero es un conjunto de contenido cero. Los

i
e
n
subconjuntos de conjuntos de contenido cero son conjuntos de contenido cero.

n
to U
Además, si A tiene contenido cero entonces su adherencia A también tiene contenido
de -
cero. Es fácil probar esto, ya que en la definición de contenido cero se pueden considerar
Matemáticas
ra - Fernand
du o S
a
los intervalos I1 , . . . , In cerrados; si no lo son, se cierran y su longitud no varı́a. Al ser
m
todos cerrados, la unión finita de ellos es cerrado. Por tanto (aplicando la propiedad
án
M ⊂ N ⇒ M ⊂ N)
tre
che
e Ex A ⊂ I1 ∪ . . . ∪ In =⇒ A ⊂ I1 ∪ . . . ∪ In .
z - Departam
Como consecuencia de esto último se obtiene que el conjunto A = Q ∩ [0, 1] no tiene
contenido cero, pues A = [0, 1].
d
Sin embargo, hay conjuntos “grandes” con contenido cero. El siguiente ejemplo muestra
d
un conjunto no numerable, con el mismo cardinal que el de R, cuyo contenido es cero.

a
Ejemplo: el conjunto ternario de Cantor. Se trata de un conjunto acotado no numerable

d
cuyo contenido es cero. Puede verse en http://es.wikipedia.org/wiki/Conjunto˙de˙Cantor

si
más sobre este conjunto.

er
Se comienza con C0 = [0, 1]. El siguiente conjunto es el resultado de quitarle a C0

v
su tercio central abierto, y se obtiene un nuevo conjunto C1 = [0, 1/3] ∪ [2/3, 1]. A
i
e
n
este conjunto se le quita de nuevo el tercio central abierto en cada tramo y se tiene
n
to
C2 = [0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1]. Se continua ası́ para la construcción de
U
C3 , C4 , . . . . Gráficamente (aunque todos están contenidos en el intervalo [0, 1], se dibujan
de -
Matemáticas
ası́ para ver con más claridad qué conjuntos son) los primeros de estos conjuntos son:
0 1
C0
C1
C2
C3
ra - Fernand C4
du o S
..
.
a
Estos conjuntos verifican C0 ⊃ C1 ⊃ C2 ⊃ C3 . . . Se llama conjunto de Cantor a
m
án
∩
tre
C= {Cn : n ≥ 0}.
che
e Ex
Evidentemente C 6= ∅, por ejemplo 0, 1/3, 1 ∈ C. Además, C ⊂ Cn para todo n = 0, 1, . . .

y Cn está formado por una cantidad finita de intervalos cuyas longitudes suman
z - Departam
n
2
d
|Cn |= −→ 0 (n → ∞).
3
d
Como consecuencia C tiene contenido cero. Este conjunto es compacto y no puede contener
a
ningún intervalo.
id
Además, C es no numerable. Para comprobarlo se escriben los elementos del intervalo [0, 1]
s
en base 3. Cada número se escribe como x = 00 a1 a2 a3 . . . donde cada cifra decimal ai es 0,

r
1 o 2.
ve
Es importante entender que esta escritura de números como expresiones decimales puede
i
e
n
no ser única. Por ejemplo, en base 10 se puede considerar 00 1 = 00 099999 . . . En base 3

n
to
un mismo número se puede escribir de varias formas: 00 1 = 00 022222 . . .. Otro ejemplo: el
U
de -
número 2/3 se escribe en base 3 como 00 122222 . . . = 00 2.
Matemáticas
ra - Fernand
du o S
a
• El conjunto C0 es todo el intervalo [0, 1],
m
C0 = {00 a1 a2 a3 . . . : ai = 0, 1, 2 para cada i ≥ 1}
án
tre
che
• El conjunto C1 está formado por los números cuya primera cifra decimal es distinta de 1,
e Ex
C1 = {00 a1 a2 a3 . . . : a1 6= 1}
z - Departam
d
• El conjunto C2 está formado por los números cuya primera y segunda cifra decimal es
distinta de 1,
d
C2 = {00 a1 a2 a3 . . . : a1 6= 1, a2 6= 1}
da
• etcétera
rsi
El conjunto de Cantor C son todos los números del intervalo [0, 1] cuya expresión decimal
e
en base 3 se puede escribir sin que contenga ninguna cifra igual a 1. Por ejemplo, 1/4
v
escrito en base 3 es 00 02020202 . . . y es un elemento de C. También es verdad que 1/3 ∈ C.

i
e
Este número en base 3 se escribe como 00 1 y puede escribirse como 00 022222 . . ., un número
n
n
to
que no contiene ninguna cifra igual a 1. La misma idea para todos los demás números. Por
U
ejemplo, 1/3n ∈ C para todo n, y son números que se pueden escribir en base 3 sin utilizar
de -
Matemáticas
la cifra 1. En cambio, el número (escrito en base 3) x = 00 11 no es un elemento de C.
Este conjunto C tiene el mismo cardinal que [0, 1]. Si se escribe [0, 1] en base 2, cada
número es x = 00 a1 a2 a3 . . . donde cada cifra decimal ai es 0 o 1. La aplicación “cambiar 2
por 1 en cada cifra decimal”
C −→ [0, 1] (en base 2)
ra0
- Fernand
0 202002220 . . . 00 101001110 . . .
du o S
a
es una biyección entre los elementos de C y los elementos de [0, 1] (escritos en base 2).
m
án
Definición. Se dice que A ⊂ R tiene medida (de Lebesgue) cero si para todo ε > 0 existen
tre
intervalos I1 , I2 , . . . tales que A ⊂ I1 ∪ I2 ∪ I3 . . . y |I1 |+|I2 |+|I3 |+ . . . < ε. Se dice que A

che
es un conjunto de medida nula.

e Ex
En la definición ya no se exige que la cantidad de intervalos sea finita (como en la definición

z - Departam
de contenido cero), puede ser hasta numerable. Por tanto, es evidente que si A tiene
contenido cero entonces A tiene medida cero. Sin embargo, el recı́proco no es cierto.
d
Si A es numerable entonces A tiene medida cero. Para probarlo basta escribir A como
d
A = {x1 , x2 , . . .} y entonces
da
h ε εi h ε εi h ε εi
A ⊂ x1 − , x1 + ∪ x2 − , x2 + ∪ x3 − , x3 + ∪ ...
i
4 4 8 8 16 16
s
∞ h
r
[ ε ε i
⊂ xn − n+1 , xn + n+1
e
2 2
v
n=1
i
e
n
ε/2n+1 = ε.
P
donde la suma de longitudes de esos intervalos es
n
to n
de - U
El mismo argumento sirve para probar que la unión numerable de conjuntos de medida cero
es un conjunto de medida cero. Matemáticas
ra - Fernand
du o S
a
Como consecuencia, Q ∩ [0, 1] y N son conjuntos de medida cero, ya que son numerables.
m
El primero de ellos muestra además un ejemplo de conjunto acotado de medida cero que
án
no es de contenido cero.
tre
che
Ejemplo. La funcióne Ex (
0 si x ∈ Q
f : x ∈ [0, 1] −→
z - Departam
1 si x ∈
/Q
no es R-integrable en [0, 1], su conjunto de discontinuidades es [0, 1] que no mide cero. En
d
cambio
1 si x ∈ { 12 , 51 }
(
d
f : x ∈ [0, 1] −→
a
0 resto
d
sı́ es R-integrable en [0, 1].

si
El teorema de Lebesgue tiene varias consecuencias. Ahora es fácil probar algunas

r
proposiciones sobre funciones Riemann integrables.

ve
Corolario. Si f, g ∈ R[a, b] entonces

i
e
n
n
λf + µg, f · g, |f |, f+ , f− , ı́nf(f, g), sup(f, g)
to
de
son funciones Riemann integrables. - U
Matemáticas
La demostración es simple. Por ejemplo, es conocido que si f y g son continuas en un
punto entonces f g también lo es. En otras palabras
{discontinuidades de f g} ⊂ {discontinuidades de f } ∪ {discontinuidades de g}.
Basta entonces aplicar el teorema de Lebesgue.
ra - Fernand
Generalización de la integral. Hasta ahora se ha estudiado la integración (en el sentido
du o
de Riemann) para funciones acotadas definidas en intervalos compactos. Ahora se trata de
S
a
quitar esas restricciones y estudiar el cálculo integral para funciones no acotadas o definidas
m
en conjuntos más generales.
án
tre
Por ejemplo, la función f : x ∈ (0, 1] −→ f (x) = 1/x ∈ R, ¿se

che
puede integrar? Para ello se trata de saber si el área sombreada

e Ex
de la figura, que es una región no acotada, es un área finita. n

Se considera la figura hasta una altura n, es decir, se considera

z - Departam
la función no negativa ı́nf(f, n). Esta función es acotada y 1/x

continua y ası́ ı́nf(f, n) ∈ R[0, 1]. Su integral vale
d d
Z 1 Z 1/n Z 1
1
ı́nf(f, n) = n+ = 1 + log n
a
x 1/n 1
0 0 1/n
sid
Este valor tiende a +∞ por lo que el área de la región sombreada es infinita. Esto quiere
r
decir que f ∈/ R[0, 1].

ve
se dice que f ∈ R[a, b]

Definición. Una función no negativa f : [a, b] −→ R+ (acotada o no)
i
Rb
si ı́nf(f, n) ∈ R[a, b] para todo n ∈ N y la sucesión a ı́nf(f, n) converge. En ese caso
n
se define Z
to b Z U Zb b
de -
f = lı́m ı́nf(f, n) = sup ı́nf(f, n)
a Matemáticas n→∞ a n a

ra - Fernand
du o S
a
(es una sucesión creciente y su lı́mite y su supremo coinciden.)
m
Para una función f : [a, b] −→ R se dice que f ∈ R[a, b] si las funciones no negativas f+ y
án
tre
f− son Riemann integrables en [a, b], y se define
che
e Ex Z b Z b Z b
f = f+ − f−
a a a
z - Departam
√
Ejemplo. La función f : x ∈ (0, 1] −→ f (x) = 1/ x es no
d
negativa. Para cada n ∈ N la función ı́nf(f, n) ∈ R[0, 1] pues
es continua. Se puede calcular su integral,
d
√
1/ x
a
Z 1 Z 1/n2 Z 1
n 1
d
ı́nf(f, n) = √ n +
0 0 1/n2 x
si
1 √ 1 1 2 1
+2− = 2− .
r
= + 2 x 1/n2 =
1/n2 1 n n n n
ve
√
Por tanto la función f (x) = 1/ x verifica f ∈ R[0, 1] y además
i
e
n
n
to Z 1
U
de - f = 2.
0
Matemáticas
Ejemplo. Para la función f (x) = 1/xp se puede comprobar que f ∈ R[0, 1] ⇐⇒ p < 1.
El siguiente paso es poder integrar funciones en intervalos no

acotados. La función f : x ∈ [1, +∞) −→ f (x) = 1/x ∈ R
está definida en un intervalo infinito. Para cada n ∈ N se
considera la función
ra - Fernand 1 1/x
du o S 1
a
fn : x ∈ [1, n] −→ fn (x) =
x
.
1 n
m
que es R-integrable por ser continua. Su integral vale
án
tre
Z n Z n
1
che
fn = = log x]n1 = log n − log 1 = log n −→ + ∞

e Ex
1 1 x n→∞
z - Departam
y por tanto el área (no acotada) sombreada que encierra la función f es infinita. Se tiene
entonces que f ∈ / R[1, +∞).
d
Definición. Se dice que una función no negativa f : [a, +∞) −→ R+ es R-integrable en

d
[a, +∞) si para todo n ∈ N (con n R> a) la función fn : x ∈ [a, n] −→ fn (x) = f (x) es
a
n
R-integrable en [a, n] y la sucesión a fn converge. En este caso se define
d
Z +∞ Z n Z n
i
f = lı́m fn = sup fn
s
n→∞ n
r
a a a
e
(es una sucesión creciente y su lı́mite y su supremo coinciden.)

v
Para una función f : [a, +∞) −→ R se dice que f ∈ R[a, +∞) si las funciones no negativas
i
e
n
f+ y f− son Riemann integrables en [a, +∞), y se define

to
de Z +∞ Z +∞
- U Z +∞
f = f+ − f− .
Matemáticas
a a a

ra - Fernand
du o S
a
Ejemplo: la función f (x) = 1/x2 es R-integrable en [1, +∞), y su integral vale
Z +∞
m Z n
1
n
1

án
2 2
1/x = lı́m 1/x = lı́m − = lı́m − + 1 = 1.
tre
1 n→∞ 1 n→∞ x 1 n→∞ n
che
√
e Ex
En cambio, g(x) = 1/ x no es R-integrable en [1, +∞), ya que
z - Departam
Z n
√ √ n √
1/ x = 2 x 1 = 2 n − 2 −→ + ∞.
n→∞
d
1
ad
Definición. Sea A ⊂ R un conjunto acotado, es decir, A está contenido en intervalo [a, b].
d
Se dice que A es medible en el sentido de Jordan, o J-medible, si la función caracterı́stica

rsi
( 1
1 si x ∈ A
e
χA
χA : x ∈ [a, b] −→
v
0 si x ∈
/A a b
i
e
n
n
to U
es R-integrable en [a, b]. En ese caso, se define la medida de A como
de -
Matemáticas µ(A) =
Z b
χA .
a
Para un conjunto A ⊂ R no acotado, se dice que A es J-medible si A ∩ [−n, n] es J-medible

para todo n ∈ N y la sucesión (µ(A ∩ [−n, n])) converge. En ese caso se define la medida
de A como
ra - F

ernand
µ(A) = lı́m µ A ∩ [−n, n] = sup µ A ∩ [−n, n]

du n→∞
o S
n
a
Evidentemente, el conjunto de discontinuidades de χA es la frontera ∂A de A. Ası́, si A es
m
án
acotado, A es J-medible si y sólo si ∂A mide cero.

tre
La frontera de A siempre es cerrada: ∂A = A ∩ Ac . Si además A es acotado, entonces ∂A

che
es acotado y cerrado, por lo que es compacto. Por tanto ∂A mide cero si y sólo si tiene
e Ex
contenido cero.
z - Departam
Definición. Se dice f : A −→ R es R-integrable en A,

y se escribe f ∈ R(A), si para algún intervalo [a, b] que f · χA
d
contenga a A (equivalentemente, para cualquier intervalo

que contenga a A) la función f · χA es R-integrable en [a, b].
ad
En ese caso se define

d
Z Z b a b
i
f = f · χA .
s
A
A a
ver
i
e
n
to U
de -
Matemáticas

Funciones Riemann Integrables PDF

Cargado por

Copyright:

Formatos disponibles

Funciones Riemann Integrables PDF

Cargado por

Información del documento

Descripción original:

Título original

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

Funciones Riemann Integrables PDF

Cargado por

Copyright:

Formatos disponibles

ra - Fe rnand

El cálculo de áreas de conjuntos puede hacerse sabiendo

calcular áreas de conjuntos que tienen rectos todos sus lados

salvo uno. La figura de al lado muestra cómo se puede dividir

en trozos: uno de ellos, que se ha designado como F , tiene

lados rectos salvo el de arriba. Ese lado que no es recto

estará definido de alguna forma, por ejemplo la gráfica de una

integrar es calcular el área subyacente a la gráfica Z b

cuántaR área hay por debajo. En la figura de la izquierda la integral

Hay funciones no nulas cuya integral es negativa o cero. Por

P = {a = x0 < x1 < x2 < . . . < xn = b}. Una función escalo- c3

nada (asociada a esa partición) es una función que es constante c1

en cada intervalo (xk−1 , xk ) de la partición, es decir, una fun-

ción f : x ∈ [a, b] −→ f (x) = ck si x ∈ (xk−1 , xk ) (el valor en

los extremos puede ser f (xk ) = ck o bien f (xk ) = ck+1 ). Por a x1 x2 b

Además es un funcional monótono:

donde f ≤ g significa que f (x) ≤ g(x) para todo x ∈ [a, b].

(f está encajada entre funciones escalonadas cuya diferencia

Ejemplos. Cualquier función escalonada en es Riemann integrable: si f es escalonada se

eligen h = k = f que verifican los apartados a) y b) anteriores.

La función f que vale cero en todos los puntos de [0, 1] salvo

Ejemplo. La función de Dirichlet

no es R-integrable en [0, 1]. Para comprobarlo basta observar

que si h y k son funciones escalonadas en [0, 1] y verifican 0 1

h ≤ f ≤ k entonces deben cumplir h ≤ 0 y 1 ≤ k.

Por tanto cumplen

integrable en un sentido más amplio (la integral de Lebesgue) y su integral de Lebesgue

Es evidente que h ≤ f ≤ k, ya que f es creciente.

y por tanto f es R-integrable.

Proposición. Si f : [a, b] −→ R es continua, entonces es R-integrable en [a, b].

Se consideran las funciones escalonadas

Estas funciones cumplen h ≤ f ≤ k (es evidente, ya que en cada intervalo [xk−1 , xk ] la

aplicando la continuidad uniforme de f .

en el ejemplo anterior. La integral de Lebesgue, que no se va a estudiar en este curso,

Funciones Riemann integrables – 4

En este caso, al número real que aparece en el apartado b) se le llama integral de f en

0 = x0 < < < ... < <π

puntos cada vez se van obteniendo más cifras decimales exactas,

En la regla de Simpson, en cada dos intervalos consecutivos

[xk−1 , xk ] y [xk , xk+1 ] se considera el polinomio P de grado

xk−1 xk xk+1 f (xk−1 ) + 4f + f (xk+1 )

f ' · f (x0 ) + 4f (x1 ) + 2f (x2 ) + 4f (x3 ) + 2f (x4 ) + . . . + 4f (xn−1 ) + f (xn )

donde ∆k = xk − xk−1 y tk es un punto del intervalo [xk−1 , xk ].

Si tk se elige como el valor en el que f alcanza el mı́nimo en el intervalo [xk−1 , xk ], es decir,

nombre especial, suma inferior, y su valor es

xk−1 xk xk+1 xk−1 xk xk+1 xk−1 xk xk+1

encerrada la mayor función escalonada h que está por debajo de f , es decir, h ≤ f . La

suma superior U (f, P ) es el área de la menor función escalonada k que verifica f ≤ k.

Proposición. Sea f : [a, b] −→ R acotada. Son equivalentes

Funciones Riemann integrables – 7

lineal sobre él)

αS(f, P ) + βS(g, P ). Como f, g ∈ R[a, b] entonces dado ε > 0 se tiene

que termina la demostración.

(la integral es un funcional monótono.)

Demostración. Como f ≤ g entonces L(f, P ) ≤ L(g, P ) para cualquier partición

Corolario. Si f ∈ R[a, b] y P, P 0 ∈ P[a, b] entonces

M (f ) son los valores mı́nimo y máximo de f en [a, b]

b) L(f, P ) ≤ L(f, P ∪ P 0 ) ≤ U (f, P ∪ P 0 ) ≤ U (f, P 0 ) (cualquier suma inferior es