Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $f$ is a Lebesgue measurable function on $R^n$, we define $$K(t)=\lambda\{x\in R^n:|f(x)|>t\}.$$ I want to prove that

  1. $\int_0^{\infty}K(t)dt=\int_{R^n} |f(x)|dx$

  2. If $ f\in L^1 (R^n)$, then $$\lim_{s\rightarrow t^-} K(s)=K(t).$$

I have no idea about these two problems.

share|cite|improve this question

I will give hints:

  1. Use Fubini theorem for non-negative functions and $F(x,t):=\chi_S(x,t)$, where $S:=\{(x,t)\in\Bbb R^2,|f(x)|>t\}$.

  2. If $f$ is integrable, then $\{K(s)\}_s$ is decreasing and consists of sets of finite measure. This works, as noted in the comments, if $K(t):=\lambda\{x,|f(x)|\color{red}{\geqslant} t\}$. Otherwise, we take $n=1$, $f=\chi_{(0,1)}$ and $t=1$.

share|cite|improve this answer
How to deal with f(x)=t for the second problem. – 89085731 Dec 7 '12 at 22:31
A conditional statement is true, provided the hypothesis is false. – GEdgar Dec 7 '12 at 22:33
Good point, for example when $n=1$, $f=\chi_{(0,1)}$ and $t=1$, then $K(1)=0$ but $K(s)=1$ for $s<t$. But if we define $K(t):=\lambda\{x, f(x)\geqslant t\}$ it will work. – Davide Giraudo Dec 7 '12 at 22:36
so the problem is wrong,right? – 89085731 Dec 7 '12 at 22:42
It seems (or there is just a typo). – Davide Giraudo Dec 7 '12 at 23:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.