同一性。它是 "ψ" 到 "T" 的自然同构映射。
希尔伯特空间的张量积.两个希尔伯特空间的张量积是另一个希尔伯特空间，其定义如下。
定义.设 formula_40 和 formula_41 是两个希尔伯特空间，分别带有内积 formula_42 和 formula_43。构造 "H" 和"H" 的张量积formula_44如下：考虑他们的作为线性空间的张量积formula_45。formula_40 和 formula_41上的内积自然地扩展到for