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
    $TT^*v_k = T\bar{\lambda_k}v_k = \|\lambda\|^2 v_k = T^*{\lambda_k}v_k =T^*Tv_k $ So then we can use the boundedness and linearity of the composition of maps?2012-12-09
  • 0
    Yes, in other to establish the equality for linear combinations, then for all the vectors.2012-12-09
  • 0
    I made the post CW, as the ideas were in @Norbert's answer.2012-12-16