Example 2
Tag 0C4B, permanent. Cite it as [Bourbaki, Tag 0C4B].
General Topology, chapter IX, § 3. Metrizable groups, valued fields, normed spaces and algebras
The absolute value of a real number (Chapter IV, § 1, no. 6) satisfies axioms (VM_I), (VM_{II}) and (VM_{III}), and the topology it defines on the field is the topology of the real line. On the field of complex numbers (identified with ) [resp. the division ring of quaternions (identified with )] the Euclidean norm is again an absolute value and defines the topology of the field (resp. the division ring ) (Chapter VIII, § 1, nos. 2 and 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.