Vous êtes sur la page 1sur 2

Solución Primera Prueba de Análisis y Topologı́a

Profesor: Raúl Fierro P.

Problema 1 Sean A una σ-álgebra sobre un conjunto no vacı́o E, µ una medida


finita sobre A y para cada A ⊆ E definimos

S(A) = sup{µ(B) : B ⊆ A, B ∈ A} e I(A) = ı́nf{µ(C) : A ⊆ C, C ∈ A}.

Demuestre que

(1.1) para todo A ⊆ E, I(A) ≤ µ∗ (A) y que

(1.2) para todo A ∈ A∗ , µ∗ (A) ≤ S(A).

Demostración. Sea  > 0. Para cada A ⊆ E, existe (Cn ; n ∈ N) sucesión en A tal que
A⊆ ∞
S
n=0 Cn y
X∞
µ(Cn ) < µ∗ (A) + .
n=0
S∞
Sea C = n=0 Cn . Luego, C ∈ A, A ⊆ C y µ(C) < µ∗ (A) + . Se obtiene de aquı́ que
(1.1) se satisface.
S∞
Sea A ∈ A∗ . Luego, existe (Bn ; n ∈ N) sucesión en A tal que Ac ⊆ n=0 Bn y

X
µ(B) ≤ µ(Bn ) < µ∗ (Ac ) + , (1)
n=0
S∞
donde B = n=0 Bn . Luego, B ∈ A, Ac ⊆ B y µ(B) < µ∗ (Ac ) + . Como µ
es finita, µ(B) = µ(E) − µ(B c ) y como µ∗ es medida (finita) sobre A∗ , entonces
µ∗ (Ac ) = µ(E) − µ∗ (A). Por (1) se tiene µ(B c ) > µ∗ (A) −  y como B c ⊆ A,
S(A) ≥ µ∗ (A), concluyendo la demostración.

Problema 2 Sean (E, E, µ) un espacio de medida con µ σ-finita, y (νn ; n ∈ N) una


sucesión de medidas reales no negativas y tales que para todo n ∈ N, νn  µ y todo
dνn
A ∈ E, νn (A) ≤ νn+1 (A). Se define además, fn = dµ
, f (x) = lı́mn→∞ fn (x), (x ∈ E),
y ν(A) = lı́mn→∞ νn (A), (A ∈ E).

Demuestre que
(2.1) para todo n ∈ N, 0 ≤ fn ≤ fn+1 , µ-c.s.,

(2.2) ν es una medida sobre E, y que

(2.3) f ∈ L1 (E, E, µ), si y sólo si, ν es finita.

Demostración. Para todo n ∈ N y todo A ∈ E se tiene


Z
(fn+1 − fn ) dµ = νn+1 (A) − νn (A) ≥ 0,
A

y Z
fn dµ = νn (A) ≥ 0.
A

Por lo tanto, (2.1) se satisface.

Notamos que Z Z
ν(A) = lı́m fn dµ = f dµ.
n→∞ A A

La segunda igualdad es consecuencia de (2.1) y el Teorema de Convergencia Monótona.


R
Ası́, para todo A ∈ E, ν(A) = A f dµ. Por lo tanto, ν es una medida, demostrándose
(2.2).

Se tiene que Z
ν(E) = |ν|(E) = |f | dµ.

Por lo tanto, ν(E) < ∞, si y sólo si, f ∈ L1 (E, E, µ), concluyendo la demostración.

Tiempo: 90 minutos. Fecha: 20 de mayo de 2010.

Vous aimerez peut-être aussi