When a mathematician writes that a function f is defined on the closed interval [a, b], they are specifying the exact set of input values for which the function produces an output, and they are also indicating that the endpoints a and b belong to this set. Now, this means that both f(a) and f(b) exist as real numbers, a fact that unlocks a variety of powerful theorems and properties that are not guaranteed on open or half‑open intervals. Understanding what it means for a function to be defined on a closed interval is essential for anyone studying calculus, real analysis, or any applied field that relies on precise descriptions of domain and range.
Definition
A closed interval in the real line is a set of the form
[
[a,b] = {x \in \mathbb{R} \mid a \le x \le b},
]
where a and b are real numbers with a ≤ b. ]
If the domain of f is exactly [a,b], we often write f : [a,b] → ℝ. Here's the thing — when we say that a function f is defined on [a,b], we mean that for every x in this set, f(x) is a well‑defined real number. In symbols,
[
\text{dom}(f) \supseteq [a,b].
The crucial point is that the interval includes its endpoints, so the function must assign a value to a and to b Not complicated — just consistent..
Why the Closed Interval Matters
Including the endpoints is not merely a technical detail; it has profound consequences:
- Existence of Extreme Values – Because the interval is closed and bounded, any continuous function on it attains a maximum and a minimum (Extreme Value Theorem).
- Applicability of Integral Definitions – The definite integral of a function over [a,b] is defined using the closed interval; the endpoints provide the limits of integration.
- Boundary Conditions – In differential equations and optimization, specifying values at a and b (boundary conditions) is only possible when the function is defined on the closed interval.
- Continuity and Uniform Continuity – A function that is continuous on a closed interval is automatically uniformly continuous, a fact that fails on open intervals.
Key Properties
Boundedness
If f is defined on a closed interval [a,b] and is continuous, then f is bounded. That is, there exist numbers M and m such that
[
m \le f(x) \le M \quad \text{for all } x \in [a,b].
]
Even without continuity, a function defined on a closed interval may be unbounded, but the interval itself is a bounded set.
Continuity
A function f is continuous on [a,b] if for every c ∈ [a,b] and every ε > 0 there exists δ > 0 such that |x − c| < δ implies |f(x) − f(c)| < ε. The closed nature of the interval ensures that continuity at the endpoints is interpreted using one‑sided limits.
Differentiability
If f is differentiable on (a,b) and continuous on [a,b], we say f is differentiable on the closed interval. The derivative at a and b is defined as the appropriate one‑sided limit, provided it exists.
Integrability
A bounded function on [a,b] is Riemann integrable if its set of discontinuities has measure zero. The closed interval provides the necessary compactness for many integration
The closed interval provides the necessary compactness for many integration theories, serving as the foundational environment where the most powerful analytical tools operate. According to the Heine–Borel theorem, a subset of the real numbers is compact if and only if it is closed and bounded. This topological property is what guarantees that every sequence within $[a,b]$ has a convergent subsequence, a fact that is absolutely essential for proving the existence of limits Small thing, real impact..
