来，这样的数列不一定拥有有理数极限。比如说以下数列：这说明有理数在表示长度和距离的时候是不完备的，存在着无法用有理数表达的长度。为此需要对有理数进行扩展，称为完备化。将formula_2完备化的拓扑方法由格奥尔格·康托提出。康托的方法依赖于现称为柯西数列的概念。柯西数列是一种可以用任意“小”的“圆盘”覆盖从某项起所有项的无穷数列。某个有理数数列formula_28是柯西数列，当且仅当对任意有理数formula_29，都存在自然数formula_30，使得对任意formula_31，都有formula_