Spectral Family Definition

  • #1
525
16
I've been reading Kreyszig's functional analysis book, and I'm a little confused why he defines the spectral family of a self-adjoint operator the way he does. For an operator ##T## he defines ##T_{\lambda} = T - \lambda I##. Then he defines ##T_{\lambda}^+ = 1/2\left(\left(T_{\lambda}^2\right)^{1/2} + T_{\lambda}\right)##. Finally, he defines the spectral family ##E_{\lambda}## for ##\lambda \in \mathbb{R}## so that ##E_{\lambda}## projects onto the null space of ##T_{\lambda}^+##.

I realize that the definition works, but what motivates it? In the finite dimensional case, ##E_{\lambda}## was basically defined as projection onto all the eigenspaces corresponding to eigenvalues less than ##\lambda##. Presumably this definition is some sort of generalization of the finite dimensional case, but I'm having a tough time seeing how.
 

Answers and Replies

  • #2
22,089
3,291
Take a diagonal hermitian matrix and work out the different concepts for that. Or take a diagonal operator on an infinite dimensional space. This is just an operator of the form

[tex]T(x) = \sum_{i\in I} \lambda_i <x,e_i>e_i[/tex]

where ##e_i## are an orthonormal basis of the (let's take a separable) Hilbert space. This is a generalization of diagonal matrices. Work out the different concepts for that. You will see that they agree with your intuition. That is already one reason to define the concepts like this.
 

Related Threads on Spectral Family Definition

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
2K
Replies
1
Views
1K
  • Last Post
Replies
2
Views
2K
Replies
1
Views
2K
Replies
2
Views
863
Replies
2
Views
871
Replies
1
Views
2K
Replies
4
Views
733
Replies
2
Views
711
Top