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. ) with
The following commutative diagram shows the situation:
A fibration (also called Hurewicz fibration) is a mapping satisfying the homotopy lifting property for all spaces The space is called base space and the space is called total space. The fiber over is the subspace
A Serre fibration (also called weak fibration) is a mapping satisfying the homotopy lifting property for all CW-complexes.
Every Hurewicz fibration is a Serre fibration.
A mapping is called quasifibration, if for every and holds that the induced mapping is an isomorphism.
Every Serre fibration is a quasifibration.
The projection onto the first factor is a fibration. That is, trivial bundles are fibrations.
Every covering satisfies the homotopy lifting property for all spaces. Specifically, for every homotopy and every lift there exists a uniquely defined lift with
Every fiber bundle satisfies the homotopy lifting property for every CW-complex.
A fiber bundle with a paracompact and Hausdorff base space satisfies the homotopy lifting property for all spaces.
An example for a fibration, which is not a fiber bundle, is given by the mapping induced by the inclusion where a topological space and is the space of all continuous mappings with the compact-open topology.
The Hopf fibration is a non trivial fiber bundle and specifically a Serre fibration.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
We propose an introduction to homotopy theory for topological spaces. We define higher homotopy groups and relate them to homology groups. We introduce (co)fibration sequences, loop spaces, and suspen
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its
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.
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 studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and (specifically the study of ). In homotopy theory and algebraic topology, the word "space" denotes a topological space.
In mathematics, especially homotopy theory, the homotopy fiber (sometimes called the mapping fiber) 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 homotopy groupsMoreover, the homotopy fiber can be found in other contexts, such as homological algebra, where the distinguished trianglegives a long exact sequence analogous to the long exact sequence of homotopy groups.
Previously (Adv. Math. 360 (2020) art. id. 106895), we introduced a class (Z) over tilde of 2-local finite spectra and showed that all spectra Z is an element of (Z) over tilde admit a v(2)-self-map of periodicity 1. The aim here is to compute the K(2)-loc ...
In this thesis, we apply cochain complexes as an algebraic model of space in a diverse range of mathematical and scientific settings. We begin with an algebraic-discrete Morse theory model of auto-encoding cochain data, connecting the homotopy theory of d ...
Edward E. Hagenlocker and William G. Rado demonstrated Brillouin interaction in gas for the first time in 1965, right after the very first demonstrations of stimulated Brillouin scattering in solid materials. In their experiment, they used a megawatt pulse ...