Teoremas y definiciones de Cálculo Diferencial e

Integral en una variable

Transcrito por Carlos David Jiménez Flores, estudiante de Matemáticas en la Facultad de
Ciencias de la Universidad Nacional Autónoma de México, UNAM. 2016
Índice
1. Cálculo Diferencial e Integral I 1
1.1. Lı́mite de sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Lı́mite de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5. Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2. Cálculo Diferencial e Integral II 12

2.1. Integral definida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2. Propiedades de la integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3. Integrabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4. Teorema fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.4.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.4.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.5. Integral impropia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.5.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.5.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.6. Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.6.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.6.2. Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1. Cálculo Diferencial e Integral I
1.1. Lı́mite de sucesiones
1.1.1. Definiciones
Definición: Sea f : N −→ R una función. Denotamos f (n) = Xn y decimos que f es una sucesión
de números reales y la denotamos con {Xn }

Definición: Sea {Xn } una sucesión y L ∈ R. Decimos que la sucesión converge a L si y sólo si
para toda ε > 0 existe una N ∈ N tal que para toda n ≥ N , se cumple que |Xn − L| < ε. En tal
caso, decimos que L es el lı́mite de la sucesión y lo denotamos como lı́m Xn = L
n→∞

Definición: La vecindad de radio ε con centro en x0 es Vε (x0 ) = {x ∈ R : |x − x0 | < ε}

Definición: Decimos que una sucesión {Xn } converge si existe L ∈ R tal que n→∞
lı́m Xn = L

Definición: {Xn } es acotada inferiormente si y sólo si existe M ∈ R tal que −M < Xn para toda
n∈N

Definición: {Xn } es acotada superiormente si y sólo si existe M ∈ R tal que M > Xn para toda
n∈N

Definición: {Xn } es acotada si y sólo si existe M ∈ R tal que −M < Xn < M para toda n ∈ N

Definición: Sea {Xn } ⊆ R sucesión. {Xnk } es una subsucesión de {Xn } si Xnk ∈ {Xn } y nk−1 < nk

Definición: Sea {Xn } sucesión. X0 es punto lı́mite de {Xn } si existe {Xnk } ⊆ {Xn } subsucesión
tal que n→∞
lı́m Xnk = X0

Definición: Sea {Xn } sucesión. Sea n0 ∈ N. Xn0 es punto cumbre de {Xn } si Xn0 > {Xn } para
toda n > n0

Definición: Decimos que {Xn } es una sucesión de Cauchy si para toda ε > 0 existe una N ∈ N
tal que para toda n, m ≥ N , |Xn − Xm | < ε

Definición: Sea {Xn } una sucesión. p es punto de acumulación de {Xn } si existe {Xnk } tal que
lı́m Xnk = p y Xnk 6= p para toda k ∈ N
n→∞

lı́m an = ∞ si y sólo si para toda M ∈ R existe una N ∈ N tal que para toda n ≥ N ,
Definición: n→∞
an > M

1
1.1.2. Teoremas
Teorema: Sea {Xn } sucesión convergente. Entonces, {Xn } es acotada.

Teorema: Sea {Xn } sucesión monótona y acotada. Entonces {Xn } es convergente.

Teorema: {Xn } no converge a L ∈ R si y sólo si existe ε > 0 tal que para toda n ∈ N existe una
k ∈ N, k > n tal que |Xk − L| ≥ ε

Teorema: Sea {Xn } sucesión. {Xn } es convergente a L si y sólo si para toda {Xnk } ⊆ {Xn }
subsucesión, n→∞
lı́m Xnk = L

Teorema de Bolzano-Weierstrass: Sea {Xn } ⊆ [a, b] sucesión. Entonces {Xn } tiene al menos
un punto lı́mite en [a, b]

Teorema: {Xn } es acotada y con sólo un punto lı́mite si y sólo si es convergente.

Teorema: Sea {Xn } ⊆ R. {Xn } es convergente si y sólo si {Xn } es de Cauchy.

Teorema: Sean {an }, {bn } ⊆ R sucesiones. Supongamos que lı́m an = a y lı́m bn = b. Entonces:
n→∞ n→∞

a) lı́m an + bn = a + b
n→∞

lı́m an − bn = a − b
b) n→∞

c) n→∞
lı́m (an )(bn ) = (a)(b)

lı́m b1n = 1b , b 6= 0
d) n→∞

lı́m abnn = ab , b 6= 0
e) n→∞

Teorema: Sean {an }, {bn }, {cn } ⊆ R sucesiones.

a) Si an < bn para toda n ∈ N, entonces lı́m an ≤ lı́m bn

n→∞ n→∞

b) Si an < bn < cn para toda n ∈ N y además n→∞

lı́m an = n→∞
lı́m cn = a entonces n→∞
lı́m bn = a

Teorema: Si n→∞ lı́m |an | = |a|

lı́m an = L, entonces n→∞

Teorema: Sea {an } sucesión. Entonces lı́m |an | = 0, si y sólo si lı́m an = 0

n→∞ n→∞

Teorema: Sea {an } ⊂ R tal que lı́m a2n = lı́m a2n+1 = L, entonces existe lı́m an y además,
n→∞ n→∞ n→∞
lı́m
n→∞
a n = L

2
1.2. Funciones
1.2.1. Definiciones
Definición: Sea f : D ⊆ R → R. f es creciente si para todo x1 , x1 ∈ D, tal que x1 < x2 , entonces
f (x1 ) ≤ f (x2 )

Definición: Sea f : R → R. f es par si para todo x ∈ R, f (x) = f (−x)

Definición: Sea f : R → R. f es impar si para todo x ∈ R, f (−x) = −f (x)

