Example 2
Tag 032Z, permanent. Cite it as [Bourbaki, Tag 032Z].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E be a Hilbert space over K and an orthonormal basis of E. Let be a family of elements of K. Let D be the vector subspace of E consisting of the elements such that the family is square-summable in K. The space D is dense in E since it contains the vector for every . The partial operator with domain D given by
is called a diagonal partial operator in the basis B, and is called the family of eigenvalues of .
The operator is closed. In fact, let be a sequence of elements of the graph of which converges in , and let be its limit. Then for every and
for every . Consequently, for every , which proves that and , that is to say that is closed.
This example is in fact a particular case of the preceding one, applied to the topological space X = I endowed with the discrete topology and the counting measure , since E identifies with the space by the mapping (EVT, V, p. 23, cor. 2) and then identifies with the multiplication operator , where is the function .
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.