Autor Tema: Función medible

0 Usuarios y 1 Visitante están viendo este tema.

04 Julio, 2019, 07:24 am
Leído 368 veces

carixto

  • Junior
  • Mensajes: 65
  • País: cl
  • Karma: +0/-0
  • Sexo: Femenino
hola traigo un problema

04 Julio, 2019, 10:34 am
Respuesta #1

Masacroso

  • Héroe
  • Mensajes: 2,015
  • País: es
  • Karma: +4/-0
hola traigo un problema,espero me puedan ayudar
1.Sea[texx] (\Omega,F)[/texx] un espacio medible y [texx](\mu_n)_{n \in N} [/texx] una sucesión de medidas [texx] \mu_n: F\rightarrow [0, +\infty] \forall n \in N [/texx]. Mas aun sea [texx] \mu:F\rightarrow [0, +\infty] [/texx] dada por:
[texx] \mu(A)=\displaystyle\sum_{n=1}^\infty \mu_n(A) [/texx]

Entonces [texx] \mu[/texx] es una medida y ademas cada f funcion positiva y medible se cumple que:
[texx] \displaystyle\int_{\Omega} f\, d\mu=\displaystyle\sum_{n=1}^{+\infty} \displaystyle\int_{\Omega} f\, d\mu_n [/texx]

Yo lo haría usando tres cosas:

1. La definición de medida, para la primera parte, es decir, para mostrar que efectivamente \( \mu \) es una medida.

2. Si \( f \) es positiva entonces existe una sucesión creciente de funciones simples que convergen puntualmente a \( f \) (y que definen su integral, debido al teorema de convergencia monótona, revisa la definición de integral de Lebesgue).

3. Finalmente, para intercambiar sumas y límites no tendrás problemas si conoces el teorema de convergencia monótona aplicado a la medida de conteo, es decir que

\( \displaystyle \lim_{n\to\infty}\sum_{k=0}^\infty {\color{red}{s_{k,n}}}=\sum_{k=0}^\infty \lim_{n\to\infty} {\color{red}{s_{k,n}}},\quad\text{cuando }0\le {\color{red}{ s_{k,n}}}\le {\color{red}{s_{k,n+1}}}\text{ para todo }k,{\color{red}{n}}\in\Bbb N \)

Quizá haya otra forma sin recurrir al teorema de convergencia monótona, pero de momento esto es lo más simple que se me viene a la cabeza.

CORRECCIÓN.