1
$\begingroup$

Hey guys thank you for helping me, It's vanishing property and finiteness property. and I wanna prove:


$f\ge0$ and $f$ is measurable. Then,

1. $\int fd\lambda=0 \Longleftrightarrow \{x|f(x)>0\}$ is a null set.
2. $\int fd\lambda<\infty \Longrightarrow \{x|f(x)=\infty\}$ is a null set.


I don't know how can I approach. please help me. thx

  • 3
    Is this homework?2012-05-06

1 Answers 1

2
  1. If $\{x\mid f(x)>0\}$ is a null set, then $f=0$ almost everywhere and so its integral is $0$. Conversely, assume that $\int fd\lambda=0$. Then writing $$\{x\mid f(x)>0\}=\bigcup_{n\geq 1}\{x\mid f(x)\geq \frac 1n\}$$ and noticing that $$\lambda\{x\mid f(x)\geq \frac 1n\}\leq n\int fd\lambda=0,$$ we have written $\{x\mid f(x)> 0\}$ as a countable union of sets of measure $0$, so this set has measure $0$ (an is measurable).
  2. We can write $\{x\mid f(x)=+\infty\}=\bigcap_{n\geq 1}\{x\mid f(x)\geq n\}$. Since $$\mu\{x\mid f(x)\geq n\}\leq \frac 1n\int fd\lambda,$$ we have, because all the involved sets have finite measure $$\mu\{x\mid f(x)=+\infty\}=\lim_{n\to \infty}\mu\{x\mid f(x)\geq n\}=0.$$
  • 0
    Thank you for your help.
    But I'm not sure why these two note: $$\lambda\{x\mid f(x)\geq \frac 1n\}\leq n\int fd\lambda=0,$$ $$\lambda\{x\mid f(x)\geq n\}\leq \frac 1n\int fd\lambda,$$
    2012-05-08
  • 0
    If $A$ is a real number, $A\lambda(x\mid f(x)\geq A)\leq \int f(x) \lambda$.2012-05-08
  • 0
    Just wondering: why is the converse of 2 not necessarily true? Thank you.2013-10-01
  • 0
    Take $f(x)=\frac 1x$ on $(0,1)$.2013-10-01