Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ayudantı́a 10
Medidas de Radon, Teorı́a de distribuciones
Teorema (Riesz-Radon). Supongamos que ℓ : C(K) → R es una medida de Radon positiva, es decir,
Proposición. Para todo ℓ ∈ M(K) existen ℓ1 , ℓ2 ∈ M(K) positivas (únicamente determinadas por ℓ)
tales que
ℓ = ℓ1 − ℓ2 y ∥ℓ∥M(K) = ∥ℓ1 ∥M(K) + ∥ℓ2 ∥M(K) .
Observación. Si K es compacto, el dual topológico de C(K) se puede identificar con M(K), que en
este caso coincide con el espacio de medidas finitas y regulares con signo.
Observación. Hay una inyección de K en M(K) dada por el mapeo K → M(K) tal que x 7→ δx , donde
δx es la medida de Dirac en x, es decir:
1 if x ∈ A
δx (A) = .
0 if x ∈
/A
Z
Para cualquier f ∈ C(K) se tiene que f dδx = f (x) = ⟨δx , f ⟩. Utilizamos la notación δx tanto
para la medida de Radon como para su identificación con la medida Boreliana, la distinción se hará
dependiendo del contexto.
Además, una medida se dice de probabilidad si µ(Ω) = 1. Demuestre que toda aplicación continua
A:Ω→− Ω posee una medida de probabilidad invariante.
Problema 2
Consideremos u ∈ D ′ . Si u′ = 0, tenemos que ⟨u′ , ϕ⟩ = 0 para todo ϕ ∈ D . Luego,
′
u, ϕ = − u′ , ϕ = 0
pero la ecuación ⟨u, ϕ′ ⟩ = 0 no es suficiente para determinar u. La razón es que para conocer u,
tenemos que saber el valor de ⟨u, ϕ⟩ para todo ϕ ∈ D . Sin embargo, solo sabemos su valor en las
MAT227 1
MAT 227- Análisis III U NIVERSIDAD T ÉCNICA F EDERICO S ANTA M AR ÍA
Profesor: Julio Deride D EPARTAMENTO DE M ATEM ÁTICA
Ayudante: Fernanda Urrea Semestre: OTO ÑO 2022
no es derivada de ninguna función test pues cualquier anti-derivada de ϕ0 no tiene soporte compacto.
Para poder caracterizar u necesitamos caracterizar todas las funciones test que son derivadas de fun-
ciones test.
(a) Sea ϕ ∈ C0∞ (R). Pruebe que ϕ = ψ′ para alguna ψ ∈ C0∞ (R) si y sólo si
R∞
−∞ ϕ(x)dx = 0.
(b) Sea u ∈ D ′ (R) y suponga que u′ = 0. Demuestre que u = c. Explicitamente, esto quiere decir
que u es la función constante c, para algún c ∈ K, esto es,
Z +∞
⟨u, ϕ⟩ = cϕ.
−∞
MAT227 2