Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Show that a subspace $T$ of a topological space $S$ is disconnected iff there are nonempty sets $A,B \subset T$ such that $T= A\cup B$ and $\overline{A} \cap B = A \cap \overline{B} = \emptyset$. Where the closure is taken in $S$.

I've used this relatively simple proof for many of these slightly different types of questions so I was wondering if it's the right method. It seems pretty good, except for the 'where the closure is taken in $S$ part'.

$T$ is disconnected if and only if there exists a partition $A,B \subset T$ such that $T = A \cup B$ and $A \cap B = \emptyset$. Also, $A$ and $B$ are both open and closed therefore $\overline{A} = A$ and $\overline{B} = B$. The result follows.

share|cite|improve this question
This is fine. In fact, it’s Theorem 26.5 in Stephen Willard, General Topology. – Brian M. Scott May 19 '12 at 19:16
up vote 0 down vote accepted

It looks fine to me, in particular because as $\,A\subset \overline{A}\Longrightarrow A\cap B\subset \overline{A}\cap B\,$ , so if the rightmost intersection is empty then also the leftmost one is, which is the usual definition

share|cite|improve this answer
So there's nothing funny with the fact that the closure is in $S$ in the question and in the proof the closure is obviously in $T$? – user26069 May 19 '12 at 18:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.