Given two topological spaces and , their topological sum is defined to be the set (see the entry disjoint union) equipped with the finest topology such that the inclusion maps from and into are continuous. A basis for this topology consists of the union of the set of open subsets of and the set of open subsets of .
|Date of creation||2013-03-22 14:41:29|
|Last modified on||2013-03-22 14:41:29|
|Last modified by||rspuzio (6075)|
|Synonym||coproduct in the category of topological spaces|
|Synonym||topological disjoint union|