Definición: Sea f : D ⊆ R → R

i f es acotada inferiormente si y sólo si existe M ∈ R tal que M < f (x) para toda x ∈ D

ii f es acotada superiormente si y sólo si existe M ∈ R tal que M > f (x) para toda x ∈ D

iii f es acotada si y sólo si existe M ∈ R+ tal que −M < f (x) < M para toda x ∈ D

Definición: Sea f : D ⊆ R → R. La función inversa de f la denotamos f −1 y cumple que

f −1 (f (x)) = x

Definición: Una función f es periódica si y sólo si existe c ∈ R tal que para todo x ∈ R, se cumple
que f (x) = f (x + c). En tal caso, al número c se le llama el periodo de f .

3
1.3. Lı́mite de funciones
1.3.1. Definiciones
Definición: Sea A ⊆ R. x0 es punto de acumulación de A si para toda ε > 0 existe x ∈ A tal que
x ∈ Vε (x0 ) \ {x0 } = Vε◦ (x0 )

Definición: Vε◦ (x0 ) = {x ∈ R : 0 < |x − x0 | < ε} es la vecindad perforada de radio ε con centro
en x0

Definición: Sean f : D ⊆ R → R y x ∈ D. x0 ∈ R es punto de acumulación de D. L es el lı́mite

de f en x0 si y sólo si para toda ε > 0 existe una δ > 0 tal que si 0 < |x − x0 | < δ entonces
|f (x) − L| < ε. En tal caso, x→x
lı́m f (x) = L
0

Definición: f tiene lı́mite en x0 si existe L ∈ R tal que lı́m f (x) = L. En tal caso, f es convergente
x→x0
en x0 .

Definición: f no tiene lı́mite en x0 si y sólo si para toda L ∈ R existe ε > 0 tal que para toda
δ > 0 existe x ∈ Df tal que 0 < |x − x0 | < δ se cumple que |f (x) − L| ≥ ε. En tal caso, f es
divergente en x0 .

Definición: lı́m+ f (x) = L si y sólo si para toda ε > 0 existe una δ > 0 tal que si 0 < x − x0 < δ
x→x0
entonces |f (x) − L| < ε. En tal caso decimos que f tiene lı́mite por la derecha en x0 y es L.

Definición: lı́m− f (x) = L si y sólo si para toda ε > 0 existe una δ > 0 tal que si 0 < x0 − x < δ
x→x0
entonces |f (x) − L| < ε. En tal caso L es el lı́mite por la izquierda de f .

lı́m f (x) = ∞ si y sólo si para toda M ∈ R existe una δ > 0 tal que si 0 < |x−x0 | < δ,
Definición: x→x
0
entonces f (x) > M .

lı́m f (x) = −∞ si y sólo si para toda M ∈ R existe una δ > 0 tal que si
Definición: x→x
0
0 < |x − x0 | < δ, entonces f (x) < M

Definición: Sea f : D ⊆ R → R. D no acotado superiormente.

lı́m f (x) = L si y sólo si para toda ε > 0 existe una M ∈ R tal que si x ∈ D y x > M
x→∞
entonces |f (x) − L| < ε

lı́m f (x) = ∞ si y sólo si para toda M1 ∈ R existe M2 ∈ R tal que si x ∈ D y x > M2

x→∞
entonces f (x) > M1

lı́m f (x) = −∞ si y sólo si para toda M1 ∈ R existe M2 ∈ R tal que si x ∈ D y x > M2

x→∞
entonces f (x) < M1

4
 lı́m f (x) = L si y sólo si para toda ε > 0 existe una M ∈ R tal que si x ∈ D y x < M
x→−∞
entonces |f (x) − L| < ε

lı́m f (x) = ∞ si y sólo si para toda M1 ∈ R existe M2 ∈ R tal que si x ∈ D y x < M2

x→−∞
entonces f (x) > M1

lı́m f (x) = −∞ si y sólo si para toda M1 ∈ R existe M2 ∈ R tal que si x ∈ D y x < M2

x→−∞
entonces f (x) < M1

5
1.3.2. Teoremas
Teorema: lı́m f (x) = L si y sólo si lı́m− f (x) = lı́m+ f (x) = L
x→x0 x→x0 x→x0

Teorema: Sea f : D ⊆ R → R. Entonces x→x

lı́m f (x) = L si y sólo si para toda {Xn } ⊆ D sucesión
0
tal que lı́m Xn = x0 y Xn 6= x0 para toda n ∈ N se cumple que {f (Xn )} es convergente y
n→∞
lı́m
n→∞
f (X n) = L

Teorema: Sean f, g : D ⊆ R → R. x0 punto de acumulación de D tales que lı́m f (x) = L1 y

x→x0
lı́m g(x) = L2 . Entonces:
x→x0

lı́m f (x) + g(x) = L1 + L2

x→x0

lı́m f (x) − g(x) = L1 − L2

x→x0

lı́m f (x) · g(x) = L1 · L2

x→x0

f (x) L1
Si además L2 6= 0, lı́m =
x→x0 g(x) L2

Teorema: Sean f, g, h : D ⊆ R → R tales que lı́m f (x) = lı́m h(x) = L y f (x) ≤ g(x) ≤ h(x)
x→x0 x→x0
para toda x ∈ D, entonces x→x
lı́m g(x) = L
0

Teorema: Sea f : D ⊆ R → R. x0 punto de acumulación de D tal que lı́m f (x) = 0. Entonces:

x→x0

Si existe ε > 0 tal que para toda x ∈ Vε◦ (x0 )∩D se tiene que f (x) > 0 entonces lı́m 1
=∞
x→x0 f (x)

