# Why we define the concept of continuity

The concept of continuity is a very important idea in topology. Though I am using it all the time, but indeed I don't know what is the original purpose for us to define this concept. And I also don't understand why we define the continuity in topology as if $V$ is an open set in $Y$, $f^{-1}(V)$ is an open set in $X$

-
The root of the matter is this: if $f:X\to Y$ is continuous and has a continuous inverse, then $X,Y$ has the exact same topological properties. Hence, continuity is the 'property of choice' when dealing with topological spaces. –  Jonathan Y. Feb 14 at 20:16
It took a lot of tinkering to get the definitions right in topology. The definition of continuity needs to be general enough to apply to all topological space, but must reduce to our $\epsilon -\delta$ definition in the case of familiar spaces. It turns out that the definition in terms of open sets is exactly what's needed. –  IBWiglin Feb 14 at 20:21
@IBWiglin I feel like one of the definitions of continuity at a point in terms of neighborhoods of the input and output point is the natural analogue of the $\varepsilon$-$\delta$ definition. And then you can prove that this preimage of open sets business is a nice simple condition equivalent to "continuous at every point". –  Mark S. Feb 14 at 22:38
@MarkS. The $\epsilon-\delta$ definition is very natural, but in a general topological space we have no way of measuring distances between points so we need something more general. –  IBWiglin Feb 14 at 23:17
Another equivalent definition: For sufficiently nice topological spaces, a function is continuous iff $f(x_n) \to f(x)$ whenever $x_n \to x$. For topological spaces in general, replace the notion of sequence by the more general notion of net. –  Charles Staats Feb 15 at 1:40
show 1 more comment

Continuity has a history before topology. Ask yourself how to define a continuous function $\mathbb R \to \mathbb R$ - maybe one that you can draw the graph of without taking your pencil off the paper.

What makes it continuous? Well one candidate was the intermediate value property. Then people discovered pathological functions line $\sin \frac 1x$ near $x=0$ - or for a function which takes all real values in any interval (and in consequence has the intermediate value property) but is nowhere continuous try the extraordinary Conway base 13 function.

Then, in the metric context, epsilon-delta definitions were developed. But the thing about drawing the curve with a pencil got lost, because most continuous functions $\mathbb R \to \mathbb R$ have no defined arc length. Differentiable and smooth functions took over, since they were the ones people dealt with most often.

If you want to see another challenge to the formalisation of mathematics in this way, research the history of the Jordan Curve Theorem.

The idea of continuity developed into topology - the development of the two is intimately linked - one way of thinking about topology is to formalise it as what you get when continuity is the most significant concept you have. Now that is overstating it a bit, because most topological objects of interest have rather more structure than that. But that, to my way of thinking, is why topology and continuity go together.

As for why continuity is defined as it is ... Topology deals with open sets. Continuity is concerned with functions. It just happens that the "inverse image of an open set under a function is open" coincides with the best intuitions we had of continuity before we abstracted it from a metric context.

-
The idea that "a function that can be drawn without picking up your pencil is continuous" is not quite right. For instance, the function $$f(x)=\frac{x}{|x|}$$ is indeed a continuous function from $\mathbb{R}-\{0\}\to\mathbb{R}$ is indeed continuous. However, if you extend this function so that it has a value at zero, then the new function cannot be continuous. If however, we assume the the domain is connected, then the graph will be connected, so the initial intuition is OK so long as the domain is connected. –  Baby Dragon Feb 14 at 21:16
@BabyDragon I wasn't suggesting you could define a continuous function in such a way - but it is a first natural way to think of a "function without holes or gaps in it". Of course when you have a domain which is not connected you can create all kinds of mayhem. –  Mark Bennet Feb 14 at 21:26
I didn't think that you were (you did use the word "maybe"). However, I felt I had to address this issue, since this is a common misconception among calculus students. Furthermore, this misconception is often perpetuated by instructors. –  Baby Dragon Feb 14 at 21:33
In fact, the "pick up the pencil" definition was the original concept, and it seems clear that early 19th-Century mathematicians such as Fourier and Cauchy would have considered $f(x) = \frac{x}{|x|}$ to be a continuous function if it were completed at 0. It was not until later that this was rejected. –  MJD Feb 14 at 21:41
I think it may also be related to the fact that the distinction was not fully made between the function itself and its graph. One might expect (in 1820) that continuity would be unaffected by isometric transformations of the plane. But in the modern formulation, the graph of a continuous function, rotated, may fail to be the graph of a continuous function. –  MJD Feb 14 at 21:49

