Sea f : G → G′ un homomorfismo continuo de grupos topológicos.