Separating vector for an operator algebra

ID: separating-vector-for-an-operator-algebra

A vector is separating for an operator algebra when evaluation at that vector is injective. A cyclic vector for the commutant of an operator algebra is separating for the original algebra: if , then vanishes on its dense commutant orbit.

New to topics? Read the docs here!