44 CAPÍTULO 2.

DIFERENCIACIÓN

Esto demuestra que Mρ ϕ(y) = Mr f ( ρr y), ya que ρr R ∈ Br ( ρr y) y cuando R recorre Bρ (y),

entonces ρr R recorre todo Br ( ρr y). Para esta conclusión hemos usado que tanto B es base B-F
como invariante por homotecias. Esto implica:
r
|{y ∈ Rn : Mρ ϕ(y) > λ}| = |{y ∈ Rn : Mr f ( y) > λ}| =
ρ
ρ  ρ n  ρ n Z |f | Z
|ϕ|
= |{ z : Mρ f (z) > λ}| = |{z : Mρ f (z) > λ}| ≤ c =c .
r r r λ λ

En particular, la anterior cadena demuestra que para cada ρ > 0 y cada ϕ ∈ L1 uno obtiene
que:
|ϕ|
Z
|{Mρ ϕ > λ}| ≤ c ,
λ
con la misma constante que la de las hipótesis de (b).
Por tanto, dado f ∈ L1 , tenemos:
∞
|f |
[ Z
{M f > λ} = {Mn f > λ}, ⇒ |{M f > λ}| = lı́m|{Mn f > λ}| ≤ c ,
n=1
n λ

lo cual concluye el resultado.

En virtud del anterior resultado, se puede extender una de las implicaciones de la siguiente
forma. Para ello consideramos ϕ : [0, ∞] → [0, ∞] una función estrictamente creciente, con
ϕ(0) = 0 y tal que ϕ(u) es de orden mayor o igual que u cuando u → Z ∞. Definimos ϕ(L)
como la colección de todas las funciones medibles f : Rn → R tales que ϕ(|f |) < ∞.

Teorema 2.30. Sea B una base B-F invariante bajo homotecias. Asumimos que B diferencia
ϕ(L). Entonces existe una constante c > 0 tal que para todo λ > 0 y f ∈ ϕ(L), f ≥ 0 se
tiene Z  
f
|{M f > λ}| ≤ c ϕ .
λ

Demostración. Asumimos que el teorema no es cierto. Entonces, para cada ck > 0 existe
fk ∈ ϕ(L), fk ≥ 0 y λk > 0 tal que:
Z  
fk
|{M fk > λk }| > ck ϕ .
λk

Sea gk = λfkk . Tomamos una sucesión {ck }, ck > 0 de manera que k c1k < ϕ(1)
P
. Tomamos
R2
subconjunto compactos Pk contenidos en {Mrk gk > 1} de forma que |Pk | > ck ϕ(gk ).Puesto
que los elementos de la base son abiertos, asociado al compactoR Pk existe una familia finita
Fk formada por elementos {Ri }N k
i=1 de la base que verifican g > |Ri |. Sea rk el máximo
Ri k
de los diámetros de los miembros de Fk .
Sea Q el cubo unidad abierto y fijamos un k. Invocando el Lema 2.20 podemos cubrir el
cubo Q por medio de una sucesión disjunta {Pkj }j≥1 de conjuntos homotécicos (mediante las
homotecias ρkj de razón αkj ) a Pk contenidos en Q de manera que αkj rk < k1 , para cada k
2.3. OPERADOR MAXIMAL Y PROPIEDADES DE DIFERENCIACIÓN DE B 45

y j. Definimos las funciones gkj imponiendo gkj (x) = gk (ρ−1

P
kj x), hk = j≥1 gkj , y finalmente
f = supk hk . Tenemos sin más que aplicar el cambio de variable:
Z Z
1 1 1
ϕ(gkj (x))dx = ϕ(gk (y))dy < ,
|Pkj | |Pk | ck

luego:
Z Z
1
ϕ(gkj (x))dx = ϕ(gkj (x))dx < |Pkj |.
ck
Por otro lado, se tiene:
" #
XZ X X |Pkj | X 1
ϕ(gkj (x))dx = ≤ ,
k,j k j
ck k
ck

U P
ya que j Pkj ⊂ Q implica que j |Pkj | ≤ |Q| = 1. Por otro lado, vemos que h verifica:
Z XZ X 1 1
ϕ(f (x))dx ≤ ϕ(gkj (x))dx ≤ < ϕ(1),
k,j k
ck 2

P
donde en la primera desigualdad hemos aplicado que ϕ es creciente y f ≤ k,j gkj . Esto
demuestra que f ∈ Rϕ(L).
Veamos que D( f, x) ≥ 1 para casi todo x ∈ Q. Fijado k, existe j tal que x ∈ Pkj , y
llamando z = ρ−1
kj x tenemos z ∈ Pk y existe R ∈ Fk tal que z ∈ R y δ(R) ≤ rk . Se verifica:

Z
1
gk > 1.
|R| R

Si R′ es el homotético de R bajo la homotecia ρkj , se tendrá que x ∈ R′ , δ(R′ ) < 1

k
y:
Z Z Z
1 1 1
f≥ ′ gkj = gk > 1,
|R′ | R′ |R | R′ |R| R

donde hemos usado que f ≥ hk ≥ gkj , para cada k, j. Para casi todo x ∈ Q podemos
encontrar una sucesión {Pkj(k) } de compactos a la que aplicar lo visto justoR antes, luego
habremos construido una sucesión {Rk } contrayéndose a x de manera que |R1k | Rk f > 1. Lo
R
anterior implica que D( f, x) ≥ 1 para casi todo x ∈ Q.
RComo por hipótesis B diferencia ϕ(L), se tiene que para casi todo x ∈ Q, f (x) =
D( h, x) ≥ 1, por lo que obtenemos:
Z
1
ϕ(1) > ϕ(f ) ≥ ϕ(1).
2 Q

Esta contradicción concluye el teorema.