Большая Советская Энциклопедия (ТО)

  Вообще говоря, установление несуществования гомоморфизма (j тем легче, чем сложнее алгебраическая структура объектов h(X). Поэтому в алгебраических Т. рассматриваются алгебраические объекты чрезвычайно сложной природы, и требования алгебраической топологии существенно стимулировали развитие абстрактной алгебры.

  Топологическое пространство Х называется клеточным пространством, а также клеточным разбиением (или CW -комплексом), если в нём указана возрастающая последовательность подпространств X ⁰ Ì ¼ Ì X ^n—1 Ì X ⁿ Ì ¼ (называется остовами клеточного пространства X ), объединением которых является всё X , причём выполнены следующие условия: 1) множество U Ì X тогда и только тогда открыто в X , когда для любого n множество U Ç X ⁿ открыто в X ⁿ ; 2) X ⁿ получается из X ^n—1 приклеиванием некоторого семейства n -мepных шаров по их граничным (n— 1)-мepным сферам (посредством произвольного непрерывного отображения этих сфер в X ^n—1 ); 3) X⁰ состоит из изолированных точек. Таким образом, структура клеточного пространства состоит, грубо говоря, в том, что оно представлено в виде объединения множеств, гомеоморфных открытым шарам (эти множества называются клетками). В алгебраических Т. изучаются почти исключительно клеточные пространства, поскольку специфика задач алгебраических Т. для них уже полностью проявляется. Более того, фактически для алгебраических Т. интересны некоторые особо простые клеточные пространства (типа полиэдров , см. ниже), но сужение класса клеточных пространств, как правило, существенно осложняет исследование (поскольку многие полезные операции над клеточными пространствами выводят из класса полиэдров).

  Два непрерывных отображения f, g : X ® Y называются гомотопными, если они могут быть непрерывно продеформированы друг в друга, то есть если существует такое семейство непрерывных отображений f_t : X ® Y, непрерывно зависящих от параметра t Î [0, 1], что f₀ = f и f₁ = g (непрерывная зависимость от t означает, что формула F(x, t) = f_t (x), х Î X , t Î [0, 1] определяет непрерывное отображение F : Х ´ [0, 1] ® Y ; это отображение, а также семейство {f_t } называют гомотопией, связывающей f с g ). Совокупность всех непрерывных отображений X ® Y распадается на гомотопические классы гомотопных между собой отображений. Множество гомотопических классов непрерывных отображений из Х в Y обозначается символом [X , Y ]. Изучение свойств отношения гомотопности и, в частности, множеств [X , Y ] составляет предмет так называемой гомотопической топологии (или теории гомотопий). Для большинства интересных топологических пространств множества [X , Y ] конечны или счётны и могут быть в явном виде эффективно вычислены. Топологические пространства Х и Y называются гомотопически эквивалентными, или имеющими один и тот же гомотопический тип, если существуют такие непрерывные отображения f : Х ® Y и g : Y ® Х , что непрерывные отображения g×f : Х ® Х и f×g : Y ® Y гомотопны соответствующим тождественным отображениям. В гомотопической Т. такие пространства следует рассматривать как одинаковые (все их «гомотопические инварианты» совпадают).

  Оказывается, что во многих случаях (в частности, для клеточных пространств) разрешимость задачи распространения зависит только от гомотопического класса непрерывного отображения f : A ® Y ; точнее, если для f распространение g : Х ® Y существует, то для любой гомотопии f_t : A ® Y (с f₀ = f) существует распространение g_t : Х ® Y такое, что g₀ = g . Поэтому вместо f можно рассматривать его гомотопический класс [f] и в соответствии с этим изучать лишь гомотопически инвариантные функторы (кофункторы) h , то есть такие, что h(f₀ ) = h(f₁ ), если отображения f₀ и f₁ гомотопны. Это приводит к настолько тесному переплетению алгебраической и гомотопической Т., что их можно рассматривать как единую дисциплину.

  Для любого топологического пространства Y формулы h(X) = [X , Y ] и h(f) = [jf], где f : X ₁ ® X ₂ и j : X ₂ ® Y, определяют некоторый гомотопически инвариантный кофунктор h , о котором говорят, что он представлен топологическим пространством Y . Это — стандартный (и по существу единственный) приём построения гомотопических инвариантных кофункторов. Чтобы множество h (X ) оказалось, скажем, группой, нужно У выбрать соответствующим образом, например потребовать, чтобы оно было топологической группой (вообще говоря, это не совсем так: необходимо выбрать в Х некоторую точку x ₀ и рассматривать лишь непрерывные отображения и гомотопии, переводящие x ₀ в единицу группы; это техническое усложнение будет, однако, в дальнейшем игнорироваться). Более того, достаточно, чтобы Y было топологической группой «в гомотопическом смысле», то есть чтобы аксиомы ассоциативности и существования обратного элемента (утверждающие фактически совпадение некоторых отображений) выполнялись бы только «с точностью до гомотопии». Такие топологические пространства называются Н -пространствами. Таким образом, каждое Н -пространство Y задаёт гомотопически инвариантный кофунктор h(X) = [X , Y ], значениями которого являются группы.