formula_4 上，即表示对所有 formula_10，存在 formula_11，使得当所有 formula_12 且 formula_13 时有可将这定义推广到一般的度量空间：设 formula_4 为一集合，formula_16 为度量空间。若对一组函数序列 formula_17，存在函数 formula_18 满足对所有 formula_10，存在 formula_11，使得当所有 formula_12 且formula_22 时有则称序列 formula_24 一致收敛到 f