f integrable implies set where f is infinite is measure zero

Let (X,\mathcal{M},\mu) be a measure space. Let f:X\to [0,\infty] be a measurable function. Suppose that \int_X f d\mu<\infty.

(a) Show that the set \{x\in X:f(x)=\infty\}\subseteq X is of \mu-measure 0. (Intuitively, this is quite obvious, but we need to prove it rigorously.)

(b) Show that the set \{x\in X:f(x)\neq 0\}\subseteq X is \sigma-finite with respect to \mu. i.e. it is a countable union of measurable sets of finite \mu-measure.

We may use Markov’s inequality, which turns out to be very useful in this question.

Proof: (a) Let E_k=\{x\in X:f(x)\geq k\}, where k\in\mathbb{N}. Denote E_\infty=\{x\in X:f(x)=\infty\}.

E_K \downarrow E_\infty, and \mu (E_1)\leq\frac{1}{1}\int_X f d\mu<\infty. (Markov Inequality!)


\begin{aligned}\mu(E_\infty)&=\lim_{k\to\infty}\mu (E_k)\\    &\leq\lim_{k\to\infty}\frac{1}{k}\int f d\mu\ \ \ \text{(Markov Inequality)}\\    &=0    \end{aligned}

Therefore, \mu(E_\infty)=0.

(b) Let S_k=\{x\in X:f(x)\geq\frac{1}{k}\}, k\in\mathbb{N}.

\{x\in X:f(x)\neq 0\}=\cup_{k=1}^\infty S_k

Therefore, \mu(S_k)\leq k\int f d\mu<\infty, and we have expressed the set as a countable union of measurable sets of finite measure.

Once again, do check out the Free Career Quiz!