下列定理常用,数学分析里已证过. 定理 1.5 (闭集套定理) 设无穷闭集列 { F ˉ n } \left\{\bar{F}_{n}\right\} { Fˉn}, 至少一个为有界且 F ˉ n ⊃ F ˉ n + 1 \bar{F}_{n} \supset \bar{F}_{n+1} Fˉ