ハイネ・カントールの定理
ハイネ・カントールの定理(英語: Heine–Cantor theorem)とは、次のような定理である。
M をコンパクトな距離空間、N を距離空間とする。このとき、任意の連続関数 f : M → N は一様連続である。