variété parallélisable

Une variété différentielle M de classe Ck est dite parallélisablesi son fibré tangent est trivial, c'est-à-dire isomorphe, en tant que fibré vectoriel,à , où est un espace vectoriel de dimension Il revient au même de dire qu'il existe un espace vectoriel E et une forme différentielle telle que pour tout , est un isomorphisme d'espaces vectoriels ; ou encore qu'il existe champs de vecteurs linéairement indépendants en tout point de M, autrement dit un champ de repères. Un isomorphisme de fibrés vectoriels entre et s'appelle un parallèlisme.