标签：#拓扑张量积

迹类算子

在数学中，迹类算子（）是一个满足如下条件的紧算子，可以为其定义迹，使得迹有限且与基底的选择无关。迹类算子本质上与核型算子相同，但是许多作者将希尔伯特空间上的核型算子这一特殊情况称为“迹类算子”，而将“核型算子”用于更一般的巴拿赫空间。 定义 模拟矩阵的定义，在可分希尔伯特空间H上的有界线性算子A被称为属于迹类，如果对于H的所有标准正交基{ek}k : \|A\|_1= {\rm Tr}|A|:=\sum_k \langle (A^A)^…