Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
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.
Définition
Une application entre deux espaces topologiques et est appelée une fibration de Hurewicz si pour toute application depuis un espace topologique vers telle que la composée avec est homotope à une application , il existe une homotopie de vers dont la composée avec donne l'homotopie dans . Cette définition est résumée par le diagramme commutatif suivant :
Une fibration de Serre est définie de la même manière sauf que les espaces sont des bouleseuclidiennes (ou des hypercubes).
L'espace source et l'espace d'arrivée de la fibration sont 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.
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.