
\begin{prop}
  $C_c^{\infty}(F^*)$ est l'espace vectoriel engendré par les fonctions $\1_{a(1+\varpi^m \OO)}$, $n \geqslant 1$, $a \in F^*$.
\end{prop}

\begin{proof}
  Les fonctions $1+\varpi^m \OO$, $n \geqslant 1$, forment une base de voisinages de $1$ dans $F^*$, et sont compacts. La fin de la preuve est laissée en exercice.
\end{proof}


\begin{prop}
  $C_c^{\infty}(F^*)$ est l'espace vectoriel engendré par les fonctions $\1_{a(1+\varpi^m \OO)}$, $n \geqslant 1$, $a \in F^*$.
\end{prop}

\begin{proof}
  Les fonctions $1+\varpi^m \OO$, $n \geqslant 1$, forment une base de voisinages de $1$ dans $F^*$, et sont compacts. La fin de la preuve est laissée en exercice.
\end{proof}
