Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

For me every connected set has at least two elements.

Connected subsets of the real line have non-empty interiors. I am curious if the same is true for connected subsets of any connected linearly ordered topological space (the topology comes from the order).

share|cite|improve this question
up vote 1 down vote accepted

Yes. In fact, the space need not be connected, as all connected subsets of a linearly ordered topological space are intervals, and in a linearly ordered space connected intervals have nonempty interior. Let $X$ be such a space. To prove the first statement, assume $S$ is connected but not an interval, so we have some $a,b\in S$ and $x\in X$ such that $a<x<b$ but $x\notin S$. Then the sets $(-\infty, x)\cap S$ and $(x,\infty)\cap S$ are open in $S$, nonempty, and their union covers $S$, contradicting the fact that $S$ is connected. To prove the second, let $I$ be a connected interval in $X$ with at least two points $a,b\in I$, chosen so that $a<b$. Then the open set $(a,b)$ is contained in $I$, and the set $(a,b)$ cannot be empty, as otherwise we would have that $$I = \big((-\infty,b)\cap I\big)\cup\big((a,\infty)\cap I\big)$$ is disconnected as these are disjoint nonempty relatively open sets. Thus $I$ has nonempty interior.

share|cite|improve this answer
The argument isn’t quite complete: $(a,b)$ could be empty. But in that case $\{a\}$ and $\{b\}$ separate $[a,b]$. – Brian M. Scott Dec 26 '11 at 19:41
@Brian Thank you for the correction, I will edit to reflect that. – Alex Becker Dec 26 '11 at 19:42
Thank you. By the way, assuming the Souslin line exists, must its density character be $\omega_1$? – S. Serva Dec 26 '11 at 19:59
@S.Serva I'm not familiar with density character, so I'm afraid I can't help you there. – Alex Becker Dec 26 '11 at 20:06
@S.Serva: Yes. Every Suslin line contains an Aronszajn line as a dense subset, and every Aronszajn line has cardinality $\omega_1$. – Brian M. Scott Dec 26 '11 at 20:17

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.