Let u be a closed symmetric operator on a complex Hilbert space E. Let (E+,E−) be the deficiency pair of u. The spaces E+,E− and dom(u) are closed mutually orthogonal subspaces of Eu∗ whose Hilbert sum is equal to Eu∗.
Since u is symmetric, we have u⊂u∗, hence the space dom(u) is closed in Eu∗ (lemma 7). The subspaces E+ and E− are closed in E and contained in dom(u∗), hence closed in Eu∗.
Let x∈E+. We have u∗(x)=ix, whence ⟨x∣u(y)⟩=−i⟨x∣y⟩ for every y∈ dom(u). Consequently, for every y∈ dom(u), we have
(x∣y)u∗=⟨x∣y⟩+⟨u∗(x)∣u∗(y)⟩=i(⟨x∣u(y)⟩−⟨x∣u∗(y)⟩)=0
since u is symmetric. The spaces E+ and dom(u) are therefore orthogonal in Eu∗. Analogously, E− and dom(u) are orthogonal in Eu∗.
Let x∈E+ and y∈E−. Then
(x∣y)u∗=⟨x∣y⟩+⟨u∗(x)∣u∗(y)⟩=⟨x∣y⟩−⟨x∣y⟩=0
therefore E+ and E− are orthogonal in Eu∗.
Let x∈Eu∗ be orthogonal to the closed subspace dom(u)⊕E+⊕E−. For every y∈ dom(u), we have u∗(y)=u(y) since u⊂u∗, whence
0=(x∣y)u∗=⟨x∣y⟩+⟨u∗(x)∣u∗(y)⟩=⟨x∣y⟩+⟨u∗(x)∣u(y)⟩
This implies that z=u∗(x) belongs to the domain of u∗ and satisfies u∗(z)=−x. Let x−=z−ix. This is an element of dom(u∗) satisfying u∗(x−)=−x−iz=−ix−. Hence x− belongs to E−. But, for every w∈E−, we have
−i⟨x−∣w⟩=−i⟨z∣w⟩+⟨x∣w⟩
=⟨u∗(x)∣u∗(w)⟩+⟨x∣w⟩=(x∣w)u∗=0
Taking w=x−, we deduce that x−=0, that is to say z=ix; since z=u∗(x), we therefore have x∈E+, whence x = 0 since x is orthogonal to E+ in Eu∗. This completes the proof that the direct sum dom(u)⊕E+⊕E− is equal to Eu∗.
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.
Nothing.
Nothing.