Число Бетти: как посчитать дырки в пространстве

Число Бетти - это топологический инвариант, который грубо говоря считает «дырки» пространства в каждой размерности: $b_0$ - число кусков, $b_1$ - число независимых одномерных циклов (туннелей), $b_2$ - число замкнутых полостей и так далее. Формально $b_n$ - это ранг $n$-й группы гомологий, то есть размерность «свободной части», без кручения. Числа Бетти не меняются при непрерывных деформациях, поэтому различают пространства, которые нельзя превратить друг в друга без разрывов и склеек. Ниже разберём определение, связь с эйлеровой характеристикой и канонические примеры. Если нужно посчитать числа Бетти для конкретного пространства, форма ниже соберёт корректный запрос.

Что такое число Бетти простыми словами

Самая наглядная картинка - это «сколько раз можно проткнуть или обойти фигуру, не порвав её». У сплошного диска дырок нет: $b_1 = 0$. У кольца (окружности) есть один туннель, который нельзя стянуть в точку, - $b_1 = 1$. У тора (бублика) таких независимых петель уже две: одна обходит дырку снаружи, другая продевается сквозь неё, и ни одну нельзя выразить через другую. Поэтому у тора $b_1 = 2$.

Рассчитать для своей задачи

Индекс у $b_n$ - это размерность дырки. Нулевое число Бетти $b_0$ считает компоненты связности: для связного пространства $b_0 = 1$, для двух отдельных кусков $b_0 = 2$. Первое число Бетти $b_1$ считает одномерные циклы (петли-туннели), второе $b_2$ - двумерные полости (как пустота внутри полой сферы). Этот счёт устроен так, что не зависит от того, как именно мы нарисовали фигуру, - он зависит только от её топологии.

Строгое определение через группы гомологий

За наглядной картинкой стоит точная алгебра. Каждому пространству $X$ сопоставляют последовательность абелевых групп $H_n(X)$ - групп гомологий. Грубо говоря, $H_n$ описывает $n$-мерные циклы, которые не являются границами. Любая конечно порождённая абелева группа раскладывается в прямую сумму свободной части и конечных циклических групп (кручения):

$$H_n(X) \cong \mathbb{Z}^{b_n} \oplus T_n,$$

где $T_n$ - конечная группа кручения. Число Бетти - это ранг свободной части:

$$b_n(X) = \operatorname{rank} H_n(X) = \dim_{\mathbb{Q}} \big( H_n(X) \otimes \mathbb{Q} \big).$$

Рассчитать для своей задачи

Эквивалентно: $b_n$ - это размерность векторного пространства $H_n(X; \mathbb{Q})$ над полем рациональных чисел. Работа над полем убивает кручение, поэтому $b_n$ «видит» только дырки, но не их «перекрут». Сама группа $H_n$ получается из цепного комплекса как факторгруппа $\ker \partial_n / \operatorname{im} \partial_{n+1}$ - ядро граничного оператора по образу следующего.

Связь с эйлеровой характеристикой

Числа Бетти не разрозненный набор - их знакочередующаяся сумма даёт классический инвариант. Для конечного клеточного комплекса эйлерова характеристика выражается через числа Бетти формулой Эйлера–Пуанкаре:

$$\chi(X) = \sum_{n=0}^{\infty} (-1)^n b_n = b_0 - b_1 + b_2 - b_3 + \cdots$$

Это очень полезно на практике: эйлерову характеристику легко посчитать через клетки (вершины минус рёбра плюс грани для поверхности), а потом она ограничивает числа Бетти. Например, для замкнутой ориентируемой поверхности рода $g$ имеем $b_0 = 1$, $b_1 = 2g$, $b_2 = 1$, откуда

$$\chi = 1 - 2g + 1 = 2 - 2g,$$

то есть знаменитая формула $\chi = 2 - 2g$ - это просто частный случай суммы Эйлера–Пуанкаре. Для сферы ($g = 0$) получаем $\chi = 2$, для тора ($g = 1$) - $\chi = 0$.

Примеры: окружность, сфера, тор

Самый показательный способ освоить числа Бетти - посчитать их для канонических пространств. Соберём в табличку.

Окружность $S^1$: один кусок и одна петля, полостей нет, поэтому $b_0 = 1$, $b_1 = 1$, остальные нули. Тогда $\chi(S^1) = 1 - 1 = 0$.

Сфера $S^2$: один кусок, ни одной незатягиваемой петли на поверхности, но одна замкнутая полость внутри - $b_0 = 1$, $b_1 = 0$, $b_2 = 1$. Сумма даёт $\chi(S^2) = 1 - 0 + 1 = 2$.

