# decreasing sequence of integrable functions

Let $μ$ a measure on a set $X$ and let $g_{n}∈L_{1}(X, μ)$ a decreasing sequence of integrable functions. Suppose that $g_{n}(x) → g(x)$. prove $$\lim_{n\to\infty}\int g_{n}(x)dμ=0\iff g (x)=0~~~~\text{a.e.}$$

-
Hint: Apply Monotone Convergence theorem. – Stefan Hansen Jan 29 '13 at 7:26
but the functions are decreasing and are not necessarily positive. – Alexander Osorio Jan 29 '13 at 7:34
Hint: apply it to $-g_n$ – Ilya Jan 29 '13 at 7:37
but the functions can be non-negative or non-positive or both.and the monotone convergence theorem is for sequences no-negative. – Alexander Osorio Jan 29 '13 at 7:48
Alexander: There are special cases of monotone convergence you may be most familiar with, but it applies in the following situations: (1) The sequence is increasing and bounded below by an integrable function. In this case, $+\infty$ is a possible value of the limit. (2) The sequence is decreasing and bounded above by an integrable function. In this case, $-\infty$ is a possible value of the limit. This is the case that applies to your situation, because all functions are bounded above by $g_1$. To get the version of MCT you like, consider $(g_1-g_n)$. – Jonas Meyer Jan 29 '13 at 7:50

This is false. Consider $g(x)=x$ on $[-1,1]$ with Lebesgue measure, and $g_n=g$ for all $n$.
If you meant to include the hypothesis that $g_n\geq 0$ for all $n$, then as Stefan commented, applying the monotone (or dominated) convergence theorem (or Fatou's lemma) is a good idea.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/289581/decreasing-sequence-of-integrable-functions?answertab=votes", "fetch_time": 1461962283000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2016-18/segments/1461860111396.55/warc/CC-MAIN-20160428161511-00109-ip-10-239-7-51.ec2.internal.warc.gz", "warc_record_offset": 180586551, "warc_record_length": 17280, "token_count": 452, "char_count": 1532, "score": 3.65625, "int_score": 4, "crawl": "CC-MAIN-2016-18", "snapshot_type": "latest", "language": "en", "language_score": 0.8593257665634155, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00031-of-00064.parquet"}