Somme connexe

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 4 mars 2019 à 00:30 et modifiée en dernier par Ambigraphe (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

En mathématiques, et plus précisément en topologie, la somme connexe est une opération qui s'effectue sur des variétés connexes de même dimension.

Définition

Illustration de la somme connexe.

La somme connexe de deux variétés connexes de même dimension n est obtenue en retirant à chacune un petit voisinage d'un point formée d'une boule ouverte, et en recollant les deux variétés ainsi obtenues (techniquement : en prenant l'espace quotient de leur union disjointe) le long des deux sphères Sn-1 apparues. Le résultat est une variété de dimension n, bien définie à homéomorphisme près, et connexe (sauf dans le cas où les deux variétés initiales sont homéomorphes à des droites réelles).

En dimension 2 par exemple, la somme connexe de deux surfaces abstraites est obtenue par découpage d'un disque sur chacune et recollement le long des deux bords circulaires obtenus.

L'opération de somme connexe est notée # : A#B désigne la somme connexe de A et B.

La classification des surfaces (de) « fermées » (c'est-à-dire compactes et sans bord), un résultat fondamental et historiquement marquant en topologie, indique que toute surface connexe fermée est soit la sphère, soit une somme connexe de g tores T (si elle est orientable et de genre g > 0), soit une somme connexe de k plans projectifs réels P, k > 0 (si elle est non orientable).

Exemples

Propriétés

Hormis dans le cas où les deux variétés initiales sont homéomorphes à des droites réelles, la somme connexe de deux variétés est toujours connexe.

La somme connexe des variétés abstraites de dimension m est une opération associative et commutative, donnant à l'ensemble de ces variétés une structure de monoïde commutatif, d'élément neutre la sphère Sm.

La somme connexe de deux variétés est orientable si et seulement si les deux variétés de départ sont orientables.