Search results
Results from the WOW.Com Content Network
Given two topological spaces X and Y, a homotopy equivalence between X and Y is a pair of continuous maps f : X → Y and g : Y → X, such that g ∘ f is homotopic to the identity map id X and f ∘ g is homotopic to id Y. If such a pair exists, then X and Y are said to be homotopy equivalent, or of the same homotopy type.
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology , but nowadays is learned as an independent discipline.
The older definition of the homotopy category hTop, called the naive homotopy category [1] for clarity in this article, has the same objects, and a morphism is a homotopy class of continuous maps. That is, two continuous maps f : X → Y are considered the same in the naive homotopy category if one can be continuously deformed to the other.
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group , denoted π 1 ( X ) , {\displaystyle \pi _{1}(X),} which records information about loops in a space .
In mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber) [1] is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces:. It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of ...
The homotopy pullback of along the identity is nothing but the mapping path space of . The universal property of a homotopy pullback yields the natural map , a special case of a natural map from a limit to a homotopy limit. In the case of a homotopy fiber, this map is an inclusion of a fiber to a homotopy fiber.
An equivalent definition of homotopical connectivity is based on the homotopy groups of the space. A space is n-connected (or n-simple connected) if its first n homotopy groups are trivial. Homotopical connectivity is defined for maps, too. A map is n-connected if it is an isomorphism "up to dimension n, in homotopy".
Regular homotopy for immersions is similar to isotopy of embeddings: they are both restricted types of homotopies. Stated another way, two continuous functions f , g : M → N {\displaystyle f,g:M\to N} are homotopic if they represent points in the same path-components of the mapping space C ( M , N ) {\displaystyle C(M,N)} , given the compact ...