##  [Caractéristique d'Euler](/fr/node/60307) 

 Définition

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

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

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

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

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

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

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 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

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.