下列定理常用,数学分析里已证过. 定理 1.6[海涅-博雷尔(Heine-Borel) 覆盖定理] 设有界闭集 E E E 的每一点 z z z 都是圆 K z K_{z} Kz 的圆心, 则这些圆 { K z } \left\{K_{z}\right\} {Kz}中必有有限个圆把 E E E 盖住, 换句话说, E E E的每一点至少属于这有限个圆中的一个.