Disjoint union (topology)

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Disjoint union" topology – news · newspapers · books · scholar · JSTOR (October 2009) (Learn how and when to remove this message)

In general topology and related areas of mathematics, the disjoint union (also called the direct sum, free union, free sum, topological sum, or coproduct) of a family of topological spaces is a space formed by equipping the disjoint union of the underlying sets with a natural topology called the disjoint union topology. Roughly speaking, in the disjoint union the given spaces are considered as part of a single new space where each looks as it would alone and they are isolated from each other.

The name coproduct originates from the fact that the disjoint union is the categorical dual of the product space construction.