verificare che l'applicazione
Soluzione
e , cioè se e solo se
da cui segue
Mostriamo allora che è un isomorfismo di gruppi topologici:
è continua essendo ogni componente continua.