|
Fibration
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. Formal definitions Homotopy lifting property A mapping p \colon E \to B satisfies the homotopy lifting property for a space X if: * for every homotopy h \colon X \times , 1\to B and * for every mapping (also called lift) \tilde h_0 \colon X \to E lifting h, _ = h_0 (i.e. h_0 = p \circ \tilde h_0) there exists a (not necessarily unique) homotopy \tilde h \colon X \times , 1\to E lifting h (i.e. h = p \circ \tilde h) with \tilde h_0 = \tilde h, _. The following commutative diagram shows the situation: Fibration A fibration (also called Hurewicz fibration) is a mapping p \colon E \to B satisfying the homotopy lifting property for all spaces X. The space B is called base ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fibration Homomorphism
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. Formal definitions Homotopy lifting property A mapping p \colon E \to B satisfies the homotopy lifting property for a space X if: * for every homotopy h \colon X \times , 1\to B and * for every mapping (also called lift) \tilde h_0 \colon X \to E lifting h, _ = h_0 (i.e. h_0 = p \circ \tilde h_0) there exists a (not necessarily unique) homotopy \tilde h \colon X \times , 1\to E lifting h (i.e. h = p \circ \tilde h) with \tilde h_0 = \tilde h, _. The following commutative diagram shows the situation: Fibration A fibration (also called Hurewicz fibration) is a mapping p \colon E \to B satisfying the homotopy lifting property for all spaces X. The space B is called base sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hopf Fibration
In differential topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ordinary sphere. Discovered by Heinz Hopf in 1931, it is an influential early example of a fiber bundle. Technically, Hopf found a many-to-one continuous function (or "map") from the -sphere onto the -sphere such that each distinct ''point'' of the -sphere is mapped from a distinct great circle of the -sphere . Thus the -sphere is composed of fibers, where each fiber is a circle — one for each point of the -sphere. This fiber bundle structure is denoted :S^1 \hookrightarrow S^3 \xrightarrow S^2, meaning that the fiber space (a circle) is embedded in the total space (the -sphere), and (Hopf's map) projects onto the base space (the ordinary -sphere). The Hopf fibration, like any fiber bundle, has the important property that it is locally a product space. However it is not a ''trivial'' fiber ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasifibration
In algebraic topology, a quasifibration is a generalisation of fibre bundles and fibrations introduced by Albrecht Dold and René Thom. Roughly speaking, it is a continuous map ''p'': ''E'' → ''B'' having the same behaviour as a fibration regarding the (relative) homotopy groups of ''E'', ''B'' and ''p''−1(''x''). Equivalently, one can define a quasifibration to be a continuous map such that the inclusion of each fibre into its homotopy fibre is a Weak equivalence (homotopy theory), weak equivalence. One of the main applications of quasifibrations lies in proving the Dold-Thom theorem. Definition A continuous surjective map of topological spaces ''p'': ''E'' → ''B'' is called a quasifibration if it induces isomorphisms : p_*\colon \pi_i(E,p^(x),y) \to \pi_i(B,x) for all ''x'' ∈ ''B'', ''y'' ∈ ''p''−1(''x'') and ''i'' ≥ 0. For ''i'' = 0,1 one can only speak of bijections between the two sets. By definition, quasifibrations share a key property of fibrations, namely t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Path Space Fibration
In algebraic topology, the path space fibration over a pointed space (X, *) is a fibration of the form :\Omega X \hookrightarrow PX \overset\to X where *PX is the ''based'' path space of the pointed space (X, *); that is, PX = \ equipped with the compact-open topology. *\Omega X is the fiber of \chi \mapsto \chi(1) over the base point of (X, *); thus it is the loop space of (X, *). The ''free'' path space of ''X'', that is, \operatorname(I, X) = X^I, consists of all maps from ''I'' to ''X'' that do not necessarily begin at a base point, and the fibration X^I \to X given by, say, \chi \mapsto \chi(1), is called the free path space fibration. The path space fibration can be understood to be dual to the mapping cone. The fiber of the based fibration is called the mapping fiber or, equivalently, the homotopy fiber. Mapping path space If f\colon X\to Y is any map, then the mapping path space P_f of f is the pullback of the fibration Y^I \to Y, \, \chi \mapsto \chi(1) along f. (A map ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weak Equivalence (homotopy Theory)
In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a model category. A model category is a category with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated homotopy category of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms. It is a useful observation that the associated homotopy category depends only on the weak equivalences, not on the fibrations and cofibrations. Topological spaces Model categories were defined by Quillen as an axiomatization of homotopy theory that applies to topological spaces, but also to many other categories in algebra and geometry. The example that started the subject is the category of topological spaces with Serre fibrations as fibrations and weak homotopy equival ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Postnikov System
In homotopy theory, a branch of algebraic topology, a Postnikov system (or Postnikov tower) is a way of decomposing a topological space by filtering its homotopy type. What this looks like is for a space X there is a list of spaces \_ where\pi_k(X_n) = \begin \pi_k(X) & \text k \leq n \\ 0 & \text k > n \endand there is a series of maps \phi_n: X_n \to X_ that are fibrations with fibers Eilenberg-MacLane spaces K(\pi_n(X),n). In short, we are decomposing the homotopy type of X using an inverse system of topological spaces whose homotopy type at degree k agrees with the truncated homotopy type of the original space X. Postnikov systems were introduced by, and are named after, Mikhail Postnikov. There is a similar construction called the Whitehead tower (defined below) where instead of having spaces X_n with the homotopy type of X for degrees \leq n, these spaces have null homotopy groups \pi_(X_n) =0 for 1 is classified by a homotopy class : _n\in _,K(\pi_n(X), n+1)\cong H^(X_, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Fiber
In mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber)Joseph J. Rotman, ''An Introduction to Algebraic Topology'' (1988) Springer-Verlag ''(See Chapter 11 for construction.)'' is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces f:A \to B. It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of homotopy groups\cdots \to \pi_(B) \to \pi_n(\text(f)) \to \pi_n(A) \to \pi_n(B) \to \cdotsMoreover, the homotopy fiber can be found in other contexts, such as homological algebra, where the distinguished triangleC(f)_\bullet 1\to A_\bullet \to B_\bullet \xrightarrowgives a long exact sequence analogous to the long exact sequence of homotopy groups. There is a dual construction called the homotopy cofiber. Construction The homotopy fiber has a simple description for a continuous map f:A \to B. If we replace f by a fibr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fiber Bundle
In mathematics, and particularly topology, a fiber bundle ( ''Commonwealth English'': fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a product space B \times F is defined using a continuous surjective map, \pi : E \to B, that in small regions of E behaves just like a projection from corresponding regions of B \times F to B. The map \pi, called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space E is known as the total space of the fiber bundle, B as the base space, and F the fiber. In the '' trivial'' case, E is just B \times F, and the map \pi is just the projection from the product space to the first factor. This is called a trivial bundle. Examples of non-trivial fiber bundles include the Möbius strip and Klein bottle, as well as nontrivial covering spaces. Fiber bundles, such as the tangent bundle of a manifol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Lifting Property
In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property (also known as an instance of the right lifting property or the covering homotopy axiom) is a technical condition on a continuous function from a topological space ''E'' to another one, ''B''. It is designed to support the picture of ''E'' "above" ''B'' by allowing a homotopy taking place in ''B'' to be moved "upstairs" to ''E''. For example, a covering map has a property of ''unique'' local lifting of paths to a given sheet; the uniqueness is because the fibers of a covering map are discrete spaces. The homotopy lifting property will hold in many situations, such as the projection in a vector bundle, fiber bundle or fibration, where there need be no unique way of lifting. Formal definition Assume all maps are continuous functions between topological spaces. Given a map \pi\colon E \to B, and a space Y\,, one says that (Y, \pi) has the homotopy lifting property, page 7 or t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy-equivalent
In topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second parameter of ''H'' as time then ''H'' describes a ''continuous def ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy
In topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second parameter of ''H'' as time then ''H'' describes a ''continu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
