-Product of a Hilbert Schmidt and bounded operators is Hilbert-Schmidt

functional-analysisoperator-theory

For $A\in B(H)$ where H is a separable Hilbert space (so a countable orthonormal basis exists or also known as a maximal orthonormal system) where A is also a Hilbert-Schmidt operator and $B\in B(H)$ (so $B$ does not need to be a Hilbert-Schmidt operator. It is just linear and bounded.) How do I show that $||AB||_{HS}\leq||A||_{HS}||B||_{H}$ and $||BA||_{HS}\leq||A||_{HS}||B||_{H}$ where HS is the Hilbert Schmidt norm and H is just the standard operator norm. I have never been introduced to the trace operator so I can't use that. I can only use the standard Hilbert space inequalities like Cauchy-Schwarz, Parseval's and Bessel's inequality as well as the fact that $\|A\|_H\leq\|A\|_{HS}$ I have not been able to turn the left hand side anywhere close to the right hand side so I'm not sure if there is some trick I'm missing or some inequality I haven't thought of.

Best Answer

Hint: Use $\Vert BAe_i\Vert_H\leq \Vert B\Vert_H \Vert Ae_i\Vert_H$ to show $\Vert BA\Vert_{HS}\leq \Vert B\Vert_H \Vert A\Vert_{HS}$. For the other inequality it is useful to first show $\Vert B^*\Vert_H =\Vert B\Vert_H$ and $\Vert A^*\Vert_{HS}=\Vert A\Vert_{HS}.$