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

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

Алгебраи́ческая тополо́гия (устаревшее название: комбинаторная топология) — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов (групп, колец и т.д.) а также поведение этих объектов под действием различных топологических операций.

Содержание

Основная идея

Методы алгебраической топологии основаны на предположении, что алгебраические структуры устроены проще, чем топологические.

Помимо различных гомологий (сейчас очень большое значение приобрели экстраординарные гомологии, например теория бордизмов или -теория) для алгебраической топологии важны гомотопические группы \pi_n(X). Из них главной является \pi_1(X) — так называемая фундаментальная группа, которая, в отличие от групп всех других размерностей, может быть неабелевой.

Теорема Брауэра (пример)

В качестве примера применения методов алгебраической топологии можно привести доказательство знаменитой теоремы Брауэра. Здесь D_n означает замкнутый n-мерный шар, S_{n-1} — его (n-1)-мерную границу (сферу):

Всякое непрерывное отображение f n-мерного шара D_n в себя имеет неподвижную точку то есть такую точку x, что f(x)=x

Нетрудно видеть, что для этого достаточно доказать следующую лемму:

Не существует непрерывного отображения g n-мерного шара D_n на свою границу S_{n-1} такого, что g(x)=x для всех точек границы (так называемой ретракции)

В самом деле, если у отображения f нет неподвижных точек, то мы можем построить отображение g шара на сферу проведя для каждой точки шара x луч, выходящий из f(x) и проходящий через x (в случае отсутствия неподвижных точек это разные точки). Точку пересечения луча со сферой S_{n-1} обозначим через y и положим g(x)=y. Ясно, что получившееся отображение непрерывно, и если x принадлежит сфере, то g(x)=x. Мы получили ретракцию шара на сферу, что по лемме невозможно. Значит неподвижные точки (хотя бы одна) должны существовать.

Теперь главная трудность состоит в доказательстве леммы. Пусть существует такая ретракция g. Обозначим i — вложение сферы в шар i(x)=x. Имеем:

произведение отображений gi=\mathrm{id} — тождественное отображение сферы (вначале i, затем g). Одним из главнейших инструментов алгебраической топологии является так называемые группы гомологий (например, симплициальные или сингулярные). Каждому топологическому пространству X соответствует в каждой размерности n своя абелева группа гомологий H_n(X), а каждому непрерывному отображению f:X\to Y соответствует гомоморфизм групп f_*:H_n(X)\to H_n(Y), причём произведению отображений fg соответствует произведение гомоморфизмов f_*g_*, а тождественному отображению \mathrm{id} соответствует тождественный изоморфизм \mathrm{id}_*. (На языке теории категорий это означает, что группа гомологий является ковариантным функтором из категории топологических пространств в категорию абелевых групп).

Теперь возвращаемся к нашей лемме. Легко доказать, что H_{n-1}(S_{n-1})=\mathbf{Z}, а H_{n-1}(D_n)=0. Тогда отображение g_*:H_{n-1}(D_n)\to H_{n-1}(S_{n-1}) будет отображением в 0 но, с другой стороны, так как gi=\mathrm{id}, имеем g_*i_*=\mathrm{id}_*:\mathbf{Z}\to\mathbf{Z} — является не нулевым гомоморфизмом, а тождественным изоморфизмом. Таким образом, лемма доказана.

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

История

Некоторые теоремы алгебраической топологии были известны ещё Эйлеру, например, что для всякого выпуклого многогранника с числом вершин V, рёбер E и граней F имеет место V-E+F=2.

Топологическими вопросами интересовались Гаусс и Риман.

Но основную роль в создание алгебраической топологии как науки сыграл Пуанкаре — именно ему принадлежат понятия симплициальных гомологий и фундаментальной группы. Большой вклад внесли Александер, Веблен, Лефшец, Уайтхед, Борсук, Гуревич, Стинрод, Эйленберг, Серр, Том, Атья, Хирцебрух, Ботт, Адамс, Смейл, Милнор, Квиллен; из советских/российских математиков необходимо отметить П. С. Александрова, Колмогорова, Понтрягина, Люстерника, Рохлина, Новикова, Фоменко, Концевича, Воеводского, Перельмана.

