Teorema de Lebesgue sobre la derivada de una función ...

77
Herramientas Reducci´ on al lema principal Lema principal La integral de la derivada Teorema de Lebesgue sobre la derivada de una funci´ on mon´ otona (un tema de an´ alisis real) Egor Maximenko http://www.egormaximenko.com Instituto Polit´ ecnico Nacional Escuela Superior de F´ ısica y Matem´ aticas exico 4 de noviembre de 2021

Transcript of Teorema de Lebesgue sobre la derivada de una función ...

Page 1: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Teorema de Lebesgue sobre la derivada de una funcion monotona(un tema de analisis real)

Egor Maximenkohttp://www.egormaximenko.com

Instituto Politecnico NacionalEscuela Superior de Fısica y Matematicas

Mexico

4 de noviembre de 2021

Page 2: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Objetivo

Estudiar la demostracion de los siguientes dos resultados de Lebesgue.En algunos libros estos dos resultados se juntan en un teorema.

Teorema (sobre la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′(x) existe para c.t.p. x en (a, b).

Proposicion (sobre la integral de la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′ es medible y ∫

[a,b]f ′ dµ ≤ f (b)− f (a).

Page 3: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Objetivo

Estudiar la demostracion de los siguientes dos resultados de Lebesgue.En algunos libros estos dos resultados se juntan en un teorema.

Teorema (sobre la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′(x) existe para c.t.p. x en (a, b).

Proposicion (sobre la integral de la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′ es medible y ∫

[a,b]f ′ dµ ≤ f (b)− f (a).

Page 4: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Objetivo

Estudiar la demostracion de los siguientes dos resultados de Lebesgue.En algunos libros estos dos resultados se juntan en un teorema.

Teorema (sobre la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′(x) existe para c.t.p. x en (a, b).

Proposicion (sobre la integral de la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′ es medible y ∫

[a,b]f ′ dµ ≤ f (b)− f (a).

Page 5: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Contenido

1 Herramientas

2 Reduccion al lema principal

3 Lema principal

4 La integral de la derivada

Page 6: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Plan

1 Herramientas

2 Reduccion al lema principal

3 Lema principal

4 La integral de la derivada

Page 7: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Cubiertas de Vitali (definicion)

µ := la medida de Lebesgue en R,µ∗ := la medida exterior asociada a µ.

Sean X ⊆ R, V ⊆ 2R. Se dice que V es una cubierta de Vitali de X , si:

1) ∀A ∈ V(A es un intervalo ∧ µ(A) > 0

),

2) ∀x ∈ X ∀ε > 0 ∃A ∈ V(x ∈ A ∧ µ(A) < ε

).

Page 8: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Cubiertas de Vitali (definicion)

µ := la medida de Lebesgue en R,µ∗ := la medida exterior asociada a µ.

Sean X ⊆ R, V ⊆ 2R. Se dice que V es una cubierta de Vitali de X , si:

1) ∀A ∈ V(A es un intervalo ∧ µ(A) > 0

),

2) ∀x ∈ X ∀ε > 0 ∃A ∈ V(x ∈ A ∧ µ(A) < ε

).

Page 9: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Lema de Vitali (repaso)

TeoremaSean X ⊆ R, µ∗(X ) < +∞, V una cubierta de Vitali de X , ε > 0.Entonces existen n ∈ N, A1, . . . ,An ∈ V tales que A1, . . . ,An son disjuntos a pares y

µ∗(

X \( n⋃

k=1Ak

))< ε.

Page 10: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Derivadas de Dini (definicion)

Sean A un invervalo de R, f : A→ R una funcion, x ∈ int(A).

(D+f )(x) := lim supt→x+

f (t)− f (x)t − x , (D+f )(x) := lim inf

t→x+

f (t)− f (x)t − x .

(D−f )(x) := lim supt→x−

f (t)− f (x)t − x , (D−f )(x) := lim inf

t→x−

f (t)− f (x)t − x .

Page 11: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Propiedades elementales de las derivadas de Dini (repaso)

Proposicion

(D+f )(x) ≤ (D+f )(x), (D−f )(x) ≤ (D−f )(x).

Proposicionf es derivable en x si, y solo si,

(D+f )(x) ≤ (D−f )(x) ∧ (D−f )(x) ≤ (D+f )(x).

Page 12: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Propiedades elementales de las derivadas de Dini (repaso)

Proposicion

(D+f )(x) ≤ (D+f )(x), (D−f )(x) ≤ (D−f )(x).

Proposicionf es derivable en x si, y solo si,

(D+f )(x) ≤ (D−f )(x) ∧ (D−f )(x) ≤ (D+f )(x).

Page 13: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Algunas propiedades de sup e inf

ProposicionSean P ⊆ R, u ∈ R, inf(P) > u. Entonces

∀p ∈ P p > u.

ProposicionSean P ⊆ R, u ∈ R, sup(P) > u. Entonces

∃p ∈ P p > u.

Page 14: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Algunas propiedades de sup e inf

ProposicionSean P ⊆ R, u ∈ R, inf(P) > u. Entonces

∀p ∈ P p > u.

ProposicionSean P ⊆ R, u ∈ R, sup(P) > u. Entonces

∃p ∈ P p > u.

Page 15: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Algunas propiedades de sup e inf

ProposicionSean P ⊆ R, u ∈ R, inf(P) > u. Entonces

∀p ∈ P p > u.

ProposicionSean P ⊆ R, u ∈ R, sup(P) > u. Entonces

∃p ∈ P p > u.

Page 16: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Algunas propiedades de sup e inf

ProposicionSean P ⊆ R, u ∈ R, inf(P) > u. Entonces

∀p ∈ P p > u.

ProposicionSean P ⊆ R, u ∈ R, sup(P) > u. Entonces

∃p ∈ P p > u.

Page 17: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (analisis de la desigualdad (D+f )(y) > u)

Sean A un intervalo, f : A→ R, y ∈ int(A), u ∈ R, (D+f )(y) > u . Entonces

∀δ > 0 ∃η ∈ (0, δ)(y + η ∈ A ∧ f (y + η)− f (y) > u η

).

Demostracion. Tenemos que infδ>0

supt∈(y ,y+δ)∩A

f (t)− f (y)t − y = (D+f )(y) > u.

Sea δ > 0. Entonces supt∈(y ,y+δ)∩A

f (t)− f (y)t − y > u.

Luego existe t en (y , y + δ) ∩ A tal que f (t)− f (y)t − y > u.

Pongamos η = t − y .

Page 18: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (analisis de la desigualdad (D+f )(y) > u)

Sean A un intervalo, f : A→ R, y ∈ int(A), u ∈ R, (D+f )(y) > u . Entonces

∀δ > 0 ∃η ∈ (0, δ)(y + η ∈ A ∧ f (y + η)− f (y) > u η

).

Demostracion. Tenemos que infδ>0

supt∈(y ,y+δ)∩A

f (t)− f (y)t − y = (D+f )(y) > u.

Sea δ > 0. Entonces supt∈(y ,y+δ)∩A

f (t)− f (y)t − y > u.

Luego existe t en (y , y + δ) ∩ A tal que f (t)− f (y)t − y > u.

Pongamos η = t − y .

Page 19: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (analisis de la desigualdad (D+f )(y) > u)

Sean A un intervalo, f : A→ R, y ∈ int(A), u ∈ R, (D+f )(y) > u . Entonces

∀δ > 0 ∃η ∈ (0, δ)(y + η ∈ A ∧ f (y + η)− f (y) > u η

).

Demostracion. Tenemos que infδ>0

supt∈(y ,y+δ)∩A

f (t)− f (y)t − y = (D+f )(y) > u.

Sea δ > 0. Entonces

supt∈(y ,y+δ)∩A

f (t)− f (y)t − y > u.

Luego existe t en (y , y + δ) ∩ A tal que f (t)− f (y)t − y > u.

Pongamos η = t − y .

Page 20: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (analisis de la desigualdad (D+f )(y) > u)

Sean A un intervalo, f : A→ R, y ∈ int(A), u ∈ R, (D+f )(y) > u . Entonces

∀δ > 0 ∃η ∈ (0, δ)(y + η ∈ A ∧ f (y + η)− f (y) > u η

).

Demostracion. Tenemos que infδ>0

supt∈(y ,y+δ)∩A

f (t)− f (y)t − y = (D+f )(y) > u.

Sea δ > 0. Entonces supt∈(y ,y+δ)∩A

f (t)− f (y)t − y > u.

Luego existe t en (y , y + δ) ∩ A tal que f (t)− f (y)t − y > u.

Pongamos η = t − y .

Page 21: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (analisis de la desigualdad (D+f )(y) > u)

Sean A un intervalo, f : A→ R, y ∈ int(A), u ∈ R, (D+f )(y) > u . Entonces

∀δ > 0 ∃η ∈ (0, δ)(y + η ∈ A ∧ f (y + η)− f (y) > u η

).

Demostracion. Tenemos que infδ>0

supt∈(y ,y+δ)∩A

f (t)− f (y)t − y = (D+f )(y) > u.

Sea δ > 0. Entonces supt∈(y ,y+δ)∩A

f (t)− f (y)t − y > u.

Luego existe t en (y , y + δ) ∩ A tal que f (t)− f (y)t − y > u.

Pongamos η = t − y .

Page 22: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Analisis de la desigualdad (D−f )(x) < v

EjercicioSean A un intervalo, f : A→ R, x ∈ int(A), v ∈ R.Supongamos que (D+f )(x) < v . Demostrar que

∀δ > 0 ∃ξ ∈ (0, δ)(x − ξ ∈ A ∧ f (x)− f (x − ξ) < v ξ

).

Page 23: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Un lema sobre intervalosSupongamos que m, n ∈ N,

a1 ≤ b1 ≤ a2 ≤ b2 ≤ . . . ≤ am ≤ bm,

c1 ≤ d1 ≤ c2 ≤ d2 ≤ . . . ≤ cn ≤ dn,

∀k ∈ {1, . . . , n} ∃j ∈ {1, . . . ,m} [ck , dk ] ⊆ [aj , bj ].

Entonces n∑k=1

(dk − ck) ≤m∑

j=1(bj − aj).

Page 24: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Ejemplo para el lema

a1 b1 a2 b2

c1 d1 c2 d2 c3 d3

En este ejemplo

(d1 − c1) + (d2 − c2) + (d3 − c3) ≤ (b1 − a1) + (b2 − a2).

Problema. Escribir bien una demostracion general.Sugerencia: induccion sobre n.

Page 25: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Ejemplo para el lema

a1 b1 a2 b2

c1 d1 c2 d2 c3 d3

En este ejemplo

(d1 − c1) + (d2 − c2) + (d3 − c3) ≤ (b1 − a1) + (b2 − a2).

Problema. Escribir bien una demostracion general.Sugerencia: induccion sobre n.

Page 26: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Un lema sobre intervalos y una funcion crecienteSean f : [α, β]→ R una funcion creciente,[x1 − ξ1, x1], . . . , [xm − ξm, xm] una lista disjunta de intervalos ⊆ [α, β],[y1, y1 + η1], . . . , [yn, yn + ηn] una lista disjunta de intervalos,

∀k ∈ {1, . . . , n} ∃j ∈ {1, . . . ,m} [yk , yk + ηk ] ⊆ [xj − ξj , xj ].

Entoncesn∑

k=1(f (yk + ηk)− f (yk)) ≤

m∑j=1

(f (xj)− f (xj − ξj)).

Idea de demostracion. Aplicar el lema anterior con

aj = f (xj − ξj), bj = f (xj), ck = f (yk), dk = f (yk + ηk).

Page 27: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Un lema sobre intervalos y una funcion crecienteSean f : [α, β]→ R una funcion creciente,[x1 − ξ1, x1], . . . , [xm − ξm, xm] una lista disjunta de intervalos ⊆ [α, β],[y1, y1 + η1], . . . , [yn, yn + ηn] una lista disjunta de intervalos,

∀k ∈ {1, . . . , n} ∃j ∈ {1, . . . ,m} [yk , yk + ηk ] ⊆ [xj − ξj , xj ].

Entoncesn∑

k=1(f (yk + ηk)− f (yk)) ≤

m∑j=1

(f (xj)− f (xj − ξj)).

Idea de demostracion. Aplicar el lema anterior con

aj =

f (xj − ξj), bj = f (xj), ck = f (yk), dk = f (yk + ηk).

Page 28: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Un lema sobre intervalos y una funcion crecienteSean f : [α, β]→ R una funcion creciente,[x1 − ξ1, x1], . . . , [xm − ξm, xm] una lista disjunta de intervalos ⊆ [α, β],[y1, y1 + η1], . . . , [yn, yn + ηn] una lista disjunta de intervalos,

∀k ∈ {1, . . . , n} ∃j ∈ {1, . . . ,m} [yk , yk + ηk ] ⊆ [xj − ξj , xj ].

Entoncesn∑

k=1(f (yk + ηk)− f (yk)) ≤

m∑j=1

(f (xj)− f (xj − ξj)).

Idea de demostracion. Aplicar el lema anterior con

aj = f (xj − ξj), bj =

f (xj), ck = f (yk), dk = f (yk + ηk).

Page 29: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Un lema sobre intervalos y una funcion crecienteSean f : [α, β]→ R una funcion creciente,[x1 − ξ1, x1], . . . , [xm − ξm, xm] una lista disjunta de intervalos ⊆ [α, β],[y1, y1 + η1], . . . , [yn, yn + ηn] una lista disjunta de intervalos,

∀k ∈ {1, . . . , n} ∃j ∈ {1, . . . ,m} [yk , yk + ηk ] ⊆ [xj − ξj , xj ].

Entoncesn∑

k=1(f (yk + ηk)− f (yk)) ≤

m∑j=1

(f (xj)− f (xj − ξj)).

Idea de demostracion. Aplicar el lema anterior con

aj = f (xj − ξj), bj = f (xj), ck =

f (yk), dk = f (yk + ηk).

Page 30: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Un lema sobre intervalos y una funcion crecienteSean f : [α, β]→ R una funcion creciente,[x1 − ξ1, x1], . . . , [xm − ξm, xm] una lista disjunta de intervalos ⊆ [α, β],[y1, y1 + η1], . . . , [yn, yn + ηn] una lista disjunta de intervalos,

∀k ∈ {1, . . . , n} ∃j ∈ {1, . . . ,m} [yk , yk + ηk ] ⊆ [xj − ξj , xj ].

Entoncesn∑

k=1(f (yk + ηk)− f (yk)) ≤

m∑j=1

(f (xj)− f (xj − ξj)).

Idea de demostracion. Aplicar el lema anterior con

aj = f (xj − ξj), bj = f (xj), ck = f (yk), dk =

f (yk + ηk).

Page 31: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Un lema sobre intervalos y una funcion crecienteSean f : [α, β]→ R una funcion creciente,[x1 − ξ1, x1], . . . , [xm − ξm, xm] una lista disjunta de intervalos ⊆ [α, β],[y1, y1 + η1], . . . , [yn, yn + ηn] una lista disjunta de intervalos,

∀k ∈ {1, . . . , n} ∃j ∈ {1, . . . ,m} [yk , yk + ηk ] ⊆ [xj − ξj , xj ].

Entoncesn∑

k=1(f (yk + ηk)− f (yk)) ≤

m∑j=1

(f (xj)− f (xj − ξj)).

Idea de demostracion. Aplicar el lema anterior con

aj = f (xj − ξj), bj = f (xj), ck = f (yk), dk = f (yk + ηk).

Page 32: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Plan

1 Herramientas

2 Reduccion al lema principal

3 Lema principal

4 La integral de la derivada

Page 33: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Teorema (sobre la derivada de la funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′(x) existe para c.t.p. x en (a, b).

Page 34: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Reduccion del teorema al lema principal

Es suficiente verificar que para c.t.p. x

(D+f )(x) ≤ (D−f )(x), (D−f )(x) ≤ (D+f )(x).

Vamos a demostrar solamente que D+f ≤ D−f en c.t.p. (D−f ≤ D+f es similar).

Lema(D+f )(x) > (D−f )(x) si, y solo si,

∃u, v ∈ Q(

(D+f )(x) > u ∧ u > v ∧ v > (D−f )(x)).

Demostracion. =⇒ por la densidad de Q en R.⇐= por la transitividad de >.

Page 35: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Reduccion del teorema al lema principal

Es suficiente verificar que para c.t.p. x

(D+f )(x) ≤ (D−f )(x), (D−f )(x) ≤ (D+f )(x).

Vamos a demostrar solamente que D+f ≤ D−f en c.t.p. (D−f ≤ D+f es similar).

Lema(D+f )(x) > (D−f )(x) si, y solo si,

∃u, v ∈ Q(

(D+f )(x) > u ∧ u > v ∧ v > (D−f )(x)).

Demostracion. =⇒

por la densidad de Q en R.⇐= por la transitividad de >.

Page 36: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Reduccion del teorema al lema principal

Es suficiente verificar que para c.t.p. x

(D+f )(x) ≤ (D−f )(x), (D−f )(x) ≤ (D+f )(x).

Vamos a demostrar solamente que D+f ≤ D−f en c.t.p. (D−f ≤ D+f es similar).

Lema(D+f )(x) > (D−f )(x) si, y solo si,

∃u, v ∈ Q(

(D+f )(x) > u ∧ u > v ∧ v > (D−f )(x)).

Demostracion. =⇒ por la densidad de Q en R.⇐=

por la transitividad de >.

Page 37: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Reduccion del teorema al lema principal

Es suficiente verificar que para c.t.p. x

(D+f )(x) ≤ (D−f )(x), (D−f )(x) ≤ (D+f )(x).

Vamos a demostrar solamente que D+f ≤ D−f en c.t.p. (D−f ≤ D+f es similar).

Lema(D+f )(x) > (D−f )(x) si, y solo si,

∃u, v ∈ Q(

(D+f )(x) > u ∧ u > v ∧ v > (D−f )(x)).

Demostracion. =⇒ por la densidad de Q en R.⇐= por la transitividad de >.

Page 38: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Reduccion del teorema al lema principal

Para cada u, v en Q con u > v ,

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ v > (D−f )(x)}.

Entonces{x ∈ (a, b) : (D+f )(x) > (D−f )(x)} =

⋃u,v∈Q : u>v

Eu,v ,

Por eso es suficiente probar que µ∗(Eu,v ) = 0.

Page 39: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Plan

1 Herramientas

2 Reduccion al lema principal

3 Lema principal

4 La integral de la derivada

Page 40: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Parte principal de la demostracion del teorema

Al demostrar el siguiente resultado, tendremos demostradoel teorema sobre la derivada de una funcion creciente.

Lema (la parte principal del teorema de la derivada de funcion creciente)Sean a < b, f : [a, b]→ R una funcion creciente, u, v ∈ R, u > v ,

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}.

Entonces µ∗(Eu,v ) = 0.

Page 41: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Idea intuitiva de la demostracion

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}, s := µ∗(Eu,v ).

