[1]
设 f 是从一个紧度量空间 (M,dM) 到一个度量空间 (N,dN) 的连续函数,欲证明 f 是一致连续的。
设给定了
, 于是对
中的每一个点
都存在一个与
有关的
, 使得

考虑由半径为
的球
构成的集族, 这族球覆盖
, 而且因为
是紧的, 所以这些球中有有限个也覆盖
, 比方说

在任何一个两倍半径的球
中, 我们有

设
, 欲证明这个
满足一致连续性定义中的要求.
对
中的两个点
和
满足条件
, 由
, 有某个球
包含
, 所以

由三角不等式可得

因而,
, 所以也有
. 再次使用三角不等式就可以发现
