Invariant topologique donné, pour une décomposition cellulaire finie ou un complexe CW fini, par la somme alternée des nombres de cellules en chaque dimension ; équivalemment la somme alternée des rangs des groupes d'homologie pour les espaces appropriés.

Principe

χ est invariant par homéomorphisme et par raffinement des décompositions cellulaires ; pour les surfaces polyédriques χ = V − E + F avec V,E,F les nombres de sommets, arêtes et faces, et plus généralement χ = Σ_k (−1)^k c_k ou Σ_k (−1)^k rang H_k.

Démonstration

Une sphère triangulée comme un tétraèdre a V=4, E=6, F=4 donc χ=4−6+4=2. Une triangulation d'un tore donne χ=0. Ces valeurs numériques distinguent des types de surfaces familiers et interviennent dans les théorèmes de classification et les formules d'indice.

Mauvaise application

Supposer que χ classe de manière unique tous les espaces (des espaces non homéomorphes peuvent partager la même caractéristique d'Euler), ou appliquer la formule pour complexes finis à des espaces infinis ou non triangulables sans vérifier les hypothèses.

Conséquence

Fournit un invariant grossier mais calculable utilisé en topologie, combinatoire et géométrie ; intervient dans le théorème de Gauss–Bonnet, les théorèmes du point fixe et impose des contraintes sur les décompositions cellulaires possibles.

Inversion

Nier χ ou se concentrer uniquement sur des comptes signés sans tenir compte des origines homologiques fait perdre les propriétés d'invariance ; inversement, n'utiliser que l'homologie sans les comptes combinatoires masque le contenu énumératif explicite.

Limite

Défini pour les complexes CW finis, les espaces compacts triangulables et les espaces ayant des rangs d'homologie bien définis ; pour des complexes infinis ou espaces sans finitude appropriée, la caractéristique d'Euler peut diverger ou nécessiter des définitions alternatives (par ex. homologie à support compact ou séries d'Euler–Poincaré).

Tension sémantique

Tension entre définitions combinatoire (V−E+F) et homologique : la première est concrète et dépend de la décomposition, la seconde est algébrique et topologiquement invariante ; il faut concilier le comptage et l'invariance algébrique.

Synthèse

La caractéristique d'Euler est un invariant entier stable obtenu comme somme alternée des nombres de cellules ou des rangs d'homologie ; elle capte une information topologique grossière sur un espace, reliant décompositions combinatoires, topologie algébrique et conséquences géométriques.