« Fibré » : différence entre les versions
Aucun résumé des modifications |
|||
(52 versions intermédiaires par 32 utilisateurs non affichées) | |||
Ligne 1 : | Ligne 1 : | ||
{{Voir homonyme|Fibre}} |
|||
{{Confusion|texte=Ne pas confondre avec une [[fibration]] ni avec un [[espace filtré]].}} |
|||
{{ébauche|mathématiques}} |
{{ébauche|mathématiques}} |
||
En [[mathématiques]], un '''espace fibré''' est, intuitivement, un [[espace topologique]] qui est ''localement'' le [[Topologie produit|produit]] de deux espaces — appelés la ''base'' et la ''fibre'' — mais en général pas globalement. Par exemple, le [[ruban de Möbius]] est un fibré de base un cercle et de fibre un segment de droite : il ressemble ''localement'' au produit d'un cercle par un segment, mais ''pas globalement'' comme le cylindre |
|||
En [[topologie]], un '''espace fibré''' ou '''fibré localement trivial''' de fibre F est la donnée d'un quadruplet <math>(E, B, \pi, F) \,</math> où : |
|||
Plus précisément, l'''espace total'' du fibré est muni d'une projection [[Continuité (mathématiques)|continue]] sur la base, telle que la [[préimage]] de chaque point soit [[homéomorphisme|homéomorphe]] à la ''fibre''. Cette projection est ''a priori'' supposée '''localement triviale''', c'est-à-dire que tout point de la base admet un [[voisinage (topologie)|voisinage]] dont la préimage s'identifie à un [[produit cartésien]] de ce voisinage et de la fibre, par le biais d'homéomorphismes appelés ''trivialisations'' ou ''cartes''. Le passage d'une trivialisation à l'autre se fait au moyen d'un [[groupe (mathématiques)|groupe]] d'homéomorphismes<ref>Ces homéomorphismes peuvent éventuellement préserver des structures additionnelles sur la fibre comme dans le cas d'un [[fibré vectoriel]].</ref> de la fibre appelé '''groupe de structure'''. |
|||
* <math>E</math> est un [[espace topologique]], appelé ''[[espace fibré]]'' (parfois également : espace total). C'est intuitivement un espace qui est ''localement'' le produit cartésien de B et de F, mais en général pas globalement, |
|||
Cette notion généralise donc la projection d'un produit cartésien sur l'un de ses facteurs. |
|||
* <math>B</math> est un espace topologique appelé ''espace de base'' ou '''base''' de la fibration, |
|||
== Définition formelle == |
|||
* <math>\pi</math> est une projection continue de <math>E</math> vers <math>X</math>. Elle est parfois appelée ''pied'', |
|||
Un espace fibré peut se présenter comme la donnée d'une surjection continue ''<math>\pi</math>'' (''projection'' ou ''pied'') entre deux espaces topologiques [[espace séparé|séparés]] <math>E</math> et <math>B</math> (''espace total'' et ''base''), d'un espace séparé <math>F</math> (''fibre'') sur lequel [[action de groupe (mathématiques)|agit]] un groupe topologique <math>G</math> (''groupe de structure'')<ref>Pour ne pas avoir à spécifier le groupe de structure, il suffit de choisir par défaut le groupe des homéomorphismes de la fibre.</ref> et d'un ensemble d'homéomorphismes (''cartes'') appelés ''trivialisations locales'' |
|||
:<math>\phi_i \colon\ U_i \times F \stackrel{\simeq}{\longrightarrow} \pi^{-1}(U_i)</math> |
|||
où la famille<ref>C'est une [[famille (mathématiques)|famille]] indexée par l'ensemble des cartes, deux cartes pouvant éventuellement relier les mêmes ouverts.</ref> <math>(U_i)</math> décrit un recouvrement ouvert de <math>B</math>, satisfaisant les conditions suivantes : |
|||
# Les cartes commutent avec les projections : |
|||
#: <math>\forall (b, y) \in U_i\times F,\ \pi(\phi_i(b,y)) = b\ .</math> |
|||
# Les changements de carte sont induits par des sections dans le groupe de structure, autrement dit pour tout couple de cartes (''<math>\phi</math>'', ''<math>\psi</math>'') définies sur un même<ref>Il s'agit là de définition par restriction. Ces mêmes cartes peuvent être par ailleurs définies sur des ouverts plus grands.</ref> ouvert <math>U</math>×<math>F</math> il existe une application continue ''<math>\theta</math>'' de <math>U</math> dans <math>G</math> telle que : |
|||
#: <math>\forall (b, y) \in U\times F,\ \psi(b,y) = \phi(b \, , \, \theta(b) \! \cdot \! y)\ .</math> |
|||
L'ensemble des cartes est en général supposé maximal satisfaisant ces conditions, c'est-à-dire que tout homéomorphisme commutant avec les projections et compatible avec les autres cartes est aussi une carte. |
|||
* <math>F</math> est un espace topologique appelé '''fibre'''. |
|||
Un fibré de fibre <math>F</math> et de base <math>B</math> se dit parfois « en <math>F</math> sur <math>B</math> ». |
|||
En [[topologie différentielle]], une '''fibration''' de groupe structural ''G'' est un ensemble <math>(E, X, \pi, F, G) \,</math> où : |
|||
== Fibré trivialisable == |
|||
* <math>E</math> est un [[espace topologique]], appelé ''[[espace fibré]]'' (parfois également : espace total). C'est intuitivement un espace qui est ''localement'' le produit cartésien de X et de F, mais en général pas globalement. |
|||
Un espace fibré est dit ''trivialisable'' s'il admet une carte ayant l'espace total pour image. Il est dit ''trivial'' lorsqu'une telle carte est précisée, ce qui l'identifie comme espace fibré au produit cartésien de la base et de la fibre. |
|||
Une ''réduction du groupe de structure'' est la donnée d'un sous-ensemble de cartes dont la réunion des images est l'espace total et qui reste maximal pour un groupe de structure plus petit. Une trivialisation est donc une réduction du groupe de structure au groupe trivial. |
|||
* <math>X</math> est un espace topologique appelé ''espace de base''. |
|||
== Exemples et contre-exemples == |
|||
* <math>\pi</math> est une projection continue de <math>E</math> vers <math>X</math>. Elle est parfois appelée ''pied''. |
|||
* Le [[ruban de Möbius]] muni de la projection sur un cercle médiateur est un espace fibré non trivial, de fibre un intervalle réel et dont le groupe de structure peut se réduire à deux éléments (l'identité et une réflexion). |
|||
* La [[bouteille de Klein]] est un fibré en cercles sur le cercle dont le groupe de structure se réduit aussi à deux éléments. |
|||
* La [[fibration de Hopf]] est un fibré en cercles sur la [[sphère]], dont le groupe de structure se réduit au groupe des isométries positives du cercle. |
|||
* La projection du [[quadrant (mathématiques)|premier quadrant]] sur sa bissectrice est une [[fibration]] qui ''ne définit pas'' un fibré, car la préimage de l'origine est réduite à un point tandis que la préimage de tout autre point de la bissectrice est un segment d'intérieur non vide. |
|||
== Types de fibrés == |
|||
* <math>F</math> est un espace topologique appelé ''fibre''. |
|||
* Un [[revêtement (mathématiques)|revêtement]] est un espace fibré dont la fibre est [[topologie discrète|discrète]]. |
|||
* Un [[fibré vectoriel]] est un espace fibré dont la fibre est un [[espace vectoriel]] et le groupe de structure est le [[groupe linéaire]]. C'est le cas des fibrés [[fibré tangent|tangent]] et [[Fibré cotangent|cotangent]] sur une [[variété différentielle]]. |
|||
* Un [[fibré différentiel]] est un fibré pour lequel l'espace total, la base et la fibre sont des [[variété différentielle|variétés différentielles]]<ref>Boris Doubrovine, Sergueï Novikov & Anatoli Fomenko ; ''Géométrie contemporaine - Méthodes & applications - Deuxième partie : Géométrie et topologie des variétés'', Mir (1982)</ref>. |
|||
* Un [[fibré principal]] est un fibré pour lequel le groupe de structure [[Action de groupe (mathématiques)|agit librement et transitivement]] sur la fibre, autrement dit un fibré pour lequel la fibre peut s'identifier au groupe de structure muni de l'[[action de groupe (mathématiques)|action à droite]]. C'est le cas du fibré de Hopf, ainsi que du fibré des repères d'une variété différentielle. |
|||
* Un [[fibré associé]] est un fibré induit par un fibré principal et par une action de groupe. |
|||
== Notes et références == |
|||
* <math>G</math> est un [[Groupe (mathématiques)|groupe]] d'[[homéomorphisme]]s agissant sur la fibre <math>F</math>. |
|||
{{Références}} |
|||
== Voir aussi == |
|||
=== Articles connexes === |
|||
* [[Fibré principal]] |
|||
Pour mettre en évidence le caractère ''localement'' trivial du fibré <math>E</math>, on suppose que l'espace de base <math>X</math> admet un recouvrement par des ouverts <math>U_{\alpha}</math> muni d'un système de coordonnées. Plus précisément, à chaque ouvert <math>U_{\alpha}</math> est associé un homéomorphisme <math>\phi_{\alpha}</math> : |
|||
* [[Section d'un fibré]] |
|||
* [[Fibré associé]] |
|||
{| align="center" border="0" |
|||
* {{Lien|langue=en|trad=Circle bundle|fr=Fibré en cercles}} |
|||
|<math>\phi_{\alpha} \ : \quad \pi^{-1} ( U_{\alpha}) \ \to \ U_{\alpha} \ \times \ F</math> |
|||
* {{Lien|langue=en|trad=Torus bundle|fr=Fibré en tores}} |
|||
|} |
|||
* [[Fibré en coniques]] |
|||
dont l'inverse <math>\phi_{\alpha}^{-1}</math> vérifie : |
|||
{| align="center" border="0" |
|||
|<math> \forall \ x \, \in \, U_{\alpha} \ , \ \forall \ f \, \in \, F \ , \quad (\pi \circ \phi_{\alpha}^{-1})(x,f) \ = \ x </math> |
|||
|} |
|||
=== Action du groupe de structure === |
|||
L'action du groupe <math>G</math> est mise en évidence lors d'un changement de coordonnées. Effectuer un tel changement de coordonnées consiste à passer de la collection initiale <math>(\phi_{\alpha}, U_{\alpha})</math> à un nouveau système <math>(\phi_{\beta}, U_{\beta})</math>. |
|||
Considérons alors deux ouverts <math>U_{\alpha}</math> et <math>U_{\beta}</math>, appartenants respectivement à la première et à la seconde collection, dont l'intersection est non-vide : <math>U_{\alpha} \cap U_{\beta} \ne \emptyset</math>. Alors, l'application composée <math>\phi_{\alpha} \circ \phi_{\beta}^{-1}</math> est une application continue inversible : |
|||
{| align="center" border="0" |
|||
|<math>\phi_{\alpha} \circ \phi_{\beta}^{-1} \ : \quad (U_{\alpha} \cap U_{\beta}) \ \times \ F \ \to \ (U_{\alpha} \cap U_{\beta}) \ \times \ F </math> |
|||
|} |
|||
Si l'on fixe <math> x \in U_{\alpha} \cap U_{\beta}</math> et qu'on fait varier seulement <math>f \in F</math>, l'application précédente se réduit à un homéomorphisme de <math>F</math> dans <math>F</math>. Elle est alors appelée ''fonction de transition'', notée <math>g_{\alpha \beta}(x)</math> : |
|||
{| align="center" border="0" |
|||
|<math>g_{\alpha \beta}(x) \ : \quad F \ \to \ F </math> |
|||
|} |
|||
telle que : |
|||
{| align="center" border="0" |
|||
|<math> [ g_{\alpha \beta}(x)](f) \ = \ (\phi_{\alpha} \circ \phi_{\beta}^{-1} )(x,f)</math> |
|||
|} |
|||
L'ensemble de tous ces homéomorphismes <math>g_{\alpha \beta}(x)</math> pour tous les choix possibles de systèmes de coordonnées <math>(\phi_{\alpha}, U_{\alpha})</math> forme un groupe, qui est un sous-groupe du groupe <math>G</math> de la définition du fibré. |
|||
== Fibré différentiel == |
|||
Un ''fibré différentiel'' est une fibration <math>(E, X, \pi, F, G) </math> où les trois espaces <math>(E, X, F) </math> sont des [[variété différentielle|variétés différentielles]]. |
|||
<ref>Boris Doubrovine, Sergueï Novikov & Anatoli Fomenko ; ''Géométrie contemporaine - Méthodes & applications - Deuxième partie : Géométrie et topologie des variétés'', Mir (1982)</ref> |
|||
== Fibrés vectoriels== |
|||
{{Article détaillé|Fibré vectoriel}} |
|||
Lorsque la fibre F est un [[espace vectoriel]] et le groupe G est le groupe linéaire ''GL (F)'', on dit que le fibré <math>(E, X, \pi, F, G) </math> est un fibré vectoriel. |
|||
== Revêtements == |
|||
{{Article détaillé|Revêtement (mathématique)}} |
|||
Lorsque la fibre F est un [[espace discret]], on dit que le fibré <math>(E, B, \pi, F) </math> est un '''revêtement''' de fibre F. |
|||
== Articles connexes == |
|||
* [[espace fibré]] |
|||
* [[fibration]] |
|||
* [[Topologie différentielle]] |
* [[Topologie différentielle]] |
||
* [[Géométrie différentielle]] |
* [[Géométrie différentielle]] |
||
* [[Fibré vectoriel]] |
|||
* [[Fibré tangent]] |
|||
* [[Fibré cotangent]] |
|||
* [[Théorie de jauge]] |
* [[Théorie de jauge]] |
||
* [[Fibration de Hopf]] |
|||
== Bibliographie == |
=== Bibliographie === |
||
* N. Steenrood, ''The topology of fiber bundles'', Princeton University Press. |
|||
*{{Douady1}} |
* {{Douady1}} |
||
*{{Godbillon1}} |
* {{Godbillon1}} |
||
* |
* {{DoubrovineFomenkoNovikov}} - Deuxième partie : Géométrie et topologie des variétés'', Mir, 1982 |
||
=== Ouvrages de mathématiques pour physiciens théoriciens === |
=== Ouvrages de mathématiques pour physiciens théoriciens === |
||
* {{en}} Theodore Frankel, ''The Geometry of Physics - An Introduction'', Cambridge University Press, 2004, {{2e}} éd. révisée et illustrée {{ISBN|978-0-52153927-2}} |
|||
* {{en}} Mikio Nakahara, ''Geometry, Topology and Physics'', Institute of Physics Publishing, 2003, {{2e}} éd. illustrée {{ISBN|978-0-75030606-5}} |
|||
* {{en}} Charles Nash et Siddhartha Sen, ''Topology and Geometry for Physicists'', Academic Press, 1983 {{ISBN|978-0-12514080-5}} |
|||
* {{en}} [[Yvonne Choquet-Bruhat]] et [[Cécile DeWitt-Morette]], ''Analysis, Manifolds and Physics - Part I: Basics'', North-Holland, {{2e|édition}} révisée, 1989 {{ISBN|978-0-44486017-0}} |
|||
=== Liens externes === |
|||
* Theodore Frenkel ; ''The Geometry of Physics - An introduction'', Cambridge University Press (1997), ISBN 0-521-38753-1. |
|||
* {{Planetmath|titre=Fiber bundle}} |
|||
* {{MathWorld|nom_url=FiberBundle|titre=Fiber Bundle}} |
|||
* Mikio Nakahara ; ''Geometry, Topology ans Physics'', Institute of Physics Publishing (1990), ISBN 0-85274-095-6. |
|||
* Charles Nash & Siddharta Sen ; ''Topology & Geometry for Physicists'', Academic Press (1983), ISBN 0-12-514080-0. |
|||
* Yvonne Choquet-Bruhat & Cécile deWitt-Morette ; ''Analysis, Manifolds & Physics - Part I: Basics'', North-Holland/Elsevier (2{{e}} édition révisée - 1982), ISBN 0-444-86017-7. |
|||
==Notes et références== |
|||
<references/> |
|||
{{Portail|mathématiques|physique}} |
{{Portail|mathématiques|physique}} |
||
Ligne 110 : | Ligne 75 : | ||
[[Catégorie:Géométrie différentielle]] |
[[Catégorie:Géométrie différentielle]] |
||
[[Catégorie:Méthode mathématique de la physique]] |
[[Catégorie:Méthode mathématique de la physique]] |
||
[[de:Faserbündel]] |
|||
[[en:Fiber bundle]] |
|||
[[es:Fibrado]] |
|||
[[it:Fibrato]] |
|||
[[ja:ファイバー束]] |
|||
[[ko:올다발]] |
|||
[[ru:Локально тривиальное расслоение]] |
|||
[[zh-yue:纖維叢]] |
|||
[[zh:纤维丛]] |
Dernière version du 11 mai 2023 à 19:04
En mathématiques, un espace fibré est, intuitivement, un espace topologique qui est localement le produit de deux espaces — appelés la base et la fibre — mais en général pas globalement. Par exemple, le ruban de Möbius est un fibré de base un cercle et de fibre un segment de droite : il ressemble localement au produit d'un cercle par un segment, mais pas globalement comme le cylindre
Plus précisément, l'espace total du fibré est muni d'une projection continue sur la base, telle que la préimage de chaque point soit homéomorphe à la fibre. Cette projection est a priori supposée localement triviale, c'est-à-dire que tout point de la base admet un voisinage dont la préimage s'identifie à un produit cartésien de ce voisinage et de la fibre, par le biais d'homéomorphismes appelés trivialisations ou cartes. Le passage d'une trivialisation à l'autre se fait au moyen d'un groupe d'homéomorphismes[1] de la fibre appelé groupe de structure.
Cette notion généralise donc la projection d'un produit cartésien sur l'un de ses facteurs.
Définition formelle
[modifier | modifier le code]Un espace fibré peut se présenter comme la donnée d'une surjection continue (projection ou pied) entre deux espaces topologiques séparés et (espace total et base), d'un espace séparé (fibre) sur lequel agit un groupe topologique (groupe de structure)[2] et d'un ensemble d'homéomorphismes (cartes) appelés trivialisations locales
où la famille[3] décrit un recouvrement ouvert de , satisfaisant les conditions suivantes :
- Les cartes commutent avec les projections :
- Les changements de carte sont induits par des sections dans le groupe de structure, autrement dit pour tout couple de cartes (, ) définies sur un même[4] ouvert × il existe une application continue de dans telle que :
L'ensemble des cartes est en général supposé maximal satisfaisant ces conditions, c'est-à-dire que tout homéomorphisme commutant avec les projections et compatible avec les autres cartes est aussi une carte.
Un fibré de fibre et de base se dit parfois « en sur ».
Fibré trivialisable
[modifier | modifier le code]Un espace fibré est dit trivialisable s'il admet une carte ayant l'espace total pour image. Il est dit trivial lorsqu'une telle carte est précisée, ce qui l'identifie comme espace fibré au produit cartésien de la base et de la fibre.
Une réduction du groupe de structure est la donnée d'un sous-ensemble de cartes dont la réunion des images est l'espace total et qui reste maximal pour un groupe de structure plus petit. Une trivialisation est donc une réduction du groupe de structure au groupe trivial.
Exemples et contre-exemples
[modifier | modifier le code]- Le ruban de Möbius muni de la projection sur un cercle médiateur est un espace fibré non trivial, de fibre un intervalle réel et dont le groupe de structure peut se réduire à deux éléments (l'identité et une réflexion).
- La bouteille de Klein est un fibré en cercles sur le cercle dont le groupe de structure se réduit aussi à deux éléments.
- La fibration de Hopf est un fibré en cercles sur la sphère, dont le groupe de structure se réduit au groupe des isométries positives du cercle.
- La projection du premier quadrant sur sa bissectrice est une fibration qui ne définit pas un fibré, car la préimage de l'origine est réduite à un point tandis que la préimage de tout autre point de la bissectrice est un segment d'intérieur non vide.
Types de fibrés
[modifier | modifier le code]- Un revêtement est un espace fibré dont la fibre est discrète.
- Un fibré vectoriel est un espace fibré dont la fibre est un espace vectoriel et le groupe de structure est le groupe linéaire. C'est le cas des fibrés tangent et cotangent sur une variété différentielle.
- Un fibré différentiel est un fibré pour lequel l'espace total, la base et la fibre sont des variétés différentielles[5].
- Un fibré principal est un fibré pour lequel le groupe de structure agit librement et transitivement sur la fibre, autrement dit un fibré pour lequel la fibre peut s'identifier au groupe de structure muni de l'action à droite. C'est le cas du fibré de Hopf, ainsi que du fibré des repères d'une variété différentielle.
- Un fibré associé est un fibré induit par un fibré principal et par une action de groupe.
Notes et références
[modifier | modifier le code]- Ces homéomorphismes peuvent éventuellement préserver des structures additionnelles sur la fibre comme dans le cas d'un fibré vectoriel.
- Pour ne pas avoir à spécifier le groupe de structure, il suffit de choisir par défaut le groupe des homéomorphismes de la fibre.
- C'est une famille indexée par l'ensemble des cartes, deux cartes pouvant éventuellement relier les mêmes ouverts.
- Il s'agit là de définition par restriction. Ces mêmes cartes peuvent être par ailleurs définies sur des ouverts plus grands.
- Boris Doubrovine, Sergueï Novikov & Anatoli Fomenko ; Géométrie contemporaine - Méthodes & applications - Deuxième partie : Géométrie et topologie des variétés, Mir (1982)
Voir aussi
[modifier | modifier le code]Articles connexes
[modifier | modifier le code]- Fibré principal
- Section d'un fibré
- Fibré associé
- Fibré en cercles (en)
- Fibré en tores (en)
- Fibré en coniques
- Topologie différentielle
- Géométrie différentielle
- Théorie de jauge
Bibliographie
[modifier | modifier le code]- N. Steenrood, The topology of fiber bundles, Princeton University Press.
- Régine et Adrien Douady, Algèbre et théories galoisiennes [détail des éditions]
- Claude Godbillon, Éléments de topologie algébrique [détail de l’édition]
- Boris Doubrovine (de), Anatoli Fomenko et Sergueï Novikov, Géométrie contemporaine - Méthodes et applications, [détail des éditions] - Deuxième partie : Géométrie et topologie des variétés, Mir, 1982
Ouvrages de mathématiques pour physiciens théoriciens
[modifier | modifier le code]- (en) Theodore Frankel, The Geometry of Physics - An Introduction, Cambridge University Press, 2004, 2e éd. révisée et illustrée (ISBN 978-0-52153927-2)
- (en) Mikio Nakahara, Geometry, Topology and Physics, Institute of Physics Publishing, 2003, 2e éd. illustrée (ISBN 978-0-75030606-5)
- (en) Charles Nash et Siddhartha Sen, Topology and Geometry for Physicists, Academic Press, 1983 (ISBN 978-0-12514080-5)
- (en) Yvonne Choquet-Bruhat et Cécile DeWitt-Morette, Analysis, Manifolds and Physics - Part I: Basics, North-Holland, 2e édition révisée, 1989 (ISBN 978-0-44486017-0)
Liens externes
[modifier | modifier le code]- (en) « Fiber bundle », sur PlanetMath
- (en) Eric W. Weisstein, « Fiber Bundle », sur MathWorld