하이네-보렐 정리From Wikipedia, the free encyclopedia 일반위상수학에서 하이네-보렐 정리(영어: Heine–Borel theorem)는 균등 공간이 콤팩트 공간일 필요충분조건을 제시하는 정리이다.