ENUNCIADOS SFIL

1. Introducción
Definición 1.1 (Serie Geométrica).
Para r 6= 1, la suma de los primeros n términos de una serie geométrica es :
Xn
1 − rn
a + ar + ar2 + +... + arn−1 = arr−1 = a
1−r
k=1

La serie geométrica real de término inicial a ∈ R no nulo y de razón r ∈ R es convergente si y solamente si

|r| < 1. En tal caso, la suma vale:
X∞
a
arn = .
1−r
n=0

2. Capı́tulo 2: Integrales impropias

2.1. Criterios de convergencia para funciones positivas. Sean f, g : [a, +∞) → R dos funciones tales
que f, g ∈ R[a, b], ∀b > a.

Teorema 2.1 (Criterio de comparación). . Supongamos que existe x0 ≥ a tal que 0 ≤ f(x) ≤ g(x) para todo
x ≥ x0 . Se verifica
R∞ R∞
• Si a g converge, entonces a f converge.
R∞ R∞
• Si a f diverge, entonces a g diverge.

Corolario
R∞ 1 (Criterio del mayorante).
R∞ Supongamos que existe x0 ≥ a tal que |f(x)| ≤ g(x) para todo x ≥ x0 .
Si a g converge, entonces a f converge.

Teorema 2.2 (Criterio de comparación por paso al lı́mite).

Supongamos que f(x) ≥ 0 y g(x) > 0 para todo x ≥ a.
f(x) R∞ R∞
• Si existe limx→∞ = λ ∈ (0, +∞), entonces las integrales a f , a g son simultáneamente con-
g(x)
vergentes o divergentes.
f(x) R∞ R∞
• Si existe limx→∞ = 0 y la integral a g es convergente, entonces a f es convergente.
g(x)
f(x) R∞ R∞
• Si existe limx→∞ = +∞ y la integral a g es divergente, entonces a f es divergente.
g(x)

1
2 ENUNCIADOS SFIL

3. Capı́tulo 3: Sucesiones de funciones

3.1. Convergencia uniforme e integración.
Teorema 3.1. Si fn → f uniformemente en [a, b] y cada fn ∈ R[a, b], entonces f ∈ R[a, b] y:
Zb Zb
lim fn (x)dx = f(x)dx
n→∞ a a
 ENUNCIADOS SFIL 3

4. Capı́tulo 4: Series de funciones

4.1. Definiciones: suma puntual y uniforme.
Definición 4.1. Sea (fn ) una sucesión de funciones definidas en un conjunto A ⊂ R.
• Llamaremos serie de funciones de término general fn a la sucesión de funciones formada por las
P∞ P P
sumas parciales sn (x) := f1 (x) + · · · + fn (x). Se denota por fn , fn o fn .
P n=1 n
• Se dice que la serie fn converge puntualmente o converge simplemente a una función f : A → R
cuando la sucesión de sumas parciales Pasociadas (sn ) converge
P a f puntualmente en A. En tal caso,
diremos que f es la suma
P puntual de f n y se denotará fn = f.
• Se dice que la serie fn converge uniformemente a una función f : A → R cuando la sucesión de
sumas parciales asociadas
P a (sn ) convergeP a f uniformemente en A. En tal caso diremos que f es la
suma uniforme de fn y se denotará fn = f uniformemente en A.

P
Teorema 4.1 (Teorema de convergencia uniforme de series e integración). Si n fn = f uniformemente en
[a, b] ⊂ R y cada fn ∈ R[a, b], entonces f ∈ R[a, b] y:
X Zb Zb
fn (x)dx = f(x)dx.
n a a

Teorema 4.2 (Teorema de convergencia uniforme de series e derivación). Sea fn : [a, b] → R (n ≥ 1) una
sucesión de funciones derivables tales que:
P 0
• n fn converge uniformemente en [a, b] a ciertaPfunción g y
• existe x0 ∈ [a, b] de modo que la serie numérica n fn (x0 ) converge.

4.2. Criterios de convergencia uniforme.

P
Corolario 2. Si fn converge uniformemente en A ⊂ R entonces fn → 0 uniformemente en A.

P
Teorema 4.3 (Criterio Mayorante de Weierstrass). Sea fn una serie de funciones definidas en un conjunto
n P
A ⊂ R. Supongamos que existe una sucesión (an ) ⊂ (0, +∞) tal que la serie numérica an es convergente
P n
y |fn (x)| ≤ an para todo n ∈ N y todo x ∈ A. Entonces fn converge uniformemente en A.
n
4 ENUNCIADOS SFIL

