What is the intuition for the point-set topology definition of continuity?

One abstract way to think about continuity (in the sense that it generalizes to non-metric spaces) is that it is about error. A function $f : X \to Y$ is continuous at $x$ precisely when $f(x)$ can be "effectively measured" in the sense that, by measuring $x$ closely enough, we can measure $f(x)$ to any desired precision. (In other words, the error in our measurement of $f(x)$ can be controlled. "Precision" here means "to within an arbitrary neighborhood of $f(x)$," so it does not depend on any metric notions.) This is an abstract formulation of one of the most basic assumptions of science: that (most of) the quantities we try to measure ($f(x)$) depend continuously on the parameters of our experiments ($x$). If they didn't, science would be effectively impossible.

If you like thinking about limits, a function is continuous if and only if it preserves limits of filters or, equivalently, nets. These are two ways to generalize converge of sequences to spaces which are not first-countable.


Maybe it's just me, but I've never thought that the usual $\epsilon$-$\delta$ definition of continuity is intuitive at all. Why should a function be continuous at $x$ if every ball of radius $\epsilon$ around $f(x)$ contains the image under $f$ of a ball of radius $\delta$ around $x$?

Instead, in metric spaces, I think of a function as continuous if it preserves limits, which can be intuitively (and generalizably) be phrased by saying that $f$ is continuous if and only if whenever $x$ is in the closure of a set $A$, then $f(x)$ is in the closure of the set $f(A)$.

(Take a piece of paper and draw out the arguments of the next two paragraphs)

To see that the $\epsilon$-$\delta$ continuity implies 'closure' continuity, suppose that $f$ is not closure continuous at $x$, that is $x$ is in the closure of some set $A$ but $f(x)$ is not in the closure of $f(A)$. Then there exists an $\epsilon$-ball around $f(x)$ that does not intersect $f(A)$ even though every $\delta$-ball intersects $A$. Hence, some $\epsilon$-ball around $f(x)$ contains no image of a $\delta$-ball around $x$, and so $f$ is also not $\epsilon$-$\delta$ continuous.

To see that 'closure' continuity implies $\epsilon$-$\delta$ continuity, suppose that $f$ is not $\epsilon$-$\delta$ continuous. Then there exists an $\epsilon$-ball around $f(x)$ that contains no image of a $\delta$-ball around $x$. In other words, the preimage of the $\epsilon$-ball around $f(x)$ contains no $\delta$-ball around $x$, so let $A$ be the collection of points that are not in the preimage of the $\epsilon$-ball. Then $x$ is in the closure of $A$ since any $\delta$-ball around $x$ has a point outside the preimage of the $\epsilon$-ball and hence in $A$, but $f(x)$ is not in the closure of $f(A)$ since the $\epsilon$-ball around $f(x)$ is disjoint from $f(A)$.

Now, the cool thing to notice is that the above equivalence of definitions works perfectly fine if you replace $\delta$-balls and $\epsilon$-balls with open sets in the appropriate topological spaces, so really what you should care about is how to make sense of 'closure' continuity in a space that is not a metric space, and the answer is given by the wiki:Kuratowski Closure Axioms.

You might also find useful the answers to this mathoverflow question, specifically this one by sigfpe and this one by Vectornaught. The first one talks about how open sets can be thought of as rulers that try to measure imprecisely things in the vector space (but which doesn't explain why continuity it as it is)), while the second phrases the Kuratwoski Closure Axioms in terms of the intuitive notion of 'nearness' of points (which does account for continuity).


You have it exactly right. It works well when $X$ and $Y$ are metric spaces, and has proved useful in more general contexts. When you think of open sets as points "near" another, this is the proper translation of the usual $\epsilon-\delta$ definition.