Characteristic property of the disjoint union topology/Statement

Grade: A

This page requires references, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:

Munkres maybe, Lee's manifolds, certainly

Stub grade: C

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

A rewrite, while not urgent, would be nice

Statement

Let $\big((X_\alpha,\mathcal{J}_\alpha)\big)_{\alpha\in I}$ be a collection of topological spaces and let $(Y,\mathcal{ K })$ be another topological space]]. We denote by $\coprod_{\alpha\in I}X_\alpha$ the disjoint unions of the underlying sets of the members of the family, and by $\mathcal{J}$ the disjoint union on it (so $(\coprod_{\alpha\in I}X_\alpha,\mathcal{J})$ is the disjoint union topological construct of the $\big((X_\alpha,\mathcal{J}_\alpha)\big)_{\alpha\in I}$ family) and lastly, let $f:\coprod_{\alpha\in I}X_\alpha\rightarrow Y$ be a map (not necessarily continuous) then:
we state the characteristic property of disjoint union topology as follows:

---

TODO: rewrite and rephrase this

---

• $f:\coprod_{\alpha\in I}X_\alpha\rightarrow Y$ is continuous if and only if $\forall\alpha\in I\big[f\big\vert_{X_\alpha^*}:i_\alpha({X_\alpha})\rightarrow Y\text{ is continuous}\big]$

Where (for $\beta\in I$) we have $i_\beta:X_\beta\rightarrow\coprod_{\alpha\in I}X_\alpha$ given by $i_\beta:x\mapsto(\beta,x)$ are the canonical injections