9
$\begingroup$

How to prove that $\mathbb{Q} \subset \mathbb{R}$ is not locally compact directly? That is, how to construct a cover of an arbitrary neighborhood (e.g. $[0, 1] \cap \mathbb{Q}$) that does not have a finite subcover?

  • 0
    possible duplicate of [Rationals are not locally compact and compactness](http://math.stackexchange.com/questions/45649/rationals-are-not-locally-compact-and-compactness)2011-07-06

5 Answers 5

15

Let $X:= \mathbb Q \cap [0,1]$. I'll show that if $U \subset X$ then $U$ doesn't have compact closure. Since $X$ is hausdorff this shows that it's not locally compact. It suffices to show that for any epsilon an open ball in X doesn't have compact closure. Given $x \in X$ and some $\epsilon>0$ pick an irrational $y \in B(x,\epsilon)$. Set $a=x-\epsilon$ and $b=x+\epsilon$, then the following is an open cover of $B(x,\epsilon)$ with no finite subcover:

$$\mathcal U := \left\{ \left( \left(a,y-\frac{1}{n}\right) \cup \left(y+\frac{1}{n},b\right) \right) \cap \mathbb Q \mid n \in \mathbb N\right\}.$$

To see this note that $\mathcal U$ is a nested covering and that for any $n$ it doesn't cover $B(x,\epsilon)$.

  • 1
    That's an incredible trick! 8)2011-07-06
5

Choose irrational point $i$ inside $[0,1]$. Take the class $O = \{[0, q) \cup (r, 1] \quad: \quad(q,r) \in \mathbb Q^2 \cap(0,1)^2,\quad q < i < r\}$ as your covering. Now we have a cover for the rationals in $[0,1]$ without a finite subcover, showing that the space is not compact.

For the sake of rigor:

$O$ is an open cover in the subspace topology relative to the compact set $[0,1]$.

$\cup O = [0,1]- \{i\}$, showing that we do, in fact, cover the rationals in $[0,1]$.

Consider the union of any finite subcover: $\cup_{k=1}^N[0,q_k)\cup(r_k,1]$ where $(q_k,r_k) \in \mathbb Q^2 \cap(0,1)^2,\quad\mathrm{and}\quad q < i < r$. This set is equivalent to $[0,\mathrm{max}_k\{q_k\})\cup(\mathrm{min}_k\{r_k\},1]$, where $k$ is understood to range from $1$ to $N$.

We conclude that any finite subcover misses the points in the interval $[\mathrm{max}_k\{q_k\},\mathrm{min}_k\{r_k\}]$

In general, choose any neighborhood in $\mathbb R$. We must be able to find a segment $(a,b)$ within the neighborhood. Repeat the argument using segment $(a,b)$ instead of $[0,1]$.

We conclude that any neighborhood of $\mathbb R$ has an open cover for which no subcover can cover the rationals in that neighborhood.

  • 0
    For the sake of the readers, you should probably state that you are taking an enumeration $(q_n,r_n)$ of $(\mathbb{Q}\cap [0,i])\times (\mathbb{Q}\cap [i,1])$ and considering the family $U_n = [0,q_n)\cup (r_n,1]$. This family gives a countable open cover with no finite subcover. I suspect the down-votes have more to do with other users not understanding your argument (which is identical to the one Jacob Schlather gave in the accepted answer)....2011-07-06
  • 0
    There is no need for an enumeration. That is, we don't need to know the cover is countable. Even if the cover is not countable, still it is an open cover that has no finite subcover.2011-07-06
  • 0
    I feel that Jacob's construction is a little more intricate and involves an increasing sequence of sets. As GEdgar said, we have no need to create a sequence and we consider the family of open sets [0,q)U(r,1] indexed by the pair of rationals (q,r).2011-07-07
4

If $\mathbb Q$ were locally compact, then for every rational q we would be able to find a 'hood (neighborhood) $U_q$ of q in which every sequence has a convergent subsequence. But if we take an irrational x in $U_q$ (which always exists, since the irrationals are dense in $\mathbb R $), then a sequence ${x_n}$ approximating $x$ will not have a convergent subsequence. (e.g., if the interval contains $\sqrt 2$ , there cannot be a sequence of rationals converging to $\sqrt 2$), because the rationals are not order-complete.

  • 1
    @Theo: Sorry I could not rewrite my entry on A,B disjoint subsets of metric space, etc., since I could not access my old account.2011-07-07
  • 1
    @Theo: I just set up a formal account; hopefully won't have more troubles.2011-07-07
  • 0
    I've merged gary's accounts (thanks for the flag, Theo). gary, registering your account should prevent this issue from happening further, so I recommend you do so.2011-07-07
  • 0
    @All: seriously sorry for my thickness; I think this time I did register; I received a confirmation e-mail and everything.2011-07-07
  • 0
    Yes, this looks good now :) I removed my earlier comments in order to reduce meta-noise.2011-07-07
2

Let's use that if a space (here $[0,1]\cap\mathbb Q$) has an open infinite partition, then it is not compact since the partition is an open covering that has no subcovering at all .

Choose an increasing sequence of irrational numbers $0\lt a_1\lt \ldots \lt a_n\lt\ldots\lt \sqrt 2/2$ converging to $\sqrt 2/2$ and a decreasing sequence of irrational numbers $1\gt b_1\gt \ldots \gt b_n\gt\ldots\gt \sqrt 2/2$ also converging to $\sqrt 2/2$. Then contemplate the open partition (where $[[x,y]]$ means $[x,y]\cap\mathbb Q$)

$$[[0,1 ]]= [[0,a_1 ]]\sqcup [[a_1,a_2 ]] \sqcup \ldots \bigsqcup \; \;\; [[b_1,1 ]]\sqcup [[b_2,b_1 ]] \ldots $$

  • 0
    +1 but i guess you mean $[0,a_1)$ and not $[0,a_1]$ and similarly for others...2015-02-18
  • 0
    Dear @Praphulla: please read my definition of $[[x,y]]$ carefully and notice that $[0,a]\cap \mathbb Q=[0,a)\cap \mathbb Q$ if $a\notin \mathbb Q$.2015-02-18
  • 0
    Oh yes yes.... I could not realize it at that time.... :)2015-02-18
0

Q is any set from negative infinite up to positive infinity,thus it is not bounded from both side and also it is not closed set.here Q is not compact because it fail heines therom, Heines therom stated as any set S is said to be compact if and only if the set is both bounded and closed.

  • 1
    You misread the question. The question is not whether or not $\mathbb Q$ is **compact** but rather **locally compact**.2012-12-06