Search results
Results from the WOW.Com Content Network
The antipodal map preserves orientation (is homotopic to the identity map) [2] when is odd, and reverses it when is even. Its degree is ( − 1 ) n + 1 . {\displaystyle (-1)^{n+1}.} If antipodal points are identified (considered equivalent), the sphere becomes a model of real projective space .
A homeomorphism is a special case of a homotopy equivalence, in which g ∘ f is equal to the identity map id X (not only homotopic to it), and f ∘ g is equal to id Y. [7]: 0:53:00 Therefore, if X and Y are homeomorphic then they are homotopy-equivalent, but the opposite is not true. Some examples:
Two maps , are called homotopic relative to A if they are homotopic by a basepoint-preserving homotopy : [,] such that, for each p in and t in [,], the element (,) is in A. Note that ordinary homotopy groups are recovered for the special case in which A = { x 0 } {\displaystyle A=\{x_{0}\}} is the singleton containing the base point.
The degree of a map is a homotopy invariant; moreover for continuous maps from the sphere to itself it is a complete homotopy invariant, i.e. two maps ,: are homotopic if and only if = (). In other words, degree is an isomorphism between [ S n , S n ] = π n S n {\displaystyle \left[S^{n},S^{n}\right]=\pi _{n}S^{n}} and Z {\displaystyle ...
Since the Betti numbers of a 2-sphere are 1, 0, 1, 0, 0, ... the Lefschetz number (total trace on homology) of the identity mapping is 2. By integrating a vector field we get (at least a small part of) a one-parameter group of diffeomorphisms on the sphere; and all of the mappings in it are homotopic to the identity. Therefore, they all have ...
Two chain homotopic maps f and g induce the same maps on homology because (f − g) sends cycles to boundaries, which are zero in homology. In particular a homotopy equivalence is a quasi-isomorphism. (The converse is false in general.)
For example, the homotopy pushout encountered above always maps to the ordinary pushout. This map is not typically a weak equivalence, for example the join is not weakly equivalent to the pushout of X 0 ← X 0 × X 1 → X 1 {\displaystyle X_{0}\leftarrow X_{0}\times X_{1}\rightarrow X_{1}} , which is a point.
For example, the category of (reasonable) topological spaces has a structure of a model category where a weak equivalence is a weak homotopy equivalence, a cofibration a certain retract and a fibration a Serre fibration. [20] Another example is the category of non-negatively graded chain complexes over a fixed base ring. [21