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 |x−kpi|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