Bourbaki

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 B=(ei)i∈IB = (e_i)_{i\in I} an orthonormal basis of E. Let (λi)i∈I(\lambda_i)_{i\in I} be a family of elements of K. Let D be the vector subspace of E consisting of the elements x∈Ex\in E such that the family (λi⟨ei∣x⟩)i∈I(\lambda_i\langle e_i|x\rangle )_{i\in I} is square-summable in K. The space D is dense in E since it contains the vector eie_i for every i∈Ii\in I. The partial operator uu with domain D given by

x↦∑i∈Iλi⟨ei∣x⟩ei x\mapsto \sum_{i\in I}\lambda_i\langle e_i|x\rangle e_i

is called a diagonal partial operator in the basis B, and (λi)i∈I(\lambda_i)_{i\in I} is called the family of eigenvalues of uu.

The operator uu is closed. In fact, let (xn,u(xn))n∈N(x_n, u(x_n))_{n\in\mathbf{N}} be a sequence of elements of the graph of uu which converges in E×EE\times E, and let (x,y)(x, y) be its limit. Then ⟨ei∣xn⟩→⟨ei∣x⟩\langle e_i|x_n\rangle \rightarrow \langle e_i|x\rangle for every i∈Ii\in I and

⟨ei∣u(xn)⟩=λi⟨ei∣xn⟩→⟨ei∣y⟩ \langle e_i|u(x_n)\rangle =\lambda_i\langle e_i|x_n\rangle \rightarrow \langle e_i|y\rangle

for every i∈Ii\in I. Consequently, λi⟨ei∣x⟩=⟨ei∣y⟩\lambda_i\langle e_i|x\rangle =\langle e_i|y\rangle for every i∈Ii\in I, which proves that x∈Dx\in D and u(x)=yu(x) =y, that is to say that uu 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 μ\mu, since E identifies with the space ℓ2(I)=L2(I,μ)\ell^2(I) = L^2(I, \mu) by the mapping x↦(⟨ei∣x⟩)i∈Ix\mapsto (\langle e_i|x\rangle )_{i\in I} (EVT, V, p. 23, cor. 2) and uu then identifies with the multiplication operator mλm_{\lambda}, where λ\lambda is the function i↦λii\mapsto \lambda_i.

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.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.