Proposition 1
Tag 0BJY, permanent. Cite it as [Bourbaki, Tag 0BJY].
General Topology, chapter III, § 3. Uniform structures on groups
The left and right translations are isomorphisms of the right uniformity onto itself.
As to the right translations, the result is clear, since the relation is equivalent to [in other words, the mapping leaves fixed]. For the left translations, the result follows from ; for if and only if ; hence is uniformly continuous on .
Similarly, the right and left translations are isomorphisms of the left uniformity onto itself.
Every inner automorphism of is therefore an automorphism for the group structure of , for the topology of , and for both the uniformities of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.