Vamos a encontrar dos listas de intervalos, [xj − ξj , xj ]mj=1, [yk , yk + ηk ]nk=1, tales quem∑

j=1ξj ≈ s,

n∑k=1

ηk ≈ s,

cada [yk , yk + ηk ] esta contenido en uno de los [xj − ξj , xj ],

en los intervalos [xj − ξj , xj ] la funcion f crece lentamente,

en los intervalos [yk , yk + ηk ] la funcion f crece rapidamente.

Luego tendremos us ≤ vs, lo cual es posible solo cuando s = 0.

Page 42: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Idea intuitiva de la demostracion

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}, s := µ∗(Eu,v ).

Vamos a encontrar dos listas de intervalos, [xj − ξj , xj ]mj=1, [yk , yk + ηk ]nk=1, tales que

m∑j=1

ξj ≈ s,n∑

k=1ηk ≈ s,

cada [yk , yk + ηk ] esta contenido en uno de los [xj − ξj , xj ],

en los intervalos [xj − ξj , xj ] la funcion f crece lentamente,

en los intervalos [yk , yk + ηk ] la funcion f crece rapidamente.

Luego tendremos us ≤ vs, lo cual es posible solo cuando s = 0.

Page 43: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Idea intuitiva de la demostracion

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}, s := µ∗(Eu,v ).

