Cauchy sequence
这里的完备指：内积空间称为完备的（complete），若其中任意一个柯西序列都收敛。