Bourbaki

Corollaire

Étiquette 0EBS, permanente. À citer comme [Bourbaki, Tag 0EBS].

General Topology, chapter IX, § 3. Groupes métrisables ; corps valués ; espaces et algèbres normés

Soient X,YX, Y deux groupes commutatifs métrisables, uu un morphisme strict de XX dans YY, NN son noyau, PP son image. Alors u^\hat{u} est un morphisme strict de X^\hat{X} dans Y^\hat{Y}, de noyau N^=N‾\hat{N} = \overline{N} (adhérence de NN dans X^\hat{X}) et d’image P^=P‾\hat{P} = \overline{P} (adhérence de PP dans YY).

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.