不妨设A是紧集.
假设inf{|X,Y|} = 0, 则存在A中点列X(1), X(2),..., 与B中点列Y(1), Y(2),..., 满足|X(k)-Y(k)| < 1/k.
由A为紧集, 点列X(1), X(2),..., 存在收敛子列, 设子列X(n(1)), X(n(2)),..., 收敛到a∈A.
取Y(1), Y(2),..., 中的对应项Y(n(1)), Y(n(2)),..., 有|X(n(k))-Y(n(k))| < 1/n(k) ≤ 1/k.
于是|Y(n(k))-a| ≤ |Y(n(k))-X(n(k))|+|X(n(k))-a| < 1/k+|X(n(k))-a|趋于0.
即点列Y(n(1)), Y(n(2)),..., 也收敛到a, 但B是闭集, 可得a∈B, 与A, B不交矛盾.
因此当不交闭集A, B中有至少一个是紧集, 有d(A,B) = inf{|X-Y|} > 0.
R²中双曲线xy = 1与y = 0是不交的闭集, 但二者距离为0.