I'm looking for a proof that the Pontryagin dual $G^*$ of a topological group $G$ is a topological group.
It's very easy to prove that $G^*$ is a group, my troubles are in proving that the map $G^* \times G^* \to G^* : (f,g) \mapsto fg^{-1}$ is continuous and so $G^*$ is topological.
I read in "Rudin - Fourier Analysis on Groups" a proof that $G^*$ is a Locally Compact Abelian group when $G$ is LCA, but it's too much for my purposes and the proof involves the Fourier transform and so the Haar measure, I think these tools are not necessary.
Thanks very much for any suggestions.