ПОСТНИКОВА СИСТЕМА

ПОСТНИКОВА СИСТЕМА

натуральная система, гомотопическая резольвента, П-разложение общего типа,- последовательность расслоений


слоями к-рых являются Эйленберга - Маклейна пространства К(p п, п), где p п - нёк-рая группа (абелева при п>1). Введена М. М. Постниковым [1]. Пространство Х п наз. n-м членом (или n-м этажом) П:с. {p п: Х nXn-1}. П. с. n: Х п Х п-1} наз. сходящейся к пространству X, если ее обратный предел слабо гомотопически
эквивалентен пространству X. В этом случае пространство А' наз. пределом П. с. n: Х пXn-1}. Морфизмом П. с. п: Х п Х п_1]. в П. с. {qn:YnYn-1} наз. последовательность непрерывных отображений fn:XnYn, для к-рых диаграмма гомотопически коммутативна. М орфизм {fn} индуцирует отображение , называемое его пределом.

Из определения П. с. следует, что для каждого и 1 отображение pn является ( п-1)-эквнвалентностью (см. Гомотопический тип), в частности pi(Xn-1)pi(Xn). при i< п,pn(Xn)pn и pi(Xn)=0 при i> п. Пространства Xи Х п имеют один и тот же (n+1 )-тип. В частности, если П. с. конечна, т. е. для нек-рого числа Nпри всех n >N группа pn тривиальна, то пространства X и XN гомотопически эквивалентны. В общем случае при i п имеют место изоморфизмы Н i( Х п) Н i (Х) иpn(Xn)pn(X), т. <е. с ростом n группы гомологии и гомотопич. группы стабилизируются. Для любого клеточного разбиения Кразмерности п множества [ К, X]и [ К, Х n]совпадают. Характеристич. класс kn= (Xn-1;{pn}) расслоения


р п: X п Xn-1, т. е. образ при трансгрессии


фундаментального класса;p), наз. n-м k-инвариантом (или n-м постниковским фактором) П. с. или ее предела X. Для любого п 1 n-й член П. с., а потому и (n+1 )-тип пространства Xполностью определяются группами p1,...,pn и k-инвариантами k1 ,. . ., kn-1. Часто П. с. наз. двойная последовательность


Пространство Xтогда и только тогда является пределом П. с. { р п: Х пXn-1}, когда существуют такие ( п -1)-эквивалентности rn:X Х n, что rn-1~rnorn для любого n1. Аналогично характеризуются пределы морфизмов П. с.

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

Основная теорема теории П. с. утверждает (см. [1], [6]), что каждое пространство Xявляется пределом нек-рой однозначно (с точностью до изоморфизма) определенной П. с. п: Х пXn-1}. Эта П. с. наз. системой Постникова пространства X. Имеет место также вариант основной теоремы для отображений: любое отображение f: X Yявляется пределом нек-рого морфизма {fn : Х n Yn} П. с. ( р п: Х п Xn-1} пространства Xв П. с. {qn: Yn Yn-1} пространства Y. Этот морфизм наз. системой Постникова отображения f (др. названия: гомотопическая резольвента отображения, П-система общего типа отображения, система Мура- Постникова отображения). Для постоянного отображения с: X pt линейно связного пространства Xего П. с. совпадает с П. с. пространства X.

В приложениях большое распространение получили т. н. стандартные системы Постникова (к-рые зачастую наз. просто системами Постникова), представляющие собой П. с., составленные из главных расслоений р п: Х п Х п-1, индуцирующихся из стандартных расслоений Серра К(pn, n) ЕК(pn, п+ 1) К(pn, п+1) постниковскими факторами , интерпретируемыми в силу представимости групп когомологий как отображения kn:Xn-1К(pn,п+1). Стандартными П. с. обладают все пространства, гомотопически простые во всех размерностях (в терминологии [2] - абелевы пространства), и только они (см. [3], [4]).

Стандартные П. с. применяются для решения задач распространения и задач понятия, к которым сводятся многие задачи алгебраической топологии. Объединенная постановка этих задач заключается в следующем.

Пусть имеется (гомотопически) коммутативный квадрат пространств и отображений, в котором отображение i является замкнутым корасслоением с кослоем X/А, а р - расслоением со слоем F. Спрашивается, существует ли такое отображение , чтобы оба получающихся треугольника были (гомотопически) коммутативными. Далее, если такое отображение существует, то требуется вычислить множество гомотопич. классов отображений X Y " под А" (то есть rel A) и "над B".

Пусть для расслоения р: Y В существует стандартная П. с. {рД: YnYn-1 Y0=В} (для этого достаточно, напр., потребовать, чтобы пространства Y и Вбыли односвязными). Задачу относительного поднятия решают шаг за шагом.

Рассмотрим "элементарную" задачу относительного поднятия отображения fn-1:XYn_l с ( п-1)-го мена П. с, на п-й член П. с. (рис. 3).

