📘 measure theory

1. **Énoncé du problème :** Montrer que la tribu $T$ engendrée par les ensembles $S_n = \{n, n+1, n+2\}$ pour tout $n \in \mathbb{Z}$ est la tribu des parties de $\mathbb{Z}$, c'es

1) Problem: Prove that for any non-empty set $S \subseteq \mathbb{R}$ and $a > 0$, the Lebesgue outer measure satisfies $$m^*(aS) = a m^*(S).$$ 2) Formula and definitions: