Definition 2
Tag 035F, permanent. Cite it as [Bourbaki, Tag 035F].
Théories spectrales, chapter IV, § 5. Opérateurs partiels normaux et théorème spectral
Let be a partial operator on E. One says that is normal if is closed with dense domain and if its bornification is a normal endomorphism of E.
If (E), this definition agrees with EVT, V, p. 42, def. 4, by virtue of the formulas (prop. 1 of IV, p. 262) and (cor. of loc. cit.).
If is a self-adjoint partial operator on E, then is hermitian (cor. of prop. 2 of IV, p. 264), therefore is normal.
Let D be the open unit disk in . We denote by the function from into D defined by . It is a homeomorphism, whose inverse satisfies for .
Let . It follows from formulas (2) and (3) of proposition 1 of IV, p. 262 that , and therefore
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.