Lemma 1
Tag 025X, permanent. Cite it as [Bourbaki, Tag 025X].
Théories spectrales, chapter I, § 2. Algèbres normées
Let A be a normed algebra. The left regular representation of A and the right regular representation of A are continuous of norm .
If the algebra A is unital, the mappings and are norms on A, defining the topology of A. They satisfy the inequality (1).
If the unital normed algebra A is non-zero, that is, if , we also have .
It is immediate that and that .
If A has a unit element , then we have , hence: (2) .
In this case, and are therefore norms equivalent to the norm of A. They satisfy (1) since and are representations.
The last assertion follows from the fact that Id.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.