Алгебрична топологія

Тор, є одним із об'єктів, що вивчається найчастіше в алгебраїчній топології

Алгебрична топологія (застаріла назва: «комбінаторна топологія») — розділ топології, який вивчає топологічні простори шляхом зіставлення їм алгебричних об'єктів, а також поведінку цих об'єктів під дією різних топологічних операцій.

Основна ідея

Одна з основних ідей алгебричної топологі полягає у тому, щоб розгладати два простори як еквівалентні, якщо вони мають "однакову форму" у деякому сенсі, більш широкому, ніж гомеоморфізм. Це приводить до наступного визначення. Деформаційна ретракція простору $X$ на простір $A$ - клас відображень $f_{t}:X\rightarrow X,\,\,\,\,t\in I,$ для якого $f_{0}=1$ (тотожне відображення), $f_{1}(X)=A$ та $f_{t}|_{A}=\mathbb {1} \,\,\,\forall t.$ Клас $f_{t}$ повинен бути неперервним у тому сенсі, що відображення $X\times I\rightarrow X,$ задане формулою $(x,t)\mapsto f_{t}(x),$ є неперервним. Деформаційна ретракція $f_{t}:X\rightarrow X$ є частковим випадком гомотопії, який є просто класом відображень $f_{t}:X\rightarrow X,\,\,\,\,t\in I,$ для якого відображення $F:X\times I\rightarrow Y,$ задане формулою $f(x,t)=f_{t}(x),$ є неперервним.

Таким чином, деформаційна ретракція простору $X$ на підпростір $A$ - це гомотопія тотожного відображення простору $X$ у ретракцію $X$ на $A,$ тобто відображення $r:X\rightarrow X,$ для якого $r(X)=A$ й $r|_{A}=\mathbb {1} .$

Можна також розглядати ретракцію як відображення $X\rightarrow A,$ обмеження якого на підпростір $A\subset X$ є тотожним. З більш формальної точки зору ретракція - це відображення $r:X\rightarrow X,$ для якого $r^{2}=r,$ оскільки це співвідношення в точності значить, що $r$ є тотожним на своєму образі. Ретракції - це аналоги проекторів, які зустрічаються у інших розділах математики.

Методи алгебричної топології засновані на припущенні, що алгебричні структури влаштовані простіше, ніж топологічні.

Крім різних гомологій (зараз дуже велике значення набули екстраординарні гомології, наприклад теорія бордизмів або $K$-теорія) для алгебричної топології важливі гомотопічні групи $\pi _{n}(X)$. З них головною є $\pi _{1}(X)$ — так звана фундаментальна група, на відміну від груп решти вимірностей, що можуть бути неабелевими.

Основні галузі алгебраїчної топології

В цьому розділі перелічені основні області, які вивчає алгебраїчна топологія:

Гомотопічні групи

Гомотопічні групи використовуються в алгебраїчній топології для класифікації топологічних просторів. Першою і найпростішою гомотопічною групою є Фундаментальна група, яка містить інформацію про петлі в просторі. Гомотопічні групи записують інформацію про базову форму, або дірки топологічного простору.

Гомологія

В алгебраїчній топології та абстрактній алгебрі, гомологія (перша частина назви походить від грецького слова ὁμός гомос "ідентичний") це певна загальна процедура асоціації послідовності абелевих груп або модулів із даним математичним об'єктам, таким як топологічний простір або група.

Когомологія

В гомології і алгебраїчній топології, когомологія це загальний термін для послідовності абелевих груп визначених через ланцюговий комплекс.

Многовид

Многовид це такий топологічний простір, який біля кожної точки є схожим на Евклідів простір. Прикладами є площина, the сфера, і тор, які можуть бути представлені у трьох вимірах, а також пляшка Кляйна і дійсна проективна площина які не можна представити у трьох вимірах, але існують у чотирьох вимірах. Як правило, результати алгебраїчної топології приділяють увагу загальним, не дефереційованим аспектам многовидів, наприклад Двоїстість Пуанкаре.

