Medida 202410 13

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 1

Universidad de los Andes

MATE-4220

Teorı́a de Medida e Integración Taller 13

Teorema de Riesz; medidas signadas. Fecha de entrega: 09 de mayo de 2024

1. Demuestre el lema de Riemann-Lebesgue: Sea f ∈ L1 (R) y defina fb : R → C, fb(t) = e−2πixt f (x) dx.
R
R
Demuestre que limt→∞ fb(t) = 0.
Hint. Puede hacer una prueba más o menos directa (primero se prueba la afirmación para funciones
simples tipo χ(a,b) , luego se mustra para funciones medibles simples nonegativas y luego para cualquier
f ∈ L1 (R)). Otra opción es hacer el cambio de variable y = x + 21 tt2 en la integral y usar el Ejercicio
3(a) del Taller 11.

2. Sea X una espacio topológico con la topologı́a discreta sea I : Cc (X) → R, If = 0 el funcional lineal
trivial y defina
(
0, A is contable,
µ : PX → [0, ∞], µ(A) = y ν : PX → [0, ∞], ν(A) = 0.
∞, A no is contable.
(a) Convenzase que µ es una medida (no tiene que escribirlo).
(b) Demuestre que para todo f ∈ Cc (X) se tiene que
Z Z
If = f dµ = f dν.
X X

¿Contradice el teorema de representación de Riesz? ¿Cuál es la medida que viene del teorema
de Riesz?

3. Sea µ una medida con signo sobre la σ-álgebra A y sea (Aj )j∈N ⊆ A. Demuestre

[ 
(i) A1 ⊆ A2 ⊆ A3 ⊆ . . . =⇒ µ Aj = lim µ(An ),
n→∞
j=1
\∞ 
(ii) A1 ⊇ A2 ⊇ A3 ⊇ . . . y |µ(A1 )| < ∞ =⇒ µ Aj = lim µ(An ).
n→∞
j=1

4. Sea µ : A → [−∞, ∞) una medida con signo sobre la σ-álgebra A y sea A ∈ A con µ(A) > −∞.
(a) Demuestre que para todo ε > 0 existe un conjunto B ⊆ A, B ∈ A tal que µ(B) ≥ µ(A) y que
para todo C ⊆ B, C ∈ A se tiene que µ(C) ≥ −ε.
(b) Demuestre que existe una sucesión A ⊇ B1 ⊇ B2 ⊇ . . . de conjuntos Bj ∈ A tal que µ(A) ≤
µ(B1 ) ≤ µ(B2 ) ≤ . . . y µ(C) > − n1 para todo C ∈ A con C ⊆ Bn .
(c) Demuestre que existe un conjunto B ∈ A µ-positivo con B ⊆ A y µ(B) ≥ µ(A).

Definiciones que veremos el lunes:


Sea (X, A) un espacio medible. Una función µ : A → [−∞, ∞) se llama una medida signada si
(i) µ(∅) = 0,
∞ P∞
(ii) σ-aditividad: µ(∪˙ n=1 An ) = n=1 µ(An ) para (An )n∈N ⊆ A con Aj ∩ Ak = ∅ si j 6= k.

También podría gustarte