Prove that f is integrable if and only if $\sum_{n \in \mathbb{Z}}a^n\mu (\{a^n\leq|f|<a^{n+1} \})<\infty$ for a>1

Let $$(X,\mathcal{A},\mu)$$ be a measure space and $$f: X\rightarrow \mathbb{R}$$ measurable. $$f$$ is integrable if and only if $$\sum\limits_{n \in \mathbb{Z}}a^n\mu (\{a^n\leq|f|.

My attempt was to use the Tchebycheff Inequality: $$\mu (\{f\geq a\} \cap E)\leq \frac{1}{a}\int f d\mu$$, but it did not work.

• You mean "$f$ is integrable if ..." instead of measurable, I suppose – Hagen von Eitzen Jan 26 '17 at 15:08
• Yes of course, i have changed it – user408161 Jan 26 '17 at 15:19

As $f$ is measurable and $a>1$, the function $$g(x)=\begin{cases}0&f(x)=0\\a^{\lfloor \log_a|f(x)|\rfloor }&f(x)\ne 0\end{cases}$$ is also measurable: For $c>0$, we have $\mu(g\ge c)=\mu(a^{\lceil \log_ac\rceil }\le |f|)$. And of course $g$ is non-negative.
Note that $$g(x)\le |f(x)|\le ag(x).$$ Hence if $g$ is integrable then also $\int f\,\mathrm d\mu\le a\int g\,\mathrm d\mu<\infty$ and so $f$ is integrable. If on the other hand $f$ is integrable, then $\int |f|\,\mathrm d\mu <\infty$ and also $\int g\,\mathrm d\mu\le \int |f|\,\mathrm d\mu<\infty$.
Thus $f$ is integrable iff $g$ is. But $$\int g\,\mathrm d\mu = \sum_{n\in\Bbb Z}a^n\mu(\{\,a^n\le |f|<a^{n+1}\,\}).$$
• I do not understand why $\int g d\mu = \sum_{n \in \mathbb{Z}} a^n\mu ({a^n\leq |ƒ| < a^{n+1}})$ – user408161 Jan 26 '17 at 15:47
• @user408161 : Note that $g$ is constant in a set of the form $\{a^n\le|f|< a^{n+1}\}$, and its value is $a^n$. – dafinguzman Jan 26 '17 at 16:43
Note that $$a^n \chi_{\{a^n \le \lvert f \rvert < a^{n+1}\}} \le \lvert f \rvert\chi_{\{a^n \le \lvert f \rvert < a^{n+1}\}} < a^{n+1}\chi_{\{a^n \le \lvert f \rvert < a^{n+1}\}}.$$ Since the sets from a disjoint cover of $X$, summing the above gives $$\sum_{n\in \mathbb Z}a^n \chi_{\{a^n \le \lvert f \rvert < a^{n+1}\}} \le \lvert f \rvert < \sum_{n\in \mathbb Z}a^{n+1}\chi_{\{a^n \le \lvert f \rvert < a^{n+1}\}}.$$ Now just integrate both sides over $X$ and use the monotone convergence theorem to integrate term-by-term in the sums.
{"ft_lang_label":"__label__en","ft_lang_prob":0.61794776,"math_prob":1.0000051,"size":678,"snap":"2019-43-2019-47","text_gpt3_token_len":291,"char_repetition_ratio":0.16320474,"word_repetition_ratio":0.0,"special_character_ratio":0.40560472,"punctuation_ratio":0.11445783,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000091,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-10-17T12:34:24Z\",\"WARC-Record-ID\":\"<urn:uuid:161b29f7-42ff-4775-ae02-ee3554c4b1ef>\",\"Content-Length\":\"149613\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:aea93b2a-ddfb-40c4-9731-32924e6d7682>\",\"WARC-Concurrent-To\":\"<urn:uuid:108b2658-65bf-4b86-8dc8-bd18d7b45a8d>\",\"WARC-IP-Address\":\"151.101.129.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/2115083/prove-that-f-is-integrable-if-and-only-if-sum-n-in-mathbbzan-mu-an\",\"WARC-Payload-Digest\":\"sha1:CEXAXDBD5BW5FZ5BUBP7S237PUWJ73NF\",\"WARC-Block-Digest\":\"sha1:PO3FSQRP6XRIZTGJTOA67GMIRF2UK3OV\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-43/CC-MAIN-2019-43_segments_1570986675316.51_warc_CC-MAIN-20191017122657-20191017150157-00503.warc.gz\"}"}