Show: If the adjoint of T is -T, all eigenvalues are purely imaginary

Homework question.

Let $V$ be a finite dimensional inner-product space over $\mathbb{C}$. Let $T \in L(V,V)$ satisfy $T^*=-T$. Show that all eigenvalues of $T$ are purely imaginary, i.e., if $\lambda$ is an eigenvalue of $T$, then $\lambda = ia$ with $a \in \mathbb{R}$.


I can recall a proof we did in class that if $T$ is self-adjoint then all eigenvalues are real, and the basic gist of it was let $\lambda$ be an eigenvalue, then lambda is equal to its complex conjugate. I understand this; it implies that if $\lambda = a+bi = a-bi$ then $b = 0$.

It follows (in my mind, at least) that I need to show that given that $T^* = -T$ that $\lambda = -\lambda$.

I'm kind of stuck here, though. I've tried adapting the proof I have for self-adjoint operators, but I'm unable to do it without having the conjugate in the result, which is not what I want. (that seems to imply that all eigenvalues are 0, I don't think that's true).


Solution 1:

An alternative proof of this, probably not as enlightening but I like it: if $T^* = -T$, then $iT$ is self-adjoint (why?) and so the eigenvalues of $iT$ are real. It then follows that the eigenvalues of $T$ are purely imaginary. (again, why?)

Solution 2:

Showing that $\lambda=-\lambda$ would only let you say that $\lambda=0$, not that $\lambda$ was imaginary, so that is not what you need to show.

Instead, look at what exactly was originally done for $S$ symmetric and $\lambda,v$ an eigenpair:

$$\lambda \langle v,v\rangle =\langle Sv,v\rangle=\langle v,Sv\rangle = \overline{\langle Sv,v\rangle} =\overline{\lambda \langle v,v\rangle}=\overline{\lambda}\langle v,v\rangle.$$

The first equality is by linearity, the second by $S=S^*$, the third by conjugate symmetry of the inner product, the fourth by linearity again, and the last by $\overline{ab}=\bar{a}\,\bar{b}$ along with the fact $\langle v,v\rangle$ is purely real and so is invariant under complex conjugation. From this we deduce $\lambda = \lambda^*$.

So what happens if instead $T=-T^*$?