Cauchy sequence
每个formula_69都是连续函数，但formula_67在上面的内积诱导的拓扑中是不收敛于任何一个连续函数的柯西序列，因为它的极限不是连续的函数。