Exercice 18, § 2

Pour qu’un homomorphisme continu $f$ d’un groupe topologique G dans un groupe topologique G’ soit un morphisme strict, il faut et il suffit que l’image par $f$ de tout ensemble ouvert dans G contienne au moins un point intérieur par rapport à $f(G)$.