5. Capı́tulo 8
5.1. 8.1 Teoremas de Convergencia.
Teorema 5.1 (Teorema de Convergencia Monótona de Beppo Levi).
Sea Fn : X → R(n ∈ N) una sucesión de funciones medibles tales que fn (x) ≤ fn+1 (x) e.c.t. x ∈ X para cada
n ∈ N. LLamemos f := limn→∞ fn = supn∈N fn , definida e.c.t. X. Se tiene:
R R
• Si fn 6= 0 para todo n ∈ N, entonces limn→∞ X fn dµ = X f dµ. R
• Supongamos que fn ∈ L1 (X) para todo n ∈ N. Entonces f ∈ L1 (X) si y solo si supn≥1 X fn dµ < +∞,
y en caso se tiene
Z Z
lim fn dµ = f dµ.
n→∞ X X

Corolario 3. Sean f, fn : X → [0, +∞](n ∈ N) funciones medibles definidas en un espacio de medida completo
(X, M, µ). Se verifica:
R P ∞ ∞ R
P
• X fn dµ = f dµ.
X n
n=1 n=1
P∞ R P
∞ P
∞
• Si X
dµ < +∞, la función fn es integrable y, en particular, la serie fn (x) converge e.c.t
n=1 n=1 n=1
x ∈ X. R
• La aplicación ν : E ∈ M 7→ ν(E) = E f dµ ∈ [0, +∞] es una medida positiva.

Teorema 5.2 (Lema de Fatou). Sea fn : X → [0, +∞](n ∈ N) una sucesión de funciones medibles. Entonces
Z Z
lim inf fn dµ ≤ lim inf fn dµ.
X n→∞ n→∞ X

Teorema 5.3 (Teorema de Lebesgue de la convergencia dominada).

Supongamos que f, fn : X → R (n = 1, 2, ...) y g : X → [0, +∞] son funciones tales que cada fn es medible,
|fn | ≤ g e.c.t. X para cada n ∈ N, g es integrable y f(x) = limn→∞ fn (x) e.c.t. x ∈ X. Entonces f es integrable
y
Z Z
f dµ = lim fn dµ.
X n→∞ X

Teorema 5.4.
• Sea fn : X → R (n ∈ N) una sucesión de funciones medibles tales que
∞ Z
X
|fn |dµ < +∞.
n=1 X

P
∞
Entonces fn (x) converge absolutamente e.c.t. x ∈ X, la función suma es integrable y
n=1
Z X
∞ ∞ Z
X
fn dµ = fn dµ.
X n=1 n=1 X
S∞
• Sean f ∈ L1 (X) y (An ) una sucesión de conjuntos medibles dos a dos disjuntos tales que X = n=1 An .
Entonces
Z X∞ Z
f dµ = f dµ.
X n=1 An
 ENUNCIADOS SFIL 5

5.2. Relación entre las integrales de Riemann y de Lebesgue.

Teorema 5.5. Sea f : [a, b] → R, y denotemos D(f) := {x ∈ [a, b] : fes discontinua en x}. Entonces f ∈
R[a, b] ⇐⇒ f es acotada y m(D(f)) = 0. En tal caso, f ∈ L1 (m, [a, b]) y
Zb Z
f(x)dx = f dm.
a [a,b]
6 ENUNCIADOS SFIL

6. Enunciados
Teorema 6.1 (Criterio integral de MacLaurin de convergencia de series numéricas). P
Sea f : [1, +∞) → [0, +∞) una Rfunción decreciente tal que f(n) = an , ∀n ∈ N. Entonces la serie an
∞
converge sii la integral impropia 1 f(x)dx converge.

Teorema 6.2 (Criterio de Cauchy de convergencia de integrales impropias de Riemann deprimera especie.).
Supongamos que la función f : [a, +∞) → R es tal que f ∈ R[a, b], ∀b > a. Son equivalentes:
R∞
• La integral a f(x)dx converge.
Rc
• Para cada  > 0 ∃ C = C > a tal que | b f(x)dx| <  para todo c > b > C.

Teorema 6.3 (Convergencia uniforme y continuidad (Sucesiones de funciones)).

Supongamos que fn → f uniformemente en A ⊂ R, y que x0 ∈ A. Si cada función fn es continua en x0 ,
entonces f es continua en x0 . En particular si cada fn es continua en A, entonces f es continua en A

Teorema 6.4 (Convergencia uniforme y derivabilidad (Sucesiones de funciones)).

Sea fn : [a, b] → R (n ≥ 1) una sucesión de funciones derivables tales que:
• (fn0 ) converge uniformemente en [a, b] a cierta función g y
• existe x0 ∈ [a, b] de modo que la sucesión numérica (fn (x0 )) converge.
Entonces existe una función f : [a, b] → R tal que fn → f uniformemente en [a, b], f derivable en [a, b] y
f 0 (x) = g(x) para tod x ∈ [a, b].

P
Teorema 6.5 (Criterio Mayorante de Weierstrass). Sea fn una serie de funciones definidas en un conjunto
n P
A ⊂ R. Supongamos que existe una sucesión (an ) ⊂ (0, +∞) tal que la serie numérica an es convergente
P n
y |fn (x)| ≤ an para todo n ∈ N y todo x ∈ A. Entonces fn converge uniformemente en A.
n

