Se recordarn algunos conceptos vistos en la clase, para facilitar el estudio de diferenciacin.

Definicin 1. Un mapeo (funcin) : 2X [0, ] es llamado una medida en X (un conjunto no vaco)
s:
i) () = 0 y
ii) si
A

Ak

k=1

entonces
(A)

(Ak )

A la condicin (ii) se le conoce como subaditividad

Definicin 2. Sea una medida en X y C X. entonces esta restringido a C, denotndolo
bC
es la medida definida por
bC := (A C)

A X

Definicin 3. Un conjunto A X es medible si para cada conjunto B X tenemos que:

(B) = (B A) + (B A)

Definicin 4.
i) Una medida en X es regular si para cada conjunto A X existe un conjunto
B medible tal que A B y (A) = (B).
ii) Una medida Rn es Borel Regular si es Borel y para cada A Rn existe un conjunto de Borel
B tal que A B y (A) = (B)
iii) Una medida Rn es una medida de Radon si es Borel regular y la medida es finita((K) < )
para cada conjunto compacto (cerrado y acotado) K Rn

Diferenciacin de medidas de Radon

Derivadas
Sean y medidas de Radon en Rn definimos:
Definicin 5. Para cada punto en Rn , definimos

(B(x, r))

lim supr0
(B(x, r))
(x) :=
D

si (B(r, x)) > 0

si
1

r>0
(B(r, x)) > 0 para algn r > 0

(B(x, r))

lim inf r0
(B(x, r))
D (x) :=

r>0

si (B(r, x)) > 0

(B(r, x)) > 0 para algn r > 0

si

(x) = D (x) < +, decimos que es diferenciable con respecto a en x y

Definicin 6. S D
escribimos:
(x) = D (x).
D (x) := D
Lema 1. Dado un fijo, 0 < < ,entonces:
1. A {x Rn |D (x) < } implica (A) (A)
(x) < } implica (A) (A)
2. A {x Rn |D
Observacin : El conjunto A no necesariamente es o medible aqu.
Demostracin(1):
Podemos asumir que (Rn ), (Rn ) < , ya que de otro modo podramos considerar y restringidos a
conjuntos compactos de Rn .
Fijemos  > 0. Sea U un abierto, A U , donde A satisface la hipotsis en (1).
F := {B|B = B(a, r), a A, B U, (B) ( + )(B)}.
entonces inf{r|B(a, r) F} = 0 para cada a A lo que implica que para cada conjunto abierto U Rn
existe una coleccin numerable G de bolas disjuntas tales que
[
U
BG

y
!

=0

BG

De donde
(A)

(B) ( + )

(B) ( + )(U )

BG

Este estimado es vlido para cada abierto A U , y de aqu, la desigualdad de arriba implica (A) (+)
con lo que queda demostrado (1).
Teorema 1. Sean y medidas de Radon en Rn .Entonces
1. D existe y es finita casi en todas partes con respecto a
2. D es -medible.
2

Demstracin:
Podemos suponer (Rn ), (Rn ) < como podramos de otra forma coniderar y restringidos a subconjuntos compactos de Rn .
Afirmacin: D existe y es finita medible casi en todas partes.
Prueba: Sea I := {x|D (x) = +} Obsrvese que para cada > 0, I {x|D (x) } entonces
(I) 1 (I). si hacemos tender concluimos que (I) = 0 y as D (x) es finito en casi todas
partes con respecto a
Para cada 0 < a < b < D (x) < definimos:
(x) < }
R(a, b) := {x|D (x) < a < b < D
Usando el lema anterior, vemos que, b(R(a, b)) (R(a, b)) (R(a, b));
De donde (R(a, b)) = 0, ya que b > a. Ms an,
(x) < } =
{x|D (x) < D

[
0<a<b (a,b racional)

R(a, b)