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 ...
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".
In mathematics, the term homology, originally introduced in algebraic topology, has three primary, closely-related usages.The most direct usage of the term is to take the homology of a chain complex, resulting in a sequence of abelian groups called homology groups.
In mathematics, especially homotopy theory, the mapping cone is a construction in topology analogous to a quotient space and denoted . Alternatively, it is also called the homotopy cofiber and also notated . Its dual, a fibration, is called the mapping fiber.