Bonnet Ossian

Imaginez que vous suiviez une surface courbe sans quitter sa peau. Sa courbure de Gauss K mesure intrinsèquement sa courbure locale, tandis que sa topologie décrit sa forme globale, notamment ses trous. La formule de Gauss-Bonnet met ces deux points de vue en relation. Pour une surface fermée comme une sphère, l'ensemble de la courbure garde une valeur liée à sa structure globale. Elle montre ainsi qu'une information globale, obtenue en intégrant la courbure locale sur toute la surface, peut révéler une propriété topologique de cette surface.

La formule de Gauss-Bonnet est un résultat de géométrie différentielle qui relie la courbure d'une surface à une donnée topologique. Pour une surface fermée, c'est-à-dire compacte et sans bord, et suffisamment régulière, la courbure de Gauss K est additionnée sur toute la surface S. Cette courbure totale est égale à 2π multiplié par la caractéristique d'Euler χ de la surface :

Ici, dA représente un petit élément d'aire, K la courbure locale, S la surface étudiée et χ(S) sa caractéristique d'Euler. La formule vaut pour une surface orientable fermée dans sa version usuelle ; une surface avec bord reçoit des termes supplémentaires liés à sa frontière. La topologie intervient donc par une valeur entière, même si la courbure varie continûment d'un point à l'autre.

Considérons une sphère comme surface fermée. Les données utiles sont les suivantes : la surface est S, sa courbure totale vaut 4π, et sa caractéristique d'Euler vaut χ(S) = 2. L'objectif est de vérifier que ces valeurs satisfont la formule de Gauss-Bonnet.

La relation s'écrit : ${\int }_{S}KdA=2\pi \chi (S)\backslash int\_\{S\}K\backslash ,dA=2\backslash pi\backslash chi(S)$.
La caractéristique de la sphère est remplacée par sa valeur : $2\pi \chi (S)=2\pi \times 22\backslash pi\backslash chi(S)=2\backslash pi\backslash times2$.
Le produit est calculé : $2\pi \times 2=4\pi 2\backslash pi\backslash times2=4\backslash pi$.

Le résultat est donc ${\int }_{S}KdA=4\pi \backslash int\_\{S\}K\backslash ,dA=4\backslash pi$, exactement comme la courbure totale annoncée. Le contrôle consiste à comparer le membre gauche donné par la surface avec le membre droit calculé à partir de χ(S) ; les deux valent 4π.

En géométrie différentielle, la formule sert à relier une mesure de courbure à la forme globale d'une surface. Le geste consiste à examiner la surface entière, et non un seul point, puis à interpréter la courbure totale avec sa caractéristique d'Euler.

Pour une surface fermée, ce lien fournit un contrôle global : des courbures locales qui varient peuvent néanmoins produire la même courbure totale lorsqu'elles correspondent à la même structure topologique. Pour une surface avec bord, la formule adaptée tient aussi compte de la frontière.

La formule de Gauss-Bonnet ne se confond pas avec la seule courbure de Gauss. La courbure de Gauss K est une donnée locale, calculée point par point, tandis que la formule met son accumulation sur toute une surface en relation avec une donnée topologique. Une valeur de K en un point ne permet donc pas, à elle seule, de conclure sur la caractéristique d'Euler de la surface entière.

Elle ne se confond pas non plus avec une formule qui ne concernerait qu'une surface plane. Une feuille plane peut avoir une courbure locale nulle, alors que l'énoncé de Gauss-Bonnet porte sur l'intégrale de la courbure et dépend du type de surface ainsi que de la présence éventuelle d'un bord.

Le cas d'une surface avec bord est le premier piège. Si une frontière est présente, appliquer directement ${\int }_{S}KdA=2\pi \chi (S)\backslash int\_\{S\}K\backslash ,dA=2\backslash pi\backslash chi(S)$ omet une contribution de bord. Le symptôme est une égalité qui ne se vérifie pas ; il faut employer la version de Gauss-Bonnet comportant le terme de frontière.

Une courbure locale nulle ne signifie pas que toute surface possède une topologie triviale. Le symptôme est de déduire une propriété globale d'un seul point ou d'une seule zone. Il faut intégrer la courbure sur le domaine complet et vérifier les hypothèses de fermeture, de régularité et d'orientation avant de conclure.

L'article La géométrie de l'information élargit la perspective vers la géométrie différentielle et aide à situer la courbure parmi les outils qui décrivent des espaces courbes. Cette lecture complète la formule par un contexte mathématique plus large.