1
$\begingroup$

Let $\mathcal{H}$ be a Hilbert space and let $\mathcal{K}$ be a Hilbert space with an orthonormal basis $\{ e_i \}_{i \in I}$. Let $A$ be bounded linear operator from $\mathcal{H} \otimes \mathcal{K}$ to $\mathcal{H} \otimes \mathcal{K}$. How to show that $$\| A \|^2 \leq \sum_{i,j} \|(I_{\mathcal{H}} \otimes \left< e_i \right| ) A (I_{\mathcal{H}} \otimes \left| e_j \right>)\|^2,$$

where $\left< \cdot \right|$ and $\left| \cdot \right>$ are Dirac "bra" and "ket"?

Is it true that if $A$ is a bounded linear operator on a Hilbert space $\mathcal{H}$ then $\|A\| = \sup_{N}\|P_{N}A\|?$ The operator $P$ is a projection onto $N \subseteq \mathcal{H}$ and the supremum is taken over all finite-dimensional subspaces of $\mathcal{H}$.

Thank you for the help.

  • 0
    How $I_\mathcal{H}\otimes|e_j\rangle$ is defined? How it acts on vector $x\otimes y$?2012-11-27
  • 0
    $(I_{\mathcal{H}} \otimes \left | e_j\right>) (x \otimes \lambda)= x \otimes \lambda e_j$, $x \in \mathcal{H}, \lambda \in \mathbb{C}$, $\left< e_i \right| y = \left$, $y \in \mathcal{K}$. I mentioned that $\left< \cdot \right|, \left | \cdot\right>$ are Dirac "bra" and "ket".2012-11-29
  • 0
    if we try to work with simple tensors i.e. if we assume that $A$ can be decomposed as $A= A_{\mathcal{H}} \otimes A_\mathcal{K}$, and for simplicity we identify $x \otimes 1$ with $x$, $x \in \mathcal{K}$, then $$\| (I_{\mathcal{H}} \otimes \left< e_{i}\right|)A(I_{\mathcal{H}} \otimes \left| e_j\right>x\|^2 = \| A_{\mathcal{H}}x \otimes \left \|^2 = |\left |^2 \|A_{\mathcal{H}}\|^2 $$2012-11-29
  • 0
    Above $x \in \mathcal{H}$ of course. Further we get $$\|A_{\mathcal{H}}x\|^2 \sum_{i \geq 1} \sum_{j \geq 1} |\left |^2= \|A_{\mathcal{H}}\|^2 \sum_{i \geq 1} \| A_{\mathcal{K}}e_j\|^2 $$ so by continuity of $A$ and triangle inequality if we start from the left hand side i.e. $\|Ah\|^2, h = x \otimes y$, $y = \sum_{i \geq 0} \lambda_ie_i$ we got the inequality. Can we use some density arguments of the simple tensors in this case to justify the above reasoning?2012-11-29

1 Answers 1