Topology of Sets

Топология множеств — раздел математики, изучающий свойства пространств, сохраняющиеся при непрерывных деформациях (растяжение, сжатие, изгибание, но не разрывы и склеивания). Кружка и тор гомеоморфны — оба имеют одну дырку.

Топология не интересуется расстояниями и углами — только структурой связности. Треугольник, квадрат, окружность топологически эквивалентны (можно непрерывно деформировать один в другой). Но окружность и отрезок — нет (окружность замкнута, отрезок имеет концы).

Открытые и замкнутые множества

Открытое множество — не содержит границы. Интервал (0, 1) открыт — точки 0 и 1 не входят. Замкнутое множество — содержит границу. Отрезок [0, 1] замкнут.

Парадокс: множество может быть одновременно открытым и замкнутым (пустое множество, всё пространство) или ни тем, ни другим (полуинтервал [0, 1)).

Компактность: конечное в бесконечном

Компактное множество — «почти конечное». Формально: из любого открытого покрытия можно выбрать конечное подпокрытие. Интуиция: ограниченное и замкнутое в ℝⁿ.

Отрезок [0, 1] компактен. Интервал (0, 1) не компактен — не содержит концов. Вся прямая ℝ не компактна — неограничена.

Теорема Больцано-Вейерштрасса: из любой последовательности в компактном множестве можно выбрать сходящуюся подпоследовательность. Основа математического анализа.

Связность: одним куском или нет

Связное пространство нельзя разбить на два непустых открытых множества. Интервал (0, 1) связен. Два отдельных интервала (0, 1) ∪ (2, 3) не связны.

Линейная связность: любые две точки можно соединить непрерывной кривой. Для «хороших» пространств связность = линейная связность.

Применения

Анализ данных: топологический анализ данных (TDA) находит структуру в облаке точек — кластеры, петли, пустоты. Персистентная гомология измеряет «долговечность» топологических признаков.

Квантовая физика: топологические фазы материи (топологические изоляторы) — защищены топологией, а не симметрией. Нобелевская премия 2016 (Таулесс, Костерлиц, Холдейн).