Cauchy sequence
给定一个由中元素构成的柯西序列：formula_8，其中每一个formula_9都是-线性泛函。由柯西序列的定义可知，