Variété à bord

Une variété à bord M de dimension n est définie comme un espace séparé dans lequel chaque point admet un voisinage homéomorphe soit à l'espace euclidien ℝⁿ soit au demi-espace formé des éléments de ℝⁿ dont la dernière coordonnée est positive[1]. Une variante de cette définition consiste à demander que chaque point admet un voisinage homéomorphe à un ouvert de ce demi-espace[2].

On distingue alors l'intérieur Int(M) de M, formé des points qui admettent un voisinage homéomorphe soit à l'espace euclidien ℝⁿ, qui est une variété au sens ordinaire, et le bord ${\displaystyle \partial M}$ de la variété qui coïncide avec la notion de frontière au sens topologique de Int(M).

À titre d'exemple, la boule est une variété dont le bord est la sphère, et de même le tore peut-il être vu comme le bord du tore solide.

Le bord, quand il est non vide, est lui-même naturellement muni d'une structure de variété topologique de dimension n-1, mais cette fois-ci il s'agit d'une variété sans bord : ${\displaystyle \partial (\partial M)=\emptyset }$[3]. On peut opposer en cela les variétés à bord aux polyèdres ou aux CW-complexes pour lesquels on a une succession de cellules de dimension de plus en plus petite.

On peut munir les variétés à bord de structures complémentaires, avec parfois des exigences ou des conventions spécifiques. Ainsi

• la donnée d'une orientation sur une variété à bord induit une orientation du bord[3] ;
• pour une variété différentielle à bord, les applications différentiables définies dans des "cartes à bord" doivent admettre des prolongements lisses ; il y a donc un véritable espace tangent aussi aux points du bord[4].

Le théorème de Stokes possède des énoncés qui peuvent varier légèrement. On intègre une forme différentielle ω sur une variété à bord M, et il existe une hypothèse de compacité qui peut porter soit sur le support de l'une, soit sur l'autre. Le théorème fait apparaître la dérivée extérieure d de ω sur M et la forme induite par ω sur le bord. Formellement il s'agit de l'image réciproque ${\displaystyle i^{*}\omega }$ de ω par l'injection canonique ${\displaystyle i:\partial M\to M}$, mais il est fréquent de l'assimiler à ω dans les notations[5].

Théorème de Stokes — Soit M une variété différentielle à bord de classe C^k, compacte, orientée, de dimension n. Soit ω une (n–1)-forme différentielle sur M. Alors, en munissant le bord ∂M de l'orientation induite, on a :

${\displaystyle \int _{M}\!\mathrm {d} \omega =\int _{\partial M}\!\omega }$

On peut donner une écriture formelle associée à ce théorème, qui prend un sens plus profond dans le cadre de la théorie des courants : il s'agit d'une forme de dualité entre opérateurs "bord" et "dérivée extérieure"

${\displaystyle <\partial M,\omega >=<M,\mathrm {d} \omega >.}$

Cette variété à bord montre le cobordisme entre un cercle (partie supérieure) et une réunion de deux cercles disjoints (partie inférieure).

Deux variétés compactes M et N sont dites cobordantes ou en cobordisme si leur réunion disjointe peut être réalisée comme le bord d'une variété à bord compacte L. Le cobordisme fournit une relation d'équivalence sur les (classes de) variétés compactes beaucoup plus grossière que les difféomorphismes ou les homéomorphismes mais qui rend plus accessible la classification des variétés[6].