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^*$.
  • 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
    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