Hilbert_Space_Tensor_Product.Weak_Star_Topology