Proposition 13
Tag 02GN, permanent. Cite it as [Bourbaki, Tag 02GN].
Théories spectrales, chapter I, § 7. Spectre des endomorphismes des espaces de Banach
Let E be a complex Hilbert space and an endomorphism of E. The following conditions are equivalent:
(i) The endomorphism is normal;
(ii) There exists a unitary element of , permutable with , such that .
Let be the polar decomposition of . Suppose that is normal. Then . Prop. 11 then implies . Moreover, leaves stable the supplementary orthogonal subspaces Ker() Ker() and Im() Im() (prop. 10). Let be the element of which coincides with on Ker() and with the identity mapping on Ker(). Since induces an isometry of Ker() onto Im() Ker() Ker() (since is normal), the endomorphism is unitary; moreover, it is permutable with , since , and one has .
Conversely, let be a unitary element of , permutable with , such that . One has , therefore is normal.
Let E be a complex Hilbert space and . Let be the polar decomposition of . It may happen that commutes with without being normal (Exercise 11 of I, p. 189).
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.