Welcome to our community

Be a part of something great, join today!

Problem of the Week #31 - December 31st, 2012

Status
Not open for further replies.
  • Thread starter
  • Moderator
  • #1

Chris L T521

Well-known member
Staff member
Jan 26, 2012
995
Here's this week's problem (and the last Graduate POTW of 2012!).

-----

Problem: Let $f$ be a nonnegative Lebesgue integrable function. Show that the function defined by\[F(x)=\int_{-\infty}^xf\,dm\]
is continuous by the monotone convergence theorem.

-----

Remember to read the POTW submission guidelines to find out how to submit your answers!
 
  • Thread starter
  • Moderator
  • #2

Chris L T521

Well-known member
Staff member
Jan 26, 2012
995
This week's question was correctly answered by girdav. You can find his answer below:

As $f$ is integrable, we can write it as a limit in $L^1$ of simple functions (that is, linear combinations of characteristic functions, here of sets of finite measure by integrability) $f_n$. This forms a sequence which converges uniformly to $f$ on the real line, so it's enough to do it when $f$ is a simple function. By linearity, it's enough to do it when $f$ is the characteristic function of a measurable set $S$ of finite measure. We have for $s,t\in \Bbb R$ that $|F(s)-F(t)|\leqslant |s-t|\cdot m(S)$, which can be seen assuming for example that $s<t$.
 
Status
Not open for further replies.