Si existe ε > 0 tal que para toda x ∈ Vε◦ (x0 ) ∩ D pasa que f (x) < 0 entonces x→x
lı́m 1
f (x)
= −∞
0

1
Si existe ε > 0 tal que para toda x ∈ (x0 , x0 +ε) se tiene que f (x) > 0 entonces lı́m+ f (x)
=∞
x→x0

Teorema: Sean f, g : D ⊆ R → R. D no acotado superiormente.

Si lı́m f (x) = ∞ y g acotada inferiormente, entonces lı́m f (x) + g(x) = ∞

x→∞ x→∞

Si lı́m f (x) = ∞ y existe M ∈ R tal que para toda x > M y x ∈ D, g(x) > ε > 0 para
x→∞
alguna ε > 0 entonces lı́m f (x) · g(x) = ∞
x→∞

Si lı́m f (x) = L1 y lı́m g(x) = L2 entonces lı́m f (x) + g(x) = L1 + L2

x→∞ x→∞ x→∞

lı́m f (x) = L1 y lı́m g(x) = L2 entonces lı́m f (x) · g(x) = L1 · L2

x→∞ x→∞ x→∞

Teorema: Sea f : D ⊆ R → R creciente y acotada. Entonces existe x→∞

lı́m f (x)

6
1.4. Continuidad
1.4.1. Definiciones
Definición: Sea f : D ⊆ R → R, x0 ∈ D. f es continua en x0 si y sólo si para toda ε > 0 existe
una δ > 0 tal que si |x − x0 | < δ entonces |f (x) − f (x0 )| < ε

Definición: Sea f : D ⊆ R → R. f es continua en D si para todo x ∈ D, f es continua en x.

Definición: Un punto x0 en el dominio de una función f se llama punto fijo si f (x0 ) = x0

Definición: Sea f : D ⊆ R → R. f es uniformemente continua en D si y sólo si para toda ε > 0

existe δ > 0 tal que si |x − y| < δ, con x, y ∈ D, entonces |f (x) − f (y)| < ε. (δ sólo depende de ε)

7
1.4.2. Teoremas
Teorema: Sea f : D ⊆ R → R, x0 ∈ D y x0 punto de acumulación de D. f es continua en x0 si y
sólo si lı́m f (x) = f (x0 )
x→x0

Teorema: Sean f, g : D ⊆ R → R. f y g continuas en x0 , entonces:

i) f + g es continua en x0

ii) f − g es continua en x0

iii) f · g es continua en x0
f
iv) Si además g(x0 ) 6= 0 entonces g
es continua en x0

v) f ◦ g es continua en x0

Teorema: Sean f, g : D ⊆ R → R. f es continua en x0 si y sólo si para toda {Xn } ⊂ D sucesión

tal que lı́m Xn = x0 entonces lı́m f (Xn ) = f (x0 )
x→∞ x→∞

Teorema: Sea f : [a, b] → R continua. f (a)·f (b) < 0. Entonces existe x0 ∈ (a, b) tal que f (x0 ) = 0

Teorema del valor intermedio para funciones continuas:

Sea f : [a, b] → R continua tal que f (a) 6= f (b). Entonces, para toda k entre f (a) y f (b), con
k 6= f (a) 6= f (b) existe x0 ∈ (a, b) tal que f (x0 ) = k

Teorema: Si f : [a, b] → R es continua, entonces f es acotada.

Teorema: Si f : [a, b] → R es continua, entonces f tiene máximo y mı́nimo.

Teorema: Si f : [a, b] → R es continua, entonces f ([a, b]) = {f (x) : x ∈ [a, b]} es un intervalo
cerrado.

Teorema: Sea f : [a, b] → R continua. Entonces f es uniformemente continua en [a, b]

8
1.5. Derivada
1.5.1. Definiciones
Definición: Sea f : D ⊆ R → R y sea x0 ∈ D con x0 punto de acumulación de D.

f (x) − f (x0 )
f 0 (x0 ) = lı́m
x→x0 x − x0
es la derivada de f en x0 y en caso de que tal lı́mite exista, decimos que f es derivable en x0

Definición: Sea f : D ⊆ R → R y sea x0 ∈ D con x0 punto de acumulación de D

Dado x ∈ D, x 6= x0 , la recta que pasa por (x0 , f (x0 )) y (x, f (x)) se llama la recta secante
correspondiente a x y x0 .

Si f es derivable en x0 , la recta tangente en x0 es la recta que tiene pendiente f 0 (x0 ) y pasa

por (x0 , f (x0 )). En tal caso, f 0 (x0 ) es la pendiente de la recta tangente de f en x0 .

Definición: Sea D ⊆ R, f : D → R, entonces:

CD = {f : D → R | f es continua en x}
(n)
CD = {f : D → R | f es n veces derivable en x, para todo x ∈ D}

CDn = {f : D → R | f es n veces derivable en x, para todo x ∈ D y f n es continua en D}

Definición: Si f es derivable en x0 y f 0 (x0 ) = 0, decimos que f tiene un punto crı́tico en x0 . En

tal caso, f (x0 ) se llama valor crı́tico.

9
1.5.2. Teoremas
Teorema: Sea f : D ⊆ R → R derivable en x0 , entonces f es continua en x0

Teorema: Sea f : D ⊆ R → R
f (x0 +h)−f (x0 )
f 0 (x0 ) = lı́m h
h→0

f (x0 +h)−f (x0 )

Si existe lı́m h
, entonces f es derivable en x0 .
h→0

Teorema: Sean f, g : [a, b] → R derivables en [a, b]. Sea x0 ∈ [a, b], entonces:

i) (f + g)0 (x0 ) = f 0 (x0 ) + g 0 (x0 )

ii) (f · g)0 (x0 ) = f (x0 ) · g 0 (x0 ) + g(x0 ) · f 0 (x0 )

 0
f g(x0 )·f 0 (x0 )−f (x0 )·g 0 (x0 )
iii) g
(x0 ) = g 2 (x0 )

Teorema: Sea f : Df ⊆ R → R y g : Dg ⊆ R → R, g derivable en x0 y f derivable en g(x0 ).

Entonces (f ◦ g)0 (x0 ) = f 0 (g(x0 )) · g 0 (x0 )

Teorema: Sea f : D ⊆ R → R invertible en D. f −1 derivable en x ∈ Im(f ) y f derivable en

f −1 (x) y f 0 (f −1 (x)) 6= 0 entonces
1
(f −1 )0 (x) =
f 0 (f −1 (x))

Teorema del valor medio: Sea f : [a, b] → R. Supongamos que existe c ∈ R tal que f (x) = c
para todo x ∈ [a, b]. Si f es derivable en [a, b] entonces f 0 (x) = 0 para todo x ∈ [a, b]

Teorema del valor medio: Sea f : [a, b] → R. Supongamos que existe x0 ∈ (a, b) donde f alcanza
un máximo (mı́nimo). Si f 0 (x0 ) existe, entonces f 0 (x0 ) = 0

Teorema de Rolle: Sea f : [a, b] → R, f continua en [a, b] y derivable en (a, b), supongamos que
f (a) = f (b), entonces existe c ∈ (a, b) tal que f 0 (c) = 0

Teorema del valor medio: Sea f : [a, b] → R, f continua en [a, b], f derivable en (a, b), entonces
existe c ∈ (a, b) tal que f 0 (c) = f (b)−f
b−a
(a)

Teorema: Sea f : [a, b] → R tal que f 0 (x) = 0 para todo x ∈ [a, b], entonces existe un c ∈ R tal
que f (x) = c

Teorema: Sea f : [a, b] → R y g : [a, b] → R. Supongamos que f 0 (x) = g 0 (x) para todo x ∈ [a, b],
entonces existe c ∈ R tal que f (x) = g(x) + c

10
Teorema: Sea f : [a, b] → R. Supongamos que f 0 (x) > 0 para todo x ∈ [a, b], entonces f es
estrictamente creciente en [a, b]

Teorema: Si f es continua y uno a uno en un intervalo y f 0 (f −1 (a)) = 0, entonces f −1 no es

derivable en a.

Teorema: Si f es continua y uno a uno en in intervalo y suponemos que f es derivable en f −1 (b)

y que f 0 (f −1 (b)) 6= 0, entonces f −1 es derivable en b y (f −1 )0 (b) = f 0 (f −1
1
(b))

Teorema del valor medio de Cauchy: Sea f : [a, b] → R continua en [a, b], derivable en
(a, b) y g : [a, b] → R continua en [a, b] y derivable en (a, b). Entonces existe γ ∈ (a, b) tal que
[f (b) − f (a)]g 0 (γ) = [g(b) − g(a)]f 0 (γ)
f 0 (x)
Teorema (Regla de L’Hôpital): Si lı́m f (x) = 0 y lı́m g(x) = 0 y existe lı́m 0 entonces existe
x→a x→a x→a g (x)
f 0 (x)
lı́m f (x) y además, lı́mf (x)
= lı́m 0
x→a g(x) x→a g(x) x→a g (x)

Teorema: Sea f : (a, b) → R derivable en x0 ∈ (a, b) y f alcanza el máximo (mı́nimo) en x0 .

Entonces f 0 (x0 ) = 0

11
2. Cálculo Diferencial e Integral II
2.1. Integral definida
2.1.1. Definiciones
Definición: Sean [a, b] ⊆ R y P = {x0 , x1 , ..., xn } ⊂ [a, b] tal que
a = x0 < x1 <, ..., < xn−1 < xn = b. En tal caso P es una partición del intervalo [a, b]

Definición: Sea f : [a, b] → R y P = {x0 , x1 , ....., xn } una partición del intervalo [a, b].
n
∗
f (xk−1 )(xk − xk−1 ) es la suma izquierda de f con la partición P .
P
S(f, P ) =
k=1

Definición: Sea f : [a, b] → R y P = {x0 , x1 , ....., xn } una partición del intervalo [a, b].
n
S ∗ (f, P ) = f (xk )(xk − xk−1 ) es la suma derecha de f con la partición P .
P
k=1

Definición: Sea f : [a, b] → R acotada inferiormente y P = {x0 , x1 , ....., xn } una partición del
intervalo [a, b]. Sea mk := ı́nf{f (x) : x ∈ [xk−1 , xk ]}. La suma inferior de f con la partición P es
n
mk (xk − xk−1 )
P
S(f, P ) =
k=1

Definición: Sea f : [a, b] → R acotada inferiormente y P = {x0 , x1 , ....., xn } una partición del
intervalo [a, b]. Sea Mk := sup{f (x) : x ∈ [xk−1 , xk+ ]}. La suma superior de f con la partición P
n
Mk (xk − xk−1 )
P
es S̄(f, P ) =
k=1

Definición: Sean f : [a, b] → R y P = {x0 , x1 , ....., xn }. Sea ξk ∈ [xk−1 , xk ]. La suma de Riemann

n
de f con la partición P y los puntos (ξ1 , ξ2 , ..., ξk , ...ξn ) = ξ¯ es S(f, p, ξ)
¯ = P f (ξk )(xk − xk−1 )
k=1

Definición: Sea P una partición del intervalo [a, b].

