Exercice 5, § 2

Soit K un corps topologique séparé dont la topologie est localement rétrobornée (TG, III, p. 83, exerc. 22). Étendre la prop. 2 de I, p. 13 et le th. 1 de I, p. 13 aux espaces vectoriels topologiques sur K ; étendre de même le th. 2 de I, p. 14 et la prop. 3 de I, p. 15 en supposant que K est en outre complet.