Fibration
Un article de Wikipédia, l'encyclopédie libre.
En théorie de l'homotopie, une fibration est une application continue entre espaces topologiques satisfaisant une propriété de relèvement des homotopies, qui est satisfaite en général par les projections fibrées. Les fibrations de Serre relèvent les homotopies depuis les CW-complexes tandis que les fibrations de Hurewicz relèvent les homotopies depuis n'importe quel espace topologique.
[modifier] Définition
Une application p entre deux espaces topologiques E et B est appelée une fibration de Hurewicz si pour toute application 
depuis un espace topologique Z vers E telle que la composée avec p est homotope à une application g, il existe une homotopie de Z vers E dont la composée avec p donne l'homotopie dans B. Cette définition est résumée par le diagramme commutatif suivant :
![\begin{array}{ccc} Z & \stackrel{\tilde f}{\to} & E \\ ^{\mathrm{id}\times 0}\downarrow & ^\exists\!\nearrow & \downarrow^p \\ Z \times [0 ; 1] & \stackrel{H}{\to} & B\end{array}](http://upload.wikimedia.org/math/c/b/7/cb735772c8b9cc5729c8bd8365f00103.png)
Une fibration de Serre est définie de la même manière sauf que les espaces Z sont des sphères.
L'espace source et l'espace d'arrivée de la fibration son respectivement appelés espace total et base de la fibration. La préimage de n'importe quel point de la base par la fibration est appelé fibre au dessus de ce point.
[modifier] Propriétés
Toutes les fibres au dessus d'une composante connexe par arcs de la base sont homotopiquement équivalentes dans le cas d'une fibration de Hurewicz, faiblement dans le cas d'une fibration de Serre.
Si la base est connexe par arcs, le type d'homotopie des fibres est donc bien défini indépendamment du choix d'un point de la base.
Les groupes d'homotopie de la fibre, de l'espace total et de la base d'une fibration s'inscrivent dans une suite exacte longue d'homotopie s'écrivant :
lorsque l'espace total est connexe par arcs.
