Топологические пространства

Чашка и бублик - одно и то же. Для тополога. Обе фигуры имеют ровно одну «дыру», и без разрывов одна деформируется в другую. Сфера и куб - тоже одно и то же. Но сфера и тор - разные объекты. Это не игра слов. Именно это различие используется в топологическом анализе данных (TDA) для поиска структуры в многомерных геномных и нейронных данных.

• **Топологический анализ данных (TDA):** персистентная гомология находит «дыры» в облаках данных в сотнях измерений - применяется в геномике (кластеры рака), нейронауках (форма нейронных активаций), material science
• **Mapper algorithm:** UMAP и t-SNE сжимают размерность линейно; Mapper от Carlsson (2009) строит топологический граф данных - применяется в анализе паттернов активности мозга и предсказании рецидива рака
• **Робототехника:** конфигурационное пространство робота - топологическое пространство; планирование движения = поиск пути, избегающего препятствий в этом пространстве

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

В анализе открытый интервал (0, 1) - это множество, каждая точка которого окружена «буферной зоной», целиком лежащей внутри множества. Топология обобщает эту интуицию: **открытое множество** - это множество, объявленное открытым, при условии что набор таких множеств удовлетворяет определённым аксиомам.

**Три аксиомы открытых множеств:** 1. Пустое множество и всё пространство X - открыты. 2. Объединение любого числа открытых множеств - открыто. 3. Пересечение конечного числа открытых множеств - открыто. Почему только конечное? Потому что бесконечное пересечение открытых может дать неоткрытое.

Критический момент: понятие «открытый» не является абсолютным - оно определяется выбранной топологией. Одно и то же множество может быть открытым в одной топологии и не открытым в другой. Это свобода выбора и делает топологию такой мощной.

Замкнутое множество - дополнение открытого. В стандартной топологии R отрезок [0,1] замкнут, так как R \ [0,1] = (-inf, 0) union (1, inf) - открыт. Но множество может быть одновременно и открытым, и замкнутым (clopen), и ни тем, ни другим.

Топология на множестве

**Топология** tau на множестве X - набор подмножеств X, удовлетворяющий трём аксиомам открытых множеств. Пара (X, tau) называется **топологическим пространством**. Разные tau на одном X дают разные пространства с разными свойствами.

**Три канонических примера:** 1. **Тривиальная** (антидискретная) топология: tau = {empty, X} - только два открытых множества. 2. **Дискретная** топология: tau = P(X) - все подмножества открыты. 3. **Стандартная** топология на R: открытые множества - объединения открытых интервалов.

Тривиальная топология - самая «грубая»: в ней почти ничего нельзя различить. Дискретная - самая «тонкая»: каждая точка отделена от остальных. Чем тоньше топология, тем больше открытых множеств, тем больше непрерывных функций ИЗ этого пространства.

Базис топологии

Описывать топологию перечислением всех открытых множеств неудобно - их может быть бесконечно много. **Базис** - компактный способ задания топологии: набор «базовых» открытых множеств, объединениями которых можно получить любое открытое множество.

**Базис B** для топологии tau: 1. Для каждой точки x из X существует B из B, что x in B. 2. Если x in B1 inter B2, то существует B3 из B, что x in B3 subset B1 inter B2. Топология, порождённая B: множество открыто, если оно - объединение элементов B.

Разные базисы могут порождать одну и ту же топологию. Открытые интервалы (a, b) и открытые интервалы с рациональными концами (p, q), p, q in Q, порождают одну и ту же стандартную топологию на R. Но второй базис счётный!

Подпространственная топология

Если (X, tau) - топологическое пространство и A subset X, как определить топологию на A? **Индуцированная (подпространственная) топология**: множество U subset A открыто в A тогда и только тогда, когда U = A inter V для некоторого открытого V в X.

**tau_A = {A inter V : V in tau}**. Это всегда топология на A (проверяется прямой подстановкой аксиом). Открытые множества A - «следы» открытых множеств X на A.

Важное следствие: множество может быть открытым в подпространстве, но не в объемлющем пространстве. [0, 0.5) открыто в [0,1] (= [0,1] inter (-1, 0.5)), но не открыто в R. Свойства зависят от контекста - в какой топологии мы работаем.

Подпространственная топология - естественный способ говорить о подмножествах как о самостоятельных пространствах. Сфера S^2 - подпространство R^3. Окружность S^1 - подпространство R^2. Их топологические свойства наследуются от объемлющего пространства через индуцированную топологию.

Ключевые идеи

• **Открытое множество** задаётся аксиомами: $\emptyset$ и $X$ открыты, объединения любого числа открытых открыты, конечные пересечения открыты - именно конечные, потому что $\cap_{n=1}^\infty (-1/n, 1/n) = \{0\}$ уже не открыто
• **Топология** $\tau$ на $X$ - набор открытых подмножеств; выбор топологии определяет что значит «рядом» и «непрерывно»
• **Базис** порождает топологию: стандартная топология на $\mathbb{R}$ порождается открытыми интервалами с рациональными концами - счётным базисом
• **Подпространственная топология** $\tau_A = \{A \cap V : V \in \tau\}$ - открытость зависит от контекста; $[0, 0.5)$ открыто в $[0,1]$, но не в $\mathbb{R}$
• **TDA-связка:** персистентная гомология фильтрует топологическое пространство по масштабу и фиксирует, какие «дыры» рождаются и умирают - именно это позволяет находить кластеры и петли в данных о раке и мозге

Связанные темы

Открытые множества - фундамент для всей топологии:

• Непрерывность и гомеоморфизм — Непрерывность определяется через открытые множества; гомеоморфизм - топологическая эквивалентность
• Связность и компактность — Определяются через открытые множества; ключевые инварианты пространств

Вопросы для размышления

• Почему в прямолинейной топологии каждая функция f: Y → X непрерывна? Что это говорит о «различающей способности» прямолинейной топологии?
• Если бы аксиома 3 разрешала бесконечные пересечения, какие топологии остались бы? (Подсказка: только дискретная.)
• Множество Z (целые числа) с индуцированной из R топологией - дискретное. Почему?

Связанные уроки

• la-01-vectors-intro