Remark
Tag 0C51, permanent. Cite it as [Bourbaki, Tag 0C51].
General Topology, chapter IX, § 3. Metrizable groups, valued fields, normed spaces and algebras
Proposition 13 is not necessarily true for a non-complete normed algebra. For example, in the algebra of all finite continuous real-valued functions on [the norm being ], the subalgebra of all polynomials in (restricted to ) is not complete; if is any non-constant polynomial, then is arbitrarily close to the identity element 1 of when is arbitrarily small, but is not a unit in . However, if is a non-complete normed algebra, its group of units, the completion of , then is a subgroup of the group of units of , and therefore the topology induced on by the topology of is compatible with the group structure of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.