Jump to content

Особые гомологии

(Перенаправлено из цепочки Singular )

В алгебраической топологии сингулярные гомологии относятся к изучению определенного набора алгебраических инвариантов топологического пространства X , так называемых групп гомологий. Интуитивно понятно, что сингулярные гомологии подсчитывают для каждого измерения n n дыры -мерные пространства. Сингулярная гомология — частный пример теории гомологии , которая теперь превратилась в довольно обширную коллекцию теорий. Из различных теорий это, пожалуй, одна из самых простых для понимания, поскольку она построена на достаточно конкретных конструкциях (см. также родственную теорию симплициальной гомологии ).

Короче говоря, сингулярные гомологии строятся путем преобразования стандартного n - симплекса в топологическое пространство и составления их в формальные суммы , называемые сингулярными цепями . Граничная операция – отображение каждого n -мерного симплекса на его ( n -1)-мерную границу – индуцирует сингулярный цепной комплекс . Тогда сингулярные гомологии являются гомологиями цепного комплекса. Полученные группы гомологий одинаковы для всех гомотопически эквивалентных пространств, что и является причиной их изучения. Эти конструкции применимы ко всем топологическим пространствам, и поэтому сингулярные гомологии выражаются как функтор из категории топологических пространств в категорию градуированных абелевых групп .

Одиночный простой [ править ]

Стандартный 2-симплекс Δ 2 в Р 3

Особый n -симплекс в топологическом пространстве X это непрерывная функция (также называемая отображением). от стандартного n - симплекса до X , написано Это отображение не обязательно должно быть инъективным могут существовать неэквивалентные сингулярные симплексы с одним и тем же образом , и в X .

Граница обозначается как определяется как формальная сумма сингулярных ( n − 1)-симплексов, представленных ограничением к граням стандартного n -симплекса с переменным знаком для учета ориентации. (Формальная сумма — это элемент свободной абелевой группы на симплексах. Основой группы является бесконечное множество всех возможных сингулярных симплексов. Групповая операция — это «сложение», а сумма симплекса a с симплексом b обычно просто обозначим a + b , но a + a = 2 a и т. д. Каждый симплекс a имеет отрицательное значение − a .) Таким образом, если мы обозначим. по его вершинам

соответствующие вершинам стандартного n -симплекса (что, конечно, не полностью определяет сингулярный симплекс, полученный ), затем

есть формальная сумма граней симплексного изображения, обозначенных определенным образом. [1] (То есть конкретное лицо должно быть ограничением к лицу который зависит от порядка перечисления его вершин.) Так, например, граница (кривая, идущая от к ) — формальная сумма (или «формальная разность») .

Сингулярный цепной комплекс [ править ]

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

Рассмотрим сначала множество всех возможных сингулярных n -симплексов в топологическом пространстве X . Этот набор можно использовать в качестве основы свободной абелевой группы , так что каждый сингулярный n -симплекс является генератором группы. Этот набор образующих, конечно, обычно бесконечен, часто несчетен , поскольку существует множество способов отображения симплекса в типичное топологическое пространство. Свободную абелеву группу, порожденную этим базисом, обычно обозначают как . Элементы называются сингулярными n -цепями ; они представляют собой формальные суммы сингулярных симплексов с целыми коэффициентами.

Граница легко расширить для действия на сингулярных n -цепях. Расширение, называемое граничным оператором , записанное как

является гомоморфизмом групп. Граничный оператор вместе с , образуют цепной комплекс абелевых групп, называемый сингулярным комплексом . Его часто обозначают как или проще .

Ядро граничного оператора есть и называется группой особых n -циклов . Образ граничного оператора есть и называется группой особых n -границ .

Также можно показать, что , подразумевая . -я группа гомологии затем определяется как факторная группа

Элементы называются классами гомологии . [2]


Гомотопическая инвариантность [ править ]

Если X и Y — два топологических пространства одного и того же гомотопического типа (т. е. гомотопически эквивалентны ), то

