En mathématiques, et plus particulièrement en topologie la somme topologique (également appelée somme directe, somme libre, union disjointe ou coproduit) d'une famille d'espaces topologiques est un espace formé en dotant l'union disjointe des ensembles sous-jacents d'une topologie naturelle appelée topologie somme disjointe^[1]. Elle revient à considérer l'union disjointe des ensembles comme un seul nouvel espace topologique dans lequel chaque ensemble est isolé des autres.

La somme topologique disjointe étant le dual catégorique de la construction de l'espace produit (produit cartésien munie de la topologie produit), on l'appelle parfois coproduit.

Soit { X_i : i ∈ I } une famille d'espaces topologiques indexés par I . On note

${\displaystyle X=\coprod _{i}X_{i}}$

l'union disjointe des ensembles de la famille. Pour chaque i dans I, on définit l'injection canonique

${\displaystyle {\begin{aligned}\varphi _{i}:X_{i}&\to X\\\varphi _{i}(x)&\mapsto (x,i)\end{aligned}}}$

La topologie somme disjointe sur X est alors topologie la plus fine sur X pour laquelle toutes les injections canoniques ${\displaystyle \varphi _{i}}$ sont continues (autrement dit la topologie finale sur X induite par les injections canoniques)^[2]. L'espace X muni de cette topologie est la somme topologique des X_i.

On peut décrire explicitement la topologie somme en caractérisant ses ouverts : un sous-ensemble U de X est ouvert dans X si et seulement si pour tout i ∈ I son image réciproque ${\displaystyle \varphi _{i}^{-1}(U)}$ est un ouvert de X_i. Alternativement, les ouverts de X sont les sous-ensembles dont les intersections avec les X_i sont ouverts dans X_i pour tout i.

La somme topologique X, ainsi que les injections canoniques, peuvent être caractérisés par la propriété universelle suivante : Si Y est un espace topologique, et f_i : X _i → Y est une application continue pour chaque i ∈ I, alors il existe une et une seule application continue f : X → Y tel que l'ensemble de diagrammes suivant commute :

Au sens de la théorie des catégories, la somme topologique est donc la somme (ou coproduit) dans la catégorie des espaces topologiques. Il résulte de la propriété universelle ci-dessus qu'une application f : X → Y est continue si et seulement si f_i = f o φ_i est continue pour tout i dans I.

Outre leur continuité, les injections canoniques φ_i : X_i → X sont des applications ouvertes et fermées. Ce sont donc des plongements topologiques de sorte que chaque X_i peut être canoniquement considéré comme un sous-espace de X.

Si les X_i sont tous homéomorphes à un espace donné A, alors X est homéomorphe à l'espace produit A × I où I est muni de la topologie discrète.

• Toute somme topologique d'espaces discrets est discrète
• Séparation
  • Toute somme topologique d'espaces T₀ est T₀
  • Toute somme topologique d'espaces T₁ est T₁
  • Toute somme topologique d'espaces de Hausdorff est un espace de Hausdorff.
• Connexité
  • La somme topologique de deux ou plusieurs espaces topologiques non vides n'est jamais connexe.

• Topologie produit, la construction duale
• Topologie induite et son dual la topologie quotient.
• Union topologique, sa généralisation au cas où les sous-ensembles ne sont pas disjoints.

• Portail des mathématiques