In topology , a homotopy (from the Greek ὁμός homos 'equal' and τόπος tópos 'place', 'place') is a constant deformation between two images from one topological space to another, for example the deformation of a curve into another curve. One application of homotopy is the definition of homotopy groups , which are important invariants in algebraic topology .
The term “homotopy” describes both the property of two images of being homotopic (preferred) to one another and the image (“continuous deformation”) that conveys this property.
A homotopy between two continuous maps is a continuous map
with the property
where is the unit interval . The first parameter corresponds to that of the original images and the second indicates the degree of deformation . The definition becomes particularly clear if one imagines the second parameter as “time” (see picture).
They say that is homotopic to and writes . Homotopy is an equivalence relation on the set of continuous mappings , the associated equivalence classes are called homotopy classes , the set of these equivalence classes is often referred to as.
A continuous mapping is called null homotopic if it is homotopic to a constant mapping .
- , And , .
Then and are homotopic to one another. Because
is steady and fulfilled and .
Is a subset of , and if two continuous mappings on agree, then and are called homotop relative to , if there is a homotopy for which for each is independent of .
An important special case is the homotopy of paths relative to the end points: A path is a continuous mapping ; where is the unit interval. Two paths are called homotopic relative of the endpoints if they are homotopic relative , i.e. H. when the homotopy fixes the starting and ending points. (Otherwise paths in the same path connection component would always be homotopic.) If and are two paths in with and , then a homotopy relative to the endpoints between them is a continuous mapping
with , , and .
A path is called null homotop if and only if it is homotop to the constant way .
The other common case is the homotopy of mappings between dotted spaces . If and are dotted spaces, then two continuous mappings are homotopic than mappings of dotted spaces if they are relatively homotopic.
Example: the fundamental group
The set of homotopy classes of mappings of dotted spaces from to is the fundamental group from to the base point .
For example, if a circle with any selected point , then the path that is described by going around the circle once is not homotopic to the path that is obtained by standing still at the starting point .
Be and two topological spaces and are and continuous mappings. Then the links and are respectively continuous mappings of or on themselves, and one can try to homotopy them to identity on X or Y.
If there are such and there that homotopic to and to homotopic is, it is called and homotopy equivalent or the same homotopy type . The maps and are then called homotopy equivalences .
Homotopy-equivalent spaces have most of the topological properties in common. If and are homotopy equivalent, then applies
- if path-related , so too .
- if and path-connected, the fundamental groups and the higher homotopy groups are isomorphic.
- the homology and cohomology groups of and are the same.
- and are deformation retracts of a topological space .
If two given homotopic mappings and belong to a certain regularity class or have other additional properties, one can ask whether the two can be connected by a path within this class. This leads to the concept of isotopy . An isotopy is a homotopy
As above, whereby all intermediate images (for fixed t ) should also have the required additional properties. The associated equivalence classes are called isotope classes .
So two homeomorphisms are isotopic if a homotopy exists, so that all are homeomorphisms. Two diffeomorphisms are isotopic if they are all diffeomorphisms themselves. (They are then also called diffeotopic .) Two embeddings are isotopic when all embeddings are.
Difference from homotopy
Indeed, requiring two mappings to be isotopic may be a stronger requirement than requiring them to be homotopic. For example, the homeomorphism of the unit disk in , which is defined by , is the same as a 180 degree rotation around the origin, therefore the identity map and are isotopic because they can be connected by rotations. In contrast, the mapping on the interval in defined by is not isotopic to identity. This is because each homotopy of the two images has to swap the two endpoints at a certain point in time; at this point they are mapped to the same point and the corresponding map is not a homeomorphism. In contrast, homotop to identity, for example through homotopy , is given by .
In geometric topology , isotopies are used to establish equivalence relations.
For example in knot theory - when are two knots and to be considered equal? The intuitive idea of deforming one knot into the other leads to the demand for a path of homeomorphisms: an isotopia that begins with the identity of three-dimensional space and ends with a homeomorphism h , so that h the knot in the knot convicted. Such isotopes of the surrounding space is ambient isotopic or Umgebungsisotopie called.
Another important application is the definition of the mapping class group Mod (M) a manifold M . One considers diffeomorphisms of M “up to isotopia”, that means that Mod (M) is the ( discrete ) group of diffeomorphisms of M , modulo the group of diffeomorphisms that are isotopic to identity.
between chain complexes and are called chain homotop if there is a homomorphism
If there are homotopic maps between topological spaces, then the induced maps are the singular chain complexes
Two dotted figures
hot homotopic if there is a continuous map with
- and for everyone
- for all
gives. The set of homotopy classes of dotted maps is denoted by.
- Brayton Gray: Homotopy theory. An introduction to algebraic topology (= Pure and Applied Mathematics . No. 64 ). Academic Press, New York et al. a. 1975, ISBN 0-12-296050-5 .
- Allen Hatcher: Algebraic Topology . Cambridge University Press, Cambridge 2002, ISBN 0-521-79540-0 .
- John McCleary (Ed.): Higher Homotopy Structures in Topology and Mathematical Physics . Proceedings of an international Conference, June 13-15, 1996 at Vassar College, Poughkeepsie, New York, to Honor the sixtieth Birthday of Jim Stasheff. American Mathematical Society, Providence RI 1999, ISBN 0-8218-0913-X ( Contemporary Mathematics 227).
- George W. Whitehead: Elements of Homotopy Theory . Corrected 3rd printing. Springer, New York a. a. 1995, ISBN 0-387-90336-4 ( Graduate Texts in Mathematics 61).
- M. Sielemann, F. Casella, M. Otter, C. Claus, J. Eborn, SE Mattsson, H. Olsson: Robust Initialization of Differential-Algebraic Equations Using Homotopy . International Modelica Conference, Dresden 2011, ISBN 978-91-7393-096-3 .