In mathematics, a loop in a topological space X is a continuous function f from the unit interval I = [0,1] to X such that f(0) = f(1). In other words, it is a path whose initial point is equal to its terminal point. A loop may also be seen as a continuous map f from the pointed unit circle S^1 into X, because S^1 may be regarded as a quotient of I under the identification of 0 with 1. The set of all loops in X forms a space called the loop space of X.
In mathematics, a pointed space or based space is a topological space with a distinguished point, the basepoint. The distinguished point is just simply one particular point, picked out from the space, and given a name, such as that remains unchanged during subsequent discussion, and is kept track of during all operations. Maps of pointed spaces (based maps) are continuous maps preserving basepoints, i.e.
In algebraic topology, the path space fibration over a based space is a fibration of the form where is the path space of X; i.e., equipped with the compact-open topology. is the fiber of over the base point of X; thus it is the loop space of X. The space consists of all maps from I to X that may not preserve the base points; it is called the free path space of X and the fibration given by, say, , is called the free path space fibration. The path space fibration can be understood to be dual to the mapping cone.
In topology, a branch of mathematics, the suspension of a topological space X is intuitively obtained by stretching X into a cylinder and then collapsing both end faces to points. One views X as "suspended" between these end points. The suspension of X is denoted by SX or susp(X). There is a variation of the suspension for pointed space, which is called the reduced suspension and denoted by ΣX. The "usual" suspension SX is sometimes called the unreduced suspension, unbased suspension, or free suspension of X, to distinguish it from ΣX.
In mathematics, a path in a topological space is a continuous function from the closed unit interval into Paths play an important role in the fields of topology and mathematical analysis. For example, a topological space for which there exists a path connecting any two points is said to be path-connected. Any space may be broken up into path-connected components. The set of path-connected components of a space is often denoted One can also define paths and loops in pointed spaces, which are important in homotopy theory.
In mathematics, an H-space is a homotopy-theoretic version of a generalization of the notion of topological group, in which the axioms on associativity and inverses are removed. An H-space consists of a topological space X, together with an element e of X and a continuous map μ : X × X → X, such that μ(e, e) = e and the maps x ↦ μ(x, e) and x ↦ μ(e, x) are both homotopic to the identity map through maps sending e to e. This may be thought of as a pointed topological space together with a continuous multiplication for which the basepoint is an identity element up to basepoint-preserving homotopy.
In mathematics, and specifically in the field of homotopy theory, the Freudenthal suspension theorem is the fundamental result leading to the concept of stabilization of homotopy groups and ultimately to stable homotopy theory. It explains the behavior of simultaneously taking suspensions and increasing the index of the homotopy groups of the space in question. It was proved in 1937 by Hans Freudenthal. The theorem is a corollary of the homotopy excision theorem. Let X be an n-connected pointed space (a pointed CW-complex or pointed simplicial set).
In topology, a branch of mathematics, the smash product of two pointed spaces (i.e. topological spaces with distinguished basepoints) (X, x0) and (Y, y0) is the quotient of the product space X × Y under the identifications (x, y0) ∼ (x0, y) for all x in X and y in Y. The smash product is itself a pointed space, with basepoint being the equivalence class of (x0, y0). The smash product is usually denoted X ∧ Y or X ⨳ Y. The smash product depends on the choice of basepoints (unless both X and Y are homogeneous).
The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics. Fibrations are used, for example, in Postnikov systems or obstruction theory. In this article, all mappings are continuous mappings between topological spaces. A mapping satisfies the homotopy lifting property for a space if: for every homotopy and for every mapping (also called lift) lifting (i.e. ) there exists a (not necessarily unique) homotopy lifting (i.e.
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space. To define the n-th homotopy group, the base-point-preserving maps from an n-dimensional sphere (with base point) into a given space (with base point) are collected into equivalence classes, called homotopy classes.