Teorema 6.6 (Teorema de Pringsheim). Sea f : I = (a − R, a + R) → R tal que R ∈ (0, +∞), f ∈ C ∞ (I) y
existe A ∈ (0, +∞) tal que
n!
|f(n) (x)| ≤ A n para todo n ∈ N y todo x ∈ I.
R
Entonces f ∈ C ω (a). De hecho, se tiene
X∞
f(n) (a)
f(x) = (x − a)n para todo x ∈ I.
n!
n=0

P
∞
Teorema 6.7 (Teorema de Abel). Sea an (x − a)n una SP de radio de convergencia R ∈ (0, +∞) y sea f
n=0
la suma de la SP en su intervalo de convergencia (a − R, a + R). Supongamos que la SP converge en el punto
P
∞
b := a + R, es decir, la serie an Rn es convergente. Entonces la SP converge uniformemente en [a, b] y se
n=0
P
∞
cumple limx→b− f(x) = an Rn .
n=0

Teorema 6.8 (Teorema de Lebesgue de la convergencia dominada de Beppo Levi).

Supongamos que f, fn : X → R (n = 1, 2, ...) y g : X → [0, +∞] son funciones tales que cada fn es medible,
|fn | ≤ g e.c.t. X para cada n ∈ N, g es integrable y f(x) = limn→∞ fn (x) e.c.t. x ∈ X. Entonces f es integrable
y Z Z
f dµ = lim fn dµ.
X n→∞ X
 ENUNCIADOS SFIL 7

Teorema 6.9 (Lema de Fatou). Sea fn : X → [0, +∞](n ∈ N) una sucesión de funciones medibles. Entonces
Z Z
lim inf fn dµ ≤ lim inf fn dµ.
X n→∞ n→∞ X

Teorema 6.10 (Teorema de continuidad de integrales paramétricas).

Supongamos que se cumple lo siguiente:
• Para cada x ∈ A, la función t ∈ B → f(x, t) ∈ R es continua.
• Para cada t ∈ B, la función x ∈ A → f(x, t) ∈ R es medible-Lebesgue.
• Existe una función g : A → [0, +∞) integrable Lebesgue tal que
|f(x, t)| ≤ g(x), ∀x ∈ A, y ∀t ∈ B.
R
Entonces la función F : t ∈ B → A
f(x, t)dx ∈ R está bien definida y es continua en B:

Teorema 6.11 (Teorema de la derivabilidad de integrales paramétricas).

Supongamos que se cumple lo siguiente:
∂f
• Para cada x ∈ A, la función T ∈ B 7→ f(x, t) ∈ R es derivable, es decir, existe (x, t) ∈ R para todo
∂t
(x, t) ∈ A × B.
• Para cada t ∈ B, la función x ∈ A 7→ f(x, t) ∈ R es medible Lebesgue.
• Para algún t0 ∈ B, la función x ∈ A 7→ f(x, t0 ) es integrable Lebesgue.
• Existe una función g : A → [0, +∞) integrable Lebesgue tal que
∂f
| (x, t)| ≤ g(x) para todo x ∈ A y todo t ∈ B.
∂t
R
Entonces la función F : t ∈ B 7→ A f(x, t)dx ∈ R está definida y es derivable en B. Además:
Z
∂f
F 0 (t) = (x, t)dx para todo t ∈ B.
A ∂t

Definición 6.1 (Función medible). Sea (X, M) un espacio medible y f : X → R. Decimos que f es una función
medible cuando f−1 (G) ∈ M para todo subconjunto abierto G ∈ R. En el caso en el que (X, M) = (M, LM ),
donde M ∈ L, diremos que f es una función medible lebesgue.
Definición 6.2 (Integral Lebesgue, funciones simples medibles no negativas). Dada una función simple
Pm
medible no negativa φ : X → [0, +∞), de modo que φ = ai χAi , con ai ∈ [0, +∞) y Ai conjuntos medibles
i=1
dos a dos disjuntos, se define la integral de Lebesgue de φ sobre X respecto de µ como
Z Xm
φdµ = ai µ(Ai ).
X i=1

Definición 6.3 (Integral de Lebesgue, función medible). Supongamos que (X, M, µ) es un espacio de medida
y que f : X → [0, +∞] es una función medible. Se define la integral de f sobre X respecto de µ como
Z Z
fdµ = sup { φdµ : φ simple y medible con 0 ≤ φ ≤ f}.
X X

Definición 6.4 (Función-integrable

R Lebesgue).
R Sea f : X → R medible. Se dice que f es integrable Lebesgue
sobre X cuando ambas integrales X f+ dµ, X f− son finitas. En tal caso, se define la integral de f en X con
el número real: Z Z Z
fdµ := f+ dµ − f− dµ.
X X X