Теория гомологий
топологические инварианты / Материал из Википедии — свободной encyclopedia
Уважаемый Wikiwand AI, давайте упростим задачу, просто ответив на эти ключевые вопросы:
Перечислите основные факты и статистические данные о Когомология?
Кратко изложите эту статью для 10-летнего ребёнка
Теория гомоло́гий (др.-греч. ὁμός «равный, одинаковый; общий; взаимный» и λόγος «учение, наука») — раздел математики, который изучает конструкции некоторых топологических инвариантов, называемых группами гомологий и группами когомологий. Также теориями гомологий называют конкретные конструкции групп гомологий.
В простейшем случае топологическому пространству сопоставляется последовательность абелевых групп гомологий
, занумерованных натуральными числами
. Они являются гомотопическими инвариантами и, в отличие от гомотопических групп, они проще вычисляются и более наглядны геометрически, но для односвязных пространств несут столько же информации[1].
Однако определение гомологий менее явно и использует некоторую техническую машинерию[2], и потому существует несколько различных теорий гомологий — как определённых только для «хороших» топологических пространств или требующих дополнительной структуры, так и более сложных, предназначенных для работы с патологическими примерами. Тем не менее, за исключением таких патологических случаев они обычно совпадают: для клеточных пространств это обеспечивается аксиомами Стинрода — Эйленберга.
Другими обычными понятиями теории гомологий являются гомологии с коэффициентами в абелевой группе
, относительные гомологии
пары пространств
и когомологии
, определения которых в некотором смысле двойственно к определению гомологий. Часто рассматриваются именно когомологии из-за наличиях на них умножения
, превращающего их в градуированную алгебру.
Также когомологиями называются инварианты, сопоставляемые другим математическим объектам — группам, алгебрам Ли, пучкам. Их объединяет формальная схожесть — например, наличие в их определении понятия гомологий цепного комплекса — а в некоторых случаях и наличие конструкций, сопоставляющих таким объектам топологические пространства с подходящими гомологиями.