Estoy luchando por comprender la intuición de dos afirmaciones sobre la teoría de la medida:
Dado un espacio de medida $(X,F,\mu)$, $f \in M^+ $, donde $M^+ = M^+(F) $ es el conjunto de funciones F-medibles no negativas $f: X \rightarrow [0,\infty]. $
-
$\mu(E) = 0 \Rightarrow \mu_f(E) = \int_E f d\mu = 0$
-
$\int_X f d\mu = 0 \Rightarrow \mu (\{x \in X: f(x) \neq 0\}) = 0$
Sobre la prueba, hicimos lo siguiente:
(Primera afirmación) Tomamos $\{\varphi_n\} \in B_0^+$ (donde $B_0^+$ es el conjunto de todas las funciones simple no negativas F-medibles en X) tal que $\varphi_n \uparrow f$ (por lo tanto, $f$ es medible) de manera que $\varphi_n 1_E \uparrow f 1_E$. Sea $\varphi_n = \sum_{i=1}^{K_n}\alpha_{i,n}1_{A_{i,n}}$. Entonces
$\mu_f(E) = \int_X f1_E d\mu$ = $lim_n \int_X \varphi_n 1_E d\mu $ (por convergencia monótona)
$= lim_n\int_x \varphi_n1_Ed\mu =lim_n\int_x \sum_{i=1}^{K_n}\alpha_{i,n}1_{A_{i,n}\cap E}d\mu $ (por definición de $\varphi_n$ y por propiedad de la función indicadora)
$=lim_n \sum_{i=1}^{K_n}\alpha_{i,n}1_{A_{i,n}\cap E} = 0$ ya que $0 \leq \mu(A_{i,n} \cap E) \leq \mu(E) = 0 $ (por suposición y por el hecho de que $A_{i,n} \subset E$).
(Segunda afirmación)
Sea $E = \{ x \in X : f(x) \ne 0\} = \{x \in X: f(x) >0 \}$
Para cualquier $n \geq 1$, definimos $E_n = \{x \in X: f(x) \geq 1/n\}$, entonces $E_n \uparrow E$ y :
$0 = \int_X f d\mu \geq \int_Xf1_{E_n} d\mu \geq \int_{E_n}1/n d \mu = \frac{1}{n}\mu(E_n)\geq0 $
por lo tanto, $\mu(E_n) = 0$ para todo $n$. Por lo tanto, $0 \leq \mu(E) = \mu(\cup_{n=1}^{\infty} E_n) \leq \sum_{n = 1}^\infty \mu(E_n) = 0$
¿Podrías ayudarme a comprender un poco más?