Entonces P[a,b] := {P : P es una partición del intervalo [a, b]}

Definición: Sea P ∈ P[a,b] . La norma de P , denotada kP k := máx{xk − xk−1 }nk=1 donde

P = {Xk }nx=0

¯ suma de Riemann. Entonces la integral definida de f

Definición: Sean f : [a, b] → R y S(f, p, ξ)
en [a, b] es
Z b
¯
f (x) dx = lı́m S(f, p, ξ)
a kP k→0

b−a
Definición: Sea [a, b] ⊆ R y n ∈ N. Si Pn = {x0 , ..., xn } , con Pn ∈ P[a,b] y xk − xk−1 = n
para
todo k ∈ {1, 2, ..., n} decimos que Pn es una partición uniforme de [a, b]

Definición: Sea P ∈ P[a,b] . Decimos que Q es un refinamiento de P si para todo xk ∈ P , entonces

xk ∈ Q, es decir, P ⊆ Q

Definición: L := {S(f, P ) : P ∈ P[a,b] } y U := {S̄(f, P ) : P ∈ P[a,b] }

12
Definición: Decimos que una función f : [a, b] → R es integrable si y sólo si sup(L) = ı́nf(U ) y la
integral Z b
f (x) dx = sup(L) = ı́nf(U )
a

Definición: Sea f : [a, b] → R acotada. Decimos que f es integrable si y sólo si sup(L) = ı́nf(U )

Definición: Sea f : [a, b] → R acotada. Entonces:

Z
f = sup{S(f, P ) : P ∈ P[a,b] } es la integral inferior de f en [a, b]

¯
Z
f = ı́nf{S̄(f, P ) : P ∈ P[a,b] } es la integral superior de f en [a, b]

Definición de Darboux: Sea f : [a, b] → R acotada.

Z Z
¯ Z b Z
¯
Z
Si f = f entonces f (x) dx = f = f
a

2.1.2. Teoremas
Teorema: Sea f : [a, b] → R y P una partición de [a, b] y Q un refinamiento de P . Entonces
S(f, P ) ≤ S(f, Q) y S̄(f, P ) ≥ S̄(f, Q)

Teorema: Para toda P, Q ∈ P[a,b] se cumple que S(f, P ) ≤ S̄(f, P )

Teorema: Sea f : [a, b] → R acotada. f es integrable si y sólo si para toda ε > 0 existe Pε tal que
S̄(f, Pε ) − S(f, Pε ) < ε

Teorema: Sea f : [a, b] → R continua. Entonces f es integrable.

Teorema: Sea f : [a, b] → R monótona y acotada en [a, b]. Entonces f es integrable.

¯ si y sólo si
Z
¯
Z
Teorema: Sea f : [a, b] → R acotada. Existe lı́m S(f, P, ξ) f = f . En tal caso,
kP k→0
los tres valores son iguales.

13
2.2. Propiedades de la integral
2.2.1. Definiciones
Definición: Sea f : D ⊆ R → R, entonces:

f (x), si f (x) ≥ 0
f + (x) =
0, si f (x) < 0


f (x), si f (x) ≤ 0
f − (x) = 
0, si f (x) > 0
Observación: f (x) = f + (x) + f − (x) y además, |f (x)| = f + (x) − f − (x)

2.2.2. Teoremas
Z b Z c Z b
Teorema: Sea f : [a, b] → R integrable. Entonces ∀ c ∈ [a, b], f (x) dx = f (x) dx+ f (x) dx
a a c

Teorema: Sea f : [a, b] → R integrable. Sea [c, d] ⊆ [a, b]. Entonces f es integrable en [c, d]

Teorema: Sea f : [a, b] → R acotada.

f es integrable en [a, b] si y sólo si f es integrable en [a, c] y en [c, b] con c ∈ [a, b]
Z b Z c Z b
Además, f (x) dx = f (x) dx + f (x) dx
a a c

Teorema: Sean f, g : [a, b] → R acotadas e integrables, entonces:

Z b Z b Z b
f + g es integrable y (f + g)(x) dx = f (x) dx + g(x) dx
a a a
Z b Z b
Si λ ∈ R entonces λf es integrable y λf (x) dx = λ f (x) dx
a a
Z b Z b Z b
f − g es integrable y (f − g)(x) dx = f (x) dx − g(x) dx
a a a

Teorema: f : [a, b] → R es integrable si y sólo si f + y f − lo son. Además:

Z b Z b Z b
f (x) dx = +
f (x) dx + f − (x) dx
a a a

Teorema: Sea f : [a, b] → R integrable y acotada. Sean m = ı́nf{f (x) : x ∈ [a, b]} y
M = sup{f (x) : x ∈ [a, b]}. Entonces
Z b
m(b − a) ≤ f (x) dx ≤ M (b − a)
a

14
Teorema: Sean f, g : [a, b] → R integrables y acotadas. Si g(x) ≤ f (x) para todo x ∈ [a, b],
Z b Z b
entonces g(x) dx ≤ f (x) dx
a a
Z 
 b  Z b
Teorema: Sea f : [a, b] → R integrable y acotada. Entonces f (x) dx ≤ |f (x)| dx
 
 
 a  a

Teorema: Sea f una función acotada en [a, b] y sabemos que f es integrable en el [a, c] para todo
c < b. Entonces f es integrable en [a, b]

Teorema del valor medio para la integral (funciones continuas): Sea f : [a, b] → R
Z b
continua. Entonces existe x0 ∈ [a, b] tal que f (x0 )(b − a) = f (x) dx
a

