A normal, idempotent linear operator must be self-adjoint
I have been trying to solve this problem for quite a while. I am still unsure of whether any of the avenues I have pursued have been of any use. Any advice will be much appreciated.
Question:
Let $V$ be a finite-dimensional inner product space, and let $E$ be an idempotent linear operator on $V$. Prove that if $EE^* = E^*E$, then $E$ is self-adjoint.
(This is essentially exercise 5(a) in sec. 80 on p.162 of Paul R. Halmos, Finite-Dimensional Vector Spaces, but Halmos didn't assume that the dimension of $V$ is finite.)
Solution 1:
If $E$ is normal, $\| E x \| = \|E^* x \|$ for all $x$. Similarly, $I-E$ is normal, so $\|(I-E) x\| = \|(I - E^*)x \|$. In particular, since $(I-E)Ex = 0$, $(I-E^*)Ex = 0$, i.e. $E^* E = E$, and similarly since $E(I-E)x = 0$, $E^*(I-E)x = 0$, i.e. $E^* E = E^* $. But those together say $E = E^*$.
Solution 2:
Update. As $E$ is normal and idempotent, direct calculation shows that $$ (E-E^\ast E)^\ast(E-E^\ast E)=0=(E^\ast-E^\ast E)^\ast(E^\ast-E^\ast E).\tag{1} $$ Note that for any linear operator $A$, if $A^\ast A=0$, then $\langle Ax,Ax\rangle=\langle x,A^\ast Ax\rangle=0$ for every vector $x$, so that $A=0$. It follows from $(1)$ that $E-E^\ast E=0=E^\ast-E^\ast E$. Hence $E=E^\ast E=E^\ast$.
**(Old answer:)**
The equality $EE^\ast=E^\ast E$ implies that $(E+E^\ast-I)(E-E^\ast)=0$. If you can show that $E+E^\ast-I$ is invertible, you are done.
Suppose $(E+E^\ast -I)v=0$. Left-mulitply the equation by $E^\ast$, we get $E^\ast Ev=0$. Hence show that $Ev=0$. Since $EE^\ast=E^\ast E$, similarly, show that $E^\ast v=0$. Now, consider the equation $(E+E^\ast -I)v=0$ again and show that $E+E^\ast -I$ is invertible.