| (16 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | # | |
<math>\sup\limits_n\int_{\{|f_n|>M\}}|f_n|\leq\sup\limits_n\int_{(0,1)}|f_n-f|+\sup\limits_n\int_{\{|f_n|>M\}}|f|</math> | <math>\sup\limits_n\int_{\{|f_n|>M\}}|f_n|\leq\sup\limits_n\int_{(0,1)}|f_n-f|+\sup\limits_n\int_{\{|f_n|>M\}}|f|</math> | ||
| Line 5: | Line 5: | ||
<math>Since \int_{(0,1)}|f_n-f|\to0(n\to\infty), \sup\limits_n\int_{(0,1)}|f_n-f|=0</math> | <math>Since \int_{(0,1)}|f_n-f|\to0(n\to\infty), \sup\limits_n\int_{(0,1)}|f_n-f|=0</math> | ||
| − | + | Therefore, to show <math>\sup\limits_n\int_{\{|f_n|>M\}}|f_n|\to0(M\to\infty),</math>it suffices to show that <math>\sup\limits_n\int_{\{|f_n|>M\}}|f|\to0(M\to\infty)</math> | |
| + | |||
| + | Actually, | ||
| + | |||
| + | <math>\int_{\{f_n>M\}}|f|\leq\int_{\{|f_n|>M,|f|<M-\epsilon\}}|f|+\int_{\{|f|>M-\epsilon\}}|f|</math> | ||
| + | |||
| + | <math>\leq\int_{\{|f-f_n|>\epsilon\}}|f|+\int_{|f|>M-\epsilon}|f|</math> | ||
| + | |||
| + | <math>f_n\to f(L^1)=>f_n\to f(\mu),</math>so, by absolute continuity, <math>\int_{\{|f-f_n|>\epsilon\}}|f|\to0(n\to\infty)</math> | ||
| + | |||
| + | So, <math>\sup\limits_n\int_{\{|f_n|>M\}}|f|\leq\int_{\{|f|>M-\epsilon\}}|f|\to0(M\to\infty)</math>,since <math>f\in L^1</math> | ||
Latest revision as of 09:27, 2 July 2008
$ \sup\limits_n\int_{\{|f_n|>M\}}|f_n|\leq\sup\limits_n\int_{(0,1)}|f_n-f|+\sup\limits_n\int_{\{|f_n|>M\}}|f| $
$ Since \int_{(0,1)}|f_n-f|\to0(n\to\infty), \sup\limits_n\int_{(0,1)}|f_n-f|=0 $
Therefore, to show $ \sup\limits_n\int_{\{|f_n|>M\}}|f_n|\to0(M\to\infty), $it suffices to show that $ \sup\limits_n\int_{\{|f_n|>M\}}|f|\to0(M\to\infty) $
Actually,
$ \int_{\{f_n>M\}}|f|\leq\int_{\{|f_n|>M,|f|<M-\epsilon\}}|f|+\int_{\{|f|>M-\epsilon\}}|f| $
$ \leq\int_{\{|f-f_n|>\epsilon\}}|f|+\int_{|f|>M-\epsilon}|f| $
$ f_n\to f(L^1)=>f_n\to f(\mu), $so, by absolute continuity, $ \int_{\{|f-f_n|>\epsilon\}}|f|\to0(n\to\infty) $
So, $ \sup\limits_n\int_{\{|f_n|>M\}}|f|\leq\int_{\{|f|>M-\epsilon\}}|f|\to0(M\to\infty) $,since $ f\in L^1 $
