Théorème de Künneth

Théorème de Künneth

En mathématiques, le théorème de Künneth est un résultat de topologie algébrique qui décrit l'homologie singulière du produit cartésien X × Y de deux espaces topologiques, en termes de groupes homologiques singuliers Hi(X, R) et Hj(X, R).

Il tient son nom du mathématicien allemand Hermann Künneth (de) (1892 – 1975).

Théorème de Künneth —  Si X et Y sont CW-complexes et si R est un anneau principal, alors il existe des suites exactes courtes naturelles scindées[1] :

0 \rarr \bigoplus_i\left(H_i(X;R)\otimes_R H_{n-i}(Y;R)\right) \rarr H_n(X\times Y;R) \rarr \bigoplus_i \mathrm{Tor}_R \left( H_i(X;R), H_{n-i-1}(Y;R) \right) \rarr 0.

Cas d'un corps

Si R est supposé être un corps commutatif, alors le résultat est une approximation du cas général : en effet, on n'a plus besoin d'invoquer le foncteur Tor (en). Ainsi, on peut énoncer le théorème de Künneth sous la forme :

H_k(X \times Y) \cong \bigoplus_{i + j = k} H_i(X) \otimes H_j(Y).

De plus, il existe une opération produit qui montre comment un i-cycle sur X et un j-cycle sur Y peuvent être combinés pour former un (i + j)-cycle sur X × Y ; de sorte qu'il existe une application linéaire explicite définie par la somme directe de Hk(X × Y).

Lorsque R est un corps, d'après le théorème de Künneth, cette application linéaire est un isomorphisme.

Nombres de Betti d'un produit

Une conséquence du théorème de Künneth est que les nombres de Betti de X × Y sont déterminés par ceux de X de ceux de Y. L'énoncé revient à dire que si pZ(t) est la fonction génératrice de la séquence des nombres de Betti bk(Z) d'un espace Z, alors :

p_{X \times Y}(t) = p_X(t) p_Y(t).

Lorsqu'il y a un ensemble fini des nombres de Betti de X et de Y, chacun d'entre eux est un nombre naturel plutôt que ∞, ce qu'on peut comprendre comme une identité des polynômes de Poincaré (en).

Dans le cas général, ce sont des séries formelles acceptant des coefficients ∞, et doivent être interprétées en tant que telles. De plus, les nombres de Betti sur un corps F, bk(Z,F), vérifient le même genre de relation que bk(Z,Q) pour les coefficients rationnels.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article en anglais intitulé « Künneth theorem » (voir la liste des auteurs)

  1. ↑ Elles ne sont pas canoniquement scindées.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Künneth de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Theoreme de Kunneth — Cette page a été supprimée. Le journal des suppressions et des déplacements est affiché ci dessous pour référence. 21 novembre 2011 à 21:59 Kelam (discuter | contributions) a supprimé « Theoreme de Kunneth » ‎ (Redirection cassée, inutile ou non… …   Wikipédia en Français

  • Théorème de künneth — Cette page a été supprimée. Le journal des suppressions et des déplacements est affiché ci dessous pour référence. 21 novembre 2011 à 21:59 Kelam (discuter | contributions) a supprimé « Théorème de künneth » ‎ (Redirection cassée, inutile ou non… …   Wikipédia en Français

  • Künneth theorem — In mathematics, especially in homological algebra and algebraic topology, a Künneth theorem is a statement relating the homology of two objects to the homology of their product. The classical statement of the Künneth theorem relates the singular… …   Wikipedia

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Éléments d'analyse — Les Éléments d analyse sont une série de 9 volumes écrits par le mathématicien français Jean Dieudonné. À l origine, seul le premier volume, Foundations of Modern Analysis, publié en 1960, était prévu. J. Dieudonné l écrit suite à une série de… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”