Filed under: Math, Topology | Tags: analysis, MaBloWriMo, Math, pretty pictures, topology

If you’ve done any calculus, you’ve seen continuous functions. If you haven’t, the concept isn’t that difficult to understand. A continuous function is one that doesn’t jump around, instead moving smoothly from point to point. Formally, we say a function is continuous at a point if the limits of as approaches from either side exist and are both equal to . If the term “limit” is unfamiliar, we can unpack the definition further: is continuous at if for every , there is a such that whenever , we have . This looks pretty nasty, but really all it’s saying is whenever is close to , is close to , and by moving closer, we can get the margin of error as small as we want.

Okay, and now we’ve hit that magic word “close” again, and you know what that means — we can extend this definition to functions between arbitrary topological spaces!

A **continuous map** between topological spaces is a function such that for every open set , is open in . (We don’t expect to have an inverse: here is the function on sending subsets of to their preimages in .)

At first blush, the preimage function might seem out of place here. The statement “for open, is open in ” looks a lot friendlier, and in fact, a function satisfying this condition is called an **open map**. But the continuity condition is in fact better for preserving structure. Its first defense is the epsilon-delta definition given up top for functions on . Recalling that sets of the form form a basis for the Euclidean topology on , prove that a function on the reals is “topologically” continuous iff it is “analytically” continuous.

Its second defense is the open/closed duality. If the preimage of every open set is open, then the preimage of a closed set is , which is closed. Meanwhile, we can define a **closed map** as one that sends closed sets to closed sets, but closed maps are not open maps. Even the map on the reals has , which is continuous and closed but not open, while the projection on is continuous and open but not closed (the image of a single period of the graph of is an open interval).

The third defense is the neighborhood viewpoint: a function between topological spaces is continuous at if and only if every neighborhood of includes some for a neighborhood of . In particular, if is a limit point of , then is a limit point of . So if a sequence converges to in the domain, then its image converges to in the range, and in general, . The same *cannot* be said about interiors: what can?

We talked about ordering the possible topologies of a space a while back. Prove that if we have a continuous function , then it stays continuous if we give a *finer* topology or a *coarser* one. If is discrete or is indiscrete, then any map between the two is continuous! (If is discrete or is indiscrete, then any map is open and closed.)

Prove that the composition of two continuous functions is continuous. This is so insanely useful, it’s not even funny.

Several of the topologies we’ll see in the future are constructed by *defining* certain functions to be continuous. Imagine that we have a function , where has a topology but is just a set. Then we can place a topology on by saying “a set is open iff its preimage is open in “; this is the finest topology that makes continuous (if we added another open set to , its preimage would not be open in ). Similarly, if has a topology and doesn’t, we can place a topology on by saying “a set is open iff it is the preimage of an open set in “; this is the coarsest topology on that makes continuous.

I want to say something about continuity of functions on the reals, since this really confused me when I was learning topology.

In school, they often classify the different types of discontinuities for real-valued functions into something like the above. “Removable” discontinuities are when the limit exists, but the function has no value; “jump” discontinuities are when the limits are different from each side; and “essential” discontinuities are when one of the limits is infinite or does not exist.^{1} It’s easy to see that the second and fourth functions are topologically discontinuous, but I wracked my brains over functions of the first or third type. The solution to the problem is that the first and third functions aren’t actually functions! At least, not on , since they aren’t defined at a point. If we define them to have some value at that point, they become discontinuous (as long as the value doesn’t fill the “hole” in the first one). Alternatively, we could consider the domain to be minus a point, in which case they are continuous.

Continuous functions are, in fact, the **morphisms** of the category of topological spaces. Morphisms are like half an isomorphism: they preserve structure but aren’t reversible, so they don’t give you an equivalence relation. In this case, the full isomorphism is called **homeomorphism**, and it is pretty easy to define: a homeomorphism is a continuous bijection whose inverse is also continuous. (Or just a continuous open bijection.) So a homeomorphism not only matches up the sets, it also matches up their topologies: every open set in one space will have an open image or preimage in the other one. Since the inverse of a homeomorphism is also a homeomorphism, the “preimage/image” distinction doesn’t really matter, either. In general, we might not define an explicit homeomorphism, instead just saying that two spaces are **homeomorphic**.

In a way, the topology we’re doing is the study of spaces up to homeomorphism. That is, we’re only concerned about the things that are preserved by homeomorphism (the topology and its consequences), as opposed to the extrinsic characteristics of a space that might be more visible.

Here’s an example. In the post on countability, we used a stereographic projection to shrink the real line down to a semicircle, then we projected down to the open interval . (Real stereographic projection is done with lines through the north pole of the circle, so the image of the real line is the circle minus its north pole; you can then “unwrap” this set to give you an open interval in the line.) You should check that this function (either version) is continuous, either by defining an appropriate topology on the semicircle and checking both stages, or just looking at the preimage of an open set in . But notice also that it has a natural inverse, given by running the steps backwards: first send the interval up to the circle or semicircle, then project it out to the real line. This is also continuous.

So the real line and open interval are homeomorphic — in fact, since there’s a linear map between any two open intervals, *any* open interval is homeomorphic to . (And this isn’t the only way — the tangent function is a homeomorphism between and .) What this means is that the property of boundedness is an extrinsic property: though the interval looks “small” and the line looks “infinite,” they are topologically identical. We will soon be talking about the compactness property, which is a topological way of thinking about boundedness. Similarly, since both are homeomorphic to the circle minus a point, the property of curvature is also extrinsic. I can’t think of any topological equivalent to this one, though it is very important in the more rigid study of differential geometry.

I’ll try to post again later today, since this should’ve been up yesterday. Probably back to set theory.

^{ <1>}Let’s not harbor any illusions here. Discontinuity can look a lot worse than this. Math is dangerous.

**3 Comments so far**

Leave a comment

[…] some stuff about continuous maps I found in my notes. The following functions are always continuous from to […]

Pingback by Subspaces, and more continuity « Gracious Living and the Two Meat MealNovember 7, 2010 @ 06:19[…] Remember from the continuity post that a continuous map stays continuous if takes a finer topology, or a coarser one. Given […]

Pingback by Product and Disjoint Union Topologies « Gracious Living and the Two Meat MealNovember 8, 2010 @ 15:55[…] topological -manifold is a topological space such that every point has a neighborhood that’s homeomorphic to , or equivalently, to an open ball in . If that doesn’t make any sense, you can just […]

Pingback by Differential Geometry and the Sphere Theorem « Gracious LivingDecember 16, 2010 @ 20:39