Vamos a encontrar dos listas de intervalos, [xj − ξj , xj ]mj=1, [yk , yk + ηk ]nk=1, tales quem∑

j=1ξj ≈ s,

n∑k=1

ηk ≈ s,

cada [yk , yk + ηk ] esta contenido en uno de los [xj − ξj , xj ],

en los intervalos [xj − ξj , xj ] la funcion f crece lentamente,

en los intervalos [yk , yk + ηk ] la funcion f crece rapidamente.

Luego tendremos us ≤ vs, lo cual es posible solo cuando s = 0.

Page 44: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Idea intuitiva de la demostracion

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}, s := µ∗(Eu,v ).

Vamos a encontrar dos listas de intervalos, [xj − ξj , xj ]mj=1, [yk , yk + ηk ]nk=1, tales quem∑

j=1ξj ≈ s,

n∑k=1

ηk ≈ s,

cada [yk , yk + ηk ] esta contenido en uno de los [xj − ξj , xj ],

en los intervalos [xj − ξj , xj ] la funcion f crece lentamente,

en los intervalos [yk , yk + ηk ] la funcion f crece rapidamente.

Luego tendremos us ≤ vs, lo cual es posible solo cuando s = 0.

Page 45: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Idea intuitiva de la demostracion

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}, s := µ∗(Eu,v ).