для всех n ≥ 0. Это означает, что группы гомологии являются гомотопическими инвариантами и, следовательно, топологическими инвариантами .

В частности, если X — связное сжимаемое пространство , то все его группы гомологий равны 0, кроме .

Доказательство гомотопической инвариантности сингулярных групп гомологий можно схематически представить следующим образом. Непрерывное отображение f : X Y индуцирует гомоморфизм

Можно сразу убедиться, что

т. е. f # является цепным отображением , которое сводится к гомоморфизмам гомологии

Теперь мы покажем, что если f и g гомотопически эквивалентны, то f * = g * . Отсюда следует, что если f — гомотопическая эквивалентность, то f * — изоморфизм.

Пусть F : X × [0, 1] → Y — гомотопия, переводящая f в g . На уровне цепей определим гомоморфизм

который, геометрически говоря, принимает базисный элемент σ: ∆ н X из C n ( X ) к «призме» P (σ): ∆ н × Я Y . Границу P (σ) можно выразить как

если α в Cn # ( X ) является n -циклом, то f Итак , ( α ) и g # ( α ) различаются границей:

т.е. они гомологичны. Это доказывает утверждение. [3]

Группы гомологии общих пространств [ править ]

В таблице ниже показаны k-ые группы гомологии. n-мерных вещественных проективных пространств RP н , комплексные проективные пространства, CP н , точка, сферы S н ( ) и 3-тора T 3 с целыми коэффициентами.

Космос Гомотопический тип
РП н [4] k = 0 и k = n нечетно
k нечетно, 0 < k < n
0 в противном случае
КП н [5] к = 0,2,4,...,2n
0 в противном случае
точка [6] к = 0
0 в противном случае
С н k = 0,n
0 в противном случае
Т 3 [7] к = 0,3
3 к = 1,2
0 в противном случае

Функциональность [ править ]

Приведенная выше конструкция может быть определена для любого топологического пространства и сохраняется под действием непрерывных отображений. Эта общность означает, что теорию сингулярной гомологии можно переписать на языке теории категорий . В частности, под группой гомологии можно понимать функтор из категории топологических пространств Top в категорию абелевых групп Ab .

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

определяя

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

из категории топологических пространств в категорию абелевых групп .

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

из категории топологических пространств в категорию абелевых групп. По аксиоме гомотопии имеем, что также является функтором, называемым функтором гомологии, действующим на hTop , факторгомотопическую категорию :

Это отличает сингулярную гомологию от других теорий гомологии, в которых по-прежнему является функтором, но не обязательно определен во всем Top . В некотором смысле сингулярная гомология является «самой большой» теорией гомологии, поскольку каждая теория гомологии в согласуется с подкатегории Top сингулярными гомологиями в этой подкатегории. С другой стороны, сингулярная гомология не обладает самыми чистыми категориальными свойствами; такая очистка мотивирует развитие других теорий гомологии, таких как клеточная гомология .

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

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

Вторая, алгебраическая часть — это функтор гомологии

какие карты

и переводит цепные отображения в карты абелевых групп. Именно этот функтор гомологии может быть определен аксиоматически, так что он выступает сам по себе как функтор категории цепных комплексов.

Гомотопические карты вновь появляются на сцене, определяя гомотопически эквивалентные цепные карты. Таким образом, можно определить фактор-категорию hComp или K , гомотопическую категорию цепных комплексов .

Коэффициенты в R [ править ]

Для любого кольца R с единицей множество особых n -симплексов в топологическом пространстве можно считать генераторами свободного R -модуля . То есть вместо того, чтобы выполнять приведенные выше конструкции из исходной точки свободных абелевых групп, вместо них используются свободные R -модули. Все конструкции проходят практически без изменений. Результатом этого является

который теперь является R -модулем . Конечно, обычно это не бесплатный модуль. Обычная группа гомологии восстанавливается, если отметить, что

когда кто-то считает кольцо кольцом целых чисел. Обозначение H n ( X ; R ) не следует путать с почти идентичным обозначением H n ( X , A ), которое обозначает относительную гомологию (ниже).

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

