Mathematics · Ch 1 — Sets, Relations and Functions
Intervals and Neighbourhoods
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 is an interval if (i) has at least two elements, and (ii) whenever and , then too (no "holes"). Geometrically, intervals are exactly the rays and line segments of the real line. Sets like , , the odd integers, the even integers, or the primes are not intervals -- they have gaps (e.g. no integer lies strictly between and , 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 and/or (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 ; "" marks an excluded endpoint, "" an included one):
| Notation | Set | Type |
|---|---|---|
| finite, open | ||
| finite, closed | ||
| finite, half-open | ||
| finite, half-open | ||
| infinite | ||
| infinite | ||
| infinite | ||
| infinite |
and , the whole real line. …