Exercice 3, § 6

Montrer qu’un espace de Fréchet $E$ est exhaustible (si $(U_k)$ est une suite décroissante formant un système fondamental de voisinages convexes, équilibrés et fermés de $0$ dans $E$, considérer les intersections finies des ensembles $(m + 1)$ $U_k$, où $m$ et $k$ parcourent $\mathbf{N}$).