Числа Бетти

Числа Бетти — это последовательность неотрицательных целых чисел, которые являются важнейшими топологическими инвариантами топологического пространства. Они характеризуют количество «дырок» разной размерности в пространстве и, в конечном счёте, определяют его гомологические группы. Названы в честь итальянского математика Энрико Бетти, который ввёл их в 1871 году. Числа Бетти являются одним из ключевых понятий алгебраической топологии, позволяющим различать топологически неэквивалентные пространства.

Определение и формальное описание

Формально, для топологического пространства \( X \) и целого неотрицательного числа \( k \) \( k \)-е число Бетти \( b_k(X) \) определяется как ранг (размерность) \( k \)-й группы гомологий \( H_k(X) \) с коэффициентами в некотором поле (обычно в поле рациональных чисел \( \mathbb{Q} \) или в поле вычетов по модулю простого числа). Группы гомологий — это алгебраические объекты, которые кодируют информацию о циклах (замкнутых подмногообразиях) и их границах в пространстве.

Интуитивно, \( b_0(X) \) равно количеству связных компонент пространства. \( b_1(X) \) соответствует количеству «одномерных дырок» (например, число ручек у тора), \( b_2(X) \) — количеству «двумерных пустот» (например, число полостей внутри сферы), и так далее. Для пространств, являющихся конечными симплициальными комплексами или CW-комплексами, все числа Бетти конечны и, начиная с некоторой размерности, равны нулю.

История

Понятие чисел Бетти было введено Энрико Бетти в 1871 году в работе «Sopra gli spazi di un numero qualunque di dimensioni» («О пространствах произвольного числа измерений»). Бетти обобщил идеи Бернхарда Римана о связности поверхностей на многомерные многообразия. Однако его определение было нестрогим и основывалось на интуитивном представлении о «порядке связности».

В 1895 году Анри Пуанкаре в своей пионерской работе «Analysis situs» (французский термин для топологии) заложил основы современной алгебраической топологии, ввёл понятие гомологий и дал строгое определение чисел Бетти. Пуанкаре также показал, что числа Бетти являются топологическими инвариантами, то есть не зависят от выбора триангуляции пространства.

В XX веке, с развитием теории гомологий, числа Бетти стали вычисляться для всё более широкого класса пространств, включая многообразия, симплициальные комплексы и клеточные пространства. В 1940-х годах были разработаны аксиоматические теории гомологий (например, аксиомы Эйленберга — Стинрода), которые позволили единообразно определять числа Бетти для различных топологических конструкций.

Свойства и основные теоремы

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

Числа Бетти являются топологическими инвариантами: если два пространства гомеоморфны (топологически эквивалентны), то их числа Бетти совпадают. Это свойство делает их мощным инструментом для различения пространств.

Эйлерова характеристика

Эйлерова характеристика \( \chi(X) \) конечного симплициального комплекса или CW-комплекса выражается через числа Бетти с помощью формулы: \[ \chi(X) = \sum_{k=0}^{\infty} (-1)^k b_k(X) \] Эта формула является обобщением классической теоремы Эйлера для многогранников и связывает комбинаторные и топологические характеристики.

Двойственность Пуанкаре

Для замкнутого (компактного без края) ориентируемого \( n \)-мерного многообразия \( M \) выполняется соотношение двойственности Пуанкаре: \[ b_k(M) = b_{n-k}(M) \] Это означает, что числа Бетти симметричны относительно средней размерности. Например, для замкнутой ориентируемой поверхности рода \( g \) (сфера с \( g \) ручками) имеем: \( b_0 = 1 \), \( b_1 = 2g \), \( b_2 = 1 \).

Теорема Кюннета

Теорема Кюннета позволяет вычислять числа Бетти произведения двух пространств \( X \times Y \) через числа Бетти сомножителей. В случае поля коэффициентов, для всех \( k \): \[ b_k(X \times Y) = \sum_{i+j=k} b_i(X) \cdot b_j(Y) \]

