8
$\begingroup$

What is the dual group of the additive group of rational numbers equipped with the standard topology inherited from $\mathbb R$? As a group, this dual group is isomorphic to $\mathbb R$ (see the answer of Ekedahl given below), but it should be equipped with the topology of uniform convergence on compact subsets of $\mathbb Q$. What are the properties of this group? Is it locally compact? what are its connected components? does it have more natural structure?

$\endgroup$
2
  • 9
    $\begingroup$ Something very interesting is the compact group obtained as the dual of $\mathbb{Q}$ with the discrete topology! $\endgroup$ Commented Aug 2, 2010 at 12:33
  • 1
    $\begingroup$ Note that there is also a $p$-adic analogue of this question, for which the answer is also the analogous thing (i.e., replace $\mathbb{R}$ by $\mathbb{Q}_p$ in every instance). $\endgroup$ Commented Aug 3, 2010 at 10:56

2 Answers 2

0
$\begingroup$

In fact, uniform convergence on compact subsets of $\mathbb{Q}\subset\mathbb{R}$ induces the usual topology on its group of (continuous) characters $\mathbb{R}\simeq\{t\mapsto\exp(ixt)\}_{x\in\mathbb{R}}$.

Namely, consider $K=\{0\}\cup\{1/n,n\geq 1\}$. For $x\in\mathbb{R}$, the corresponding character is uniformly $\epsilon$-close on $K$ to the trivial character iff $$|exp(ix/n)−1|<\epsilon\;\;\;\; (*)$$ for all integers $n\geq1$. Then for $\epsilon<1/\sqrt{2}$, $x$ must be small : $|x|<2\epsilon/\pi$. Indeed, consider $k\in\mathbb{Z}$ such that $|x−k\pi|\leq\pi/2$ , and take $n=|k|$; if $k\neq 0$ we reach a contradiction in $(*)$. Hence $k=0$, and the claim follows easily.

This implies that uniform convergence on compact subsets of $\mathbb{Q}$ (in fact the one compact subset $K$) induces the usual topology on $\mathbb{R}\simeq\mathrm{Hom}(\mathbb{Q},S^1)$.

$\endgroup$
13
$\begingroup$

Every continuous group homomorphism $\mathbb Q \rightarrow S^1$ extends to the completion of $\mathbb Q$ (cf., Bourbaki: General topology, Prop. III:4.8) which is $\mathbb R$ so the dual group of $\mathbb Q$ is the same as that of $\mathbb R$ which is $\mathbb R$. (There may be some question as to whether the topologies are the same but I am not even sure which topology to use for the dual group when the group is not locally compact.)

Addendum: Erased previous addendum as it was all wrong.

$\endgroup$
10
  • $\begingroup$ A continuous group homomorphism is of course uniformly continuous, thus extends to the completions. $\endgroup$ Commented Aug 2, 2010 at 12:32
  • $\begingroup$ Which is the argument of my reference (chosen because it is where uniformities are introduced)... $\endgroup$ Commented Aug 2, 2010 at 12:58
  • $\begingroup$ Compact subsets of $\mathbb{Q}$ are finite. So uniform convergence on compact subsets of $\mathbb{Q}$ ist the same as convergence in all rational points. $\endgroup$ Commented Aug 3, 2010 at 12:57
  • 2
    $\begingroup$ @Johannes : $\mathbb{Q}$ has infinite compact subsets, like a sequence converging to a rational and its limit. $\endgroup$
    – BS.
    Commented Aug 3, 2010 at 14:24
  • 1
    $\begingroup$ @Johannes: Is that already an answer in the "common misconceptions" question? If not it should be. $\endgroup$ Commented Aug 3, 2010 at 17:13

You must log in to answer this question.

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