Vamos a encontrar dos listas de intervalos, [xj − ξj , xj ]mj=1, [yk , yk + ηk ]nk=1, tales quem∑

j=1ξj ≈ s,

n∑k=1

ηk ≈ s,

cada [yk , yk + ηk ] esta contenido en uno de los [xj − ξj , xj ],

en los intervalos [xj − ξj , xj ] la funcion f crece lentamente,

en los intervalos [yk , yk + ηk ] la funcion f crece rapidamente.

Luego tendremos us ≤ vs, lo cual es posible solo cuando s = 0.

Page 46: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Idea intuitiva de la demostracion

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}, s := µ∗(Eu,v ).

Vamos a encontrar dos listas de intervalos, [xj − ξj , xj ]mj=1, [yk , yk + ηk ]nk=1, tales quem∑

j=1ξj ≈ s,

n∑k=1

ηk ≈ s,

cada [yk , yk + ηk ] esta contenido en uno de los [xj − ξj , xj ],

en los intervalos [xj − ξj , xj ] la funcion f crece lentamente,

en los intervalos [yk , yk + ηk ] la funcion f crece rapidamente.

Luego tendremos us ≤ vs, lo cual es posible solo cuando s = 0.

Page 47: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Idea intuitiva de la demostracion

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}, s := µ∗(Eu,v ).

