Thursday, 23 July 2009

harmonic analysis - The dual group of mathbbQ

In fact, uniform convergence on compact subsets of mathbbQsubsetmathbbR induces the usual topology on its group of (continuous) characters mathbbRsimeqtmapstoexp(ixt)xinmathbbR.



Namely, consider K=0cup1/n,ngeq1. For xinmathbbR, the corresponding character is uniformly epsilon-close on K to the trivial character iff |exp(ix/n)1|<epsilon;;;;()

for all integers ngeq1. Then for epsilon<1/sqrt2, x must be small : |x|<2epsilon/pi. Indeed, consider kinmathbbZ such that |xkpi|leqpi/2 , and take n=|k|; if kneq0 we reach a contradiction in (). Hence k=0, and the claim follows easily.



This implies that uniform convergence on compact subsets of mathbbQ (in fact the one compact subset K) induces the usual topology on mathbbRsimeqmathrmHom(mathbbQ,S1).

No comments:

Post a Comment