张量积
两个希尔伯特空间的张量积是另一个希尔伯特空间，其定义如下。