Skip to content

Mathematics · Ch 1 — Sets

Intervals as Subsets of R

1.6.2

Intervals as Subsets of R

Intervals as Subsets of R\mathbb{R}

When we work with real numbers, we often need to talk about all numbers that lie between two given numbers. The concept of an interval gives us a clean, compact way to do this. Instead of writing {x:x∈R, −3<x<5}\{x : x \in \mathbb{R}, \ -3 < x < 5\} every time, we can simply write (−3,5)(-3, 5). This notation is not just a shortcut — it is a precise language for describing connected chunks of the real number line.

Let aa and bb be real numbers with a<ba < b. The set of all real numbers between aa and bb can be described in several ways, depending on whether we include the endpoints aa and bb themselves.


Open Interval (a,b)(a, b)

The set {y:a<y<b}\{ y : a < y < b \} is called an open interval and is denoted by (a,b)(a, b). Every point strictly between aa and bb belongs to this interval, but the endpoints aa and bb themselves do not belong to it.

Note

The word "open" refers to the fact that the endpoints are excluded. On the number line, we draw an open interval with a hollow circle (or "open dot") at aa and bb to show they are not included.


Closed Interval [a,b][a, b]

The set {x:a≤x≤b}\{ x : a \le x \le b \} is called a closed interval and is denoted by [a,b][a, b]. Here, both endpoints aa and bb are included.

Important

The square bracket [ or ] always means "include this endpoint." The round parenthesis ( or ) means "exclude this endpoint."


Half-Open (or Semi-Closed) Intervals

We can also have intervals that are closed at one end and open at the other.

  • [a,b)[a, b) : {x:a≤x<b}\{ x : a \le x < b \} — includes aa, excludes bb.
  • (a,b](a, b] : {x:a<x≤b}\{ x : a < x \le b \} — excludes aa, includes bb.

These are sometimes called half-open intervals or semi-closed intervals.


Infinite Intervals

The real number line extends without bound in both directions. We use the symbols −∞-\infty (negative infinity) and ∞\infty (infinity) to describe intervals that go on forever. These are not real numbers — they are just symbols indicating that the interval has no finite bound in that direction.

  • [0,∞)[0, \infty) = {x:x≥0}\{ x : x \ge 0 \} — the set of all non-negative real numbers.
  • (−∞,0)(-\infty, 0) = {x:x<0}\{ x : x < 0 \} — the set of all negative real numbers.
  • (−∞,∞)(-\infty, \infty) = R\mathbb{R} — the entire set of real numbers.
Watch out

Infinity is never included as an endpoint. We always use a parenthesis ( or ) next to ∞\infty or −∞-\infty, never a square bracket. So [0,∞][0, \infty] is incorrect notation.


Length of an Interval

For any of the intervals (a,b)(a, b), [a,b][a, b], [a,b)[a, b), or (a,b](a, b], the number b−ab - a is called the length of the interval. This is simply the distance between the two endpoints.

Length of interval=b−a\text{Length of interval} = b - a


Intervals as Subsets

Because intervals are sets of real numbers, we can compare them using subset notation. For example, if A=(−3,5)A = (-3, 5) and B=[−7,9]B = [-7, 9], then every element of AA is also an element of BB, so A⊂BA \subset B.

Tip

When checking if one interval is a subset of another, it often helps to draw them on a number line. If the entire first interval lies within the second, the subset relation holds.


Converting Between Set-Builder and Interval Notation

These two notations are interchangeable. You must be comfortable moving from one to the other.

  • Set-builder to interval: {x:x∈R, −5<x≤7}\{ x : x \in \mathbb{R}, \ -5 < x \le 7 \} becomes (−5,7](-5, 7].
  • Interval to set-builder: [−3,5)[-3, 5) becomes {x:−3≤x<5}\{ x : -3 \le x < 5 \}. …
Figure 1.1Four number-line panels illustrating the open, closed, and half-open interval types between real numbers a and b, using hollow and filled endpoint dots to mark excluded and included endpoints.
Fig. 1.1 — Four number-line panels illustrating the open, closed, and half-open interval types between real numbers a and b, using hollow and filled endpoint dots to mark excluded and included endpoints.

Drawn by us to help you understand the concept clearly, and verified to make sure it's accurate. For exams, practice from your textbook's own diagram.

The figure is a visual summary of the four fundamental types of intervals on the real number line. It consists of four separate number-line panels arranged in a grid. Each panel shows a horizontal axis with arrows at both ends (indicating the line extends infinitely in both directions), and two labelled points, aa and bb, with a<ba < b. A thick indigo segment connects aa and bb on each line, and the endpoints are marked with either a hollow circle (open dot) or a filled circle (solid dot) to show whether that endpoint is included in the interval.

The four panels correspond to the four interval types described in the textbook:

  1. Top-left: (a,b)(a, b) — Both aa and bb have hollow circles. The thick segment runs between them, but the endpoints themselves are not part of the shaded region. This represents the open interval, containing all real numbers strictly between aa and bb, but excluding aa and bb themselves.
  2. Top-right: [a,b][a, b] — Both aa and bb have filled circles. The thick segment includes the endpoints. This is the closed interval, containing all real numbers from aa to bb, including both aa and bb.
  3. Bottom-left: [a,b)[a, b) — The circle at aa is filled, and the circle at bb is hollow. The thick segment includes aa but stops just before bb. This is a half-open (or half-closed) interval, closed at aa and open at bb.
  4. Bottom-right: (a,b](a, b] — The circle at aa is hollow, and the circle at bb is filled. The thick segment starts just after aa and includes bb. This is the other half-open interval, open at aa and closed at bb.

The physical idea is simple: the number line is a continuous picture of all real numbers. An interval is a connected chunk of that line. The figure makes the distinction between "including the boundary" and "excluding the boundary" visually immediate — a filled dot means "this point belongs to the set", a hollow dot means "this point does not belong". The thick indigo segment itself represents the infinitely many points between aa and bb, which is why the textbook notes that an interval contains infinitely many points.

The key formulas that the textbook develops directly from this figure are the set-builder definitions of each interval type. These are the precise mathematical statements of what the figure shows:

(a,b)={y:a<y<b}(a, b) = \{ y : a < y < b \}

[a,b]={x:a≤x≤b}[a, b] = \{ x : a \leq x \leq b \}

[a,b)={x:a≤x<b}[a, b) = \{ x : a \leq x < b \}

(a,b]={x:a<x≤b}(a, b] = \{ x : a < x \leq b \}

In each formula, aa and bb are real numbers with a<ba < b. The curly braces {}\{ \} mean "the set of all". The colon :: is read as "such that". The variable inside ( yy or xx ) is a dummy variable representing any element of the set. The inequality after the colon is the condition that element must satisfy. So, for example, [a,b)={x:a≤x<b}[a, b) = \{ x : a \leq x < b \} reads as "the set of all real numbers xx such that xx is greater than or equal to aa and strictly less than bb". The figure's filled dot at aa corresponds to the ≤\leq sign (including aa), and the hollow dot at bb corresponds to the << sign (excluding bb). …