函數列一致收斂一致收斂要求同一N(epsilon)同時控制domain全部x。atlas-uniform-convergence-of-functions · canonical_mko函數列一致收斂前置節點函數列逐點收斂度量空間絕對值量詞與明示論域