Skip to content

Mathematics · Ch 1 — Sets, Relations and Functions

Intervals and Neighbourhoods

1.4.2

Intervals and Neighbourhoods

The real line. Every real number corresponds to a unique point on a line (and vice versa); we call this line the real line. Values increase to the right, decrease to the left, and since there is no gap anywhere on the line, between any two reals there are infinitely many more reals.

Definition of interval. A subset I⊆RI\subseteq R is an interval if (i) II has at least two elements, and (ii) whenever a,b∈Ia,b\in I and a<c<ba<c<b, then c∈Ic\in I too (no "holes"). Geometrically, intervals are exactly the rays and line segments of the real line. Sets like NN, WW, the odd integers, the even integers, or the primes are not intervals -- they have gaps (e.g. no integer lies strictly between 33 and 44, but genuine intervals never skip real numbers that way).

Finite vs. infinite intervals. A finite interval has two finite endpoints (though it still contains infinitely many real numbers between them); an infinite interval extends to −∞-\infty and/or ∞\infty (which are not numbers, just symbols marking "no bound"). A finite interval is closed if it contains both endpoints, open if it contains neither.

The eight standard interval types (for a,b∈R, a<ba,b\in R,\ a<b; "∘\circ" marks an excluded endpoint, "∙\bullet" an included one):

NotationSetType
(a,b)(a,b){x:a<x<b}\{x:a<x<b\}finite, open
[a,b][a,b]{x:a≤x≤b}\{x:a\le x\le b\}finite, closed
(a,b](a,b]{x:a<x≤b}\{x:a<x\le b\}finite, half-open
[a,b)[a,b){x:a≤x<b}\{x:a\le x<b\}finite, half-open
(a,∞)(a,\infty){x:a<x<∞}\{x:a<x<\infty\}infinite
[a,∞)[a,\infty){x:a≤x<∞}\{x:a\le x<\infty\}infinite
(−∞,b)(-\infty,b){x:−∞<x<b}\{x:-\infty<x<b\}infinite
(−∞,b](-\infty,b]{x:−∞<x≤b}\{x:-\infty<x\le b\}infinite

and (−∞,∞)=R(-\infty,\infty)=R, the whole real line. …