Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $T$ be a linear operator on a finite dimensional inner product space $V$. If $T$ has an eigenvector, then so does $T^*$.

Proof. Suppose that $v$ is an eigenvector of $T$ with corresponding eigenvalue $\lambda$. Then for any $x \in V$,
$$ 0 = \langle0,x\rangle = \langle(T-\lambda I)v,x\rangle = \langle v, (T-\lambda I)^*x\rangle = \langle v,(T^*-\bar{\lambda} I)x\rangle $$ This means that $(T^*-\bar{\lambda} I)$ is not onto. WHY?
(Of course the proof is not completed in here)

share|cite|improve this question
I think there is a mistake in your proof. Specifically, the term after the third equal to sign is wrong. You do not need that, the term after the second equal to sign is equal to the last term by the definition of adjoint. – Vishal Gupta May 28 '13 at 4:22
Actually it's not mine. It's from the friedberg's book. – noname May 28 '13 at 4:24
This is correct. If it was onto, you would get $(v,y)=0$ for every $y\in V$, whence $v=0$. – 1015 May 28 '13 at 4:24
If $T^* - \lambda I$ were onto, then wouldnt you be able to find an $x$ such that $(T^* - \lambda I)x = v$? Then what can you say about $v$? – Isomorphism May 28 '13 at 4:25
Oops, its correct. I did not see the star at the top! – Vishal Gupta May 28 '13 at 4:27

Assume $T^*-\overline{\lambda}I$ is onto and take $v$ such that $(T-\lambda I)v=0$.

By surjectivity, there exists $x\in V$ such that $(T^*-\overline{\lambda}I)x=v$. For this specific $x$, we get $$ 0=(v,(T^*-\overline{\lambda}I)x)=(v,v)=\|v\|^2\quad \Rightarrow \quad v=0. $$ Therefore $T^*-\overline{\lambda}I$ surjective implies $T-\lambda I$ injective.

By rank-nullity and symmetry, it follows that $T-\lambda I$ is not injective if and only if $T^*-\overline{\lambda}I$ is not injective. That is $\lambda $ is an eigenvalue for $T$ if and only if $\overline{\lambda}$ is an eigenvalue for $T^*$.

share|cite|improve this answer

If you want to know why $T^{*}$ is not onto if $T$ is not onto, just observe that the matrix of $T^{*}$ is just the conjugate transpose of the matrix of $T$ and we know that a matrix and its conjugate transpose have the same rank (which is equal to the dimension of the range space).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.