Теорія вузлів

Теорія вузлів вивчає математичні вузли. Хоч ця галузь натхненна вузлами, що існують у повсякденному житті зав'язаними на шнурах та мотузках, математичні вузли відрізняються тим, що їхні кінці сполучені між собою так, що ці вузли неможливо розв'язати. На точній математичній мові, вузол це вкладення кола в 3-вимірний евклідів простір $\mathbb {R} ^{3}$. Два математичні вузли еквівалентні, якщо один з них можна трансформувати в інший деформацією простору $\mathbb {R} ^{3}$ самого в себе (так звана об'ємна ізотопія); ці трансформації можна уявити як такі маніпуляції над зв'язаною мотузкою, за яких не застосовують розрізання мотузки чи проходження її через себе

Комплекси

Симпліційний 3-комплекс.

Симпліційний комплекс це топологічний простір певного типу, побудований шляхом "склеювання до купи" точок, лінійних відрізків, трикутників, та їх n-вимірних відповідників (див. ілюстрацію). Симпліційні комплекси не слід плутати із більш абстрактним поняттям Симпліційної множини, яке зустрічається в сучасній симпліциальній теорії гомотопії. Суто комбінаторним відповідником симпліциальному комплексу є абстрактний симпліційний комплекс.

CW-комплекс це тим топологічного простору запропонований Д. Г. К. Вайтгедом з метою узгодити потреби теорії гомотопії. Цей клас просторів є ширшим і має дещо кращі властивості категорій ніж симпліційні комплекси, але залишає відповідати комбінаторній природі, що дозволяє здійснювати розрахунки (часто із набагато меншим комплексом).

Теорема Брауера (приклад)

Як приклад застосування методів алгебричної топології можна навести доказ знаменитої теореми Брауера. Тут $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$.

Топологічними питаннями цікавилися Гаус і Ріман.

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

Навчальні матеріали

• (англ.) Курс лекцій Algebraic Topology, a beginner's course на YouTube, N. J. Wildberger (University of New South Wales).

Література

• Hatcher A. Algebraic Topology [Архівовано 20 лютого 2012 у WebCite]
• Васильев В. А. Введение в топологию. — М.: Фазис, 1997
• Вик Дж. У. Теория гомологий. Введение в алгебраическую топологию. — М.: МЦНМО, 2005
• Виро О. Я., Иванов О. А., Харламов В. М., Нецветаев Н. Ю. Задачный учебник по топологии [Архівовано 19 лютого 2012 у Wayback Machine.]
• Дольд А. Лекции по алгебраической топологии. — М.: Мир, 1976
• Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы и приложения. — М.: Наука, 1979
• Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы теории гомологий. — М.: Наука, 1984
• Зейферт Г., Трельфалль В. Топология. — Ижевск: РХД, 2001
• Коснёвски Ч. Начальный курс алгебраической топологии. — М.: Мир, 1983
• Лефшец С. Алгебраическая топология. — М.: ИЛ, 1949
• Новиков П. С. Топология. — 2 изд., испр. и доп. — Ижевск: Институт компьютерных исследований, 2002
• Прасолов В. В. Элементы теории гомологий. — М.: МЦНМО,2006
• Свитцер Р. М. Алгебраическая топология — гомотопии и гомологии. — М.: Наука, 1985
• Спеньер Э. Алгебраическая топология. — М.: Мир, 1971
• Стинрод Н., Эйленберг С. Основания алгебраической топологии. — М.: Физматгиз, 1958
• Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — М.: Наука, 1989
• Ковальов С. М., Гумен М. С., Пустюльга С. І., Михайленко В.Є, Бурчак І. Н. Прикладна геометрія та інженерна графіка. Спеціальні розділи. Випуск 1. — Луцьк: Редакційно-видавничий відділ ЛДТУ, 2006. — 256 с. (С. 90)

Див. також

• Топологія

Література

• Fraleigh, John B. (1976), A First Course In Abstract Algebra (вид. 2nd), Reading: Addison-Wesley, ISBN 0-201-01984-1