1
$\begingroup$

Let $H$ be a separable Hilbert space and let $T:H\to H$ be a continues linear map such that there exists an orthonormal basis of $H$ that consists of the eigenvectors of $T$. Show that $T$ is normal. That is $T^*T = TT^*$

Any hints would be appriciated!

1 Answers 1

1

Fix $\{v_j\}$ an orthonormal basis of eigenvectors of $T$. We have $Tv_k=\lambda_kv_k$, where $\lambda_k$ is the corresponding eigenvalue. This gives for each $j$, $\langle T^*v_j,v_k\rangle=\langle v_j,Tv_k\rangle =\bar \lambda_k\delta_{j,k}.$ As the sequence $\{v_j\}$ spans a dense subspace, we have that $T^*$ is completely determined. By boundedness and linearity, we just need to show the relationship $\forall k, TT^*v_k=T^*Tv_k.$

  • 0
    I made the post CW, as the ideas were in @Norbert's answer.2012-12-16