Литература

  • Васильев В. А. Введение в топологию. — М.: Фазис, 1997
  • Вик Дж. У. Теория гомологий. Введение в алгебраическую топологию. — М.: МЦНМО, 2005
  • Виро О. Я., Иванов О. А., Харламов В. М., Нецветаев Н. Ю. Задачный учебник по топологии
  • Дольд А. Лекции по алгебраической топологии. — М.: Мир, 1976
  • Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы и приложения. — М.: Наука, 1979
  • Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы теории гомологий. — М.: Наука, 1984
  • Зейферт Г., Трельфалль В. Топология. — Ижевск: РХД, 2001
  • Коснёвски Ч. Начальный курс алгебраической топологии. — М.: Мир, 1983
  • Лефшец С. Алгебраическая топология. — М.: ИЛ, 1949
  • Новиков П. С. Топология. — 2 изд., испр. и доп. — Ижевск: Институт компьютерных исследований, 2002
  • Прасолов В. В. Элементы теории гомологий. — М.: МЦНМО,2006
  • Свитцер Р. М. Алгебраическая топология — гомотопии и гомологии. — М.: Наука, 1985
  • Спеньер Э. Алгебраическая топология. — М.: Мир, 1971
  • Стинрод Н., Эйленберг С. Основания алгебраической топологии. — М.: Физматгиз, 1958
  • Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — М.: Наука, 1989

См. также


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "Алгебраическая топология" в других словарях:

  • АЛГЕБРАИЧЕСКАЯ ТОПОЛОГИЯ — область математики, возникшая для изучения таких свойств гео метрич. фигур (в широком смысле любых объектов, где можно говорить о непрерывности) и их отображений друг в друга, к рые не меняются при непрерывных деформациях (гомотопиях). В принципе …   Математическая энциклопедия

  • Топология — Не следует путать с топографией. У этого термина существуют и другие значения, см. Топология (значения). Лента Мёбиуса  поверхно …   Википедия

  • Топология — (от греч. tоpos место и …логия (См. ...Логия)         часть геометрии, посвященная изучению феномена непрерывности (выражающегося, например, в понятии предела). Разнообразие проявлений непрерывности в математике и широкий спектр различных… …   Большая советская энциклопедия

  • Алгебраическая геометрия —         раздел математики, изучающий алгебраические многообразия. Так называются множества точек в n мерном пространстве, координаты которых (x1, x2,...,xn ) являются решениями системы уравнений:          F1(X1, Х2 ..., Xn) = 0,          Fm(X1,… …   Большая советская энциклопедия

  • ТОПОЛОГИЯ — раздел математики, занимающийся изучением свойств фигур (или пространств), которые сохраняются при непрерывных деформациях, таких, например, как растяжение, сжатие или изгибание. Непрерывная деформация это деформация фигуры, при которой не… …   Энциклопедия Кольера

  • Цепь (алгебраическая топология) — В топологии и дифференциальной геометрии понятие цепи обобщает понятие многоугольника и используется для определения гомологий пространства и интегрирования дифференциальных форм на нём. Определение Криволинейным симплексом называется дважды… …   Википедия

  • Топология Зарисского — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Топология Зарисского в алгебраической геометрии  специальная топология, отражающая алгебраическую при …   Википедия

  • АЛГЕБРАИЧЕСКАЯ ГЕОМЕТРИЯ — раздел математики, изучающий геометрич. объекты, связанные с коммутативными кольцами: алгебраические многообразия и их различные обобщения ( схемы, алгебраические пространства и др.). В наивной формулировке предмет А. г. составляет изучение… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКАЯ ГЕОМЕТРИЯ АБСТРАКТНАЯ — раздел алгебраической геометрии, в к ром изучаются общие свойства алгебраических многообразий над произвольными полями, а также их обобщения схемы. Хотя первые работы в А. г. а. появились еще в 19 в., особенно бурное развитие этой области… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКАЯ КРИВАЯ — алгебраическое многообразие размерности 1. А. к. является наиболее изученным объектом алгебраической геометрии. В дальнейшем под А. к. понимается, как правило, неприводимая А. к. над алгебраически замкнутым полем. Наиболее простым и интуитивно… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»