Skip to main content
Mathematics LibreTexts

10.5: Jordan Measurable Sets

  • Page ID
  • \( \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}\)

    Volume and Jordan measurable sets

    Given a bounded set \(S \subset {\mathbb{R}}^n\) its characteristic function or indicator function is \[\chi_S(x) := \begin{cases} 1 & \text{ if $x \in S$} \\ 0 & \text{ if $x \notin S$}. \end{cases}\] A bounded set \(S\) is said to be Jordan measurable if for some closed rectangle \(R\) such that \(S \subset R\), the function \(\chi_S\) is in \({\mathcal{R}}(R)\). Take two closed rectangles \(R\) and \(R'\) with \(S \subset R\) and \(S \subset R'\), then \(R \cap R'\) is a closed rectangle also containing \(S\). By and , \(\chi_S \in {\mathcal{R}}(R \cap R')\) and hence \(\chi_S \in {\mathcal{R}}(R')\), and furthermore \[\int_R \chi_S = \int_{R'} \chi_S = \int_{R \cap R'} \chi_S.\] We define the \(n\)-dimensional volume of the bounded Jordan measurable set \(S\) as \[V(S) := \int_R \chi_S ,\] where \(R\) is any closed rectangle containing \(S\).

    A bounded set \(S \subset {\mathbb{R}}^n\) is Jordan measurable if and only if the boundary \(\partial S\) is a measure zero set.

    Suppose \(R\) is a closed rectangle such that \(S\) is contained in the interior of \(R\). If \(x \in \partial S\), then for every \(\delta > 0\), the sets \(S \cap B(x,\delta)\) (where \(\chi_S\) is 1) and the sets \((R \setminus S) \cap B(x,\delta)\) (where \(\chi_S\) is 0) are both nonempty. So \(\chi_S\) is not continuous at \(x\). If \(x\) is either in the interior of \(S\) or in the complement of the closure \(\overline{S}\), then \(\chi_S\) is either identically 1 or identically 0 in a whole neighbourhood of \(x\) and hence \(\chi_S\) is continuous at \(x\). Therefore, the set of discontinuities of \(\chi_S\) is precisely the boundary \(\partial S\). The proposition then follows.

    The proof of the following proposition is left as an exercise.

    [prop:jordanmeas] Suppose \(S\) and \(T\) are bounded Jordan measurable sets. Then

    1. The closure \(\overline{S}\) is Jordan measurable.
    2. The interior \(S^\circ\) is Jordan measurable.
    3. \(S \cup T\) is Jordan measurable.
    4. \(S \cap T\) is Jordan measurable.
    5. \(S \setminus T\) is Jordan measurable.


    If \(S \subset {\mathbb{R}}^n\) is Jordan measurable then \(V(S) = m^*(S)\).

    Given \(\epsilon > 0\), let \(R\) be a closed rectangle that contains \(S\). Let \(P\) be a partition of \(R\) such that \[U(P,\chi_S) \leq \int_R \chi_S + \epsilon = V(S) + \epsilon \qquad \text{and} \qquad L(P,\chi_S) \geq \int_R \chi_S - \epsilon = V(S)-\epsilon.\] Let \(R_1,\ldots,R_k\) be all the subrectangles of \(P\) such that \(\chi_S\) is not identically zero on each \(R_j\). That is, there is some point \(x \in R_j\) such that \(x \in S\). Let \(O_j\) be an open rectangle such that \(R_j \subset O_j\) and \(V(O_j) < V(R_j) + \nicefrac{\epsilon}{k}\). Notice that \(S \subset \bigcup_j O_j\). Then \[U(P,\chi_S) = \sum_{j=1}^k V(R_k) > \left(\sum_{j=1}^k V(O_k)\right) - \epsilon \geq m^*(S) - \epsilon .\] As \(U(P,\chi_S) \leq V(S) + \epsilon\), then \(m^*(S) - \epsilon \leq V(S) + \epsilon\), or in other words \(m^*(S) \leq V(S)\).

    Now let \(R'_1,\ldots,R'_\ell\) be all the subrectangles of \(P\) such that \(\chi_S\) is identically one on each \(R'_j\). In other words, these are the subrectangles contained in \(S\). The interiors of the subrectangles \(R'^\circ_j\) are disjoint and \(V(R'^\circ_j) = V(R'_j)\). It is easy to see from definition that \[m^*\Bigl(\bigcup_{j=1}^\ell R'^\circ_j\Bigr) = \sum_{j=1}^\ell V(R'^\circ_j) .\] Hence \[m^*(S) \geq m^*\Bigl(\bigcup_{j=1}^\ell R'_j\Bigr) \geq m^*\Bigl(\bigcup_{j=1}^\ell R'^\circ_j\Bigr) %= %\sum_{j=1}^\ell %m^*(R'^\circ_j) = \sum_{j=1}^\ell V(R'^\circ_j) = \sum_{j=1}^\ell V(R'_j) = L(P,f) \geq V(S) - \epsilon .\] Therefore \(m^*(S) \geq V(S)\) as well.

    Integration over Jordan measurable sets

    In one variable there is really only one type of reasonable set to integrate over: an interval. In several variables we have many very simple sets we might want to integrate over and these cannot be described so easily.

    Let \(S \subset {\mathbb{R}}^n\) be a bounded Jordan measurable set. A bounded function \(f \colon S \to {\mathbb{R}}\) is said to be Riemann integrable on \(S\) if for a closed rectangle \(R\) such that \(S \subset R\), the function \(\widetilde{f} \colon R \to {\mathbb{R}}\) defined by \[\widetilde{f}(x) = \begin{cases} f(x) & \text{ if $x \in S$}, \\ 0 & \text{ otherwise}, \end{cases}\] is in \({\mathcal{R}}(R)\). In this case we write \[\int_S f := \int_R \widetilde{f}.\]

    When \(f\) is defined on a larger set and we wish to integrate over \(S\), then we apply the definition to the restriction \(f|_S\). In particular note that if \(f \colon R \to {\mathbb{R}}\) for a closed rectangle \(R\), and \(S \subset R\) is a Jordan measurable subset then \[\int_S f = \int_R f \chi_S .\]


    Images of Jordan measurable subsets

    Let us prove the following FIXME. We will only need this simple

    Suppose \(S \subset {\mathbb{R}}^n\) is a closed bounded Jordan measurable set, and \(S \subset U\) for an open set \(U \subset {\mathbb{R}}^n\). If \(g \colon U \to {\mathbb{R}}^n\) is a one-to-one continuously differentiable mapping such that \(J_g\) is never zero on \(S\). Then \(g(S)\) is Jordan measurable.

    Let \(T = g(S)\). We claim that the boundary \(\partial T\) is contained in the set \(g(\partial S)\). Suppose the claim is proved. As \(S\) is Jordan measurable, then \(\partial S\) is measure zero. Then \(g(\partial S)\) is measure zero by . As \(\partial T \subset g(\partial S)\), then \(T\) is Jordan measurable.

    It is therefore left to prove the claim. First, \(S\) is closed and bounded and hence compact. By , \(T = g(S)\) is also compact and therefore closed. In particular \(\partial T \subset T\). Suppose \(y \in \partial T\), then there must exist an \(x \in S\) such that \(g(x) = y\). The Jacobian of \(g\) is nonzero at \(x\).

    We now use the inverse function theorem . We find a neighbourhood \(V \subset U\) of \(x\) and an open set \(W\) such that the restriction \(f|_V\) is a one-to-one and onto function from \(V\) to \(W\) with a continuously differentiable inverse. In particular \(g(x) = y \in W\). As \(y \in \partial T\), there exists a sequence \(\{ y_k \}\) in \(W\) with \(\lim y_k = y\) and \(y_k \notin T\). As \(g|_V\) is invertible and in particular has a continuous inverse, there exists a sequence \(\{ x_k \}\) in \(V\) such that \(g(x_k) = y_k\) and \(\lim x_k = x\). Since \(y_k \notin T = g(S)\), clearly \(x_k \notin S\). Since \(x \in S\), we conclude that \(x \in \partial S\). The claim is proved, \(\partial T \subset g(\partial S)\).


    Prove .

    Prove that a bounded convex set is Jordan measurable. Hint: induction on dimension.


    10.5: Jordan Measurable Sets is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?