
Notons $\tau$ (resp. $\tau_0$) la topologie sur $W = W_0$ induite par celle de $\hat{G}$ (resp. $\hat{G}_0$). On souhaite montrer $\tau = \tau_0$.\\ 

Les compacts de $G_0$ sont finis, donc compacts pour $G$, d'où $\tau_0 \subset \tau$. \\


Notons $\tau$ (resp. $\tau_0$) la topologie sur $W = W_0$ induite par celle de $\hat{G}$ (resp. $\hat{G}_0$). On souhaite montrer $\tau = \tau_0$.\\ 

Les compacts de $G_0$ sont finis, donc compacts pour $G$, d'où $\tau_0 \subset \tau$. \\
