_3，空间中的一个向量formula_4 的长度的平方等于它在各个基向量上的投影的长度的平方之和：在一般的希尔伯特空间之中，也有类似的等式。设formula_6 是一个装备了内积：formula_7 的希尔伯特空间。考虑formula_6 中的一组规范正交基：formula_9，那么formula_6 中的每一个向量的范数的平方都等于它在各个基向量上的投影的平方之和。formula_11假定"A"("x")和"B"("x")都是平方可积的（参照勒贝格测度）复变函数，且定义在R上周期为2π的区间上，