# Norm functionals of $B(H)$ restricted to sub ven-Neumann algebras [closed]

Let $H$ be a Hilbert space, we know that weak topology over $B(H)$, operator algebra of bounded linear operators from $H$ into $H$, is the topology generated by $\{\langle \cdot \xi,\eta\rangle:\; \xi,\eta\in H\}$.

So naturally, I think about the norm of $\langle \cdot \xi,\eta\rangle$ as a linear functional over $V$ a von Neumann subalgebra of $B(H)$. And I guess that $\|\langle\cdot \xi,\eta\rangle\|=\inf\{\|\xi'\|_H \|\eta'\|_H:\; s.t.\;\langle T \xi',\eta'\rangle = \langle T \xi,\eta\rangle\; \forall T\in V\}$. But I am not sure how can I show that. Indeed I am wondering whether this is correct or not even!

-

## closed as too localized by Yemon Choi, Loop Space, Matthew Daws, Bill Johnson, Mark MeckesFeb 6 '12 at 15:03

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

Mahmood, what you describe is the weak operator topology, as opposed to the weak-star topology or the weak topology on B(H). You should probably ask this question on math.stackexchange.com instead – Yemon Choi Feb 6 '12 at 7:43
I had forgotten to mention a sub von Neumann algebra of $B(H)$. – Mahmood Alaghmandan Feb 6 '12 at 16:44
Dear Mahmood, I still think this is not a suitable question for MO. But please ask it over at Stack exchange, and someone (e.g. me) will answer it... – Matthew Daws Feb 6 '12 at 18:01
Just for anyone who reads this later: my initial comment and suggestion of math.stackexchange.com, and Jochen Wengenroth's answer below, were based on an older version of the question, which was much more basic than the current one. In its current form, I think the question is one which could have been fine on either MSE or here on MO. – Yemon Choi Feb 7 '12 at 21:55

The norm of the functional $T\mapsto \langle T \xi, \eta \rangle$ is just $\| \xi\| \|\eta\|$. It is $\le$ since $|\langle T \xi, \eta \rangle| \le \|T\xi\|\|\eta\|\le \|T\|\|\xi\|\|\eta\|$ and $\ge$ by considering $T(x)=\frac{\langle x,\xi\rangle}{\|\xi\|\|\eta\|} \eta$ for $\xi,\eta\neq 0$.
Yes, you are right. But let me change my question somehow that do not have all elements in $B(H)$. So above I restrict myself to a von Neumann subalgebra of $B(H)$. – Mahmood Alaghmandan Feb 6 '12 at 16:41