Teorema del valor medio para la integral: Sea f : [a, b] → R acotada e integrable. Sean
m = ı́nf{f (x) : x ∈ [a, b]} y M = sup{f (x) : x ∈ [a, b]}. Entonces existe h0 ∈ [m, M ] tal que
Z b
h0 (b − a) = f (x) dx
a

Teorema del valor medio generalizado para la integral: Sean f, g : [a, b] → R, con f
continua y g integrable en [a, b], g(x) ≥ 0 para toda x ∈ [a, b]. Entonces existe ξ ∈ [a, b] tal que
Z b Z b
f (x)g(x) dx = f (ξ) g(x) dx
a a

15
2.3. Integrabilidad
2.3.1. Definiciones
Definición: Sea f : [a, b] → R. Entonces Λ(f ) := {x ∈ [a, b] : f es discontinua en x} es el conjunto
de puntos del dominio de f en donde es discontinua.

Definición: Sea A ⊂ R. Decimos que A es de contenido cero si cumple que para toda ε > 0 existe
un conjunto finito de intervalos {I1 , I2 , ..., Im } tales que
m
X
Si Lk es la longitud de Ik , se debe cumplir que Lk < ε
k=1

m
[
A⊆ Ik
k=1

En tal caso decimos que {Ik }m

k=1 es una cubierta finita de A.

Observaciones:

Si A, B ⊂ R son de contenido cero, entonces A ∪ B es de contenido cero.

Si A ⊆ B y B es de contenido cero, entonces A es de contenido cero.

Sean a, b ∈ R con a < b. Entonces si I es un intervalo con extremos a y b, I no es de contenido

cero.

Definición: Sea A ⊆ R. Definimos la función caracterı́stica de A como


1,si x ∈ A
χA = 
0, si x ∈
/A

Definición: A ⊂ R es de medida cero si para toda ε > 0 existe {I1 , I2 , ..., In , ...} = {Ik }k∈N , (una
colección numerable de intervalos) con Ik un intervalo, se cumple que
∞
[
A⊆ Ik
k=1

∞
X
Lk < ε
k=1

Observaciones:

Si A ⊂ R es numerable, entonces A es de medida cero.

Si A ⊂ R es de contenido cero, entonces A es de medida cero.

Si A, B ⊂ R son de medida cero, entonces A ∪ B es de medida cero.

16
 ∞
[
Si para toda k ∈ N, Ak ⊂ R es de medida cero, entonces Ak es de medida cero.
k=1

Si I es un intervalo con extremos a y b, entonces I no es de medida cero.

Si A ⊆ B y B es de medida cero, entonces A es de medida cero.

2.3.2. Teoremas
Teorema: Sea f : [a, b] → R acotada tal que Λ(f ) es de contenido cero. Entonces f es integrable.

Teorema: Si f : [a, b] → R es acotada tal que Λ(f ) es numerable, entonces f es integrable.

Teorema: Criterio de Lebesgue

Sea f [a, b] → R acotada. Entonces f es integrable si y sólo si Λ(f ) es de medida cero.

Teorema: Sean f, g : [a, b] → R acotadas e integrables. Entonces:

f · g es integrable
f (x) f (x)
g(x) 6= 0 para todo x ∈ [a, b] y además es acotada, entonces es integrable.
g(x) g(x)

Teorema: Sean f, g : [a, b] → R acotadas e integrables. Si A = {x ∈ [a, b] : f (x) 6= g(x)} es de

Z b Z b
medida cero, entonces f (x) dx = g(x) dx
a a

17
2.4. Teorema fundamental
2.4.1. Definiciones
Definición: Sea f : D ⊆ R → R. Si existe g : D ⊆ R → R tal que g 0 (x) = f (x) para toda x ∈ D
decimos que g es una primitiva (o antiderivada) de f .
Z Z
Definición: La integral indefinida de f , f= f (x) dx denota una primitiva de f .

Definición: Sea f : [a, b] → R acotada e integrable. Entonces la función integradora es:

Z x
F (x) = f (t) dt
a

18
2.4.2. Teoremas
Teorema: Si f y g son primitivas de una función h en un intervalo, entonces f (x) = g(x) + c
para alguna k ∈ R Si g es primitiva de h, entonces {g(x) + k : k ∈ R} es el conjunto de todas las
primitivas de h.
Z x
Teorema: Sea f : [a, b] → R acotada e integrable. Entonces F (x) = f (t) dt es continua en [a, b]
a

PrimerZTeorema Fundamental del Cálculo: Sea f : [a, b] → R continua. Entonces

x
F (x) = f (t) dt es derivable y F 0 (x) = f (x) (F es primitiva de f )
a

Que f sea continua implica que F es primitiva de f . Sin embargo no es cierto que si F es primitiva
de f entonces f sea continua, pues hay funciones discontinuas que tienen primitiva. Además, si F
es primitiva de f , podemos afirmar que F es derivable, pero por otra parte, si sabemos que F es
derivable, no se cumple entonces que F sea primitiva de f . Aunado a esto, si aseguramos que f es
continua, entonces podemos concluir que F es derivable, sin embargo el regreso es falso, es decir,
si sabemos que F es derivable, no se puede concluir que f sea continua.

Corolario: Si f : [a, b] → R es continua, entonces {F (x) + k : k ∈ R} es el conjunto de todas las

primitivas de f .
Z b
Corolario: Sea f : [a, b] → R continua y g una primitiva de f . Entonces f (x) dx = g(b) − g(a)
a

19
Teorema del valor intermedio: Sea f : [a, b] → R continua y f (a) < f (b). Entonces para todo
k ∈ R tal que f (a) < k < f (b) existe c ∈ (a, b) tal que f (x) = k. A partir de este teorema se
desprende la siguiente afirmación:
Afirmación: La derivada de una función cumple el teorema del valor intermedio.
A partir de la afirmación anterior, para saber si una función tiene primitiva, basta comprobar si
cumple o no con la propiedad enunciada en el teorema del valor intermedio. Consideremos:

x,
 si x ∈ [0, 1]
f (x) = 5
 − x, si x ∈ (1, 2]

2

Gráfica de f

3 5 3
   
El dominio de f es el [0, 2] y su imagen es el 0, . Entonces, dado, por ejemplo, ∈ 0, , no
2 4 2
5
existe ningún x ∈ [0, 2] tal que f (x) = . Por tanto f no cumple la propiedad del valor intermedio
4
y ası́ entonces, no tiene primitiva. Además, si F (x) no es primitiva de f , podemos asegurar que f
no tiene primitiva.

Segundo Teorema Fundamental del Cálculo: Sea f : [a, b] → R acotada e integrable y g una
primitiva de f . Entonces: Z b
f (x) dx = g(b) − g(a)
a

20
2.5. Integral impropia
Observación: La mayorı́a de resultados y definiciones tienen su análogo para todos los casos
posibles de integral impropia. Aquı́ sólo se definen los más usuales, sin embargo, el lector podrá
fácilmente definir y enunciar los resultados que necesite basándose en las definiciones y teoremas
siguientes.

2.5.1. Definiciones
Definición:
Z ∞ Sea fZ : [a, ∞) → R integrable y acotada en [a, x] para todo x ∈ [a, ∞). Entonces
x
f (t) dt = x→∞
lı́m f (t) dt es la integral impropia de f en [a, ∞)
a a

Definición:
Z a Sea f :Z [a, ∞) → R integrable y acotada en [a, x] para todo x ∈ (−∞, a]. Entonces
a
f (t) dt = lı́m f (t) dt es la integral impropia de f en (−∞, a]
−∞ x→−∞ x

Definición: Sea f : R Z→ R acotada. f integrable en [−x,

Z ∞ Z x] para todoZ x ∈ R+ . SeaZ ∞a ∈ R.
a ∞ a
Supongamos que existen f (t) dt y f (t) dt. Entonces, f (t) dt = f (t) dt+ f (t) dt
−∞ a −∞ −∞ a

Definición: Sea f : [a, b) → R acotada e integrable en [a, x] para todo x ∈ [a, b). Entonces
Z b Z x
f = lı́m− f
a x→b a

Definición: Sea f : (a, b] → R acotada e integrable en [x, b] para toda x ∈ (a, b], entonces
Z b Z b
f = lı́m+ f
a x→a x

Definición: Sea f : (a, b) → R acotada en [x, y] ⊂ (a, b) e integrable en [x, y] para toda x, y tal que
Z c Z b Z b Z c Z b
a < x < y < b. Sea c ∈ (a, b). Supongamos que existen f y f , entonces, f= f+ f
a c a a c

Definición: Sea f (a, ∞) acotada en [x, y] ⊂ (a, ∞) e integrable en [x, y] para toda x, y tal que
Z b Z ∞ Z ∞ Z b Z ∞
a < x < y. Sea b ∈ R. Si existen f y f , entonces f= f+ f
a b a a b

Definición: Sean f : D ⊆ R → R y x0 punto de acumulación de D. Decimos que f es localmente

acotada en x0 si existe ε > 0 tal que f es acotada en Vε (x0 ) ∩ D

Definición: Sean f : D ⊆ R → R y x0 punto de acumulación de D. Decimos que f no es

localmente acotada en x0 si para toda ε > 0, f no es acotada en Vε (x0 ) ∩ D

Definición: Sea f : [a, b] → R y x0 ∈ (a, b) es el único punto en [a, b] tal que f no es localmente
Z x0 Z b Z b Z x0 Z b
acotada y existe f y existe f, entonces f= f+
a x0 a a x0

Definición: Sea f : [a, b] → R acotada en [x, b] e integrable en [x, b] para toda x ∈ (a, b], entonces
Z b Z b
f = lı́m+ f
a x→a x

21
Definición: Sea f : [a, b] → R. f no es localmente acotada en x1 < x2 < ... < xn con x0 = a < x1 y
Z xi+1 Z b n Z xi+1
X
xn < nn+1 = b. Supongamos que existe f para toda i ∈ {0, ..., n}, entonces f= f
xi a i=0 xi

2.5.2. Teoremas
Teorema: SeanZ f, g : [a, ∞) → R acotadas e integrables en [a, x] para toda x ∈ [a, ∞). Suponga-
∞ Z ∞
mos que existe g(x) dx y 0 ≤ f (x) ≤ g(x) para toda x ∈ [a, ∞). Entonces existe f (x) dx y
Z ∞a Z ∞ a
además, 0 ≤ f (x) dx ≤ g(x) dx
a a

Teorema: Sean f, g : [a, ∞) → R acotadas

Z e integrables en [a, x] paraZ todo x ∈ [a, ∞), además de
∞ ∞
que f (x) ≥ g(x) para todo x ∈ [a, ∞). Si g(x) dx = ∞, entonces f (x) dx = ∞.
a a

Teorema: Sean f, g : [a, ∞) → R acotadas

Z e integrables en [a, x] para todo x ∈ [a, ∞), además de
∞ Z ∞
que f (x) ≤ g(x) para todo x ∈ [a, ∞). Si g(x) dx = −∞, entonces f (x) dx = −∞.
a a

Teorema:
Z∞ Z f, g : [a, ∞) → R acotadas e integrables en [a, x] para todo x ∈ [a, ∞). Si existen
Sean
∞
f (x) dx y g(x) dx, entonces:
a a
Z ∞ Z ∞ Z ∞
Existe (f + g)(x) dx = f (x) dx + g(x) dx
a a a
Z ∞ Z ∞
Sea k ∈ R, entonces existe kf (x) dx = k f (x) dx
a a
Z ∞ Z ∞ Z ∞
Existe (f − g)(x) dx = f (x) dx − g(x) dx
a a a

Teorema: Cuando existe la integral impropia (cualquier tipo) de |f |, decimos que la integral
impropia de f es absolutamente convergente. Cuando existe la integral impropia (de cualquier
tipo) de f , decimos que la integral impropia de f es convergente.
Si la integral impropia de f es absolutamente convergente, entonces la integral impropia de f es
convergente.
Z ∞ Z ∞
lı́m f (x) = L 6= 0, entonces
Teorema: Si x→∞ f (x) dx = ∞ si L > 0 y f (x) dx = −∞ si
a a
L < 0.
Z ∞
Teorema: Si existe f (x) dx y existe lı́m f (x), entonces lı́m f (x) = 0
a x→∞ x→∞

Z ∞ Sean f, g : R → R acotadas
Teorema: Z ∀
Z ∞ e integrables en [−x, x] x ∈ R+ . SiZf (x) ≥ g(x) ≥ 0 y
∞ ∞
existe f (x) dx, entonces existe g(x) dx y además, 0 ≤ g(x) dx ≤ f (x) dx
−∞ −∞ −∞ −∞

22
2.6. Series
2.6.1. Definiciones
Definición: Decimos que dos funciones f y g son iguales hasta el orden n en un punto a si y sólo
f (x) − g(x)
si lı́m =0
x→a (x − a)n

f (x) − xn
Definición: Decimos que una función es de orden n en a si y sólo si lı́m =0
x→a (x − a)n
n
X
Definición: Sea {Xn } sucesión. Sn = Xn , Sn ∈ R, se llama la enésima suma parcial de {Xn }
k=1
y {Sn } se llama la sucesión de sumas parciales de {Xn }.
∞
X n
X
Definición: Sea {Xn } ⊂ R sucesión. Xn = n→∞
lı́m Xk = n→∞
lı́m Sn es la serie asociada a la
n=1 k=1
sucesión {Xn }

−
Definición:. Sea {an } ⊂ R sucesión. Definimos a+
n = máx{an , 0} y an = mı́n{an , 0}. Entonces
+ − + −
an = an + an . Además, |an | = an − an

2.6.2. Teoremas
∞
X
Teorema: Sea {Xn } ⊂ R sucesión tal que existe Xn . Entonces lı́m Xn = 0
n→∞
n=1
∞
X ∞
X
Teorema: Sean {an }, {bn } ⊂ R sucesiones tal que existen an y bn , entonces.
n=1 n=1

∞
X ∞
X ∞
X
Existe (an + bn ) = an + bn
n=1 n=1 n=1

∞
X ∞
X ∞
X
Existe (an − bn ) = an − bn
n=1 n=1 n=1

∞
X ∞
X
Sea λ ∈ R. Entonces existe λan = λ an
n=1 n=1

∞
X ∞
X
Teorema: Sea {an } ⊂ R sucesión tal que existe |an |. Entonces existe an
n=1 n=1
∞ ∞ ∞
a+ a−
X X X
Corolario: Si existe |an |, entonces existen n y n
n=1 n=1 n=1

Teorema. Criterio de Leibniz: Sea {an } ⊂ R sucesión, an > 0, decreciente tal que lı́m an = 0.
n→∞
∞ ∞
(−1)n+1 an y (−1)n an (es decir, existe la serie alternada).
X X
Entonces existen
n=1 n=1

23
Teorema: Sea {an } ⊂ R sucesión y f : [1, ∞) → R tal que f (n) = an , f decreciente y f (x) ≥ 0.
∞
X Z ∞
Entonces existe an si y sólo si existe f (x) dx
n=1 1
∞ ∞
an X X
Teorema: Sean {an }, {bn } ⊂ R sucesiones tal que lı́m > 0 y existe an , entonces bn
n→∞ b
n n=1 n=1
existe.
∞
an+1 X
Teorema: Sea {an } ⊂ R sucesión tal que ∀ n ∈ N, an > 0 yn→∞
lı́m < 1, entonces existe an
an n=1
∞
an+1 X
Corolario: Si lı́m > 1 y para toda n ∈ N, an > 0, entonces an = ∞
n→∞ a
n n=1

24
Referencias
[1] Spivak, M. (1996). CALCULUS, Second Edition. New York: Reverté

[2] Apostol, T.M. (1967). CALCULUS, One-Variable Calculus, with an intruduction to Linear
Algebra. Massachusetts: Reverté.

[3] Haaser, N.B. (1990). Introduction to Analysis. Massachusetts: Trillas.

[4] Piskunov, N. (1984). Cálculo diferencial e integral. URSS: Mir Moscú.

Además de los libros anteriores, la gran parte de los teoremas y definiciones fueron transcritas
ı́ntegramente (sólo con algunos detalles como corrección de estilo y demás) de las clases de Cálculo
Diferencial e Integral, dictadas en la Facultad de Ciencias de la UNAM, por el profesor Marco
Antonio Montes de Oca Balderas, ası́ como por sus ayudantes: Paloma Hernández Zapata, Saúl
Juárez Ordóñez, Adriana Escobedo Bustamante, Andrés Valencia y Yadira Teodosio Procopio.

Nota: Cualquier sugerencia que tenga respecto al documento, no dude en hacérmela llegar a la
siguiente dirección electrónica: carlosjf@ciencias.unam.mx

25