Ceci est une version archivée de cette page, en date du 29 avril 2021 à 12:00 et modifiée en dernier par Pit142857(discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Supposons que soit une sous-variété de classe (k ≥ 1) et de dimension d de ; on peut voir alors comme l'ensemble des couples
formés d'un point
et d'un vecteur tangent à en . (Passer à permet de voir les espaces tangents aux différents points comme des ensembles disjoints.)
On obtient ainsi une sous-variété de classe et de dimension 2d de . En effet, pour tout point de , il existe un ouvert
et une submersion (de classe ) tels que
. On en déduit que
Mais l'application est une submersion de classe de dans
Exemple : Le fibré tangent au cercle apparaît ainsi comme la sous-variété
où est un espace vectoriel isomorphe à l'espace tangent à en n'importe quel et pour chaque , appartient à l'espace tangent à en .
Par ailleurs doit satisfaire à la condition de recollement suivante : Si où et sont des ouverts associés à des cartes et alors on doit avoir (en notation de coordonnées pour les vecteurs et )