Vamos a encontrar dos listas de intervalos, [xj − ξj , xj ]mj=1, [yk , yk + ηk ]nk=1, tales quem∑

j=1ξj ≈ s,

n∑k=1

ηk ≈ s,

cada [yk , yk + ηk ] esta contenido en uno de los [xj − ξj , xj ],

en los intervalos [xj − ξj , xj ] la funcion f crece lentamente,

en los intervalos [yk , yk + ηk ] la funcion f crece rapidamente.

Luego tendremos us ≤ vs, lo cual es posible solo cuando s = 0.

Page 48: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Demostracion.

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}.

1. Sea s = µ∗(Eu,v ). Elijamos ε > 0 arbitrario.Usando una descripcion de µ∗ encontramos G abierto tal que

Eu,v ⊆ G ⊆ (a, b), µ(G) < s + ε.

Page 49: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Demostracion.

Eu,v :={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}.

1. Sea s = µ∗(Eu,v ). Elijamos ε > 0 arbitrario.Usando una descripcion de µ∗ encontramos G abierto tal que

Eu,v ⊆ G ⊆ (a, b), µ(G) < s + ε.

Page 50: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Eu,v ={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}⊆ G ⊆ (a, b).

2. Para cada x en Eu,v y cada δ > 0, usando la condicion (D−f )(x) < v ,encontramos ξx ,δ en (0, δ) tal que

x − ξδ,x ∈ G , f (x)− f (x − ξδ,x ) < v ξδ,x .

