Characteristic property of the disjoint union topology/Statement

From Maths
Jump to: navigation, search
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


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

TODO: rewrite and rephrase this

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

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