希尔伯特空间
尖括号formula_23是希尔伯特空间上的标量积;右边的和依算子范数收敛。