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

Алгебраи́к тополо́гия (боронғо исеме: комбинаторлы топология) — топологияның, уларға алгебраик объекттар төркөмөн (ҡулсаларын һәм башҡа шундай) ярашлы ҡуйыу юлы менән топологик арауыҡтарҙы, шулай уҡ был объекттарҙың төрлө топологик операциялар тәьҫире аҫтында тәртиптәрен өйрәнеүсе бүлеге.

 Төп ысулдары 
Алгебраикй топологияның ысулдары, дөйөм алгебраик структуралар топологик структураларға ҡарағанда ябайыраҡ төҙөлгән тигән фаразға нигеҙләнгәндәр.

Төрлө гомологияларҙан тыш (хәҙер экстраординар гомологиялар ҙур әһәмиәткә эйә, мәҫәлән бордизмдар йәки -теориялар) алгебраик топология өсөн гомотопик төркөмдәр  мөһим. Уларҙан  — фундаменталь төркөм тип аталғаны иң мөһиме, ул, бөтә башҡа үлсәмле төркөмдәрҙән айырмалы рәүештә, Абель булмаған төркөм була ала.

Гомологиялар тип аталған (мәҫәлән, симплициаль йәки сингулярлы) төркөмдәр алгебраик топологияның мөһим инструменты булып торалар. Һәр  топологик арауыҡҡа һәр  үлсәнешендә үҙенең  гомологиялар Абель төркөмө ярашлы, ә һәр өҙлөкһөҙ  сағылышына  төркөмдәр гомоморфизмы ярашлы, шуның менән бергә  сағылыштар ҡабатландығына  гомоморфизмдар ҡабатландығы ярашлы, ә  тождестволы сағылышына  тождестволы изоморфизмы ярашлы. (Категориялар теорияһы телендә был, гомологиялар төркөмө топологик арауыҡтар категорияһынан Абель төркөмдәре категорияһына ковариантлы функтор була тигәнде аңлата.)

 Методика миҫалы 
Алгебраик топология ысулдарының ҡулланылышына классик миҫалдарҙың береһе булып хәрәкәтһеҙ нөктә тураһында Брауэр теоремаһын иҫбатлау тора. Теореманың раҫлауы шунан ғибәрәт, йомоҡ -үлсәмле шарҙың үҙенә теләһә ниндәй  өҙлөкһөҙ сағылышының хәрәкәтһеҙ нөктәһе бар, йәғни .

Иҫбатлау өсөн шундай лемма ҡулланыла:  -үлсәмле шарҙың үҙенең сигенә (-үлсәмле  сфераһына), сиктең (ретракцияның) бөтә нөктәләре өсөн  тигеҙлеге үтәлгән  өҙлөкһөҙ сағылышы юҡ. Ысынында, әгәр  сағылышының хәрәкәтһеҙ нөктәләре булмаһа, ул саҡта, шарҙың һәр  нөктәһе өсөн -тан сыҡҡан һәм  нөктәһе аша үткән нур үткәреп, шарҙың сфераға  сағылышын төҙөп була (хәрәкәтһеҙ нөктәләр булмаған осраҡта улар төрлө нөктәләр); нурҙың  сфера менән киҫешеү нөктәһе — , һәм  булһын.  сағылышы өҙлөкһөҙ, һәм әгәр  сферала ятһа, ул саҡта . Шулай итеп, шарҙың сфераға ретракцияһы алынды, лемма буйынса был мөмкин түгел, йәғни хәрәкәтһеҙ нөктәләр (берәү булһа ла) булырға тейеш.

Лемманы иҫбатлау өсөн шундай ретракция  бар тип фараз ителә. Сфераны шар эсенә һалыу өсөн  шундай үҙсәнлек үтәлә: сағылыштар ҡабатландығы  — сфераның тождестволы сағылышы (башта , аҙаҡ ). Артабан  икәне күрһәтелә, ә . Ул саҡта  сағылышы 0-гә сағылыш була, ләкин, икенсе яҡтан,  булғанлыҡтан,  — нуль гомоморфизм түгел, ә тождестволы изоморфизм була икәне килеп сыға.

Шуның менән бергә Брауэр  теоремаһының алгебраик булмаған иҫбатланыштары ла бар, ләкин гомологияларҙы индереү, элек бер береһе менән бәйләнмәгән кеүек күренгән бик күп раҫлауҙарҙы бик еңел иҫбат итергә мөмкинлек бирә.

 Тарихы 
Алгебраик топологияның ҡайһы бер теоремалары Эйлерға ла билдәле булғандар, мәҫәлән, түбәләре һаны , ҡабырғалары һаны  һәм ҡырҙары һаны  булған теләһә ниндәй ҡабарынҡы күпҡыр өсөн  нисбәте дөрөҫ.

Топологик һорауҙар менән Гаусс һәм Риман ҡыҙыҡһыналар.

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

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

 Hatcher A. Algebraic Topology

Категория:Алгебраик топология