Отображения fn-1 и gn-1 определяют отображение X/AК(pn,(F), п+1), т. е. класс когомологий , называемый препятствием. Отображение fn-1 тогда и только тогда можно поднять в Yn когда с n+1=0. Два поднятия и определяют элемент , называемый различающей, к-рый тогда и только тогда равен нулю, когда поднятия и гомотопны.

Таким образом, задача относительного поднятия будет решена, если последовательно возникающие препятствия с n+1 равны нулю (напр., если Н п+1( Х, А;pn(F))=0. Поднятие будет единственно, если последовательно возникающие различающие dn равны нулю (напр., если Н n( Х, A;pn(F))=0). В случае, когда корасслоение iявляется вложением клеточных разбиении, препятствие с п+1 и различающая dn совпадают с обычными "поклеточными" препятствием и различающей. Для односвязных пространств X, группы гомологии к-рых конечно порождены, П. с. эффективно вычислима [5] и, следовательно, эффективно вычислим гомотопич. тип пространства X. Однако на практике для большинства пространств из-за резко возрастающей сложности вычислений удается вычислить только начальные отрезки П. с. Для вычислений используется метод когомологических операций.

Двойственной к П. с. является система Картана - Серра


пространства X, состоящая из расслоений, слоями к-рых являются пространства Эйленберга - Маклейна К(pn (X), п -1). Пространство наз. (п+1)-м убивающим пространством для X. Члены системы Картана - Серра являются гомотопич. слоями ( п -1)-аквивалентностей для П. с. пространства X, а члены Х п П. с.- пространствами петель над слоями расслоений

Расщепленной П. с. наз. последовательность главных расслоений


слоями к-рых являются пространства Эйленберга - Маклейна К(pn, sn}, где . Расщепленные П. с. являются основным технич. средством изучения т. н. нильпотентных пространств и, в частности, их локализаций (см. [2], [6], [7]). Имеются и другие варианты П. с. (см. [6]).

Лит.:[1] Постников М. М., Исследования по гомотопической теории непрерывных отображений, ч. 1-2, М., 1955; [2] его же, "Успехи матем. наук", 1977, т. 32, в. 8, с. 117-81; [3] Мошер Р., Тангора М., Когомологические операции и их приложения в теории гомотопий, пер. с англ., М., 1970, гл. 13; [4] Спеньер Э., Алгебраическая топология, пер. с англ., М., 1971, гл. 8; [5] Браун Э. X., "Математика", 1958, т. 2, № 2, с. 3-24; [6] Ваuеs H. J., Obstruction theory of the homotopy classification of maps, B.-Hdlb.-N.Y., 1977; [7] Hilton P., Mislin G.,Roitberg J., Localization of nilpotent groups and spaces, Amst., 1976.

С. Н. Малыгин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "ПОСТНИКОВА СИСТЕМА" в других словарях:

  • ЭЙЛЕНБЕРГА - МАКЛЕЙНА ПРОСТРАНСТВО — пространство, обозначаемое через и представляющее функтор где п неотрицательное число и нек рая группа, коммутативная при п> 1, а есть n мерная группа когомологий конечного клеточного пространства . с коэффициентами в p. Существует при любых… …   Математическая энциклопедия

  • Постников, Михаил Михайлович — В Википедии есть статьи о других людях с такой фамилией, см. Постников. Михаил Михайлович Постников Дата рождения: 27 октября 1927 …   Википедия

  • СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… …   Математическая энциклопедия

  • БИБЛИОГРАФИЯ БОГОСЛОВСКОЙ ЛИТЕРАТУРЫ — БИБЛИОГРАФИЯ [от греч. βιβλίον книга и γράφω пишу] БОГОСЛОВСКОЙ ЛИТЕРАТУРЫ, информация об изданиях, относящихся к комплексу научно богословских дисциплин. Термин «библиография» появился в Др. Греции и первоначально означал «переписывание книг».… …   Православная энциклопедия

  • Новая хронология (Фоменко) — У этого термина существуют и другие значения, см. Новая хронология. «Новая хронология» (сокращённо НХ[1])  псевдонаучная[2][3][4][5] теория радикального пересмотра истории, созданная группой под руководством академика РАН математика… …   Википедия

  • Михаил Михайлович Постников — Дата рождения: 27 октября 1927 Место рождения: Шатура, Московская область Дата смерти: 27 мая 2004 Место смерти: Москва Гражданство …   Википедия

  • Михаил Постников — Михаил Михайлович Постников Дата рождения: 27 октября 1927 Место рождения: Шатура, Московская область Дата смерти: 27 мая 2004 Место смерти: Москва Гражданство …   Википедия

  • Постников, Михаил — Михаил Михайлович Постников Дата рождения: 27 октября 1927 Место рождения: Шатура, Московская область Дата смерти: 27 мая 2004 Место смерти: Москва Гражданство …   Википедия

  • Постников Михаил Михайлович — Михаил Михайлович Постников Дата рождения: 27 октября 1927 Место рождения: Шатура, Московская область Дата смерти: 27 мая 2004 Место смерти: Москва Гражданство …   Википедия

  • Переводы Корана — Ислам · Священные Писания …   Википедия


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

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