Scribd
Cargar
179 vistas1 página

Ene 18 - 1sem - Ej 1

1) Se define la integral de Lebesgue de funciones f y g sobre un espacio de medida (X, Σ, μ). 2) Se demuestra que si f(x)g(x) ≥ 1 para todo x en X, entonces la integral de f y la integral de g cumplen que ∫X f dμ ∫X g dμ ≥ 1. 3) La demostración usa la definición de integral de Lebesgue como supremo sobre particiones y las propiedades de las funciones f y g siendo positivas.

Cargado por

Manuel Muñoz Blázquez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
179 vistas1 página

Ene 18 - 1sem - Ej 1

1) Se define la integral de Lebesgue de funciones f y g sobre un espacio de medida (X, Σ, μ). 2) Se demuestra que si f(x)g(x) ≥ 1 para todo x en X, entonces la integral de f y la integral de g cumplen que ∫X f dμ ∫X g dμ ≥ 1. 3) La demostración usa la definición de integral de Lebesgue como supremo sobre particiones y las propiedades de las funciones f y g siendo positivas.

Cargado por

Manuel Muñoz Blázquez
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

INTEGRAL DE LEBESGUE

Exámenes

2018 - 1ª Semana

Ejercicio 1. Probar que si ✙(✡ ) = 1, con f y g medibles positivas tales que

f (x )g(x ) m 1

entonces se tiene que

¶✡ f d✙ ¶✡ g d✙ m1

Solución:

En primer lugar, hay que observar que las funciones pueden no ser ✙-integrables. Además, no hay que
suponer que las funciones sean reales, pues pueden estar definidas en espacios de medida más generales.

Vamos a denotar F(✡ ) al conjunto de las particiones finitas disjuntas de ✡ formadas por elementos de la
✤-álgebra del espacio de medida. Denotaremos A = A 1 , ¢, A n c F(✡ ) a una partición arbitraria.

Se tiene con estas consideraciones que (revisar definición pág. 155 del libro de Valdivia)
n n
¶✡ f d✙ = sup ✟
i=1
inf f (x ) ✙(A i )
x c Ai
¶✡ g d✙ = sup ✟
i=1
inf g(x ) ✙(A i )
x c Ai
A c F( ✡ ) A c F( ✡ )

Se tiene entonces que

n m
¶✡ f d✙ ¶✡ g d✙ = sup ✟ inf f (x ) ✙(A i )
i = 1 x c Ai
sup ✟
i = 1 x c Bi
inf g(x ) ✙(B i )
A c F( ✡ ) B c F( ✡ )

n n
m sup ✟ inf f (x ) ✙(A i ) ✟ inf g(x ) ✙(A i ) =
A c F( ✡ ) i=1 x c Ai i=1 x c Ai

n n
= sup ✟ ✟ inf f (x ) inf g(x ) ✙(A i )✙(A j ) m
A c F (✡ ) i=1 j=1 x c Ai x c Aj f, g positivas

n
m sup
A c F( ✡ )
✟
i=1 x c Ai x c Ai
2
inf f (x ) inf g(x ) (✙(A i )) m

n
m sup
A c F( ✡ )
✟ inf f (x )g(x ) (✙(A i ))
i = 1 x c Ai
2
m
f ( x ) g( x ) m 1

n
✟ (✙(A j )) 2 m (✙(✡ )) = 1
2
m sup
A c F( ✡ ) i=1

ya que ✡ c F(✡ ) . Por tanto, hemos demostrado que

¶✡ f d✙ ¶✡ g d✙ m1

También podría gustarte