Примеры вычислений

Окружность \( S^1 \)

• \( b_0 = 1 \) (одна связная компонента)
• \( b_1 = 1 \) (одна одномерная дырка — петля)
• \( b_k = 0 \) для \( k \ge 2 \)

Двумерная сфера \( S^2 \)

• \( b_0 = 1 \)
• \( b_1 = 0 \) (нет одномерных дырок, так как любая петля стягиваема)
• \( b_2 = 1 \) (одна двумерная полость — внутренность сферы)
• \( b_k = 0 \) для \( k \ge 3 \)

Тор \( T^2 \) (поверхность бублика)

• \( b_0 = 1 \)
• \( b_1 = 2 \) (две независимые петли: одна вокруг «дырки», другая вокруг «тела»)
• \( b_2 = 1 \)
• \( b_k = 0 \) для \( k \ge 3 \)

Проективная плоскость \( \mathbb{RP}^2 \) (неориентируемая поверхность)

• \( b_0 = 1 \)
• \( b_1 = 0 \) (над полем рациональных чисел; над полем \( \mathbb{Z}_2 \) число Бетти равно 1 из-за кручения)
• \( b_2 = 0 \) (так как проективная плоскость не имеет внутренней полости)
• \( b_k = 0 \) для \( k \ge 3 \)

Бутылка Клейна (неориентируемая поверхность)

• \( b_0 = 1 \)
• \( b_1 = 1 \) (над полем рациональных чисел)
• \( b_2 = 0 \)
• \( b_k = 0 \) для \( k \ge 3 \)

Применение

Алгебраическая топология

Числа Бетти являются фундаментальным инструментом для классификации топологических пространств. Они используются для доказательства того, что два пространства не гомеоморфны (например, сфера и тор).

Анализ данных (TDA)

В современной прикладной математике числа Бетти используются в персистентной гомологии — методе топологического анализа данных (TDA). Персистентные числа Бетти позволяют анализировать форму данных, выявляя устойчивые топологические признаки (кластеры, петли, полости) в наборах точек, графах или изображениях. Это применяется в компьютерном зрении, биологии, материаловедении и анализе социальных сетей.

Физика

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

Робототехника и навигация

В планировании пути для роботов числа Бетти помогают анализировать топологию конфигурационного пространства, выявляя препятствия и возможные пути.

Интересные факты

• Название «числа Бетти» было предложено Анри Пуанкаре в честь Энрико Бетти, хотя сам Бетти не использовал этот термин.
• Для произвольного топологического пространства числа Бетти могут быть бесконечными. Например, для канторова множества \( b_0 \) бесконечно.
• Существуют пространства, у которых все числа Бетти равны нулю, но которые не являются стягиваемыми (например, «пространство Уайтхеда»).
• В персистентной гомологии числа Бетти визуализируются в виде штрих-кодов (barcodes), где каждый отрезок соответствует рождению и гибели топологического признака.

Критика и ограничения

Числа Бетти не являются полным топологическим инвариантом: существуют негомеоморфные пространства с одинаковыми числами Бетти. Например, сфера и точка имеют одинаковые числа Бетти (1, 0, 0, ...), но не гомеоморфны. Для более тонкой классификации используются другие инварианты, такие как фундаментальная группа, когомологические кольца или гомотопические группы.

Кроме того, числа Бетти не учитывают кручение в группах гомологий (например, для проективной плоскости над целыми числами). Для полного описания гомологий необходимо рассматривать сами группы, а не только их ранги.

Источники

1. Бетти Э. «Sopra gli spazi di un numero qualunque di dimensioni» (1871).
2. Пуанкаре А. «Analysis situs» (1895).
3. Хатчер А. «Алгебраическая топология» (2002).
4. Зоммерфельд А. «Топология и анализ данных» (2020).
5. Энциклопедия математики. Статья «Числа Бетти».