- #1
physicus
- 55
- 3
Homework Statement
Consider a Hilbert space with a (not necessarily orthogonal) basis [tex]\{f_i\}[/tex] Show that [tex]G=\sum_i |f_i\rangle\langle f_i|[/tex] has strictly positive eigenvalues.
Homework Equations
The Attempt at a Solution
I know that [tex]G=\sum_i |f_i\rangle\langle f_i|[/tex] is hermitian. Therefore, the eigenvalues are real and the Hilbert space has an orthonormal basis of eigenvectors of G. However, a general hermitian matrix does not need to be positive definite. Therefore, I need another approach.
I consider an eigenvector [tex]|a\rangle = \sum_i a_i |f_i\rangle[/tex] with [tex]G|a\rangle = \lambda|a\rangle[/tex]
[tex]\Rightarrow \lambda\sum_j a_j |f_j\rangle = \lambda |a\rangle = G |a\rangle = \sum_{ij}a_i |f_j\rangle\langle f_j|f_i\rangle[/tex]
[tex]\Rightarrow \lambda = \frac{1}{a_j}\sum_{i}a_i \langle f_j|f_i\rangle[/tex]
Unfortunately, I cannot conclude [tex]\lambda>0[/tex] from that.
Can anybody help me?