Interesting Analysis Question (Measure Theory)

Do try out this Free Career Guidance Personality Test at while it is still available!

Benefits of doing the (Free) Career Test:

  • Get familiar with the top companies in Singapore
  • There are seven distinct career types based on career preferences, goals and personality. Get to know yours! (My result: Harmonizer)
  • Take part in the annual Universum survey and win prizes!

Let f\geq 0 be a measurable function with \int f d\mu<\infty. Show that for any \epsilon>0, there exists a \delta(\epsilon)>0 such that for any measurable set E\in\mathcal{A} with \mu(E)<\delta(\epsilon), we have \int_E f d\mu<\epsilon.

Proof: For M>0, we define f_M(x)=\min (f(x),M)\leq M, for all x\in \Omega.

Then f=f_M+(f-f_M).

Let \delta=\epsilon/2M. Then for any E\in\mathcal{A} with \mu(E)<\delta,

\begin{aligned}\int_E f_M d\mu &\leq \int_E M d\mu\\    &=\mu (E)M\\    &<\delta M\\    &=(\epsilon/2M)M\\    &=\epsilon/2    \end{aligned}

Note that f_M\uparrow f. By Monotone Convergence Theorem,

\int f d\mu=\lim_{M\to\infty}\int f_M d\mu.

Therefore \lim_{M\to\infty}\int f-f_M d\mu=0.

We can choose M sufficiently large such that

\int_E f-f_M d\mu \leq \int f-f_M d\mu <\epsilon/2.


\begin{aligned}    \int_E f d\mu&=\int_E f_M d\mu+\int_E f-f_M d\mu\\    &<\epsilon/2+\epsilon/2\\    &=\epsilon    \end{aligned}

We are done!



About mathtuition88
This entry was posted in math and tagged , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s