Настоящая книга является систематическим учебником по теории гомотопий в той – неожиданно обширной – ее части, которая может быть построена без привлечения гомологических методов. Как известно, преподавание и изучение алгебраической топологии чрезвычайно осложнены тем, что теория гомологии и когомологий, занимающая в этой науке центральное место (что, кстати сказать, справедливо и для современного этапа ее развития-при соответствующем, более общем, понимании гомологии и когомологий), строится в высшей степени громоздко, требуя для своего аккуратного изложения целых книг. Прежде чем достичь хотя бы простейших приложений, студент должен пересечь обширную пустыню абстрактных конструкций, роль и значение которых для него долгое время остаются непонятными и неизвестными и которые он вынужден изучать лишь из доверия к преподавателю. Авторами учебников по алгебраической топологии было проявлено много изобретательности, чтобы облегчить студентам эту дорогу, но существенных результатов они не добились. Между тем существует очень простой и элегантный способ построения теории гомологии, укладывающийся в одну-две лекции. Идея его состоит в том, чтобы определять группы цепей клеточных пространств как относительные гомотопические группы остовов и на этой основе строить группы гомологии и когомологий. Конечно, это требует достаточно продвинутой теории гомотопий, которую приходится поэтому предварительно излагать. В целом этот путь, быть может, более труден: вместо пересечения ровной, хотя и скучной, пустыни приходится преодолевать крутые склоны и глубокие ущелья горной страны. Но эта страна не безжизненна, и при вступлении в нее перед путником почти немедленно открываются красивые виды, побуждающие его двигаться дальше. Безусловно, этот путь имеет и свои недостатки, главнейшим из которых является создание у студента ложной перспективы о значении элементарно-гомотопических (= не использующих теорию гомологии) методов и недооценка им мощи и эффективности методов теории гомологии. Другое возражение против этого пути состоит в том, что без теории гомологии доказательства ряда ключевых теорем существенно осложняются и делаются неоправданно трудными. Однако следует иметь в виду, что внутреннюю нетривиальность теории обойти никогда нельзя, и если удается вытащить клюв, то увязает хвост. Вместе с тем изучение впоследствии гомологических доказательств тех же теорем и их сравнение с элементарно-гомотопическими доказательствами со всей силой позволяет подчеркнуть мощь теории гомологии и без труда скорректировать сложившееся вначале ложное впечатление. Таким образом, достоинства предлагаемого пути существенно перевешивают недостатки. Конкретное построение теории гомологии на базе теории гомотопии будет осуществлено в следующих выпусках этих "Лекций". Эта книга выросла из конспекта специального курса, который я неоднократно читал студентам и аспирантам механико-математического факультета МГУ. Каждая лекция в книге получилась из записи реальной устной лекции, хотя и значительно переработанной. Из-за острейшего дефицита времени при чтении специального курса значительно чаще, чем в обязательном курсе, приходится ограничиваться лишь идеей доказательств, оставляя подробное их проведение слушателям. Вспомогательные утверждения из других отделов математики достаточно лишь формулировать со ссылками на литературу, а иллюстрирующие общую теорию примеры лишь описывать, также предоставляя их подробный разбор слушателям. При переносе же устной лекции на бумагу сохранять эти особенности нет необходимости и, более того, все доказательства стоит производить подробно, разбор примеров осуществлять до конца, а "посторонние" леммы доказывать. Этим объясняется неожиданно большой объем некоторых лекций в книге. Материал, по тем или иным причинам не излагавшийся на лекциях, вынесен в дополнения. (Таким образом, распределение материала по лекциям и дополнениям в основном диктовалось запросами спецкурса и лишь очень мало связано с его внутренней математической ценностью и значительностью. Тем не менее при первом чтении книги рекомендуется сначала пропускать дополнения и возвращаться к ним по мере надобности.) Лекция 0 имеет вводный характер и посвящена в основном разъяснению на примерах предмета и метода алгебраической топологии. В Дополнении к ней излагается экспоненциальный закон для пространств отображений. Лекции 1 и 2 посвящены корасслоениям, расслоениям и смежным вопросам. В Дополнениях к этим лекциям излагаются теоремы Дольда о расслоениях. (Двойственные теоремы не упоминаются. Их формулирование и доказательство оставляются читателю.) В лекции 3 излагаются общие методы построения гомотопически инвариантных функторов, обосновывается необходимость перехода к пунктированным пространствам, вводятся ко-Н-пространства и Н-пространства, надстройки и пространства петель. В Дополнении доказывается, что любой связный Н-моноид является Н-группой. Лекция 4 содержит общее обсуждение категории пунктированных пространств и ее взаимоотношений с категорией пространств без отмеченных точек. В связи с последним вопросом вводится фундаментальная группа. В Дополнении изучается смеш-умножение топологических пространств и гомотопических классов, вводится инвариант cat Люстерника-Шнирельмана и рассматриваются условия, обеспечивающие нильпотентность или абелевость групп гомотопических классов. В лекции 5 излагается обычный материал об абсолютных гомотопических группах, а в Дополнении строятся точные последовательности Пуппе. Лекция 6 посвящена накрытиям вообще и методам вычисления фундаментальных групп в частности. В Дополнении после изложения необходимого алгебраического материала доказывается теорема Зейферта-ван Кампена. В лекции 7 вводится понятие степени и вычисляются группы pimSn при m =< n. В Дополнении излагаются стандартные геометрические следствия нестягиваемости сферы (теорема Борсука о неограниченной компоненте, топологическая инвариантность размерности, характеризация множеств, не рассекающих сферу, теорема об инвариантности области). В лекции 8 мы, возвращаясь к общей теории гомотопических групп, вводим относительные гомотопические группы. В Дополнении доказывается точность гомотопических последовательностей троек и триад. В следующей лекции 9 излагается принадлежащая Дольду и Тому теория квазирасслоений (называемых в книге слабыми расслоениями). В Дополнении доказывается теорема Дольда о гомотопических расслоениях. Лекция 10 посвящена теореме Джеймса о надстроечной последовательности. В Дополнении доказываются известные общие теоремы о гомотопических свойствах фильтраций. На этом кончается первая часть курса, посвященная общим понятиям теории гомотопий и гомотопическим группам. Только эта часть курса вошла в настоящую книгу. Следующие лекции (составляющие отдельную книгу "Теория гомотопий клеточных пространств", планируемую к выходу в свет в 1985 г.) в основном концентрируются вокруг понятия клеточного пространства. В лекции 11 вводится и изучается категория клеточных пространств. Более хлопотно доказываемые свойства клеточных пространств (локальная стягиваемость и паракомпактность) вынесены в Дополнение. В лекции 12 на основе обычной техники гладкой аппроксимации доказывается n-связность пар (X, Хn) и теорема о клеточной аппроксимации. В качестве приложения доказывается теорема Фрейденталя с обычными следствиями. В заключение рассматриваются свойства антиподальных отображений. В Дополнении после изложения основных понятий теории симплициальных пространств теорема об аппроксимации доказывается в ее симплициальном варианте. В лекции 13 категория клеточных пространств сравнивается с категорией всех пространств (теорема о том, что любое топологическое пространство слабо гомотопически эквивалентно клеточному пространству). Здесь же доказывается теорема Уайтхеда о гомотопических эквивалентностях. Дополнение к этой лекции посвящено теоремам представимости (Брауна, Адамса и Хеллера). На этом общая теория клеточных пространств временно прерывается и со следующей лекции мы обращаемся к теории гомотопических операций. В лекции 14 излагаются общие теоремы о гомотопических операциях (вытекающие из представимости гомотопических групп), характеризуются аддитивные операции и вводится умножение Уайтхеда. В лекции 15 обсуждается обобщенное умножение Уайтхеда и доказываются его алгебраические свойства (косокоммутативность, билинейность и тождество Якоби). В Дополнении к лекции 15 доказывается теорема Хилтона-Милнора о гомотопических группах букетов надстроек. Геометрические свойства умножения Уайтхеда обсуждаются в лекции 16. Там же вводится инвариант Хопфа и его обобщения по Уайтхеду. Методом Уайтхеда вычисляется инвариант Хопфа конструкции Хопфа и, в частности, инвариант Хопфа отображений Хопфа. В Дополнении вводятся и изучаются инварианты Хопфа, обобщенные по Хилтону. В частности, обсуждается левый дистрибутивный закон для композиционного умножения. В лекции 17 мы, возвращаясь в последний раз к клеточным пространствам, доказываем теорему Блейкерса и Масси о вырезании для триад и на ее основе-теорему Фрейденталя для любых связных пространств. В лекции 18 доказывается "трудная часть теоремы Фрейденталя" и вычисляются группы pin + 1Sn и pin + 2Sn. В вычислении последней группы ключевую роль играет тот факт, что элемент nun o nun + 1 группы pin + 2Sn отличен от нуля. "Современное" доказательство этого факта основывается на теории когомологических операций. Поскольку этот путь нам пока недоступен, мы вынуждены изложить прямое геометрическое доказательство, предложенное в свое время Дж. У.Уайтхедом. Материал заключительной лекции 19 концентрируется вокруг вопроса о влиянии на гомотопические группы pin приклеивания клеток. При n = 1 мы получаем известное описание образующих и соотношений фундаментальных групп клеточных пространств, что, в частности, позволяет доказать для этих пространств теорему Зейферта-ван Кампена в ее классической формулировке. При n > 1 вводятся убивающие пространства, строятся пространства Эйленберга-Маклейна и вычисляется группа pin(Хn, Хn – 1) (на этой основе и будет в следующем семестре построена теория гомологии). В Дополнении к этой лекции вкратце рассматриваются трехмерные многообразия и их фундаментальные группы. Хотя алгебраическая топология развилась в основном на глазах нашего поколения, в ее истории уже немало темных мест. Это ставит авторов учебников по топологии перед рядом трудно разрешимых задач, например при составлении библиографии, которая в идеале должна быть аннотированным путеводителем студента по лабиринту журнальной литературы. Без предварительного выяснения всех приоритетов, влияний и заимствований любая такая библиография будет содержать массу исторических ошибок и создаст повод для дискуссий, обвинений и обид. Простое же перечисление всех известных автору статей (или лишь статей, им использованных), для учебных целей почти бесполезное, наверняка ввиду неизбежной случайности их выбора даст тот же результат. Очень труден также вопрос об авторстве тех или иных теорем; даже само понятие "автор теоремы" не имеет четкой экспликации (скажите, например, кто автор теоремы о том, что группа [K, X] гомотопических классов отображений n-мерного клеточного пространства К в (п – 1)-связное пространство X изоморфна группе когомологий Нn(К; pinХ): Хопф, впервые описавший группу [К, X], но в других терминах и только для случая, когда X = Sn, Уитни, привлекший когомологий, или Уайтхед, введший клеточные пространства и мимоходом заметивший, что формулировка Уитни годится для любых клеточных пространств?). Рохлин и Фукс в своем известном учебнике [10] разрубают гордиев узел этих проблем одним махом: теоремы они оставляют безымянными, а в библиографии ограничиваются некомментированным списком книг и статей, содержащих дополнительную информацию, на которую в тексте имеются ссылки. В этих "Лекциях" принято другое решение: дается полная и комментированная библиография, но только книг и-за немногими исключениями-только на русском языке, как наиболее доступных, а традиционные имена теорем трактуются как простые, удобные для ссылок ярлыки, не связанные обязательно с авторством (которое поэтому в бесспорных случаях специально указывается). М. М. Постников
![]() Доктор физико-математических наук, профессор, лауреат Ленинской премии СССР. В 1945 г. окончил механико-математический факультет МГУ имени М. В. Ломоносова. В 1945–1947 гг. обучался в аспирантуре отделения математики мехмата МГУ, а в 1947–1949 гг. — в аспирантуре Математического института им. В. А. Стеклова АН СССР. После защиты кандидатской диссертации работал в отделе геометрии и топологии МИРАН. В 1953 г. защитил докторскую диссертацию. В 1957 г. М. М. Постников был удостоен премии Московского математического общества за работы в области алгебраической топологии, а в 1967 г. стал лауреатом Ленинской премии за разработку гомотопной теории непрерывных отображений. С 1965 г. и до последних дней работал профессором кафедры высшей геометрии и топологии мехмата МГУ. Подготовил 16 кандидатов физико-математических наук, из которых 9 стали впоследствии докторами наук. Автор фундаментальных работ в области алгебраической топологии и теории гомотопий; опубликовал более 15 учебников и монографий по различным областям математики.
|