Bourbaki

Proposition 26

Tag 034D, permanent. Cite it as [Bourbaki, Tag 034D].

Théories spectrales, chapter IV, § 4. Opérateurs partiels

Let uu be a closed symmetric operator on a complex Hilbert space E. Let (E+,E−)(E_+,E_-) be the deficiency pair of uu. The spaces E+,E−E_+,E_- and dom(uu) are closed mutually orthogonal subspaces of Eu∗E_{u^*} whose Hilbert sum is equal to Eu∗E_{u^*}.

Since uu is symmetric, we have u⊂u∗u\subset u^*, hence the space dom(uu) is closed in Eu∗E_{u^*} (lemma 7). The subspaces E+E_+ and E−E_- are closed in E and contained in dom(u∗u^*), hence closed in Eu∗E_{u^*}.

Let x∈E+x\in E_+. We have u∗(x)=ixu^*(x) =ix, whence ⟨x∣u(y)⟩=−i⟨x∣y⟩\langle x|u(y)\rangle =-i\langle x|y\rangle for every y∈y\in dom(uu). Consequently, for every y∈y\in dom(uu), we have

(x∣y)u∗=⟨x∣y⟩+⟨u∗(x)∣u∗(y)⟩=i(⟨x∣u(y)⟩−⟨x∣u∗(y)⟩)=0 (x|y)_{u^*}=\langle x|y\rangle +\langle u^*(x)|u^*(y)\rangle =i(\langle x|u(y)\rangle - \langle x|u^*(y)\rangle )= 0

since uu is symmetric. The spaces E+E_+ and dom(uu) are therefore orthogonal in Eu∗E_{u^*}. Analogously, E−E_- and dom(uu) are orthogonal in Eu∗E_{u^*}.

Let x∈E+x\in E_+ and y∈E−y\in E_-. Then

(x∣y)u∗=⟨x∣y⟩+⟨u∗(x)∣u∗(y)⟩=⟨x∣y⟩−⟨x∣y⟩=0 (x|y)_{u^*}=\langle x|y\rangle +\langle u^*(x)|u^*(y)\rangle =\langle x|y\rangle - \langle x|y\rangle = 0

therefore E+E_+ and E−E_- are orthogonal in Eu∗E_{u^*}.

Let x∈Eu∗x\in E_{u^*} be orthogonal to the closed subspace dom(uu)⊕E+⊕E−\oplus E_+\oplus E_-. For every y∈y\in dom(uu), we have u∗(y)=u(y)u^*(y) =u(y) since u⊂u∗u\subset u^*, whence

0=(x∣y)u∗=⟨x∣y⟩+⟨u∗(x)∣u∗(y)⟩=⟨x∣y⟩+⟨u∗(x)∣u(y)⟩ 0 = (x|y)_{u^*}=\langle x|y\rangle +\langle u^*(x)|u^*(y)\rangle =\langle x|y\rangle +\langle u^*(x)|u(y)\rangle

This implies that z=u∗(x)z=u^*(x) belongs to the domain of u∗u^* and satisfies u∗(z)=−xu^*(z) =-x. Let x−=z−ixx_-=z-ix. This is an element of dom(u∗u^*) satisfying u∗(x−)=−x−iz=−ix−u^*(x_-) =-x-iz=-ix_-. Hence x−x_- belongs to E−E_-. But, for every w∈E−w\in E_-, we have

−i⟨x−∣w⟩=−i⟨z∣w⟩+⟨x∣w⟩ -i\langle x_-|w\rangle =-i\langle z|w\rangle +\langle x|w\rangle
=⟨u∗(x)∣u∗(w)⟩+⟨x∣w⟩=(x∣w)u∗=0 =\langle u^*(x)|u^*(w)\rangle +\langle x|w\rangle = (x|w)_{u^*}= 0

Taking w=x−w=x_-, we deduce that x−=0x_-= 0, that is to say z=ixz=ix; since z=u∗(x)z=u^*(x), we therefore have x∈E+x\in E_+, whence xx = 0 since xx is orthogonal to E+E_+ in Eu∗E_{u^*}. This completes the proof that the direct sum dom(uu)⊕E+⊕E−\oplus E_+\oplus E_- is equal to Eu∗E_{u^*}.

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.