紧致的。一度量空间为紧致的，若且唯若该空间是完备的，且为完全有界的。这即是所谓的海涅－博雷尔定理。须注意，紧致性仅决取于拓扑，而有界性则决取于度量。勒贝格数引理表示，对于紧致度量空间 M 内的每个开覆盖，均存在一个「勒贝格数」δ，使得每个 M 内直径< δ 的子集均会被包含于某些覆盖内。每个紧致度量空间均为第二可数，且是康托尔集的连续像。（后者由帕维尔·亚历山德罗夫与帕维尔·萨穆伊洛维奇·乌雷松所证得。）
局部紧致与常态空间.度量空间"M"称为局部紧致的，如果每一点都