Un invariant topologique à valeurs entières d'un complexe cellulaire fini ou d'une surface polyédrale donné combinatoirement comme la somme alternée des nombres de cellules de chaque dimension (classiquement V−E+F pour les polyèdres).

Principe

Calculer χ = Σ_{k=0}^n (−1)^k c_k où c_k est le nombre de cellules de dimension k (sommets, arêtes, faces, etc.) ; χ est invariant par subdivision et par homéomorphisme de l'espace sous-jacent et caractérise des aspects topologiques tels que connectivité et genre pour les surfaces.

Démonstration

Pour un polyèdre convexe avec V sommets, E arêtes et F faces, χ = V − E + F = 2. Pour une triangulation torique avec une arête fondamentale contenant un sommet, trois arêtes et deux faces, le compte alterné donne χ=0, reflétant un 'trou'.

Mauvaise application

Appliquer la formule combinatoire à des complexes infinis sans s'assurer de la finitude des cellules, ou utiliser V−E+F sur des figures avec recouvrements ou décompositions non cellulaires, donne des résultats dépourvus de sens ou erronés.

Conséquence

En tant qu'invariant d'homotopie, χ contraint les applications continues et les décompositions d'un espace ; pour les surfaces compactes il détermine le genre et restreint les types de métriques et d'immersions possibles.

Inversion

Nier l'invariant n'a pas de sens ; l'inverse conceptuel met en contraste des espaces de valeurs de χ différentes — par exemple la sphère (χ=2) et le tore (χ=0) — mettant en évidence des types topologiques distincts.

Limite

Défini pour les CW-complexes finis, complexes simpliciaux et surfaces polyédriques ; il n'est pas directement informatif pour les espaces non compacts sans hypothèses de finitude supplémentaires ni pour les espaces exigeant des invariants généralisés.

Tension sémantique

Étroitement liés mais distincts sont les nombres de Betti (rangs d'invariants algébriques) ; la caractéristique d'Euler concatène la somme alternée de ces rangs en un seul entier, perdant l'information graduée plus fine.

Synthèse

La caractéristique d'Euler est l'invariant du comptage alterné qui compresse une description combinatoire cellule par cellule d'un espace en un entier unique capturant les caractéristiques topologiques globales essentielles comme le nombre de composantes et de trous.