La coleccion {[x − ξδ,x , x ] : x ∈ Eu,v , δ > 0} es una cubierta de Vitali de Eu,v .

Page 51: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Eu,v ={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}⊆ G ⊆ (a, b).

2. Para cada x en Eu,v y cada δ > 0, usando la condicion (D−f )(x) < v ,encontramos ξx ,δ en (0, δ) tal que

x − ξδ,x ∈ G , f (x)− f (x − ξδ,x ) < v ξδ,x .

La coleccion {[x − ξδ,x , x ] : x ∈ Eu,v , δ > 0} es una cubierta de Vitali de Eu,v .

Page 52: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Eu,v ={

x ∈ (a, b) : (D+f )(x) > u ∧ (D−f )(x) < v}⊆ G ⊆ (a, b).

2. Para cada x en Eu,v y cada δ > 0, usando la condicion (D−f )(x) < v ,encontramos ξx ,δ en (0, δ) tal que

x − ξδ,x ∈ G , f (x)− f (x − ξδ,x ) < v ξδ,x .

La coleccion {[x − ξδ,x , x ] : x ∈ Eu,v , δ > 0} es una cubierta de Vitali de Eu,v .

Page 53: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

3. El lema de Vitali nos da una subcubierta disjunta ([xj − ξj , xj ])1≤j≤m tal que

µ∗

Eu,v \

m⋃j=1

[xj − ξj , xj ]

< ε.

Pongamos

A := Eu,v ∩

m⋃j=1

(xj − ξj , xj)

.Entonces µ∗(A) > s − ε (por la propiedad subaditiva de µ∗).Por otro lado,

m∑j=1

ξj = µ

m⋃j=1

(xj − ξj , xj)

≤ µ(G) < s + ε.

Page 54: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

3. El lema de Vitali nos da una subcubierta disjunta ([xj − ξj , xj ])1≤j≤m tal que

µ∗

Eu,v \

m⋃j=1

[xj − ξj , xj ]

< ε.

Pongamos

A := Eu,v ∩

m⋃j=1

(xj − ξj , xj)

.Entonces µ∗(A) > s − ε (por la propiedad subaditiva de µ∗).

Por otro lado,m∑

j=1ξj = µ

m⋃j=1

(xj − ξj , xj)

≤ µ(G) < s + ε.

Page 55: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

3. El lema de Vitali nos da una subcubierta disjunta ([xj − ξj , xj ])1≤j≤m tal que

µ∗

Eu,v \

m⋃j=1

[xj − ξj , xj ]

< ε.

Pongamos

A := Eu,v ∩

m⋃j=1

(xj − ξj , xj)

.Entonces µ∗(A) > s − ε (por la propiedad subaditiva de µ∗).Por otro lado,

m∑j=1

ξj = µ

m⋃j=1

(xj − ξj , xj)

≤ µ(G) < s + ε.

Page 56: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

A = Eu,v ∩

m⋃j=1

(xj − ξj , xj)

, µ∗(A) > s − ε.

4. Dados y en A y δ > 0, primero encontramos j en {1, . . . ,m} tal que y ∈ (xj − ξj , xj).

Luego, usando la condicion (D+f )(y) > u, encontramos ηy ,δ en (0, δ) tal que

y + ηy ,δ ∈ (xj − ξj , xj), f (y + ηy ,δ)− f (y) > u ηy ,δ.

La coleccion {[y , y + ηy ,δ] : y ∈ A, δ > 0} es una cubierta de Vitali de A.

Sea ([yk , yk + ηk ])1≤k≤n una subcubierta finita disjunta tal quen∑

k=1ηk > s − 2ε.

Page 57: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

A = Eu,v ∩

m⋃j=1

(xj − ξj , xj)

, µ∗(A) > s − ε.

4. Dados y en A y δ > 0, primero encontramos j en {1, . . . ,m} tal que y ∈ (xj − ξj , xj).Luego, usando la condicion (D+f )(y) > u, encontramos ηy ,δ en (0, δ) tal que

y + ηy ,δ ∈ (xj − ξj , xj), f (y + ηy ,δ)− f (y) > u ηy ,δ.

La coleccion {[y , y + ηy ,δ] : y ∈ A, δ > 0} es una cubierta de Vitali de A.

Sea ([yk , yk + ηk ])1≤k≤n una subcubierta finita disjunta tal quen∑

k=1ηk > s − 2ε.

Page 58: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

A = Eu,v ∩

m⋃j=1

(xj − ξj , xj)

, µ∗(A) > s − ε.

4. Dados y en A y δ > 0, primero encontramos j en {1, . . . ,m} tal que y ∈ (xj − ξj , xj).Luego, usando la condicion (D+f )(y) > u, encontramos ηy ,δ en (0, δ) tal que

y + ηy ,δ ∈ (xj − ξj , xj), f (y + ηy ,δ)− f (y) > u ηy ,δ.

La coleccion {[y , y + ηy ,δ] : y ∈ A, δ > 0} es una cubierta de Vitali de A.

