Skip to main content
Mathematics LibreTexts

7.1: More on Intervals in Eⁿ. Semirings of Sets

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

    I. As a prologue, we turn to intervals in \(E^{n}\) (Chapter 3, §7).

    Theorem \(\PageIndex{1}\)

    If \(A\) and \(B\) are intervals in \(E^{n},\) then

    (i) \(A \cap B\) is an interval (\(\emptyset\) counts as an interval);

    (ii) \(A-B\) is the union of finitely many disjoint intervals (but need not be an interval itself).

    Proof

    The easy proof for \(E^{1}\) is left to the reader.

    An interval in \(E^{2}\) is the cross-product of two line intervals.

    Let

    \[A=X \times Y \text { and } B=X^{\prime} \times Y^{\prime},\]

    where \(X, Y, X^{\prime},\) and \(Y^{\prime}\) are intervals in \(E^{1}.\) Then (see Figure 29)

    Screen Shot 2019-06-28 at 9.43.33 AM.png

    and

    \[A-B=\left[\left(X-X^{\prime}\right) \times Y\right] \cup\left[\left(X \cap X^{\prime}\right) \times\left(Y-Y^{\prime}\right)\right];\]

    see Problem 8 in Chapter 1, §§1-3.

    As the theorem holds in \(E^{1}\),

    \[X \cap X^{\prime} \text { and } Y \cap Y^{\prime}\]

    are intervals in \(E^{1},\) while

    \[X-Y^{\prime} \text { and } Y-Y^{\prime}\]

    are finite unions of disjoint line intervals. (In Figure 29 they are just intervals, but in general they are not.)

    It easily follows that \(A \cap B\) is an interval in \(E^{2},\) while \(A-B\) splits into finitely many such intervals. (Verify!) Thus the theorem holds in \(E^{2}\).

    Finally, for \(E^{n},\) use induction. An interval in \(E^{n}\) is the cross-product of an interval in \(E^{n-1}\) by a line interval. Thus if the theorem holds in \(E^{n-1},\) the same argument shows that it holds in \(E^{n},\) too. (Verify!)

    This completes the inductive proof.\(\quad \square\)

    Actually, Theorem 1 applies to many other families of sets (not necessarily intervals or sets in \(E^{n}).\) We now give such families a name.

    Definition 1

    A family \(\mathcal{C}\) of arbitrary sets is called a semiring iff

    (i) \(\emptyset \in \mathcal{C}\) (\(\emptyset\) is a member), and

    (ii) for any sets \(A\) and \(B\) from \(\mathcal{C},\) we have \(A \cap B \in \mathcal{C},\) while \(A-B\) is the union of finitely many disjoint sets from \(\mathcal{C}.\)

    Briefly: \(\mathcal{C}\) is a semiring iff it satisfies Theorem 1.

    Note that here \(\mathcal{C}\) is not just a set, but a whole family of sets. Recall (Chapter §§1-3) that a set family (family of sets) is a set \(\mathcal{M}\) whose members are other sets. If \(A\) is a member of \(\mathcal{M},\) we call \(A\) an \(\mathcal{M}\)-set and write \(A \in \mathcal{M}\) (not \(A \subseteq \mathcal{M})\).

    Sometimes we use index notation:

    \[\mathcal{M}=\left\{X_{i} | i \in I\right\},\]

    briefly

    \[\mathcal{M}=\left\{X_{i}\right\},\]

    where the \(X_{i}\) are \(\mathcal{M}\)-sets distinguished from each other by the subscripts \(i\) varying over some index set \(I.\)

    A set family \(\mathcal{M}=\left\{X_{i}\right\}\) and its union

    \[\bigcup_{i} X_{i}\]

    are said to be disjoint iff

    \[X_{i} \cap X_{j}=\emptyset \text { whenever } i \neq j.\]

    Notation:

    \[\bigcup X_{i} \text{ (disjoint).}\]

    In our case, \(A \in \mathcal{C}\) means that \(A\) is a \(\mathcal{C}\)-set (a member of the semiring \(\mathcal{C})\).

    The formula

    \[(\forall A, B \in \mathcal{C}) \quad A \cap B \in \mathcal{C}\]

    means that the intersection of two \(\mathcal{C}\)-sets in a \(\mathcal{C}\)-set itself.

    Henceforth, we will often speak of semirings \(\mathcal{C}\) in general. In particular, this will apply to the case \(\mathcal{C}=\){intervals}. Always keep this case in mind!

    Note 1. By Theorem 1, the intervals in \(E^{n}\) form a semiring. So also do the half-open and the half-closed intervals separately (same proof!), but not the open (or closed) ones. (Why?)

    Caution. The union and difference of two \(\mathcal{C}\)-sets need not be a \(\mathcal{C}\)-set. To remedy this, we now enlarge \(\mathcal{C}.\)

    Definition 2

    We say that a set \(A\) (from \(\mathcal{C}\) or not) is \(\mathcal{C}\)-simple and write

    \[A \in \mathcal{C}_{s}^{\prime}\]

    iff \(A\) is a finite union of disjoint \(\mathcal{C}\)-sets (such as \(A-B\) in Theorem 1).

    Thus \(\mathcal{C}_{s}^{\prime}\) is the family of all \(\mathcal{C}\)-simple sets.

    Every \(\mathcal{C}\)-set is also a \(\mathcal{C}_{s}^{\prime}\)-set, i.e., a \(\mathcal{C}\)-simple one. (Why?) Briefly:

    \[\mathcal{C} \subseteq \mathcal{C}_{s}^{\prime}.\]

    If \(\mathcal{C}\) is the set of all intervals, a \(\mathcal{C}\)-simple set may look as in Figure 30.
    Screen Shot 2019-06-28 at 10.12.44 AM.png

    Theorem \(\PageIndex{2}\)

    If \(\mathcal{C}\) is a semiring, and if \(A\) and \(B\) are \(\mathcal{C}\)-simple, so also are

    \[A \cap B, A-B, \text { and } A \cup B.\]

    In symbols,

    \[\left(\forall A, B \in \mathcal{C}_{s}^{\prime}\right) \quad A \cap B \in \mathcal{C}_{s}^{\prime}, A-B \in \mathcal{C}_{s}^{\prime}, \text { and } A \cup B \in \mathcal{C}_{s}^{\prime}.\]

    Proof

    We give a proof outline and suggest the proof as an exercise. Before attempting it, the reader should thoroughly review the laws and problems of Chapter 1, §§1-3.

    (1) To prove \(A \cap B \in \mathcal{C}_{s}^{\prime},\) let

    \[A=\bigcup_{i=1}^{m} A_{i}(\text {disjoint}) \text { and } B=\bigcup_{k=1}^{n} B_{k} \text { (disjoint),}\]

    with \(A_{i}, B_{k} \in \mathcal{C}.\) Verify that

    \[A \cap B=\bigcup_{k=1}^{n} \bigcup_{i=1}^{m}\left(A_{i} \cap B_{k}\right) \text { (disjoint),}\]

    and so \(A \cap B \in \mathcal{C}_{s}^{\prime}\).

    (2) Next prove that \(A-B \in \mathcal{C}_{s}^{\prime}\) if \(A \in \mathcal{C}_{s}^{\prime}\) and \(B \in \mathcal{C}\).

    Indeed, if

    \[A=\bigcup_{i=1}^{m} A_{i} \text { (disjoint),}\]

    then

    \[A-B=\bigcup_{i=1}^{m} A_{i}-B=\bigcup_{i=1}^{m}\left(A_{i}-B\right) \text { (disjoint).}\]

    Verify and use Definition 2.

    (3) Prove that

    \[\left(\forall A, B \in \mathcal{C}_{s}^{\prime}\right) \quad A-B \in \mathcal{C}_{s}^{\prime};\]

    we suggest the following argument.

    Let

    \[B=\bigcup_{k=1}^{n} B_{k}, \quad B_{k} \in \mathcal{C}.\]

    Then

    \[A-B=A-\bigcup_{k=1}^{n} B_{k}=\bigcap_{k=1}^{n}\left(A-B_{k}\right)\]

    by duality laws. But \(A-B_{k}\) is \(\mathcal{C}\)-simple by step (2). Hence so is

    \[A-B=\bigcap_{k=1}^{m}\left(A-B_{k}\right)\]

    by step (1) plus induction.

    (4) To prove \(A \cup B \in \mathcal{C}_{s}^{\prime},\) verify that

    \[A \cup B=A \cup(B-A),\]

    where \(B-A \in \mathcal{C}_{s}^{\prime},\) by (3).

    Note 2. By induction, Theorem 2 extends to any finite number of \(\mathcal{C}_{s}^{\prime}\)-sets. It is a kind of "closure law."

    We thus briefly say that \(\mathcal{C}_{s}^{\prime}\) is closed under finite unions, intersections, and set differences. Any (nonempty) set family with these properties is called a set ring (see also §3).

    Thus Theorem 2 states that if \(\mathcal{C}\) is a semiring, then \(\mathcal{C}_{s}^{\prime}\) is a ring.

    Caution. An infinite union of \(\mathcal{C}\)-simple sets need not be \(\mathcal{C}\)-simple. Yet we may consider such unions, as we do next.

    In Corollary 1 below, \(\mathcal{C}_{s}^{\prime}\) may be replaced by any set ring \(\mathcal{M}\).

    Corollary \(\PageIndex{1}\)

    If \(\left\{A_{n}\right\}\) is a finite or infinite sequence of sets from a semiring \(\mathcal{C}\) (or from a ring \(\mathcal{M}\) such as \(\mathcal{C}_{s}^{\prime}\)), then there is a disjoint sequence of \(\mathcal{C}\)-simple sets (or \(\mathcal{M}\)-sets) \(B_{n} \subseteq A_{n}\) such that

    \[\bigcup_{n} A_{n}=\bigcup_{n} B_{n}.\]

    Proof

    Let \(B_{1}=A_{1}\) and for \(n=1,2, \ldots\),

    \[B_{n+1}=A_{n+1}-\bigcup_{k=1}^{n} A_{k}, \quad A_{k} \in \mathcal{C}.\]

    By Theorem 2, the \(B_{n}\) are \(\mathcal{C}\)-simple (as are \(A_{n+1}\) and \(\bigcup_{k=1}^{n} A_{k}).\) Show that they are disjoint (assume the opposite and find a contradiction) and verify that \(\bigcup A_{n}=\bigcup B_{n}:\) If \(x \in \bigcup A_{n},\) take the least \(n\) for which \(x \in A_{n}.\) Then \(n>1\) and

    \[x \in A_{n}-\bigcup_{k=1}^{n-1} A_{k}=B_{n},\]

    or \(n=1\) and \(x \in A_{1}=B_{1}. \quad \square\)

    Note 3. In Corollary 1, \(B_{n} \in \mathcal{C}_{s}^{\prime},\) i.e., \(B_{n}=\bigcup_{i=1}^{m_{n}} C_{n i}\) for some disjoint sets \(C_{n i} \in \mathcal{C}.\) Thus

    \[\bigcup_{n} A_{n}=\bigcup_{n} \bigcup_{i=1}^{m_{n}} C_{n i}\]

    is also a countable disjoint union of \(\mathcal{C}\)-sets.

    II. Recall that the volume of intervals is additive (Problem 9 in Chapter 3, §7). That is, if \(A \in \mathcal{C}\) is split into finitely many disjoint subintervals, then \(v A\) (the volume of \(A)\) equals the sum of the volumes of the parts.

    We shall need the following lemma.

    lemma 1

    Let \(X_{1}, X_{2}, \ldots, X_{m} \in \mathcal{C}\) (intervals in \(E^{n}).\) If the \(X_{i}\) are mutually disjoint, then

    (i) \(\bigcup_{i=1}^{m} X_{i} \subseteq Y \in \mathcal{C}\) implies \(\sum_{i=1}^{m} v X_{i} \leq v Y;\) and

    (ii) \(\bigcup_{i=1}^{m} X_{i} \subseteq \bigcup_{k=1}^{p} Y_{k}\left(\text {with } Y_{k} \in \mathcal{C}\right)\) implies \(\sum_{i=1}^{m} v X_{i} \leq \sum_{k=1}^{p} v Y_{k}\).

    Proof

    (i) By Theorem 2, the set

    \[Y-\bigcup_{i=1}^{m} X_{i}\]

    is \(\mathcal{C}\)-simple; so

    \[Y-\bigcup_{i=1}^{m} X_{i}=\bigcup_{j=1}^{q} C_{j}\]

    for some disjoint intervals \(C_{j}.\) Hence

    \[Y=\bigcup X_{i} \cup \bigcup C_{j} \text { (all disjoint).}\]

    Thus by additivity,

    \[v Y=\sum_{i=1}^{m} v X_{i}+\sum_{j=1}^{q} v C_{j} \geq \sum_{i=1}^{m} v X_{i},\]

    as claimed.

    (ii) By set theory (Problem 9 in Chapter 1, §§1-3),

    \[X_{i} \subseteq \bigcup_{k=1}^{p} Y_{k}\]

    implies

    \[X_{i}=X_{i} \cap \bigcup_{k=1}^{p} Y_{k}=\bigcup_{k=1}^{p}\left(X_{i} \cap Y_{k}\right).\]

    If it happens that the \(Y_{k}\) are mutually disjoint also, so certainly are the smaller intervals \(X_{i} \cap Y_{k};\) so by additivity,

    \[v X_{i}=\sum_{k=1}^{p} v\left(X_{i} \cap Y_{k}\right).\]

    Hence

    \[\sum_{i=1}^{m} v X_{i}=\sum_{i=1}^{m} \sum_{k=1}^{p} v\left(X_{i} \cap Y_{k}\right)=\sum_{k=1}^{p}\left[\sum_{i=1}^{m} v\left(X_{i} \cap Y_{k}\right)\right].\]

    But by (i),

    \[\sum_{i=1}^{m} v\left(X_{i} \cap Y_{k}\right) \leq v Y_{k} \text { (why?);}\]

    so

    \[\sum_{i=1}^{m} v X_{i} \leq \sum_{k=1}^{p} v Y_{k},\]

    as required.

    If, however, the \(Y_{k}\) are not disjoint, Corollary 1 yields

    \[\bigcup Y_{k}=\bigcup B_{k} \text { (disjoint)},\]

    with

    \[Y_{k} \supseteq B_{k}=\bigcup_{j=1}^{m_{k}} C_{k j}(\text {disjoint}), \quad C_{k j} \in \mathcal{C}.\]

    By (i),

    \[\sum_{j=1}^{m_{k}} v C_{k j} \leq v Y_{k}.\]

    As

    \[\bigcup_{i=1}^{m} X_{i} \subseteq \bigcup_{k=1}^{p} Y_{k}=\bigcup_{k=1}^{p} B_{k}=\bigcup_{k=1}^{p} \bigcup_{j=1}^{m_{k}} C_{k j} \text { (disjoint),}\]

    all reduces to the previous disjoint case.\(\quad \square\)

    Corollary \(\PageIndex{2}\)

    Let \(A \in \mathcal{C}_{s}^{\prime}\) (\(\mathcal{C}=\) intervals in \(E^{n}\)). If

    \[A=\bigcup_{i=1}^{m} X_{i}(\text {disjoint})=\bigcup_{k=1}^{p} Y_{k} \text { (disjoint)}\]

    with \(X_{i}, Y_{k} \in \mathcal{C},\) then

    \[\sum_{i=1}^{m} v X_{i}=\sum_{k=1}^{p} v Y_{k}.\]

    (Use part (ii) of the lemma twice.)

    Thus we can (and do) unambiguously define \(v A\) to be either of these sums.


    7.1: More on Intervals in Eⁿ. Semirings of Sets is shared under a CC BY license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?