2
$\begingroup$

Suppose $M$ is a Von Neumann Algebra. (VNA) For me, these are subsets of some $B(H)$ that are $*$-algebras, containing the $1$ of $B(H)$, that are Weak Operator (WO) closed, or equivalently Strong Operator (SO) closed.

For a given subset $S$ of $M$ one can always refer to the VNA generated relative to $M$ by $S$. This is the smallest VNA containing $S$ that is contained in $M$, or equivalently it's an intersection over all the VNAs containing $S$ that are contained in $M$. Is there some constructive expression of this, as there is in so many other cases of similar concepts? I don't think the weak operator closure of the noncommuting-variable-polynomials evaluated at the elements of $S$ is sufficient, because operator multiplication is not continuous from the product of two WO topologies to the WO topology. (I only know that I cannot prove that it is. Does someone have an example of when this pathology arises?)

Anyway to "get my hands on" $\langle S\rangle$ would be appreciated, thanks!

  • 0
    Yeah that makes sense, but is there some sort of closure of the set of polynomials generated by S or something nice like this? What if S is just a single element? Thanks.2012-05-19

1 Answers 1

1

You have to also include the adjoints in your "noncommuting-variable-polynomials," but then it actually does work to just take the weak closure of the algebra. This can be seen as a consequence of von Neumann's Double Commutant Theorem, which also gives another way to describe the algebra as $\langle S\rangle = (S\cup S^*)''$, the double commutant of $S\cup S^*$. If $A$ is the unital *-subalgebra of $B(H)$ generated by $S$, then $A''=(S\cup S^*)''$ is equal to the weak closure of $A$.

  • 0
    @Jeff: By "pathology" I thought you meant you wanted examples where the weak closure of the *-algebra is not closed under multiplication, which cannot happen. I've edited my answer to clarify. You're right that it's nontrivial because of multiplication not being WOT continuous, but fortunately that isn't really a problem. Some related facts are that the SOT closure equals the WOT closure, multiplication is SOT continuous on bounded sets, and elements of the SOT closure of a *-subalgebra of B(H) are limits of bounded nets from the algebra (by Kaplansky's Density Theorem).2012-05-20