Тор $T^2$: один кусок, две независимые петли, одна полость - $b_0 = 1$, $b_1 = 2$, $b_2 = 1$, откуда $\chi(T^2) = 1 - 2 + 1 = 0$. Эти же числа можно получить строго, выписав группы гомологий: $H_1(T^2) \cong \mathbb{Z}^2$, поэтому $b_1 = 2$.

В общем случае для $n$-мерной сферы $S^n$ ($n \ge 1$) ненулевые только два числа Бетти: $b_0 = 1$ и $b_n = 1$, всё остальное равно нулю. Поэтому $\chi(S^n) = 1 + (-1)^n$, то есть $2$ для чётных $n$ и $0$ для нечётных.

Почему это инвариант

Ключевое свойство, ради которого числа Бетти вообще полезны: они не меняются при гомеоморфизмах и даже при гомотопических эквивалентностях. Если два пространства можно непрерывно продеформировать друг в друга, их числа Бетти совпадают. Значит, если $b_n$ различаются хотя бы в одной размерности, пространства точно неэквивалентны.

Это даёт рабочий критерий. Например, окружность и отрезок не гомеоморфны: у отрезка $b_1 = 0$, у окружности $b_1 = 1$. Сфера и тор - разные поверхности, потому что у сферы $b_1 = 0$, а у тора $b_1 = 2$. Числа Бетти грубее, чем сами группы гомологий (теряют кручение), зато проще считаются и часто уже достаточны, чтобы различить пространства.

Важная оговорка: совпадение всех чисел Бетти ещё не гарантирует, что пространства одинаковы. Кручение и более тонкие инварианты (гомотопические группы, кольцо когомологий) могут различать пространства с одинаковыми $b_n$. Числа Бетти - необходимое, но не достаточное условие эквивалентности.

Где применяются числа Бетти

За пределами чистой топологии числа Бетти стали рабочим инструментом анализа данных. В топологическом анализе данных (TDA) по облаку точек строят семейство симплициальных комплексов и отслеживают, как числа Бетти меняются при росте масштаба, - это и есть персистентные гомологии. «Долгоживущие» дырки (большие $b_1$, устойчивые на широком диапазоне) считают значимой структурой данных, а короткоживущие - шумом.

Похожая идея работает в сенсорных сетях (покрытие зоны без «слепых» дыр проверяется через $b_1$), в материаловедении (поры и каналы в пористых средах), в нейронауке (топология функциональных связей мозга). Везде число Бетти отвечает на один и тот же вопрос: сколько независимых дырок данной размерности есть в объекте.

Частые ошибки

• Путать индекс и значение: $b_1 = 2$ у тора означает «две независимые петли», а не «петля размерности 2». Индекс - это размерность дырки, значение - их количество.
• Считать, что число Бетти учитывает кручение. Нет: $b_n$ - это только ранг свободной части $\mathbb{Z}^{b_n}$, кручение $T_n$ в него не входит (у бутылки Клейна или проективной плоскости часть информации именно в кручении).
• Забывать про $b_0$. Нулевое число Бетти считает компоненты связности, и для несвязного пространства оно больше единицы - это легко упустить.
• Применять формулу $\chi = 2 - 2g$ к неориентируемым поверхностям. Для них род и формула эйлеровой характеристики устроены иначе.
• Думать, что равенство всех чисел Бетти доказывает гомеоморфизм. Это необходимое, но не достаточное условие.

FAQ

Что показывает число Бетти простыми словами? Оно считает количество независимых «дырок» пространства в каждой размерности: $b_0$ - число отдельных кусков, $b_1$ - число одномерных туннелей-петель, $b_2$ - число замкнутых полостей. Чем больше $b_n$, тем сложнее устроено пространство в размерности $n$.

Как число Бетти связано с эйлеровой характеристикой? Через знакочередующуюся сумму: $\chi = b_0 - b_1 + b_2 - \cdots$ (формула Эйлера–Пуанкаре). Зная эйлерову характеристику и часть чисел Бетти, можно ограничить остальные, а для поверхностей рода $g$ это даёт $\chi = 2 - 2g$.

Чем число Бетти отличается от группы гомологий? Группа гомологий $H_n$ несёт полную информацию, включая кручение, а число Бетти $b_n$ - это только её ранг (размерность свободной части). $b_n$ проще считать и сравнивать, но оно «грубее»: две группы с разным кручением могут иметь одинаковое число Бетти.

Коротко

Число Бетти $b_n$ - это ранг $n$-й группы гомологий, то есть количество независимых $n$-мерных дырок пространства: $b_0$ считает компоненты связности, $b_1$ - петли, $b_2$ - полости. Это топологический инвариант: при непрерывных деформациях он не меняется. Знакочередующаяся сумма чисел Бетти равна эйлеровой характеристике ($\chi = b_0 - b_1 + b_2 - \cdots$), а для окружности, сферы и тора числа Бетти дают $\chi$, равную $0$, $2$ и $0$ соответственно.