Continuity was originally identified as an important property of functions of real variables, long before the invention of topology. For example, the intermediate value theorem says that a function $f$ attains every value in an interval $[f(a), f(b)]$—but only if $f$ is continuous on $[a,b]$. An important application of this is finding roots of equations that are too hard to solve symbolically. If $f(a) < 0$ and $f(b) > 0$ we know there must be a root in $(a,b)$, and we can find it by subdividing the interval—but only if $f$ is continuous on $(a,b)$.

Similarly, as pgadey says elsewhere, continuous functions are those that can be approximated, which is crucial for obtaining approximate numerical solutions to problems of physics and engineering.

Analysis was originally developed in order to study convergence and approximation properties of functions and sequences, questions like “which functions can be approximated by power series?” and “will my Fourier series sum to the correct function?”

Topology is an abstraction of ideas of continuity and convergence that already existed in analysis, created to study these ideas more carefully and in different settings. General open sets are an abstraction of the properties of open intervals on the real line. On the line, two sets are considered "distant" if they are contained within disjoint open intervals. In topology we replace this notion of distance with one involving open sets. On the real line a function is continuous if it takes points that are "close together" in the domain to points that are "close together" in the codomain; points "far apart" in the codomain must be images of points "far apart" in the domain. Topology reformulates the notion of closeness in terms of open sets: points that were in disjoint open sets ("sufficiently far apart") in the codomain must be in disjoint open sets ("sufficiently far apart") in the domain.

Continuity is important in topology because it was already important in solving numerical problems in physics and engineering, and for this reason topology was invented to better understand continuity.

-

The idea of a point of closure expresses when a point is "close" to a set. And here I'm using "close" more loosely than in just a metric space distance.

The idea of continuous maps is that they preserve points of closure. What I mean by that is that the image of a limit point is a point of closure of the image. So, continuous points don't "tear" points away from the sets they're close to.

Go ahead and check that the inverse image definition of continuity is equivalent to "the function preserves all points of closure."

-

The concept of continuity in topological space is crucial because of that if there exist a continuous function with the continuous inverse between two topological spaces, than in topological point of view they are identical. The main concept in topological space (which help us define that space) is the open set. Than dealing with 'equivalences' in terms of topology must be transmitted with open sets.

-
I think this is exactly backwards. Continuity was discovered in the context of real-valued functions, and topology was invented to study continuity because continuity had already been identified as being important. –  MJD Feb 14 at 20:31

The two main reasons we defined continuity, in my humble opinion, are as follows:

1. Continuity makes functions tame. Try to prove a proposition about arbitrary functions between topological spaces. You won't be able to get anywhere. Most topological spaces we deal with are so large that functions between them can behave in wild ways. If you don't forced them to respect some kind of structure coming from the topology, you won't be able to prove anything about them. If you force functions to respect topology'' by being continuous, then you'll get theorems such as: Compact sets map to compact sets under continuous maps.

2. In metric spaces continuity allows you to approximate. The standard $\epsilon\delta$-defintion of continuity allows you to approximate the value of a continuous function. It says: "If you give me a continuous function, a base point, and an error term, then I'll give you a range around your base point where your function is close to the value it takes at your base point." Approximation is good enough for most purposes, and it allows you to talk about limits.

One way to rationalize the choice of definition of continuity in arbitrary topological spaces is that the definition we've chosen specializes to the $\epsilon\delta$-definition in metric spaces. There are some deeper reasons, but I think that that is a good place to start.

-