caractéristique d'Euler

Prenez la surface d’un tétraèdre. Elle possède 4 sommets, 6 arêtes et 4 faces triangulaires. En additionnant les sommets et les faces, puis en retirant les arêtes, on obtient 4 − 6 + 4 = 2.

Si une face est subdivisée, les variations du nombre de sommets, d’arêtes et de faces dépendent du découpage choisi, mais leur somme alternée reste 2. La caractéristique d’Euler est ce bilan stable : elle retient quelque chose de la forme topologique, au-delà du découpage choisi.

La caractéristique d’Euler-Poincaré est un nombre entier associé ici à une variété topologique compacte qui possède une décomposition cellulaire finie. Une cellule de dimension p est un morceau homéomorphe à l’espace euclidien de dimension p. Le nombre de ces cellules est noté c_p. Ainsi, les cellules de dimension 0 sont des points ; celles de dimension 1 sont des morceaux de courbe ; celles de dimension 2 sont des morceaux de surface.

Si n désigne la dimension de la variété, les nombres de cellules sont additionnés avec des signes alternés :En dimension 2, cette expression devient c₀ − c₁ + c₂.

Les nombres c_p peuvent changer lorsque l’on choisit un autre découpage. Leur somme alternée, elle, ne change pas : c’est pourquoi χ est un invariant topologique. Elle dépend de la topologie de la variété, et non de la décomposition cellulaire retenue. La 2-sphère a pour caractéristique 2, tandis que le tore 2-dimensionnel a pour caractéristique 0.

On rencontre la caractéristique d’Euler lorsqu’une forme topologique est découpée en cellules. Plusieurs indices signalent ce contexte : des points, des arêtes ou courbes et des faces sont distingués ; chaque morceau reçoit une dimension ; les morceaux sont en nombre fini ; le symbole χ apparaît ; la sphère et le tore servent souvent de repères.

Le support peut être une décomposition abstraite ou la surface découpée d’un polyèdre. Ce support encode les nombres de cellules de chaque dimension. La somme alternée de ces nombres fournit l’information topologique recherchée.

La grandeur à lire est le nombre entier χ. Pour l’obtenir, procédez dans l’ordre. 1. Identifiez la dimension maximale n. 2. Comptez séparément les cellules de chaque dimension et notez ces totaux c₀, c₁, jusqu’à c_n. 3. Par convention, commencez par le signe plus en dimension 0, puis alternez moins et plus. 4. Additionnez tous les termes.

L’œil peut croire qu’un découpage plus fin doit augmenter χ, puisqu’il fait apparaître davantage de morceaux. Il augmente pourtant plusieurs comptages à la fois. Le bon réflexe consiste à recalculer toute la somme alternée, et non à comparer seulement le nombre de faces ou d’arêtes.

Considérons la surface d’un tétraèdre comme une décomposition cellulaire de dimension 2. Les données sont : 4 sommets, donc c₀ = 4 ; 6 arêtes, donc c₁ = 6 ; 4 faces triangulaires, donc c₂ = 4.

1. On écrit les dimensions dans l’ordre 0, 1, 2.
2. On affecte successivement les signes plus, moins, plus.
3. On remplace chaque nombre de cellules par sa valeur.

Le calcul complet est :La surface du tétraèdre a donc une caractéristique d’Euler égale à 2, conformément à la valeur donnée pour la sphère.

Le contrôle est refaisable en regroupant les termes positifs : 4 + 4 = 8, puis 8 − 6 = 2. Chaque valeur utilisée provient directement du comptage annoncé.

Sur la surface d’un polyèdre, on compte les sommets, les arêtes et les faces, puis on calcule sommets − arêtes + faces. Si certains morceaux ne sont pas clairement identifiés, il faut d’abord préciser le découpage plutôt que forcer le comptage.

Pour contrôler une subdivision, on recalcule les trois nombres avant et après l’ajout de cellules. Comparer la somme alternée est pertinent ; comparer le seul nombre de faces ne l’est pas, car ce nombre dépend du découpage.

Pour une décomposition de dimension supérieure à 2, la formule sommets − arêtes + faces est remplacée par la somme alternée de toutes les dimensions. S’arrêter aux faces omettrait les cellules de dimension 3 et au-delà.

La caractéristique d’Euler n’est pas l’indicatrice d’Euler. La première est un invariant topologique obtenu par un comptage alterné de cellules ; la seconde est une fonction arithmétique portant sur les entiers. La présence de cellules ou, au contraire, d’un entier à étudier permet de trancher.

Elle ne doit pas non plus être confondue avec les formules d’Euler sur les exponentielles complexes. Une expression faisant intervenir sinus, cosinus et l’unité imaginaire relève des nombres complexes. Une somme de nombres de cellules c_p relève ici de la topologie.

La définition donnée ici suppose une variété compacte munie d’une décomposition cellulaire finie. Si le découpage comporte une infinité de cellules, la somme finie écrite dans la définition ne s’applique pas telle quelle ; il faut préciser un autre cadre avant de calculer.

Les nombres c₀, c₁, c₂, et ainsi de suite, ne sont pas séparément des invariants. Une subdivision les modifie. Seule leur somme alternée est annoncée comme indépendante du découpage ; il faut donc conserver tous les termes et leurs signes.

La forme c₀ − c₁ + c₂ convient à la dimension 2. En dimension n, s’arrêter à c₂ donne un résultat incomplet : les dimensions suivantes doivent être ajoutées avec des signes alternés jusqu’à c_n.

Une même valeur de χ ne suffit pas, en général, à identifier entièrement un espace topologique. Un résultat égal à 0 est cohérent avec le tore cité en référence, mais cette seule égalité ne prouve pas que l’espace étudié est un tore.

Le glossaire polyèdre précise le support géométrique sur lequel sommets, arêtes et faces rendent le comptage concret.

Le glossaire Homéomorphisme approfondit la transformation qui préserve la topologie et éclaire le sens d’un invariant topologique.

L’article Polyèdres : de la formule d'Euler à la caractérisation de Poincaré prolonge le lien entre polyèdres, formule d’Euler et topologie.