Число Бетти

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Числа Бетти — последовательность инвариантов топологического пространства. Каждому пространству соответствует некая последовательность чисел Бетти .

  • Нулевое число Бетти совпадает с числом связных компонент;
  • Первое число Бетти интуитивно представляет собой максимальное число разрезов этого пространства, которые можно сделать без увеличения числа компонент связности.

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

Термин «числа Бетти» был введен Анри Пуанкаре, который назвал их в честь итальянского математика Энрико Бетти.

Определение

[править | править код]
  • k-е число Бетти rank ,

где  — kгруппа гомологий пространства X, которая является абелевой, rank обозначает ранг этой группы.

Эквивалентно, можно определить его как размерность векторного пространства Hk(X; Q), поскольку группа гомологий в этом случае является векторным пространством над Q:

  • dim Hk(X; Q)

Эквивалентность этих определений в простых случаях показывает теорема об универсальных коэффициентах.

В более общих случаях для данного поля F можно определить , k-е число Бетти с коэффициентами в F, как размерность векторного пространства Hk(X, F).

Связанные определения

[править | править код]

Первое число Бетти в теории графов

[править | править код]

В топологической теории графов первое число Бетти графа G с n вершинами, m ребрами и k компонентами связности равно

Это может быть доказано непосредственно математической индукцией по числу ребер. Новое ребро либо увеличивает количество 1-циклов либо уменьшает число компонент связности.

Первое число Бетти графа совпадает с цикломатическим числом этого графа.

  • Для конечного симплициального комплекса K группы гомологий Hk(K) являются конечно-порожденными и, следовательно, имеют конечный ранг. Если k превышает максимальную размерность симплексов K, то соответствующие группы гомологий нулевые. В этом случае
  • Согласно теореме Кюннета для любых двух пространств X и Y, верно следующее соотношение для функций Пуанкаре
  1. Последовательность чисел Бетти для окружности : 1, 1, 0, 0, 0, …;
    многочлен Пуанкаре: .
  2. Последовательность чисел Бетти для двумерного тора : 1, 2, 1, 0, 0, 0, …;
    многочлен Пуанкаре: .
  3. Последовательность чисел Бетти для трехмерного тора : 1, 3, 3, 1, 0, 0, 0, … .
    многочлен Пуанкаре: .
  4. Аналогично, для n-мерного тора, многочленом Пуанкаре является , то есть числа Бетти являются биномиальными коэффициентами.
  5. Бесконечномерные пространства могут иметь бесконечную последовательность ненулевых чисел Бетти. К примеру, бесконечномерное комплексное проективное пространство имеет последовательность чисел Бетти 1, 0, 1, 0, 1, … периодичную с периодом 2. В этом случае функция Пуанкаре не является многочленом, представляя собой бесконечный ряд, который является рациональной функцией:

Литература

[править | править код]
  • Дольд А. Лекции по алгебраической топологии. — М.: Мир, 1976
  • Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — М.: Наука, 1989