In topology, we always talk about the idea of continuous deformation. For example, we say that two spaces are equivalent if you can squish one into the other – if your space was made of clay, you could reshape it into the other just by squishing and molding, without ever tearing or gluing edges.

That’s a really nice intuition. But it’s a very informal intuition. And it suffers from the usual problem with informal intuition: it’s imprecise. There’s a reason why math is formal: because it needs to be! Intuition is great, as far as it goes, but if you really want to be able to understand what a concept means, you need to go beyond just intuition. That’s what math is all about!

We did already talk about what topological equivalence really is, using homeomorphism. But homeomorphism is not the easiest idea, and it’s really hard to see just how it connects back to the idea of continuous deformation.

What we’re going to do in this post is look at a related concept, called *homotopy*. Homotopy captures the idea of continuous deformation in a formal way, and using it, we can define a form of homotopic equivalence. It’s not quite equivalent to homeomorphism: if two spaces are homeomorphic, they’re always homotopy equivalent; but there are homotopy equivalent spaces that aren’t homeomorphic.

How can we capture the idea of continuous transformation? We’ll start by looking at it in functions: suppose I’ve got two functions, and . Both and map from points in a topological space to a topological space . What does it mean to say that the function can be continuously transformed to ?

We can do it using a really neat trick. We’ll take the unit interval space – the topological space using the difference metric over the interval from 0 to 1. Call it .

can be continuously deformed into if, and only if, there is a *continuous* function , where .

If that’s true, then we say is a *homotopy* between and , and that and are *homotopic*.

That’s just the first step. Homotopy, the way we just defined it, doesn’t say anything about topological spaces. We’ve got two spaces, but we’re not looking at how to transform one space into the other; we’re just looking at functions that map between the spaces. Homotopy says when two functions between two spaces are loosely equivalent, because one can be continuously deformed into the other.

To get from there to the idea of transformability of *spaces*, we need to think about what we’re trying to say. We want to say that a space can be transformed into a space B. What does that really mean?

One way to say it would be that if I’ve got , I can mush it into a shape , and then much it back to , without ever tearing or gluing anything. Putting that in terms of functions instead of squishies, that means that there’s a continous function from to , and then a continous function back from to . It’s not enough just to have that pair of functions: if you apply to map to , and then apply to map back, you need to get back something that’s indistinguishable from what you started with.

Formally, if and are topological spaces, and and are continuous functions, then the spaces and are homotopically equivalent – equivalent over squishing and remolding, but not tearing or gluing – if is homotopic with the id function on , and is homotopic with the id function on .

That captures exactly the notion of continuous transformation that we tried to get with the intuition at the start. Only now it’s complete and precise – we’ve gotten rid of the fuzziness of intuition.

Filip NikšićThe notion of homotopy is connected to one of the hottest topics these days—homotopy type theory (HoTT)—where types are interpreted as spaces, and equality is interpreted as homotopy. How about touching upon HoTT in one of your future posts?

markccPost authorTo be honest, I don’t know anything about it. I’ll try to find some time to read up – any particularly good refs you can point me at?

John ArmstrongWell, HoTT itself… http://homotopytypetheory.org/book/

PseudonymI’m working my way through this lecture series: http://www.cs.cmu.edu/~rwh/courses/hott/

Note the link to the videos of lectures at the top of the page, but the student-curated course notes are particularly good.

John ArmstrongThis is a little misleading. The notion of “homotopy” they really care about in HoTT is a categorical generalization of topological homotopy. Specifically, it’s working in weak 2- (or n-)categories, where a homotopy-equivalence between objects A and B is a pair of 1-morphisms f: A -> B and g: B -> A and 2-isomorphisms between the two compositions and the identity 1-morphisms.

This is specifically applied to a category in which objects are types, 1-morphisms are functions, and 2-morphisms are.. well.. to be honest I’m not sure offhand what with holding down a real job and another full-time hobby already.

NomadIf we’re going to go down that route, it would be nice if we had a blog post on Category theory in general.

David Starner“And now homotopy is my circle of hell

But well, I’ll get by any way that I can”

The Klein Four Group — “Just the Four of Us”