General Topology – Why Use Closed Intervals for Continuity and Open Intervals for Differentiability?

continuityderivativesfunctionsgeneral-topology

In books like Calculus (Larson), in the theorems'definitions like Rolle's theorem, when they talk about continuity, they use closed intervals [a,b]. But when they talk about differentiability they use open brackets (a,b).

Why are closed intervals used for continuity and open intervals for differentiability?

Why can't you say "differentiable on the closed interval [a,b]"?

Rolle's Theorem definition

Best Answer

It is not that "closed intervals are used for continuity and open intervals for differentiability" (more on this one later). It is that, for Rolle's Theorem (and the Mean Value Theorem), we need those hypotheses.

In the proof, we use that a continuous function on $[a,b]$ attains a maximum. And we only need differentiability inside, so we do not need to make further assumptions on the boundary about differentiability (again, more on this later). And it is a nice exercise to see that if you relax any hypothesis on Rolle's Theorem you do not have a true general statement anymore.

Now, continuity can be talked about in far more general settings. More particularly, we can talk about continuity on any subset of the real numbers in a rather canonical fashion (no need to be intervals, closed or open or whatever).

Differentiability is a little trickier. It is common to define differentiability only on open sets when we are in Euclidean space (not only open intervals, but open sets in general). This is partly due to the fact that being able to differentiate from every direction is a must in some theorems and some basic facts which we would like to have. However, there are cases for which talking about differentiability, in some sense, on "not-open" sets is useful and/or a must. This is true for example when talking about functions on the closed half-space (which enhances its discussion on manifolds with boundaries), or when talking about closed submanifolds of some manifold.

In your particular setting, we can define differentiability on $[a,b]$ on many ways. Firstly, we can simply extend to the fact that the limit which defines the derivative exists on the boundaries (however, it will be only a one-sided limit). Or we can extend by saying that $f$ is differentiable on $[a,b]$ if there exists a differentiable function $g$ on an open set containing $[a,b]$ such that $g|_{[a,b]}=f$. Instead of discussing this further, I'll just say that differentiability is more subtle than continuity with respect to its domains.