Sea ([yk , yk + ηk ])1≤k≤n una subcubierta finita disjunta tal quen∑

k=1ηk > s − 2ε.

Page 59: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

A = Eu,v ∩

m⋃j=1

(xj − ξj , xj)

, µ∗(A) > s − ε.

4. Dados y en A y δ > 0, primero encontramos j en {1, . . . ,m} tal que y ∈ (xj − ξj , xj).Luego, usando la condicion (D+f )(y) > u, encontramos ηy ,δ en (0, δ) tal que

y + ηy ,δ ∈ (xj − ξj , xj), f (y + ηy ,δ)− f (y) > u ηy ,δ.

La coleccion {[y , y + ηy ,δ] : y ∈ A, δ > 0} es una cubierta de Vitali de A.

Sea ([yk , yk + ηk ])1≤k≤n una subcubierta finita disjunta tal quen∑

k=1ηk > s − 2ε.

Page 60: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Final de la demostracion

5. Todo invervalo (yk , yk + ηk) esta contenido en un invervalo (xj − ξj , xj). Luego

n∑k=1

(f (yk + ηk)− f (yk)) ≤m∑

j=1(f (xj + ξj)− f (xj))

< >

un∑

k=1ηk v

m∑j=1

ξj

< >

u(s − 2ε) v(s + ε).

Como ε es arbitrario, us ≤ vs. Pero u > v . Esto implica que s = 0.

Page 61: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Final de la demostracion

5. Todo invervalo (yk , yk + ηk) esta contenido en un invervalo (xj − ξj , xj). Luego

n∑k=1

(f (yk + ηk)− f (yk)) ≤m∑

j=1(f (xj + ξj)− f (xj))

< >

un∑

k=1ηk v

m∑j=1

ξj

< >

u(s − 2ε) v(s + ε).

Como ε es arbitrario, us ≤ vs. Pero u > v . Esto implica que s = 0.

Page 62: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Final de la demostracion

5. Todo invervalo (yk , yk + ηk) esta contenido en un invervalo (xj − ξj , xj). Luego

n∑k=1

(f (yk + ηk)− f (yk)) ≤m∑

j=1(f (xj + ξj)− f (xj))

< >

un∑

k=1ηk v

m∑j=1

ξj< >

u(s − 2ε) v(s + ε).

Como ε es arbitrario, us ≤ vs. Pero u > v . Esto implica que s = 0.

Page 63: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Plan

1 Herramientas

2 Reduccion al lema principal

3 Lema principal

4 La integral de la derivada

