Exercice 4, § 3

Soient E un espace localement convexe séparé, $E'$ son dual. Si M est un sous-espace vectoriel fermé de E, métrisable et distingué (IV, p. 52, exerc. 4), la topologie forte $\beta(E'/M^\circ, M)$ est la topologie quotient par $M^\circ$ de la topologie forte $\beta(E', E)$ (utiliser l’exerc. 3, b) et IV, p. 51, exerc. 22, b)).