Topology/Lesson 2

So in the first lesson we learned what a topology is, what open sets, closed sets, and bases are. You should be comfortable with these concepts before beginning this second lesson.

Continuous Function
We will define the notion of a continuous function below. (Note that in topological texts and papers it is common to use the word 'map' and even the word 'function' to mean a continuous function. To avoid ambiguity, in this course we will reserve the word 'function' to mean any function, but will use 'map' to mean a continuous function.)

Definition
Let $$(X,\mathcal T_X)$$ and $$(Y,\mathcal T_Y)$$ be topological spaces. A function $$f:X\to Y$$ is called continuous if for every $$U\in \mathcal T_Y,$$ we have $$f^{-1}(U)\in \mathcal T_X.$$ That is, f is continuous iff the f-preimage of every open set (in $$Y$$) is open (in $$X$$).

Examples
It is immediate from the definition that the following two types of functions are always continuous. The proof of these two claims is left as an exercise.
 * 1) If $$X$$ is a discrete space and $$Y$$ is any space, then any function $$f:X\to Y$$ is continuous.
 * 2) If $$X$$ is any space and $$Y$$ has the indiscrete topology, then any function $$f:X\to Y$$ is continuous.

Continuous at a point
It is also possible to talk about a function being continuous at a point of its domain. So, given a map $$f:X\to Y$$ and a point $$x_0\in X$$ we say that $$f$$ is continuous at $$x_0$$ if given any neighborhood $$V\subset Y$$ of $$f(x_0)$$ there is a neighborhood $$U\subset X$$ of $$x_0$$ such that $$f(U)\subset V.$$

Exercises
Let $$f:X\to Y$$ be a function. Show that the following are equivalent.
 * 1) $$f$$ is continuous.
 * 2) $$f$$ is continuous at $$x_0$$ for all $$x_0\in X.$$
 * 3) For any closed set $$A\subset Y,$$ we have $$f^{-1}(A)\subset X$$ is closed in $$X.$$
 * 4) If $$\mathcal B$$ is a basis for $$Y$$ then for any set $$B\in \mathcal B$$ we have $$f^{-1}(B)$$ is open in $$X.$$

Open maps
The definition of a continuous map may seem awkward. Since it is a morphism in the category of topological spaces, one would expect it to preserve some property about open sets, but what one might first think is that open sets are preserved under the map of the function. But this gives a different concept.

Definition (open map)
Let $$f:X\to Y$$ be a continuous function. Then we say that $$f$$ is an open map if for any open set $$U\subset X$$ we have $$f(U)$$ is open in $$Y.$$

Merely for the purposes of the discussion here, define an open function to be a function (not necessarily continuous) $$f:X\to Y$$ such that $$f(U)$$ is open in $$Y$$ whenever $$U$$ is open in $$X.$$

Exercises

 * 1) Construct finite-point spaces $$X$$ and $$Y$$ and a map $$f:X\to Y$$ that is continuous but not open.
 * 2) Construct another function $$f:X\to Y$$ that is not continuous but is an 'open function'.
 * 3) Show that the identity map $$id:X\to X$$ is always continuous and open.
 * 4) Suppose that $$\mathcal T_1$$ and $$\mathcal T_2$$ are two distinct topologies on the set $$X.$$ Suppose that the identity map $$id:(X,\mathcal T_1)\to (X,\mathcal T_2)$$ is continuous. Show that $$\mathcal T_2\subset \mathcal T_1.$$ In this case, we say that $$\mathcal T_1$$ is finer than $$\mathcal T_2$$ or that $$\mathcal T_2$$ is coarser than $$\mathcal T_1.$$

Homeomorphism
The "isomorphism" or "equivalence" of topological spaces is called "homeomorphism." This is analogous to bijection in the case of sets and group isomorphism in the case of groups. Topologically speaking, two spaces are indistinguishable if they are homeomorphic.

Definition
Let $$f:X\to Y.$$ Then we say that $$f$$ is a homeomorphism if it is bijective and both $$f$$ and $$f^{-1}$$ are continuous. In this case we say that $$X$$ and $$Y$$ are homeomorphic and sometimes write $$X\cong Y$$ or $$X\simeq Y.$$

Examples

 * 1) If $$X$$ is any topological space then the identity map $$id_X:X\to X$$ is a homeomorphism.
 * 2) If $$f:X\to Y$$ is injective and $$f$$ and $$f^{-1}$$ are both continuous then $$f$$ is called an embedding. In this case the map $$g:X\to f(X)$$ given by $$g(x)=f(x)$$ is a homeomorphism.  That is, an embedding is a homeomorphism with its image in the target space.
 * 3) The map $$f:(-1,1)\to \mathbb{R}$$ given by $$f(x)=\tan\left(\frac{\pi}{2}x\right)$$ is a homeomorphism.

Exercises
Next Lesson
 * 1) Show that the maps given in the examples are indeed homeomorphisms.
 * 2) Show that if $$f:X\to Y$$ is a homeomorphism then $$f^{-1}:Y\to X$$ is also a homeomorphism.
 * 3) Show that if $$X$$ is homeomorphic to $$Y$$ and $$Y$$ is homeomorphic to $$Z$$ then $$X$$ is homeomorphic to $$Z.$$ Note that these first 3 exercises show that homeomorphism is an equivalence relation.