The definition of continuous function in topology

I am self-studying general topology, and I am curious about the definition of the continuous function. I know that the definition derives from calculus, but why do we define it like that?I mean what kind of property we want to preserve through continuous function?

Solution 1:

Let's formulate the general definition in a somewhat more intuitive way : a function is continuous if under small perturbation in the domain the variation in the range is not too big, or more precisely : we can make the variation in the range as small as we want if we restrict to small enough perturbations in the domain.

In the context of general topology, the "small" sets may be replaced by "well chosen open sets". So the definition should be thought of as : a function $f$ is continuous at $x$ if given any small enough open set $U$ containing $f(x)$, there is an open set $V$ (that we may be forced to choose very small) containing $x$ such that $f(V) \subset U$.

Solution 2:

If you mean the definition that $f\colon X\to Y$ is continuous if $f^{-1}(U)$ is open for every open $U\subseteq Y$, then this is because this property is equivalent to continuity in metric spaces, but doesn't refer to the metric. This makes it a natural candidate for the general definition.

It is a little harder to motivate the definition in terms of the preservation of properties, because we have to do it backwards. We are saying that a function $f$ is continuous if $f^{-1}$ (thought of as a function from the set of subsets of $Y$ to the set of subsets of $X$) preserves the property of openness. We run into problems if we try to insist that $f(U)$ is open for every open $U\subseteq X$ (maps with this property are called open), because the image function from subsets of $X$ to subsets of $Y$, taking a subset $V$ to the subset $f(V)$, doesn't respect the operations of union and intersection in the same way that $f^{-1}$ does. For example, $f^{-1}(U\cap V)=f^{-1}(U)\cap f^{-1}(V)$, but it is not true in general that $f(U\cap V)=f(U)\cap f(V)$. As the definition of a topology involves certain intersections and unions preserving the property of openness, any "structure preserving map" must do so as well, which is why we consider $f^{-1}$.

Solution 3:

I want to add a bit to Matt Pressland's nice answer:

Sometimes it is useful to think of the notion of a 'continuous' function as more 'primitive' than the notion of a 'topology'. For example:

• Subspace topology is what makes the inclusion map continuous, i.e. choose the basis of the topology such that the inclusion map is continuous.
• Product topology is what makes the projection map continuous
• Quotient topology is what makes the quotient map continuous