Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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^*$.
share|cite|improve this question
Where are you stuck? – Davide Giraudo Nov 19 '12 at 18:13
@DavideGiraudo sorry to saying that but i am struggling even from the starting of this solution – math Nov 19 '12 at 19:43
Don't be sorry, we are here to give you help. Do you know Bessel's inequality? – Davide Giraudo Nov 19 '12 at 19:53
@DavideGiraudo yes i know, – math Nov 19 '12 at 21:51
up vote 1 down vote accepted
  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.
share|cite|improve this answer
As it seems homework, I didn't give the full solution. – Davide Giraudo Nov 19 '12 at 22:03
yes this is home work question could you please elaborate the first part how could you cleare how to get the summable for l2 – math Nov 19 '12 at 22:09
I (almost) gave you the answer (the norm of a vector is finite). – Davide Giraudo Nov 19 '12 at 22:12
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 second – math Nov 27 '12 at 14:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.