The Unapologetic Mathematician

Mathematics for the interested outsider

Continuous Maps

Okay, we know what a topological space is. As we might expect, these will be the objects of some category \mathbf{Top}. So we need morphisms to connect them, and for this we will use the concept of a continuous map. In some sense these will be “closeness preserving”, but as we’ll see they work a little differently than the various algebraic categories we’re used to.

Here’s the definition: a continuous map from the topological space (X,\tau_X) to the topological space (Y,\tau_Y) is a function f:X\rightarrow Y between the underlying sets so that the preimage of an open set is open. That is, for every open set U\in\tau_Y we can construct f^{-1}(U)=\{x\in X|f(x)\in U\}, and we require that this set be open in X. That is: f^{-1}(U)\in\tau_X. We have a special term for isomorphisms in this category: “homeomorphism”. That is, a homeomorphism between topological spaces is a continuous map with a continuous inverse.

This always feels a little weird to me. Over in algebra we take sets, add extra structure, and define the morphisms to be those functions which preserve that structure. Here we’re defining the morphisms to be those which reflect the extra structure. But let’s accept it and move on.

Of course we also want to consider the categorical perspective. What does a continuous map give us in terms of the topology? It’s a functor from the topology on Y to the topology on X, considered as categories! Indeed, if U\subseteq V are two open sets in Y, then f^{-1}(U)\subseteq f^{-1}(V) — everything that lands in U also lands in V — and so we send open sets to open sets and inclusion arrows to inclusion arrows. This shows that f^{-1}:\tau_Y\rightarrow\tau_X is a functor.

Even more is true. First, notice that everything in X goes to some point of Y, so f^{-1}(Y)=X. Similarly, nothing lands in the empty subset of Y, so f^{-1}(\varnothing)=\varnothing. Given a family of open sets U_\alpha\in\tau_Y, a point that lands in their union is in the preimage of at least one of the sets — f^{-1}(\bigcup\limits_\alpha U_\alpha)=\bigcup\limits_\alpha f^{-1}(U_\alpha). Similarly we see that given a finite collection of open sets U_i\in\tau_Y, a point that lands in their intersection is in the preimage of each of them — f^{-1}(\bigcap\limits_{i=1}^nU_i)=\bigcap\limits_{i=1}^nf^{-1}(U_i). That is, f^{-1} preserves the finite products and arbitrary coproducts that we assume to exist in these categories.

The catch here is that, as far as we’ve come, we can’t really recover a function f from this functor f^{-1}. That is, f^{-1} only talks about open sets rather than about points of our spaces. As yet, these two definitions aren’t quite equivalent, and we’re stuck with talking about the map f as fundamental and deriving from it the functor f^{-1}.

November 12, 2007 Posted by | Point-Set Topology, Topology | 12 Comments

   

Follow

Get every new post delivered to your Inbox.

Join 389 other followers