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:
For each dimensional k, the boundary maps d k : δD k → RP k−1 /RP k−2 is the map that collapses the equator on S k−1 and then identifies antipodal points. In odd (resp. even) dimensions, this has degree 0 (resp. 2):
The opposite is also true: If X has a hole with a d-dimensional boundary, then there is a d-dimensional sphere that is not homotopic to a constant map, so the d-th homotopy group of X is not trivial. In short, X has a hole with a d -dimensional boundary, if-and-only-if π d ( X ) ≇ 0 {\displaystyle \pi _{d}(X)\not \cong 0} .The homotopical ...
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 ...
Indeed, both above composites are homotopic, for example, to the loop that traverses all three loops ,, with triple speed. The set of based loops up to homotopy, equipped with the above operation therefore does turn π 1 ( X , x 0 ) {\displaystyle \pi _{1}(X,x_{0})} into a group.