Теоре́ма Ка́нтораГе́йне в математическом и функциональном анализе гласит, что функция, непрерывная на компакте, равномерно непрерывна на нём.

Формулировка

Пусть даны два метрических пространства и Пусть также дано компактное подмножество и определённая на нём непрерывная функция Тогда равномерно непрерывна на

Шаблон:Доказательство

Замечания

  • В частности, непрерывная вещественнозначная функция, определённая на отрезке, равномерно непрерывна на нём.
  • В условиях теоремы компакт нельзя заменить на произвольное открытое множество. Например, функция

непрерывна на всей области определения, но не является равномерно непрерывной. hu:Heine tétele

Материалы сообщества доступны в соответствии с условиями лицензии CC-BY-SA, если не указано иное.