4
$\begingroup$

The answer are the singletons of $\mathbb{Q}$. I can show that the open intervals of $\mathbb{Q}$ are disconnected by choosing some irrational in the open set and using it to form a separation. But strangely enough, I am having a hard time seeing why the subset $\{p,q \}$ of $\mathbb{Q}$ is disconnected. If say $p < q$ and we choose some irrational $p < x $\{p,q \}$ would, I think, be given by $ \{p\}$ and $\{q\}$. But these aren't open in $\mathbb{Q}$ ...?

  • 2
    Hint $\Bbb Q \subseteq \Bbb R$. What are the connected sets in $\Bbb R?$2012-03-16
  • 0
    Also, a set is disconnected if it can be written as a union of two disjoint non-empty closed sets. (for the $\{p,q\}$ case.) The closed can be replaced by clopen/open and the result is still true.2012-03-16
  • 6
    Dear Peter, to say that a subspace of a space is connected only depends of the induced topology of the subspace. That $\lbrace p \rbrace$ is not open in $\mathbb Q$ is irrelevant. What matters is that this singleton is open in $\lbrace p ,q \rbrace$.2012-03-16
  • 0
    I do believe $\Bbb Q$ is what you would call totally disconnected.2012-03-16

1 Answers 1

6

Let $A\subseteq\mathbb Q$ with at least two elements, thus $x\in A$, $y\in A$, and $x\ne y$. Let $z$ be an irrational such that $x\lt z\lt y$. Then $A=A_+\cup A_-$ with $A_+=A\cap(z,+\infty)$ and $A_-=A\cap(-\infty,z)$. Since $A_+$ and $A_-$ are two disjoint nonempty sets and are open in $A$, $A$ is not connected.

  • 0
    following the remark of @Georges Elencwajg we talk about $A_+$ and $A_-$ being open in $A$ not in $\mathbb Q$ but why $A_+$ is open in $A$ knowing that we can not say that this is an intersection of open sets in $A$ since $(z,\infty)$ is not contained in $A$2012-03-16
  • 1
    @palio: Indeed $(z,+\infty)$ is not contained in $A$... and this fact is irrelevant. To prove that $A_+$ is open in (the relative topology on) $A$, choose any point $x$ in $A_+$ and find a positive $r$ such that $B(x,r)\cap A\subset A_+$.2012-03-16