1
$\begingroup$

Let $\{e_n\mid n \in \mathbb{N}\}$ be an orthonormal basis for the Hilbert space $H$ and define for each $T \in B(H)$ the doubly infinite matrix $A = \{\alpha_{n,m}\}$ by letting $\alpha_{n,m} = (T e_m\mid e_n)$.

  1. Show that every row and every colomn in $A$ is square summable (i.e. belongs to $\ell^2$ ).
  2. Use this to prove that the matrix product $AB = C$, where $C = \{\gamma_{n,m}\}$, where $\gamma_{n,m} = \sum_k \alpha_{n,k} \beta_{k,m}$ is well defined when matrices $A$ and $B$ correspond to operator $T$ and $S$ in $B(H)$.
  3. Show that the matrix $C$ is corresponding to the operator $TS$.
  4. Also find the matrix corresponding to $T + S$ and $T^*$.
  • 2
    Where are you stuck?2012-11-19
  • 0
    @DavideGiraudo sorry to saying that but i am struggling even from the starting of this solution2012-11-19
  • 0
    Don't be sorry, we are here to give you help. Do you know Bessel's inequality?2012-11-19
  • 0
    @DavideGiraudo yes i know,2012-11-19

1 Answers 1

1
  1. Bessel's equality says that for a Hilbert basis $\{e_n\}$ and $v\in H$, $\lVert v\rVert^2=\sum_{n=1}^{+\infty}|\langle v,e_n|^2$. Here, $$\sum_{n=1}^{+\infty}|\alpha_{n,m}|^2=\sum_{n=1}^{+\infty}|\langle Te_n,e_m\rangle|^2=\sum_{n=1}^{+\infty}|\langle e_n,T^*e_m\rangle|^2=\lVert T^*e_m\rVert^2,$$ so the sum of the column is finite. We do the same for the rows.
  2. Well-definiteness is a consequence of $|\alpha_{n,k}\alpha_{k,m}|\leqslant \frac{|\alpha_{n,k}|^2+\alpha_{k,m}|^2}2$ and the first question.
  3. Check $C\cdot e_n$ is what we want.
  4. 4.
  • 0
    As it seems homework, I didn't give the full solution.2012-11-19
  • 0
    yes this is home work question could you please elaborate the first part how could you cleare how to get the summable for l22012-11-19
  • 0
    I (almost) gave you the answer (the norm of a vector is finite).2012-11-19
  • 0
    I am working on it and i sutck with second however i diid first part and i fell i could go on second if if got second2012-11-27