Skip to main content
Mathematics LibreTexts

7.8: Lebesgue Measure

  • Page ID
    32354
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    We shall now consider the most important example of a measure in \(E^{n},\) due to Lebesgue. This measure generalizes the notion of volume and assigns "volumes" to a large set family, the "Lebesgue measurable" sets, so that "volume" becomes a complete topological measure. For "bodies" in \(E^{3},\) this measure agrees with our intuitive idea of "volume."

    We start with the volume function \(v : \mathcal{C} \rightarrow E^{1}\) ("Lebesgue premeasure") on the semiring \(\mathcal{C}\) of all intervals in \(E^{n}\) (§1). As we saw in §§5 and 6, this premeasure induces an outer measure \(m^{*}\) on all subsets of \(E^{n};\) and \(m^{*},\) in turn, induces a measure \(m\) on the \(\sigma\)-field \(\mathcal{M}^{*}\) of \(m^{*}\)-measurable sets. These sets are, by definition, the Lebesgue-measurable (briefly \(L\)-measurable) sets; \(m^{*}\) and \(m\) so defined are the (\(n\)-dimensional) Lebesgue outer measure and Lebesgue measure.

    Theorem \(\PageIndex{1}\)

    Lebesgue premeasure \(v\) is \(\sigma\)-additive on \(\mathcal{C},\) the intervals in \(E^{n}\). Hence the latter are Lebesgue measurable \(\left(\mathcal{C} \subseteq \mathcal{M}^{*}\right),\) and the volume of each interval equals its Lebesgue measure:

    \[v=m^{*}=m \text { on } \mathcal{C}.\]

    This follows by Corollary 1 in §2 and Theorem 2 of §6

    Note 1. As \(\mathcal{M}^{*}\) is a (\(\sigma\)-field §6), it is closed under countable unions, countable intersections, and differences. Thus

    \[\mathcal{C} \subseteq \mathcal{M}^{*} \text { implies } \mathcal{C}_{\sigma} \subseteq \mathcal{M}^{*};\]

    i.e., any countable union of intervals is \(L\)-measurable. Also, \(E^{n} \in \mathcal{M}^{*}\).

    Corollary \(\PageIndex{1}\)

    Any countable set \(A \subset E^{n}\) is \(L\)-measurable, with \(m A=0\).

    Proof

    The proof is as in Corollary 6 of §2.

    Corollary \(\PageIndex{2}\)

    The Lebesgue measure of \(E^{n}\) is \(\infty\).

    Proof

    Prove as in Corollary 5 of §2.

    Examples

    (a) Let

    \[R=\left\{\text {rationals in } E^{1}\right\}.\]

    Then \(R\) is countable (Corollary 3 of Chapter 1, §9); so \(m R=0\) by Corollary 1. Similarly for \(R^{n}\) (rational points in \(E^{n})\).

    (b) The measure of an interval with endpoints \(a, b\) in \(E^{1}\) is its length, \(b-a.\)

    Let

    \[R_{o}=\{\text { all rationals in }[a, b]\};\]

    so \(m R_{o}=0.\) As \([a, b]\) and \(R_{o}\) are in \(\mathcal{M}^{*}\) (a \(\sigma\)-field), so is

    \[[a, b]-R_{o},\]

    the irrationals in \([a, b].\) By Lemma 1 in §4, if \(b>a,\) then

    \[m\left([a, b]-R_{o}\right)=m([a, b])-m R_{o}=m([a, b])=b-a>0=m R_{o}.\]

    This shows again that the irrationals form a "larger" set than the rationals (cf. Theorem 3 of Chapter 1, §9).

    (c) There are uncountable sets of measure zero (see Problems 8 and 10 below).

    Theorem \(\PageIndex{2}\)

    Lebesgue measure in \(E^{n}\) is complete, topological, and totally \(\sigma\)-finite. That is,

    (i) all null sets (subsets of sets of measure zero) are \(L\)-measurable;

    (ii) so are all open sets \(\left(\mathcal{M}^{*} \supseteq \mathcal{G}\right),\) hence all Borel sets \(\left(\mathcal{M}^{*} \supseteq \mathcal{B}\right);\) in particular, \(\mathcal{M}^{*} \supseteq \mathcal{F}, \mathcal{M}^{*} \supseteq \mathcal{G}_{\delta}, \mathcal{M}^{*} \supseteq \mathcal{F}_{\sigma}, \mathcal{M}^{*} \supseteq \mathcal{F}_{\sigma \delta},\) etc.;

    (iii) each \(A \in \mathcal{M}^{*}\) is a countable union of disjoint sets of finite measure.

    Proof

    (i) This follows by Theorem 1 in §6.

    (ii) By Lemma 2 in §2, each open set is in \(\mathcal{C}_{\sigma},\) hence in \(\mathcal{M}^{*}\) (Note 1). Thus \(\mathcal{M}^{*} \supseteq \mathcal{G}.\) But by definition, the Borel field \(\mathcal{B}\) is the least \(\sigma\)-ring \(\supseteq \mathcal{G}.\) Hence \(\mathcal{M}^{*} \supseteq \mathcal{B}^{*}\).

    (iii) As \(E^{n}\) is open, it is a countable union of disjoint half-open intervals,

    \[E^{n}=\bigcup_{k=1}^{\infty} A_{k} \text { (disjoint),}\]

    with \(m A_{k}<\infty\) (Lemma 2 §2). Hence

    \[\left(\forall A \subseteq E^{n}\right) \quad A \subseteq \bigcup A_{k};\]

    so

    \[A=\bigcup_{k}\left(A \cap A_{k}\right) \text { (disjoint).}\]

    If, further, \(A \in \mathcal{M}^{*},\) then \(A \cap A_{k} \in \mathcal{M}^{*},\) and

    \[m\left(A \cap A_{k}\right) \leq m A_{k}<\infty. \text{ (Why?)} \quad \square\]

    Note 2. More generally, a \(\sigma\)-finite set \(A \in \mathcal{M}\) in a measure space \((S, \mathcal{M}, \mu)\) is a countable union of disjoint sets of finite measure (Corollary 1 of §1).

    Note 3. Not all \(L\)-measurable sets are Borel sets. On the other hand, not all sets in \(E^{n}\) are \(L\)-measurable (see Problems 6 and 9 below.)

    Theorem \(\PageIndex{3}\)

    (a) Lebesgue outer measure \(m^{*}\) in \(E^{n}\) is \(\mathcal{G}\)-regular; that is,

    \[\left(\forall A \subseteq E^{n}\right) \quad m^{*} A=\inf \{m X | A \subseteq X \in \mathcal{G}\}\]

    (\(\mathcal{G}=\) open sets in \(E^{n}\)).

    (b) Lebesgue measure \(m\) is strongly regular (Definition 5 and Theorems 1 and 2, all in §7).

    Proof

    By definition, \(m^{*} A\) is the glb of all basing covering values of \(A.\) Thus given \(\varepsilon>0,\) there is a basic covering \(\left\{B_{k}\right\} \subseteq \mathcal{C}\) of nonempty sets \(B_{k}\) such that

    \[A \subseteq \bigcup B_{k} \text { and } m^{*} A+\frac{1}{2} \varepsilon \geq \sum_{k} v B_{k}.\]

    (Why? What if \(m^{*} A=\infty\)?)

    Now, by Lemma 1 in §2, fix for each \(B_{k}\) an open interval \(C_{k} \supseteq B_{k}\) such that

    \[v C_{k}-\frac{\varepsilon}{2^{k+1}}<v B_{k}.\]

    Then (2) yields

    \[m^{*} A+\frac{1}{2} \varepsilon \geq \sum_{k}\left(v C_{k}-\frac{\varepsilon}{2^{k+1}}\right)=\sum_{k} v C_{k}-\frac{1}{2} \varepsilon;\]

    so by \(\sigma\)-subadditivity,

    \[m \bigcup_{k} C_{k} \leq \sum_{k} m C_{k}=\sum_{k} v C_{k} \leq m^{*} A+\varepsilon.\]

    Let

    \[X=\bigcup_{k} C_{k}.\]

    Then \(X\) is open (as the \(C_{k}\) are). Also, \(A \subseteq X,\) and by (3),

    \[m X \leq m^{*} A+\varepsilon.\]

    Thus, indeed, \(m^{*} A\) is the \(g l b\) of all \(m X, A \subseteq X \in \mathcal{G},\) proving (a).

    In particular, if \(A \in \mathcal{M}^{*},\) (1) shows that \(m\) is regular (for \(m^{*} A=m A). Also, by Theorem 2, \(m\) is \(\sigma\)-finite, and \(E^{n} \in \mathcal{M}^{*};\) so (b) follows by Theorem 1 in §7.\(\quad \square\)


    7.8: Lebesgue Measure is shared under a CC BY license and was authored, remixed, and/or curated by LibreTexts.