Topology of the dual group and completeness of characters

[6/0%]
LaTeX

If KK is a compact subset of GG, γ0∈Γ\gamma_0 \in \Gamma, and ε>0\varepsilon > 0, let U(K,γ0,ε)={γ∈Γ:∣γ(x)−γ0(x)∣<ε for all x in K}U(K, \gamma_0, \varepsilon ) = \left\{ \gamma \in \Gamma : \left|\gamma (x) - \gamma_0(x)\right| < \varepsilon \text{ for all } x \text{ in } K\right\}. Show that the collection of all such sets is a base for the topology of Γ\Gamma. (This says that the topology on Γ\Gamma is the compact-open topology.)

?

Show that there is a discontinuous homomorphism γ:R→T\gamma : \mathbb {R} \to \mathbb {T}. If γ:R→T\gamma : \mathbb {R} \to \mathbb {T} is a homomorphism that is a Borel function, show that γ\gamma is continuous.

?

If GG is a compact abelian group, show that the linear span of Γ\Gamma is dense in C(G)C(G).

?

If GG is a compact abelian group, show that Γ\Gamma forms an orthonormal basis in L2(G)L^2(G).

?

If GG is a compact abelian group, show that GG is metrizable if and only if Γ\Gamma is countable.

?

Let {Gα}\{ G_\alpha \} be a family of compact abelian groups and G=∏αGαG = \prod_\alpha G_\alpha. If Γα=G^α\Gamma_\alpha = \hat{G}_\alpha, show that the character group of GG is {{γα}∈∏αΓα:γα=e except for at most a finite number of α}\left\{ \{ \gamma_\alpha \} \in \prod_\alpha \Gamma_\alpha : \gamma_\alpha = e \text{ except for at most a finite number of } \alpha \right\}.

?

References

[Con07] Conway J.B. A Course in Functional Analysis. 2nd ed., Springer, 2007.