Differences

This shows you the differences between two versions of the page.

--- integrallebesgue [2023/04/17 10:16] – external edit 127.0.0.1
+++ integrallebesgue [2023/04/17 15:35] (current) – external edit 127.0.0.1
@@ Line 52: / Line 52: @@
 </WRAP>
-Demonstraçnao: Já mostramos que a mensurabilidade implica integrabilidade no caso de uma função limitada.
+Demonstração: Já mostramos que a mensurabilidade implica integrabilidade no caso de uma função limitada.
 Agora suponhamos $f$ ser integrável. Primeiro observem que existem partições $P_n$ de $[a, b]$ por conjuntos mensuráveis ($P_n$ é mais refinada que $P_{n-1}$) de tal forma que
 $$
@@ Line 63: / Line 63: @@
 $$
 Já que se tratam de funções monótonas, conclúimos que $\lim \phi_n, \lim_{\psi_n}$ existem e $\lim \phi_n \leq f \leq \lim \psi_n.$
+Finalmente afirmamos que $\phi=\psi$ em quase todo ponto. Assim provamos que ambas são iguais a $f$ em quase todo ponto e portanto já que $\phi_n, \psi_n$ são mensuráveis, seu limite também é e portanto $f$ é mensurável (pois coincide q.t.p com uma função mensurável).
+Para provar afrimação, seja
+$$
+E = \{ x \in [a, b], \psi(x) - \phi(x) > 0\} =\bigcup_m \{ x \in [a, b], \psi(x) - \phi(x) > 1/m \}
+$$
+$$
+ \subset \bigcup_m \{ x \in [a, b], \psi_n(x) - \phi_n(x) > 1/m \}
+$$
+Porém já que $\int_{a}^{b} (\psi_n - \phi_n) < 1/n$ (integral de Lebesgue) temos
+$$
+\frac{1}{m} m(\{ x \in [a, b], \psi_n(x) - \phi_n(x) > 1/m \} ) < \frac{1}{n}
+$$
+ e consequentemente
+$$m(\{ x \in [a, b], \psi_n(x) - \phi_n(x) > 1/m \} ) < \frac{m}{n}.$$ Já que para todo $n$ temos a desigualdade acima, concluímos a demonstração.