*As part of her final year project, Juliet Cooke has written a brief introduction to homotopy, one of the key concepts in algebraic topology. She has agreed to allow us to make this available on the MathSoc website under the Creative Commons Attribution License.*

*You can also download the article in full pdf form here.*

In this article I shall be considering the notion of homotopy equivalence, which plays a central role in Algebraic Topology.

# Homotopy Equivalence of Functions

When evaluating complex contour integrals the exact shape of the contour doesn't matter as one can 'continuously deform' the contour without changing the value of the integral so long as the 'continuous deformation' does not pass over any singularities of the integrand. This significantly simplifies the complex integration of relatively well behaved complex functions and allows one to prove Cauchy's theorem and the residue theorem.

#### Definition (Homotopy equivalence)

Let and be two topological spaces with continuous maps and between them. Then a **homotopy** between and is a continuous map such that for all ,

- and
- .

If such a homotopy exists then and are said to be **homotopy equivalent** or **homotopic**. This is denoted or simply when this does not lead to ambiguity.

As is betrayed by the name, homotopy equivalence is an equivalence relation. Furthermore by thinking of contours as continuous maps from to we now have exactly the equivalence which matters in contour integration. So we can now reformulate the first paragraph precisely in the following Proposition.

#### Proposition

Let be a holomorphic function on the open set . Then, if are two homotopy equivalent contours,

# Homotopy Equivalence of Spaces

Homotopy is not restricted to maps between spaces but can also be used to formulate a enlightening form of equivalence between topological spaces themselves. To illustrate this consider the two shapes in the above image (this example is from and elaborated on in Hatcher). It is clear that they have the same essential shape as they are both used to represent the same letter in English. However they are not homeomorphic as there exists no invertible map between them.

#### Definition (Homotopy equivalence of spaces)

Two spaces and are \textbf{homotopy equivalent} if there is a homotopy equivalence between them. is a homotopy equivalence if there exists a map such that and .

However using this homotopy equivalence the s would also be homotopic to the below. The two thick letters are even homeomorphic. However if we superimpose the images and then consider deformation retraction there is indeed a difference between the s and the s which none the less makes the two s equivalent.

#### Definition (Deformation retraction (Hatcher))

A **retract** between from a space to a subspace is a continuous map such that , or equivalently . A **deformation retraction** is a homotopy relative to , that is for all . In this case we say that deformation retracts onto .

As can be seen in the figure above the is not even a subset of the thick thus the certainly does not deform retract onto or vice versa. However, the thick does deform retract onto the thin . This deformation retraction shrinks the width of the thick and is fixed on the thin throughout.

# Homotopy Groups

The homotopic equivalence did however capture that both the s and the have one hole in them. Holes in topological spaces can be detected by considered algebraic structures induced by them. In particular the fundamental group and higher homotopy groups (or homology groups which will not be covered here).

#### Fundamental Group (Strom)

Let be a topological space. The **fundamental group** of with respect to basepoint is,

Where, if is given a standard basepoint then, is the set of homotopy classes of continuous maps

which preserve basepoint ().

It can be shown that the fundamental group is in fact a group under concatenation of paths. One can also show that the homotopy classes of a loop in can be determined entirely by the loops winding number. Thus for any we have that .

However the fundamental group cannot distinguish between and (shown above) as in both spaces loops are homotopy equivalent to a constant loop at basepoint. To do this we need to introduced the higher homotopy groups.

#### Definition (Higher homotopy groups (Strom))

Let be a topological space with a point . Then the **homotopy group** of at is,

The `two dimensional' hole in can now be detected by finding that . However, in general calculating higher homotopy groups can be very difficult. An illustration of this difficulty is that even calculating , in general, when m" /> is still an open problem of homotopy theory.

# References

**(Strom)**Strom, J. 2011. Modern Classical Homotopy Theory. American Mathematical Society.**(Hatcher)**Hatcher, A. 2001. Algebraic Topology. Cambridge University Press.