Cauchy sequence
这里假定左侧的无穷级数是收敛的。这时候空间formula_5的完备性保证了等式的右侧向量级数也有意义，因为容易证明部分和序列formula_101是收敛的柯西序列。