где Tor функтор Tor . [8] Следует отметить, что если R не имеет кручения, то Tor_1(G, R) = 0 для любого G, поэтому приведенная выше короткая точная последовательность сводится к изоморфизму между и

Относительная гомология

Для подпространства , под относительными гомологиями H n ( X , A ) понимаются гомологии фактора цепных комплексов, т.е.

где фактор цепных комплексов задается короткой точной последовательностью

[9]

Уменьшенная гомология

пространства Приведенные гомологии X , обозначенные как представляет собой незначительную модификацию обычной гомологии, которая упрощает выражения некоторых отношений и удовлетворяет интуитивному предположению, что все группы гомологий точки должны быть равны нулю.

Для обычных гомологии, определенных на цепном комплексе:

Чтобы определить приведенную гомологию, мы дополняем цепной комплекс дополнительным между и ноль:

где . Это можно оправдать, интерпретируя пустое множество как «(-1)-симплекс», что означает, что .

группы Приведенные гомологии теперь определяются формулой для положительного n и . [10]

Для n > 0, , а при n = 0

Когомологии [ править ]

Дуализируя комплекс цепи гомологии (т.е. применяя функтор Hom(-, R ), где R — любое кольцо), мы получаем коцепной комплекс с кограничным отображением . Группы когомологий X ; определяются как группы гомологий этого комплекса шутливо говоря, «когомологии - это гомологии со [двойственного комплекса]».

Группы когомологий имеют более богатую или, по крайней мере, более знакомую алгебраическую структуру, чем группы гомологий. Во-первых, они образуют дифференциально-градуированную алгебру следующим образом:

Существуют дополнительные когомологические операции , и алгебра когомологий имеет структуру сложения mod p (как и раньше, когомологии mod p - это когомологии комплекса коцепей mod p mod p , а не редукция когомологий ), в частности структуру алгебры Стинрода .

и когомологии Гомологии Бетти

Поскольку число теорий гомологии стало большим (см. Категория: Теория гомологии ), термины гомологии Бетти и когомологии Бетти иногда применяются (особенно авторами, пишущими по алгебраической геометрии ) к теории сингулярностей, что приводит к появлению Бетти чисел наиболее знакомые пространства, такие как симплициальные комплексы и замкнутые многообразия .

Чрезвычайная гомология [ править ]

Если определить теорию гомологии аксиоматически (через аксиомы Эйленберга-Стинрода ), а затем ослабить одну из аксиом ( аксиому размерности ), можно получить обобщенную теорию, называемую экстраординарной теорией гомологии . Первоначально они возникли в виде необычных теорий когомологий , а именно К-теории и теории кобордизмов . В этом контексте сингулярные гомологии называются обычными гомологиями.

См. также [ править ]

Ссылки [ править ]

  1. ^ Хэтчер, 105
  2. ^ Хэтчер, 108
  3. ^ Теорема 2.10. Хэтчер, 111
  4. ^ Хэтчер, 144
  5. ^ Хэтчер, 140
  6. ^ Хэтчер, 110
  7. ^ Хэтчер, 142-143.
  8. ^ Хэтчер, 264
  9. ^ Хэтчер, 115
  10. ^ Хэтчер, 110
  • Аллен Хэтчер, Алгебраическая топология. Издательство Кембриджского университета, ISBN   0-521-79160-X и ISBN   0-521-79540-0
  • Дж. П. Мэй, Краткий курс алгебраической топологии , Издательство Чикагского университета ISBN   0-226-51183-9
  • Джозеф Дж. Ротман, Введение в алгебраическую топологию , Springer-Verlag, ISBN   0-387-96678-1
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 7dc7dc64603403a2b0ecaf0a40d2a65b__1715373120
URL1:https://arc.ask3.ru/arc/aa/7d/5b/7dc7dc64603403a2b0ecaf0a40d2a65b.html
Заголовок, (Title) документа по адресу, URL1:
Singular homology - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)