In our topology script there was the following remark after a couple theorems about path connectedness:
If $(A_j,j \in J)$ a family of path connected spaces, all sharing a point $x$. Then $\bigcup_{j \in J}A_j$ is a path connected space.
My question now is:
- How is the union of topological spaces again a topological space?
- Should $A_j$ not be subsets of a bigger topological space $E$ to say that the union is a topological space? Is then the new topology on $\bigcup_{j \in J}A_j$ the induced topology on this set?
Indeed, implied in the statement is really:
But this is quite verbose so often abbreviated as in your notes.