Summary of "Введение в дискретную математику и топологию. Лекция 5. Артамкин И. В. 12.02.2026"

Основные темы лекции

Компактность в метрических пространствах: мотивация, базовые свойства и характеризации.
Равномерная непрерывность и теорема Хайне — Кантора (if f : X → Y непрерывна и X компакт, то f равномерно непрерывна).
Полная ограниченность (total boundedness) как правильная замена «bounded» в общих метрических пространствах.
Характеризация компактности в метрических пространствах: компакт ⇔ полное + тотально ограниченное.
Теорема Арцела — Асколи (предкомпактность семейств непрерывных отображений; конструктивное геометрическое доказательство при компактных домене и кодомене).
Примеры и контрпримеры (пространство ограниченных функций с супремум-метрикой, индикаторные функции).
Короткое введение в связность и компоненту связности (существование и базовые свойства).

Ключевые определения и понятия

Непрерывность в точке: классическое ε–δ-определение (δ может зависеть от x).
Равномерная непрерывность: существует δ(ε) работающее для всех x в области.
Последовательная компактность: каждая последовательность содержит сходящуюся подпоследовательность (часто используется в доказательствах).
Компактность (метрическая/топологическая): стандартные формулировки через открытые покрытия или через последовательности (в метрических пространствах эквивалентны).
Тотальная (total) ограниченность: для любого ε>0 существует конечная ε-сеть (конечный набор шаров радиуса ε, покрывающий пространство).
Полнота метрического пространства: любая Cauchy-последовательность сходится.
Предкомпактность (relatively compact): замыкание множества компактно.
Равностепенная непрерывность (equicontinuity): для любого ε>0 существует δ>0 такое, что для всех f в семействе и всех x,x’ с d(x,x’)<δ выполняется d(f(x),f(x’))<ε.
Равномерная ограниченность семейства функций: существует единый шар в кодомене, содержащий все образы f(X) для f из семейства.
Вороноевская (Voronoi) разбиение: разбиение домена, индуцированное конечной ε-сетью; используется для построения кусочно-постоянных приближений.
Связность: пространство не представимо как объединение двух непересекающихся непустых открытых множеств. Компоненты связности — максимальные связные подмножества.

Основные теоремы и утверждения

Теорема Хайне — Кантора
- Формулировка: если f : X → Y непрерывна и X компакт (метрическое пространство), то f равномерно непрерывна.
- Идея доказательства: при отрицании равномерной непрерывности получают последовательности x_n и x_n’ с d(x_n,x_n’)→0, но d(f(x_n),f(x_n’))≥ε. По компактности извлекают подпоследовательности, сходящиеся к одному пределу; непрерывность в этом пределе даёт противоречие.
Характеризация компактных метрических пространств
- Формулировка: X компакт ⇔ X полон и тотально ограничен.
- Необходимость: компакт ⇒ полон (компактные множества замкнуты и вложения показывают полноту) и компакт ⇒ тотально ограничен (иначе строится бесконечное дискретное множество, противоречие компактности).
- Достаточность (схема доказательства): полное + тотально ограниченное. При отсутствии компактности берём покрытие без конечного подпокрытия и строим вложенные замкнутые множества с диаметрами →0 (через выбор конечных ε-сетей и последовательный выбор «непокрытого» шара); по полноте/лмменту пересечение непусто и даёт противоречие с выбором покрытия.
Теорема Арцела — Асколи (геометрическая версия, при компактных X и Y)
- Формулировка: для A ⊂ C(X,Y) (Y метрическое) множество A предкомпактно ⇔ A равностепенно непрерывно и равномерно ограниченно.
- Необходимость (эскиз): предкомпактность даёт конечные ε-сети; из них можно получить общую δ-модулию непрерывности для всех функций.
- Достаточность (конструктивное доказательство):
  - Для заданного ε>0 по равностепенной непрерывности выбирают δ так, что d(x,x’)<δ ⇒ d(f(x),f(x’))<ε/4 для всех f∈A.
  - Берут конечную δ-сеть {x1,…,xN} в X и конечную ε/4-сеть {y1,…,yM} в Y.
  - Разбивают X на Вороноевские клетки V1,…,VN вокруг xi.
  - Для каждой функции выбора значений yj на клетках строят кусочно-постоянную функцию φ (всего M^N вариантов).
  - Показывают, что каждую f∈A можно приблизить по супремум-норме на ε одной из таких φ (оценка использует равностепенную непрерывность и покрытие в Y).
  - Следовательно, для любого ε существует конечная ε-сеть → замыкание A компактно (предкомпактность).
