2
$\begingroup$

Let $(X_s, \tau_s)$, for $s\in S$, be topological spaces such that $X_s\neq X_t$ for $s\neq t$; $s,t\in S$, and $X=\bigcup_{s\in S} X_s$.

We define topology $\tau$ in $X$ in the following way: $G\subset X$ is open iff $G\cap X_s \in \tau_s$ for each $s\in S$.

What sequences are convergent in $X$ ?

1 Answers 1

3

If you’re assuming that the $X_s$ are pairwise disjoint, the answer is straightforward. Since $\varnothing\in\tau_s$ for every $s\in S$, $X$ is simply the discrete union of the spaces $X_s$: each $X_s$ is a clopen subset of $X$. Thus, a sequence in $X$ converges iff it has a tail that lies entirely in one $X_s$ and converges in that $X_s$.

If you’re not making that assumption, you probably need to say something about how the $\tau_s$ are related on the intersections of the $X_s$.

  • 0
    @Richard: Are you assuming in that case that each $\tau_s$ is the relative topology on $X_s$ induced by $\tau_{s+1}$? In that case you could get a sequence converging in $X$ to a point of $X_0$ but with only finitely many terms in any given $X_n$: let $X_0=(\leftarrow,0]$, and for n>0 let $X_n=X_0\cup[2^{-n},\to)$, and consider the sequence $\langle 2^{-n}:n\in\mathbb{N}\rangle$.2012-01-23