Die topologische Summe ist die Konstruktion, die in der Kategorie der topologischen Räume durch das Koprodukt beschrieben wird. Die topologische Summe zweier topologischer Räume entspricht anschaulich dem Nebeneinanderstellen der beiden Räume.

Definition: Topologische Summe
Seien X und Y zwei topologische Räume. Die topologische Summe ist die disjunkte Vereinigung von X und Y gemeinsam mit der Topologie, die von der Basis erzeugt wird.
Proposition: Topologische Summe ist kategorielles Koprodukt
Das Koprodukt zweier topologischer Räume in der Kategorie der topologischen Räume mit stetigen Funktionen ist die topologische Summe.
Beweis
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.