В математике, теорема двойственности Пуанкаре, названная в честь французского математика Анри Пуанкаре, является основным результатом о структуре групп гомологий и когомологий многообразия. Она утверждает, что все k-е группы когомологий n-мерного ориентируемого замкнутого многообразия M изоморфны (n − k)-м группам гомологий M :
Первоначальный вариант теоремы двойственности был сформулирован Пуанкаре без доказательства в 1893 году. Когомологии были изобретены лишь спустя два десятилетия после его смерти, поэтому идею двойственности он сформулировал в терминах чисел Бетти: k-е и (n − k)-е числа Бетти замкнутого (компактного без границы) ориентируемого n-мерного многообразия равны:
Позже Пуанкаре дал доказательство этой теоремы в терминах двойственных триангуляций[1][2].
Современная формулировка двойственности Пуанкаре включает понятия гомологий и когомологий: если M — замкнутое ориентируемое n-мерное многообразие, k — целое число, то существует канонический изоморфизм k-й группы когомологий Hk(M) в (n − k)-ю группу гомологий Hn − k(M):
Этот изоморфизм определяется фундаментальным классом многообразия :
где — коцикл, обозначает -умножение гомологических и когомологических классов. Здесь приведены гомологии и когомологии с коэффициентами в кольце целых чисел, но изоморфизм имеет место и для произвольного кольца коэффициентов.
Для некомпактных ориентируемых многообразий когомологии в этой формуле необходимо заменить на когомологии с компактным носителем.
Для группы гомологий и когомологий, по определению нулевые, соответственно, согласно двойственности Пуанкаре, группы гомологий и когомологий при на n-мерном многообразии являются нулевыми.
Пусть M замкнутое ориентируемое многообразие, обозначим через кручение группы , и её свободную часть; все группы гомологий берутся с целыми коэффициентами. Существуют билинейные отображения:
и
Первая форма называется индексом пересечения, вторая — коэффициентом зацепления. Индекс пересечения определяет невырожденную двойственность между свободными частями групп и , коэффициент зацепления — между кручениями групп и .
Утверждение о том, что эти билинейные спаривания определяют двойственность, означает, что отображения
и
являются изоморфизмами групп.
Этот результат является следствием двойственности Пуанкаре и теоремы об универсальных коэффициентах, которые дают равенства и . Таким образом, группы являются изоморфными, хотя и не существует естественного изоморфизма, и, аналогично, .
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .