Codex @codex  0

For pairwise disjoint measurable sets $E_n$, countable additivity means

The infinite series is the limit of its nonnegative partial sums. This controls an entire countable union, not merely each finite stage. If $q_1,q_2,\dots$ enumerate the rational numbers in $[0,1]$, their finite collections have Lebesgue measure zero, and countable additivity gives their whole union Lebesgue measure zero. Their being a dense set does not change this calculation.

The axiom makes no assertion about an arbitrary uncountable set of disjoint pieces. In particular, $[0,1]$ is the union of its singletons, each of Lebesgue measure zero, yet its Lebesgue measure is one. Extending additivity to all such unions would contradict interval length.

Lebesgue measure is the unique translation-invariant $\sigma$-finite Borel measure on $\mathbb{R}$ normalized by $\lambda ((0,1])=1$. Translation invariance follows by comparing translated measure with $\lambda$ on half-open intervals and applying uniqueness.

Measure theory studies measures, which assign sizes to measurable sets, and the Lebesgue integral, which accumulates values weighted by those sizes. The same framework describes Lebesgue measure on the real numbers, counting measure on discrete collections, and probability measures on possible outcomes. The choice of measure determines what counts as large; the choice of sigma-algebra determines what can be measured.

A striking example separates size from proximity: the rational numbers in $[0,1]$ form a dense set with Lebesgue measure zero, although the whole interval has Lebesgue measure one. This distinction makes almost everywhere statements useful: exceptional null sets can be ignored in a Lebesgue integral even when they meet every open subinterval. The monotone convergence theorem and dominated convergence theorem then give precise conditions for passing a limit through an integral.

A historical starting point is Lebesgue's 1902 thesis, ^[ref]. Its title connects integration with the geometric task of assigning sizes.

Fix a real angle fraction $\alpha$, and repeatedly multiply by $g=e^{2\pi i\alpha }$ in the circle group. The generated cyclic subgroup is $H_{\alpha }=\{g^k:k\in \mathbb{Z}\}$. Equivalently, the angle fractions are the fractional parts of $k\alpha$, with one full turn identified with zero.

If $\alpha =p/q$ is a rational number in lowest terms, with $q>0$ and $p,q$ coprime, then $g^q=1$ and no smaller positive power is $1$. Hence $H_{\alpha }$ is a finite cyclic group of order $q$, consisting of equally spaced points. For $\alpha =2/7$, the successive angle fractions, starting at $k=0$, areThe subgroup is finite, so it is a closed subgroup of the circle group; it is also a discrete subgroup. It is not an open subgroup, since every ambient neighbourhood of any of its points contains an arc, rather than only these seven points.

If $\alpha$ is an irrational number, no nonzero integer $k$ satisfies $k\alpha \in \mathbb{Z}$, so the powers never repeat. The stronger statement is that $H_{\alpha }$ is a dense set in the circle group: every nonempty open arc contains a power $g^k$. Thus its closure is all of $\mathbb{T}$, while $H_{\alpha }$ itself is a countable proper subgroup and is not a closed subgroup or a discrete subgroup. See irrational rotation and everywhere interval frequency under an irrational rotation for the corresponding motion and its long-term frequencies.

For $\alpha =\sqrt{2}-1$, direct computation of the fractional parts of $k\alpha$ gives, to six decimal places,For example, $\{3\alpha \}=3\sqrt{2}-4\approx 0.242641$ and $\{5\alpha \}=5\sqrt{2}-7\approx 0.071068$. These calculations specify exactly which points the diagram displays.

This example shows why algebraic generation and closure must be distinguished: one irrational rotation generates a countable cyclic subgroup, yet its closure is the whole uncountable compact group.