Discussion:Homologie cellulaire

Dernier commentaire : il y a 3 ans par JC.Raoult dans le sujet Caractéristique d'Euler
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Caractéristique d'Euler modifier

La démonstration Σ (-1)ibi = Σ (-1)ici est certainement correcte, mais au lieu de faire appel à l'homologie relative et au lemme du serpent, on pourrait se contenter de simples manipulations d'entiers, comme ceci :

Notons Fi et Ki l'image et le noyau de ∂ dans Z[Xi], de rangs respectifs fi et ki ; et ci = rg(Z[Xi]) = |Xi|. Le quotient Z[Xi]/Ki est isomorphe à Fi-1. De ce fait, on déduit :

fi-1 = rg(Z[Xi]/Ki) = ci - ki, soit ki = ci - fi-1

En reportant dans le rang bi = ki - fi, on trouve bi = ci - fi-1 - fi, d'où

Σ (-1)i bi = Σ (-1)i ci - Σ (-1)i fi-1 - Σ (-1)i fi
= Σ (-1)i ci + Σ (-1)i-1 fi-1 - Σ (-1)i fi = Σ (-1)i ci

cqfd. JC.Raoult (discuter) 29 août 2020 à 17:07 (CEST)Répondre

Revenir à la page « Homologie cellulaire ».