Page 64: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (sobre la integral de la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′ es medible y ∫ b

af ′(x) dx ≤ f (b)− f (a).

Inicio de la demostracion. Por el teorema, existe f ′ c.t.p. Definimos gn : [a, b]→ R,

gn(x) :=

n(f(x + 1

n

)− f (x)

), x + 1

n ∈ [a, b];

0, x + 1n > b.

Entonces gn → f ′ c.t.p., y f ′ es medible.

Page 65: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (sobre la integral de la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′ es medible y ∫ b

af ′(x) dx ≤ f (b)− f (a).

Inicio de la demostracion. Por el teorema, existe f ′ c.t.p.

Definimos gn : [a, b]→ R,

gn(x) :=

n(f(x + 1

n

)− f (x)

), x + 1

n ∈ [a, b];

0, x + 1n > b.

Entonces gn → f ′ c.t.p., y f ′ es medible.

Page 66: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (sobre la integral de la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′ es medible y ∫ b

af ′(x) dx ≤ f (b)− f (a).

Inicio de la demostracion. Por el teorema, existe f ′ c.t.p. Definimos gn : [a, b]→ R,

gn(x) :=

n(f(x + 1

n

)− f (x)

), x + 1

n ∈ [a, b];

0, x + 1n > b.

Entonces gn → f ′ c.t.p., y f ′ es medible.

Page 67: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (sobre la integral de la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′ es medible y ∫ b

af ′(x) dx ≤ f (b)− f (a).

Inicio de la demostracion. Por el teorema, existe f ′ c.t.p. Definimos gn : [a, b]→ R,

gn(x) :=

n(f(x + 1

n

)− f (x)

), x + 1

n ∈ [a, b];

0, x + 1n > b.

Entonces gn → f ′ c.t.p., y f ′ es medible.

Page 68: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Proposicion (sobre la integral de la derivada de una funcion creciente)Sean a, b ∈ R, a < b, y sea f : [a, b]→ R una funcion creciente.Entonces f ′ es medible y ∫ b

af ′(x) dx ≤ f (b)− f (a).

Inicio de la demostracion. Por el teorema, existe f ′ c.t.p. Definimos gn : [a, b]→ R,

gn(x) :=

n(f(x + 1

n

)− f (x)

), x + 1

n ∈ [a, b];

0, x + 1n > b.

Entonces gn → f ′ c.t.p., y f ′ es medible.

Page 69: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

La integral de la derivada, final de la demostracion. Apliquemos el lema de Fatou:

∫ b

af ′(x) dx ≤ lim inf

n→∞

∫ b

agn(x) dx

= lim infn→∞

∫ b−1/n

agn(x) dx

= lim infn→∞

(n∫ b−1/n

af (x + 1/n) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

a+1/nf (x) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

b−1/nf (x) dx − n

∫ a+1/n

af (x) dx

)

≤ lim infn→∞

(n∫ b

b−1/nf (b) dx − n

∫ a+1/n

af (a) dx

)= f (b)− f (a).

Page 70: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

La integral de la derivada, final de la demostracion. Apliquemos el lema de Fatou:

∫ b

af ′(x) dx ≤ lim inf

n→∞

∫ b

agn(x) dx = lim inf

n→∞

∫ b−1/n

agn(x) dx

= lim infn→∞

(n∫ b−1/n

af (x + 1/n) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

a+1/nf (x) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

b−1/nf (x) dx − n

∫ a+1/n

af (x) dx

)

≤ lim infn→∞

(n∫ b

b−1/nf (b) dx − n

∫ a+1/n

af (a) dx

)= f (b)− f (a).

Page 71: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

La integral de la derivada, final de la demostracion. Apliquemos el lema de Fatou:

∫ b

af ′(x) dx ≤ lim inf

n→∞

∫ b

agn(x) dx = lim inf

n→∞

∫ b−1/n

agn(x) dx

= lim infn→∞

(n∫ b−1/n

af (x + 1/n) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

a+1/nf (x) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

b−1/nf (x) dx − n

∫ a+1/n

af (x) dx

)

≤ lim infn→∞

(n∫ b

b−1/nf (b) dx − n

∫ a+1/n

af (a) dx

)= f (b)− f (a).

Page 72: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

La integral de la derivada, final de la demostracion. Apliquemos el lema de Fatou:

∫ b

af ′(x) dx ≤ lim inf

n→∞

∫ b

agn(x) dx = lim inf

n→∞

∫ b−1/n

agn(x) dx

= lim infn→∞

(n∫ b−1/n

af (x + 1/n) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

a+1/nf (x) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

b−1/nf (x) dx − n

∫ a+1/n

af (x) dx

)

≤ lim infn→∞

(n∫ b

b−1/nf (b) dx − n

∫ a+1/n

af (a) dx

)= f (b)− f (a).

Page 73: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

La integral de la derivada, final de la demostracion. Apliquemos el lema de Fatou:

∫ b

af ′(x) dx ≤ lim inf

n→∞

∫ b

agn(x) dx = lim inf

n→∞

∫ b−1/n

agn(x) dx

= lim infn→∞

(n∫ b−1/n

af (x + 1/n) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

a+1/nf (x) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

b−1/nf (x) dx − n

∫ a+1/n

af (x) dx

)

≤ lim infn→∞

(n∫ b

b−1/nf (b) dx − n

∫ a+1/n

af (a) dx

)= f (b)− f (a).

Page 74: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

La integral de la derivada, final de la demostracion. Apliquemos el lema de Fatou:

∫ b

af ′(x) dx ≤ lim inf

n→∞

∫ b

agn(x) dx = lim inf

n→∞

∫ b−1/n

agn(x) dx

= lim infn→∞

(n∫ b−1/n

af (x + 1/n) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

a+1/nf (x) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

b−1/nf (x) dx − n

∫ a+1/n

af (x) dx

)

≤ lim infn→∞

(n∫ b

b−1/nf (b) dx − n

∫ a+1/n

af (a) dx

)

= f (b)− f (a).

Page 75: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

La integral de la derivada, final de la demostracion. Apliquemos el lema de Fatou:

∫ b

af ′(x) dx ≤ lim inf

n→∞

∫ b

agn(x) dx = lim inf

n→∞

∫ b−1/n

agn(x) dx

= lim infn→∞

(n∫ b−1/n

af (x + 1/n) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

a+1/nf (x) dx − n

∫ b−1/n

af (x) dx

)

= lim infn→∞

(n∫ b

b−1/nf (x) dx − n

∫ a+1/n

af (x) dx

)

≤ lim infn→∞

(n∫ b

b−1/nf (b) dx − n

∫ a+1/n

af (a) dx

)= f (b)− f (a).

Page 76: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Ejemplo que veremos en el futuro: la escalera de Cantor

Existe una funcion continua y creciente f : [0, 1]→ R tal que

f (0) < f (1) y f ′ = 0 c.t.p.

Para esta funcion ∫[0,1]

f ′ dµ = 0 < f (1)− f (0).

Page 77: Teorema de Lebesgue sobre la derivada de una función ...

Herramientas Reduccion al lema principal Lema principal La integral de la derivada

Ejemplo que veremos en el futuro: la escalera de Cantor

Existe una funcion continua y creciente f : [0, 1]→ R tal que

f (0) < f (1) y f ′ = 0 c.t.p.

Para esta funcion ∫[0,1]

f ′ dµ = 0 < f (1)− f (0).