Francais | English | Espanõl

Un article de Wikivisual, l'encyclopédie libre.

Le Theorema Egregium (« théorème remarquable » en latin) est un important théorème énoncé par Carl Friedrich Gauss et portant sur la courbure des surfaces. Il dit que celle-ci peut être entièrement déterminée en mesurant les angles et les distances d'une surface, c'est-à-dire qu'elle ne dépend pas de la manière dont la surface peut être plongée dans l'espace tridimensionnel.

[modifier] Énoncé

Considérons une surface abstraite munie d'une distance, c'est à dire que l'on a défini la distance entre deux de ses points. Par exemple à une surface dans l'espace ambiant <math> {\mathbb R}^3 </math> on associe la distance obtenue en considérant la plus petite longueur d'une courbe joignant les deux points et tracéee sur la surface. Une courbe minimisant la longeur entre deux points s'appelle une géodésique.

Deux surfaces sont isométriques si il existe une bijection entre les deux surfaces préservant la distance. Elles sont localement isométriques si il existe une telle bijection définie au voisinage d'un point.

La courbure de Gauss d'une surface s'obtient de plusieurs manières:

comme le produit du maximum et du minimum de la courbure d'une géodésique passant par ce point

comme le rapport entre l'aire d'un voisinage infinitésimal du point et l'aire de son image sur la sphère par l'application normale.

Dans ces deux définitions, on voit que la courbure de Gauss dépend, à priori de la manière dont on la surface est plongée dans l'espace: on peut obtenir des surfaces localement isométriques par des plongements distincts de la surface dans l'espace. L'exemple le plus simple est donné par l'exemple du plan et la surface d'un cylindre :

comme on peut enrouler une feuille de papier plane sur un cylindre, on obtient une isométrie locale du plan sur le cylindre. En effet la déformation (sans froissage) d'une feuille de papier ne modifie pas la distance entre deux points proches.

En langage moderne, le théorème peut s'énoncer ainsi:

La courbure de Gauss d'une surface est invariante par isométrie locale.

Ce théorème est remarquable car la définition de la courbure de Gauss utilise directement le plongement de la surface dans l'espace. Il est donc assez étonnant que le résultat final ne dépende pas du plongement.

[modifier] Applications simples

Il est impossible de plier une feuille de papier pour en faire une sphère. Plus formellement, le plan et la 2-sphère ne sont pas localement isométriques. Ceci provient du fait que le plan a une courbure de Gauss constante égale à 0 tandis qu'aucun point de la sphère n'a une courbure nulle. (On peut pourtant démontrer ce fait plus directement).

Des points correspondants sur une caténoïde et une hélicoïde (deux surfaces d'aspect très différent) ont la même courbure de Gauss. (Ces deux surfaces sont localement isométriques).en:Theorema Egregium