\( \newcommand{\matr}[1] {\mathbf{#1}} \newcommand{\vertbar} {\rule[-1ex]{0.5pt}{2.5ex}} \newcommand{\horzbar} {\rule[.5ex]{2.5ex}{0.5pt}} \newcommand{\E} {\mathrm{E}} \)
deepdream of
          a sidewalk
Show Answer
\( \newcommand{\cat}[1] {\mathrm{#1}} \newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})} \newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}} \newcommand{\multiBetaReduction}[0] {\twoheadrightarrow_{\beta}} \newcommand{\betaReduction}[0] {\rightarrow_{\beta}} \newcommand{\betaEq}[0] {=_{\beta}} \newcommand{\string}[1] {\texttt{"}\mathtt{#1}\texttt{"}} \newcommand{\symbolq}[1] {\texttt{`}\mathtt{#1}\texttt{'}} \newcommand{\groupMul}[1] { \cdot_{\small{#1}}} \newcommand{\inv}[1] {#1^{-1} } \newcommand{\bm}[1] { \boldsymbol{#1} } \require{physics} \require{ams} \)
Math and science::Analysis::Tao, measure::02. Lebesgue measure

Lebesgue measurability. Definition.

We want to describe a class of sets such that the Lebesgue outer measure obeys nice properties. Every subset of \( \mathrm{R}^d \) has a Lebesgue outer measure (possibly infinite). Unfortunately, it turns out that if we include all sets, we lose properties like the union of some disjoint sets has measure which is the sum of the individual sets.

With this in mind, we wish to choose a criteria which will create a restricted class of sets. The below definition is one way to choose the criteria. Note how it both acts as a criteria and as a useful property describing the limits/capabilities of Lebesgue measure for such sets.

Lebesgue measurability. Definition.

A set \( E \subset \mathbb{R}^d \) is said to be Lebesgue measurable iff [for every ? there exists ? such that ?]. If \( E \) is Lebesgue measurable, we refer to \( m(E) := m^*(E) \) as the Lebesgue measure of \( E \).