Compactness in $\mathbb{Q}$

Solution 1:

Compactness is a property of a topological space, which doesn't depend on any ambient space it may be embedded in. If $X$ is a subset of $\mathbb{Q}$, then its topology as a subspace of $\mathbb{Q}$ is the same as its topology as a subspace of $\mathbb{R}$. Thus a subspace of $\mathbb{Q}$ is compact if and only if it is bounded and closed in $\mathbb{R}$. In particular, $[0,1] \cap \mathbb{Q}$ is not compact, because it is not closed in $\mathbb{R}$.

More directly, $( \sqrt {2}/2 , 1] \cap \mathbb{Q}$ and $[0, \sqrt{2}/2-1/n) \cap \mathbb{Q}$ (for $n$ in $\mathbb{N}$) give an open cover of $[0,1] \cap \mathbb{Q}$ with no finite subcover.

Solution 2:

First note that compact metric spaces are complete, so $[0,1]\cap\mathbb Q$ will not be compact if it is not completely-metrizable.

One can argue (and it is often the case) that the usual metric is incomplete but can be replaced.

Method I:

We apply the following theorem.

Theorem: Suppose $X$ is a countable, compact metric space then there exists some ordinal $\alpha<\omega_1$ such that $X$ is homeomorphic to $\alpha$ in the order topology.

By this theorem if $X=[0,1]\cap\mathbb Q$ was compact then it was homemorphic to an ordinal in the order topology. However the order of $X$ is dense, and ordinals are scattered. This homemorphism is impossible to have.

Therefore $[a,b]\cap\mathbb Q$ cannot be compact if $a<b$.

Method II:

It is true that a subspace of a complete metric space is completely metrizable if and only if it is $G_\delta$, that is an intersection of countably many open sets.

Since $[0,1]\cap\mathbb Q$ is the intersection of a closed set with an $F_\sigma$ set which is not $G_\delta$ as well, we have that $[0,1]\cap\mathbb Q$ is $F_\sigma$ and not $G_\delta$. Therefore it cannot be completely metrizable, therefore it cannot be compact.

(Utilizing machinery from descriptive set theory, this question becomes somewhat easier to solve. Of course the theorems and definitions have their own difficulties, but just to show you how simple arguments can be replacing explicit open covers.)