TRABAJO TEORÍA DE LA MEDIDA

"DIFERENCIACIÓN"

MARÍA CHÁVEZ MÉNDEZ

HUGO BENJUMEA HERNANDEZ
GUSTAVO CAICEDO MEZA

UNIVERSIDAD DEL ATLÁNTICO

7 de diciembre de 2019

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
1 / 18
 DERIVADAS DE MEDIDAS

Recordemos la definición de derivadas

Dado que f es diferenciable en x , tenemos que ∀x , y ∈ R 1 , se cumple
que.

f (x ) − f (y )
f 0 (x ) = l«ım
x →y x −y
Es decir, ∀ε > 0, ∃δ > 0, tal que:
 
 f (x ) − f (y ) 
0
0 < |x − y | < δ ⇒ −f (x ) <ε
 
x −y



MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
2 / 18
 Teorema.
Sea µ una medida de Borel compleja en R 1 y sea

f (x ) = µ((−∞, x )) (x ∈ R 1 )
Si x ∈ R 1 y A es un número complejo, cada una de las siguientes
afirmaciones implica la otra:
(a)f es diferenciable en x y f 0 (x ) = A.
(b) A cada ε > 0 le corresponde un δ > 0 tal que
 
 µ(I) 
− A <ε (1)
 

 m(I)

Para todo segmento abierto I que contenga a x y cuya longitud sea

menor que δ. Aquí m denota la medida de Lebesgue en R 1 .

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
3 / 18
 Definición
función maximal Mµ , que está definida, para µ ≥ 0, por:

(Mµ)(x ) = sup (Qr µ)(x )

0<r <∞

Teorema* Las funciones Mµ : R k → [0, ∞] son semicontinuas

inferiormente, y por tanto medibles.
Para demostrar esto, suponemos µ ≥ 0, elegimos λ > 0 y definimos

E = {x ∈ R k /(Mµ)(x ) > λ}

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
4 / 18
 Definición. Puntos de Lebesgue. Si f ∈ L1 (R k ), se llama punto
de Lebesgue de f a cualquier x ∈ R k para el que
1 Z
l«ım |f (y ) − f (x )|dm(y ) = 0
r →0 m(Br ) B(x ,r )

Teorema de la Diferenciación de Lebesgue. Si f ∈ L1 (R k ),

entonces casi todo x ∈ R k es un punto de Lebesgue de f.

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
5 / 18
 Teorema. Sea µ una medida de Borel compleja en R k tal que
µ  m, y sea f la derivada de Radon-Nidokym de µ con respecto a
m.
Entonces, Dµ = f en c.t.p.[m], y
Z
µ(E ) = (Dµ)dm
E

Para todos los conjuntos de Borel E ⊂ R k .

En otras palabras la derivada de Radon-Nidokym puede obtenerse
como un limite de los cocientes Qr µ

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
6 / 18
 Conjuntos que se contraen adecuadamente

Sea x ∈ R k . Se dice que una sucesión {Ei } de conjuntos de Borel de

R k se contrae a x adecuadamente si existe un número α > 0 con la
siguiente propiedad: existe una sucesión de bolas B(x , ri ), con
limri = 0, tal que Ei ⊂ B(x , ri ) y

m(Ei ) ≥ α · m(B(x , ri ))
para i=1, 2, 3,...

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
7 / 18
 Teorema A cada x ∈ Rk asociémosle un sucesión {Ei (x )} que se
contraiga a x adecuadamente y sea f ∈ L1 (R k ). Entonces
1 Z
f (x ) = l«ım fdm
i→∞ m(Ei (x )) Ei (x )

para todo punto de Lebesgue de f , y por tanto, para c.t.p.[m]

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
8 / 18
 7.11. Teorema. si f ∈ L1 (R 1 ) y
Z x
F (x ) = fdm (−∞ < x < ∞)
−∞

entonces F 0 (x ) = f (x ) en todo punto de Lebesgue de f , y por tanto

en c.t.p.[m].

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembre
DEL
de 2019
ATLÁNTICO)
9 / 18
 Definicion Se dice que una función compleja f definida en un
intervalo I = [a, b], es absolutamente continua en I si a cadaε > 0 le
corresponde un δ > 0 tal que
n
X
|f (βi ) − f (αi )| ≤ , ∀n (2)
i=1

Y para cualquier colección disjunta de segmentos

(α1 , β1 ), · · · , (αn , βn ) en I.

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
10 / 18
 7.18.Teorema Sea I = [a, b] y sea f : I −→ R 1 continua y no
decreciente. Cada una de las siguientes afirmaciones sobre f implica
las otras dos:
(a) f es Absolutamente continua en I
(b) f Aplica conjuntos de medida cero en conjuntos de medida cero.
(c) f es diferenciable en todo punto de I, f 0 ∈ L1 , y
Z x
f (x ) − f (a) = f 0 (t)dt, (a ≤ x ≤ b) (3)
a

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
11 / 18
 7.19. TeoremaSupongamos que f : I 7−→ R 1 es absolutamente
continua, I = [a, b], y se define
N
X
f (s) = sup |f (ti ) − f (ti−1 ) | a≤x ≤b
i=1

Donde el supremo se toma sobre todos los N y sobre todos las

elecciones de {ti } tales que

a = t0 < t1 < ....tN = x

Entonces las funciones F , F + f , F − f son no decreciente y

absolutamente continua en I.

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
12 / 18
 EJERCICIOS
Ejercicio 1. Demuéstrese que |f (x )| ≤ (Mf )(x ) en cada punto de
Lebesgue de f si f ∈ L1 (R k ).
Demostración Sea f ∈ L1 (R k )

|f (x )| |f (x )| Z
|f (x )| = l«ım m(Br ) = l«ım dm
r →0 m(Br ) r →0 m(Br ) B(x ,r )

1 Z 1 Z
⇒ l«ım |f (x )|dm = l«ım |f (x ) + f − f |dm
r →0 m(Br ) B(x ,r ) r →0 m(Br ) B(x ,r )

1 Z
⇒ l«ım |f + f (x ) − f |dm
r →0 m(Br ) B(x ,r )

1 Z
≤ l«ım [|f | + |f (x ) − f |]dm
r →0 m(Br ) B(x ,r )

Por desigualdad triangular.

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO
HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
13 / 18
 1 Z Z
≤ l«ım ( |f |dm + |f (x ) − f |dm)
r →0 m(Br ) B(x ,r ) B(x ,r )

Por propiedad de la integral

1 Z 1 Z
≤ l«ım |f |dm + l«ım |f (x ) − f |dm
r →0 m(Br ) B(x ,r ) r →0 m(Br ) B(x ,r )

Realizando propiedad distributiva.

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
14 / 18
 1 Z 1 Z
≤ l«ım |f |dm + l«ım |f − f (x )|dm
r →0 m(Br ) B(x ,r ) r →0 m(Br ) B(x ,r )

Por propiedad de valor absoluto, y además como x ∈ L1 (R k ) es

punto de Lebesgue de f .
1 Z
≤ l«ım |f |dm + 0
r →0 m(Br ) B(x ,r )

1 Z
≤ sup |f |dm ≤ (Mf )(x )
0<r <∞ m(Br ) B(x ,r )

Aplicando la definición de función maximal. Luego,

|f (x )| ≤ (Mf )(x )

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
15 / 18
 Ejercicio 2. Si f (x ) = [x ] y F (x ) = 0x f , entonces
R

F (x ) = nx − n(n+1)
2
, para todo x ∈ [n, n + 1) aplicando los resultados
anteriores tenemos
1 n(n + 1) n(n + 1)
F+0 (x ) = l«ım ((n(x + δi ) − ) − (n(δi ) − )) =
i→∞ δi 2 2
1 Z x +δi
= l«ım fdm = f (x )
i→∞ δi x

se obtiene lo mismo para la derivación por la izquierda y veremos que

F es continua y F 0 (x ) = f (x ) para todo x ∈
/Z

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
16 / 18
 Ejercicio 3. Demuéstrese que el producto de dos funciones
absolutamente continua en [a, b] es absolutamente continua. Utilice
este resultado para obtener un teorema sobre integración por partes.
Demostración. En teoremas anteriores hemos mostrado que F ,
F + f , F − f son funciones absolutamente continuas. Ahora
mostremos que el producto también es.
En efecto, sean f , g absolutamente continuas. Dado que cada función
absolutamente continua está limitada en cada intervalo cerrado
limitado, luego supóngase que |f ||g| 6 M.
Es decir X 0 0
|f (xi )g(xi ) − f (xi )g(xi )|

X 0 0 X 0 0 0
6 |f (xi )g(xi ) − f (xi )g(xi )| + |f (xi )g(xi ) − f (xi )g(xi )|
Luego por definición de continuidad absoluta tenemos.
X 0 X 0
6M |g(xi ) − g(xi )| + M |f (xi ) − f (xi )|
MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO
HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
17 / 18
 Esto muestra que el producto de fg son absolutamente continua cada
vez que f , g lo sean.
0 0 0
(fg) = f g + fg
Integrando
Z Z
0 0
f (x )g (x )dx = f (x )g(x ) − f (x )g(x )dx

Luego aplicando la regla del producto para funciones diferenciables de

(a) hasta (b) y tomando f , g absolutamente continua podemos decir
Z b Z b
f (x )g 0 (x ) = f (b)g(b) − f (a)g(a) − f 0 (x )g(x )
a a
Ahora tomando u = f (x ) y v = g(x ) se tiene que du = f 0 (x ) y
dv = g 0 (x ). Esto hace que el teorema por partes tome una forma
mucho mas fácil, es decir.
Z Z
udv = uv − vdu + k

MARÍA CHÁVEZ MÉNDEZ HUGO BENJUMEA TRABAJO

HERNANDEZ
TEORÍA
GUSTAVO
DE LA
CAICEDO
MEDIDAMEZA (UNIVERSIDAD
7 de diciembreDEL
de 2019
ATLÁNTICO)
18 / 18