Somme topologique
De Wikipedia, l'encyclopédie encyclopedia
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.