Homotopy
The common layman’s definition of topology generally involves rubber sheets or clay, with the idea that things are “the same” if they can be stretched, squeezed, or bent from one shape into the other. But the notions of topological equivalence we’ve been using up until now don’t really match up to this picture. Homeomorphism — or diffeomorphism, for differentiable manifolds — is about having continuous maps in either direction, but there’s nothing at all to correspond to the whole stretching and squeezing idea.
Instead, we have homotopy. But instead of saying that spaces are homotopic, we say that two maps are homotopic if the one can be “stretched and squeezed” into the other. And since this stretching and squeezing is a process to take place over time, we will view it sort of like a movie.
We say that a continuous function is a continuous homotopy from to if and for all . For any time , the map is a continuous map from to , which is sort of like a “frame” in the movie that takes us from to . As time passes over the interval, we highlight one frame at a time to watch the one function transform into the other.
To flip this around, imagine starting with a process of stretching and squeezing to turn one shape into another. In this case, when we say “shape” we really mean a subspace or submanifold of some outside space we occupy, like the three-dimensional space that contains our idiomatic doughnuts and coffee mugs. The maps in this case are the inclusions of the subspaces into the larger space.
Anyway, next imagine carrying out this process, but with a camera recording it at each step. Then cut out all the frames from the movie and stack them up. We see in each layer of this flipbook how the shape at that time is included into the larger space . That is, we have a homotopy.
Now, for an example: we say that a space is “contractible” if its inclusion into itself is homotopic to a map of the whole space to a single point within the space. As a particular example, the unit ball is contractible. Explicitly, we define a homotopy latex H(p,t)=(1-t)p$, which is certainly smooth; we can check that and , so at one end we have the identity map of into itself, while at the other we have the constant map sending all of to the single point at the origin.
We should be careful to point out that homotopy only requires that the function be continuous, and not invertible in any sense. In particular, there’s no guarantee that the frame for some fixed is a homeomorphism from onto its image. If it turns out that each frame is a homeomorphism of onto its image, then we say that is an “isotopy”.
[…] can think of homotopies between maps as morphisms in a category that has the maps as objects. In terms of the movie […]
Pingback by Homotopies as Morphisms « The Unapologetic Mathematician | November 29, 2011 |
[…] time, while talking about homotopies as morphisms I said that I didn’t want to get too deeply into the reparameterization thing […]
Pingback by Homotopies as 2-Morphisms « The Unapologetic Mathematician | November 30, 2011 |
[…] we’ve seen that differentiable manifolds, smooth maps, and homotopies form a 2-category, but it’s not the only 2-category around. The algebra of differential forms […]
Pingback by The Poincaré Lemma (setup) « The Unapologetic Mathematician | December 2, 2011 |
[…] a great example of this, let’s say that is a contractible manifold. That is, the identity map and the constant map for some are homotopic. These two maps […]
Pingback by Homotopic Maps Induce Identical Maps On Homology « The Unapologetic Mathematician | December 6, 2011 |
[…] say that a space is “simply-connected” if any closed curve with is homotopic to a constant curve that stays at the single point . Intuitively, this means that any loop in the […]
Pingback by Simply-Connected Spaces « The Unapologetic Mathematician | December 14, 2011 |