Proving that $[0,1]\subset\mathbb{R}$ is compact you make use of completeness and this is a fundamental step in order to characterize compact subsets of $\mathbb{R}$. Trying to state an analogous problem in $\mathbb{Q}$, I asked myself if $[0,1]\cap\mathbb{Q}$ is compact in $\mathbb{Q}$ endowed with the subspace topology but I find it hard to answer. Can you help? In general, how do compact subsets of $\mathbb{Q}$ look like?
Compactness in $\mathbb{Q}$
5 Answers
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.
-
2@MarcoCastronovo: You can do it the following way. Let $A\subset X$ and give $A$ the subspace topology of $X$. Show that $A$ is compact if and only if every cover of $A$ in $X$ has a finite subcover. The role of $X$ was arbitrary, as long as the topology of $A$ is the subspace topology from $X$. – 2012-06-17
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.
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.)
-
0Ah, I see now that the big K. uses continuous maps (so the Wadge hierarchy) instead of Borel maps in his book. However, the two notions are equivalent (I don't know where to find a proof of that). [I didn't want to push you in this direction, but I think it's a very interesting measure of "complexity"] – 2011-07-26
If $A \subseteq [0,1]\cap \mathbb Q$ is compact iff $A$ is compact in $\mathbb R$, since the compactness is the same for the induced topology. For more information you may be interested in Hunter's Applied Analysis, Chapter 4.
In fact, a metric space is compact if and only if it is complete and totally bounded (you have used one direction in the proof for $\mathbb{R}$). Therefore, intersections of intervals with $\mathbb{Q}$ will never be compact, since they are not complete. Compare also with the explicit example that Chris has given, which shows directly how completeness is relevant.
Any convergent sequence of rationals gives you a compact subset of $\mathbb Q$; for one thing, as a metric space, it is complete, containing its unique limit point, and it is also totally bounded, since any e-neighborhood about the limit point will contain all-but-finitely many limit points. So, $S_n$:={$q_0+\frac {1}{n}:q_0$ in $\mathbb Q$, n in $\mathbb N$} for a fixed value $q_0$ will give you a compact subset of $\mathbb Q$