# 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.
* If $X$ is a discrete space and $Y$ is any space, then any function $f:X\to Y$ is continuous.
* 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.
* $f$ is continuous.
* $f$ is continuous at $x_{0}$ for all $x_{0}\in X.$
* For any closed set $A\subset Y,$ we have $f^{-1}(A)\subset X$ is closed in $X.$
* 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

* Construct finite-point spaces $X$ and $Y$ and a map $f:X\to Y$ that is continuous but not open.
* Construct another function $f:X\to Y$ that is not continuous but is an 'open function'.
* Show that the identity map $id:X\to X$ is always continuous and open.
* 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

* If $X$ is any topological space then the identity map $id_{X}:X\to X$ is a homeomorphism.
* 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.
* The map $f:(-1,1)\to \mathbb {R}$ given by $f(x)=\tan \left({\frac {\pi }{2}}x\right)$ is a homeomorphism.

### Exercises

* Show that the maps given in the examples are indeed homeomorphisms.
* Show that if $f:X\to Y$ is a homeomorphism then $f^{-1}:Y\to X$ is also a homeomorphism.
* 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.
Next Lesson