
\begin{Théorème}
  Le morphisme canonique
  $\left\{\begin{array}{l}
G \rightarrow \widehat{\hat{G}} \\
g \mapsto ev_g
\end{array}\right.$ est un isomorphisme de groupes topologiques.

Ainsi, $G \simeq \hat{\hat{G}}$ naturellement.
\end{Théorème}


\begin{Théorème}
  Le morphisme canonique
  $\left\{\begin{array}{l}
G \rightarrow \widehat{\hat{G}} \\
g \mapsto ev_g
\end{array}\right.$ est un isomorphisme de groupes topologiques.

Ainsi, $G \simeq \hat{\hat{G}}$ naturellement.
\end{Théorème}
