Inclusion Mappings to Topological Sum from Components

Theorem

Let $\struct {X, \tau_1}$ and $\struct {Y, \tau_2}$ be topological spaces.

Let $\struct {Z, \tau_3}$ be the topological sum of $X$ and $Y$ where $\tau_3$ is the topology generated by $\tau_1$ and $\tau_2$.

Then $\tau_3$ is the finest topology on $Z$ in which the inclusion mappings from $\struct {X, \tau_1}$ and $\struct {Y, \tau_2}$ to $\struct {Z, \tau_3}$ are continuous.

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Sources

• 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.) ... (previous) ... (next): Part $\text I$: Basic Definitions: Section $1$: General Introduction: Functions