# Thread:

1. ## Outer Measure

So one of the axioms of outer measure is the following:

Countable subadditivity axiom: If $A = \bigcup_{n=1}^{\infty} A_n$ then $m^{*}A \leq \sum_{n=1}^{\infty} m^{*}A_n$.

Well it's not really an axiom since we want/have to prove it. But what is the point of using the " $\varepsilon/2^n$ trick" to prove this? E.g. we have the following:

$\sum_{k=1}^{\infty} |I_{kn}| < m^{*} A_n+ \frac{\varepsilon}{2^n}$ (1)

This is analogous to $\inf S \leq x \Rightarrow x < \inf S + \varepsilon$ for some $\varepsilon >0$ (with $x \in S$). But what is special about $\varepsilon/2^n$? Why not just use $\varepsilon$?

2. Hello,

Because $\sum_{n=1}^\infty \frac{\varepsilon}{2^n}=\varepsilon$, wouldn't it ?

3. Originally Posted by Moo
Hello,

Because $\sum_{n=1}^\infty \frac{\varepsilon}{2^n}=\varepsilon$, wouldn't it ?

yes, but the sum doesn't have to sum to $\varepsilon$ since it's arbitrary. I guess its convention.

4. Originally Posted by Sampras
yes, but the sum doesn't have to sum to $\varepsilon$ since it's arbitrary. I guess its convention.
Not really...

As you're dealing with a limit, you want $\varepsilon$ to appear. This one is arbitrary !

Since you'll sum from 1 to infinity, if you keep $\varepsilon$, you'll sum something positive an infinite amount of times.
Which is irrelevant for your problem.

$\varepsilon/2^n$ is arbitrary and > 0. It's a good candidate, because of this infinite sum.

And you'll get $\varepsilon$ in the end.

You could also have taken $\varepsilon/4^n$ or whatever you want. The main point is to get a converging series, arbitrary small.
{"extraction_info": {"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 18, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9727256894111633, "perplexity_flag": "middle"}