Tarea 3 Universidad de Costa Rica

MA0350 Cálculo en una variable II Escuela de Matemática

II ciclo 2023

1. Sea f acotada en [a, b] . Demuestre que son equivalentes:

Rb
(a) f es integrable en [a, b] , con a f = β
(b) Para todo ε > 0 existe una partición Q tal que
Q ⊆ P ⇒ |U (f , P ) − β| < ε ∧ |L (f , P ) − β| < ε

(c) Para todo ε > 0 existe una partición Q tal que

|U (f , Q) − β| < ε ∧ |L (f , Q) − β| < ε.

2. Demuestre que si f es monótona en [a, b] entonces es integrable en ese intervalo.

3. Suponga que f es continua en [a, b] y f (x) ≥ 0. Si [α, β] ⊆ [a, b] , demuestre que
Z β Z b
f≤ f.
α a
Rb
Concluya que si a f = 0, entonces f es idénticamente nula en [a, b] .
4. Sea M = sup{f (x) : x ∈ [a, b]}, m = inf{f (x) : x ∈ [a, b]}, donde f es acotada en [a, b].
Demuestre que
sup{|f (x) − f (y)| : x, y ∈ [a, b]} = sup{f (x) − f (y) : x, y ∈ [a, b]} = M − m.
Concluya (sin usar el teorema 16) que si f es integrable en [a, b], entonces f 2 también lo
es.
5. Demuestre que si f y g son integrables en [a, b], entonces f g también es integrable en
ese intervalo. Si además f se mantiene lejos del origen (existe η > 0 tal que f (x) ≥ η),
demuestre (sin usar el teorema 16) que f1 también es integrable en ese intervalo.
6. Considere la función de Thomae f : [0, 1] → R definida por f (0) = 1; f (x) = 0 para x
irracional; f (x) = 1q para x = pq ∈ Q en forma canónica (p y q son primos relativos y
q > 0). En el curso anterior se demostró que f es continua en cada R 1 irracional, discontinua
en cada racional. Demuestre que f es integrable en [0, 1] y que 0 f = 0. Sug. Para cada
N , el conjunto x ∈ [0, 1] : f (x) > N1 es finito.


7. Si f es continua en [a, b], demuestre que para cualquier partición P = {x0 , . . . , xn } se

pueden escoger los cj ∈ [xj−1 , xj ] de manera que R (f , P ) = U (f , P ) , o alternativamente
de manera que R (f , P ) = L (f , P ) .