04.06.2013 Views

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

262 Capítulo 7. Teoría de la medida<br />

luego las funciones sn son simples y, tomando límites, es obvio que la sucesión<br />

converge puntualmente a f.<br />

Definición 7.11 Sea X un espacio medida y s = n<br />

i=1<br />

en X. Definimos la integral de s en X como<br />

<br />

n<br />

sdµ= αiµ(Ai) ∈ [0, +∞],<br />

X<br />

i=1<br />

αiχAi<br />

una función simple<br />

con el convenio de que +∞·0=0.<br />

Si E es un subconjunto medible de X, entonces s|E = n<br />

αiχAi∩E, donde<br />

i=1<br />

las funciones características se toman ahora sobre E. Por lo tanto<br />

<br />

n<br />

s|E dµ = ai µ(Ai ∩ E).<br />

E<br />

i=1<br />

Por otro lado sχE = n<br />

αiχAi∩E (con las funciones características en X), luego<br />

i=1<br />

concluimos que<br />

<br />

n<br />

sdµ= sχE dµ = αi µ(Ai ∩ E),<br />

E<br />

X<br />

i=1<br />

es decir, que a efectos de integración podemos adoptar consistentemente el convenio<br />

explicado antes por el que identificamos la función s|E con sχE.<br />

Ahora necesitamos el siguiente resultado técnico, que después generalizaremos<br />

notablemente.<br />

Teorema 7.12 Sea X un espacio medida.<br />

a) Sea s una función simple en X. Para cada subconjunto medible E de X<br />

definimos ν(E) = <br />

sdµ. Entonces ν es una medida en X.<br />

E<br />

b) Si s y t son funciones simples en X se cumple<br />

<br />

<br />

(s + t) dµ = sdµ+<br />

X<br />

X<br />

X<br />

t dµ.<br />

Demostración: a) Sea s = n<br />

αiχAi. Claramente ν(∅) = 0. Sea E =<br />

∞<br />

Ej una unión disjunta de conjuntos medibles. Entonces<br />

j=1<br />

ν(E) =<br />

=<br />

i=1<br />

n<br />

αiµ(Ai ∩ E) =<br />

i=1<br />

j=1 i=1<br />

n<br />

αi<br />

i=1 j=1<br />

∞<br />

µ(Ai ∩ Ej)<br />

∞ n<br />

∞<br />

αiµ(Ai ∩ Ej) = ν(Ej).<br />

j=1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!