- Следствие/пример: семейства с единым константным Липшица-коэффициентом равностепенно непрерывны, потому попадают под критерий Арцела — Асколи.

Важные примеры и контрпримеры

Функции y = x^k на R: непрерывны, но не равномерно непрерывны на всей R (иллюстрация провала равномерной непрерывности).
sin(x): равномерно непрерывна (например, благодаря ограниченной производной).
Пространство всех ограниченных функций на множестве X с супремум-метрикой:
- Содержит множество индикаторных функций размера 2^{|X|}, любые две разные индикаторные функции имеют расстояние 1.
- Это даёт большой дискретный поднабор, демонстрирующий, что простая ограниченность не даёт тотальной ограниченности и, следовательно, не обеспечивает компактности.
Семейства с Липшица-условием (фиксированный коэффициент) — стандартный пример равностепенно непрерывных семейств.

Методики доказательств — шаги и приёмы

Доказательство Хайне — Кантора:
- Отрицание равномерной непрерывности → последовательности x_n, x_n’ с малыми d(x_n,x_n’) и несжимающимися разностями f.
- По компактности извлекают подпоследовательность x_{n_k}→a; тогда и x_{n_k}’→a.
- Непрерывность в a даёт противоречие.
Доказательство «полнота + тотальная ограниченность ⇒ компактность»:
- Предполагают существование покрытия без конечного подпокрытия.
- Строят для ε = 2^{-n} конечные ε-сети и выбирают шар, не покрываемый конечным числом элементов покрытия; получают вложенную последовательность замкнутых непустых множеств с диаметрами, стремящимися к нулю.
- По лемме о вложенных замкнутых множествах (и полноте) их пересечение непусто; найдя точку в пересечении получают противоречие с покрытием.
Конструктивное доказательство Арцела — Асколи (см. выше): выбор δ по равностепенной непрерывности, конечные сети в X и Y, Вороноевское разбиение, конечное количество кусочно-постоянных функций, оценка супремум-ошибки.

Связность и компоненты связности (кратко)

Определение: X связно ⇔ нельзя представить X = U ∪ V, где U и V — непустые непересекающиеся открытые множества.
Образ связного пространства под непрерывным отображением — связен.
Компоненты связности:
- Определяются как максимальные связные подмножества.
- Существование: либо через Zorn (объединение цепи связных множеств связано), либо через фиксирование точки x0 и объединение всех связных множеств, содержащих x0.
- Отношение «существует связное множество, содержащее и x, и y» задаёт отношение эквивалентности; классы — компоненты связности.

Практические выводы и применение результатов

Для проверки компактности в метрическом пространстве проверяйте полноту и тотальную ограниченность.
В пространствах функций с супремум-метрикой, чтобы показать предкомпактность семейства, используйте теорему Арцела — Асколи: докажите равностепенную непрерывность и равномерную ограниченность, затем при необходимости постройте явные конечные приближения через сети и Вороноевские клетки.
Наличие «огромного дискретного» множества (например, множества индикаторных функций попарно на расстоянии ≥1) в ограниченном шаре супремум-пространства показывает отсутствие тотальной ограниченности и, следовательно, некомпактность.
Если область задания функции компактна, непрерывность часто можно усилить до равномерной непрерывности (удобно в анализе и геометрии).

Ссылки, имена и упомянутые результаты

Heine–Borel (компактность замкнутых ограниченных множеств в R^n).
Heine–Cantor (непрерывное на компактном ⇒ равномерно непрерывное).
Arzelà–Ascoli (характеризация предкомпактности семейств непрерывных функций через равностепенную непрерывность и равномерную ограниченность).
Вороноевские разбиения (Voronoi).
Метрика Хаусдорфа (упоминалась как приложение в задачнике).
Липшица-условие как источник равностепенной непрерывности.

Примечание о лекции

Лектор: Артамкин И. В. (Artamkin I. V.). Названные результаты и понятия использовались / упоминались в ходе занятия: Heine–Borel, Heine–Cantor, Arzelà–Ascoli, Voronoi, Hausdorff, Липшиц.