13
$\begingroup$
  • How many subsets of $\mathbb{R}$ are order isomorphic to $\mathbb{Q}$?
  • How many subsets of the long line $\omega_1\times[0,1)$ are order isomorphic to $\mathbb{Q}$?

I can see that results in both cases are between $\mathfrak{c}$ and $\mathfrak{2^c}$.

$\endgroup$
4
  • $\begingroup$ There are $\mathfrak c$ subsets of $\mathbb R$ (and of $\omega_1\times[0,1)$) of size $\mathfrak c$, so really there is only one possibility. $\endgroup$ Commented May 26, 2013 at 16:12
  • $\begingroup$ @Andres Did you mean "of size $\aleph_0$"? $\endgroup$
    – Hanna K.
    Commented May 26, 2013 at 16:30
  • $\begingroup$ Note that both answers below work for the long line as well, since they're just cardinality arguments. $\endgroup$ Commented May 26, 2013 at 16:55
  • 1
    $\begingroup$ (@HannaK. Yes, of course. Silly typo.) $\endgroup$ Commented May 26, 2013 at 17:35

2 Answers 2

2
$\begingroup$

There are continuum many countable subsets of the continuum (because $\mathfrak{c}^{\aleph_0}=2^{\aleph_0}$). Thus the answer is $\mathfrak{c}$. See this question.

$\endgroup$
9
$\begingroup$

There are $2^{\aleph_0}$ subsets of $\Bbb Q$ which are order isomorphic to $\Bbb Q$.

To see this, note that $\Bbb{Q\setminus N}$ is order isomorphic to $\Bbb Q$, and consider for every $A\subseteq\Bbb N$ the set $\Bbb{Q\setminus N}\cup A$.

Since there are no more than $2^{\aleph_0}$ countable subsets to $\Bbb R$ the answer has to be $2^{\aleph_0}$.

$\endgroup$
1
  • $\begingroup$ Or you look at a bounded subset of the rationals, which you can't tell that Butch said that because he is using white font on white background for that part. Gerhard "Selecting Makes Grey On Grey" Paseman, 2013.05.26 $\endgroup$ Commented May 26, 2013 at 22:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .