2
$\begingroup$

I know that if an operator $T$ in $L(V)$ (where $V$ is a finite dimentional vector space over the complex field) is normal than for every vector $v$ in $V$ , $Tv= \lambda v$ iff $T^*v= \lambda^*v$ (where $\lambda^*$ is the complex conjugate of $\lambda$). Why isn't this correct for every operator?

I think that you can take the eigenspace of $\lambda$ (regarding $T$) and this is a $T$-invariant subspace of $V$. So this is also a $T^*$ -invariant subspace and there you get that for every $v,w$ in $\mathrm{eigenspace}(\lambda)$ $\langle v,\lambda^*w\rangle=\langle \lambda v,w\rangle=\langle Tv,w\rangle=\langle v,T^*w\rangle$ and therefor $T^*w=\lambda^*w$. What is my mistake?

  • 5
    Counterexample $\mathrm{span}\{(1,0)\}\subset \mathbb{R}^2$ is invariant subspace of $$T=\begin{Vmatrix} 1& 1\\0 &1\end{Vmatrix},$$ but not invariant subspace of $T^*$.2012-06-29
  • 2
    You need $V$ to have an inner product to talk about adjoints, and taking adjoints doesn't preserve invariant subspaces in general. (It does if $T$ is normal, but this just reflects the general fact that commuting operators preserve each other's eigenspaces).2012-06-29

3 Answers 3