欧氏空间内积定义_量子力学杂谈——Fock空间

一、希尔伯特空间的直和和直积

对于有限维空间的直和和直积（或称张量积）我们不陌生，而在无穷维空间中，这也容易推广，当然我们得考虑新的空间中的内积，以及新空间关于此内积的完备性。

对于有限个空间的直和，考虑

容易想到，新内积为

如果我们把直和的数量推广至可数个，那么需要限制

那么由柯西不等式，可保证内积存在

对于直积，我们只能考虑有限个空间的直积，因为无穷元函数并不好定义，而

是由多重线性映射

构成的线性空间的子空间，需要满足 2范数有限，即

自然定义

并由柯西不等式保证内积存在。

我们通常用到的是2范数有限的张量，即

（乘方表示笛卡尔积），且

，如同有限维记作

型

张量，