рудяк
41НЕСГЛАЖИВАЕМОЕ МНОГООБРАЗИЕ — кусочно линейное или топологическое многообразие, не допускающее гладкой структуры. Сглаживанием кусочно линейного многообразия Xназ. кусочно линейный изоморфизм где М гладкое многообразие. Многообразие, не допускающее сглаживания, и наз.… …
42ОБОБЩЕННЫЕ ТЕОРИИ КОГОМОЛОГИИ — экстраординарные теории когомологий, класс специальных функторов из категории пар пространств в категорию градуированных абелевых групп. О. т. к. есть пара функтор из категории Рпар топологич. пространств в категорию GA градуированных абелевых… …
43ОРИЕНТАЦИЯ — формализация и далеко идущее обобщение понятия направления обхода. Определяется О. нек рых специальных классов пространств ( многообразий, векторных расслоений, Пуанкаре комплексов и т. д.). Современный взгляд на О. дается в рамках обобщенных… …
44ОСНАЩЕННОЕ МНОГООБРАЗИЕ — гладкое многообразие с фиксированной тривиализацией нормального расслоения. Более точно, пусть гладкое n мерное многообразие Мвложено в и пусть (k мерное) нормальное расслоение v, отвечающее этому вложению, тривиально. Оснащением многообразия М,… …
45ПРЕПЯТСТВИЕ — понятие гомотопич. топологии; инвариант, равный нулю, если соответствующая задача разрешима, и отличный от нуля в противном случае. Пусть (X, А) пара клеточных пространств и У односвязное (более общо гомотопически простое) топологич. пространство …
46ПУАНКАРЕ ГИПОТЕЗА — утверждение, приписываемое А. Пуанкаре (Н. Poincare) и гласящее: любое замкнутое односвязное трехмерное многообразие гомеоморфно трехмерной сфере. Естественным обобщением является следующее утверждение (обобщенная гипотеза Пуанкаре): любое… …
47ПУАНКАРЕ КОМПЛЕКС — обобщение понятия многообразия; пространство, группы гомологии к рого устроены в нек ром смысле так же, как группы гомологии замкнутого ориентируемого многообразия. А. Пуанкаре (Н. Poincare) обнаружил, что группы гомологии многообразия… …
48ПУАНКАРЕ ПРОСТРАНСТВО — 1) П. п. формальной размерности и топологическое пространство X, где задан элемент , что гомоморфизм вида является изоморфизмом для любого k(здесь операция Уитни умножения, высечение). При этом наз. изоморфизмо …
49РАЗЛИЧАЮЩАЯ — кодепь, препятствие к продолжению гомотопии между отображениями. Пусть X нек рое клеточное пространство, Y односвязное топологич. пространство; пусть, далее, даны два отображения f, g: . и гомотопия (где I=[0, 1] и Xn есть n мерный остов… …
50РАЗЛИЧАЮЩИЙ ЭЛЕМЕНТ — в К теории элемент группы К( Х, А).(где (X, А) пара пространств, при этом обычно X считается конечным клеточным пространством и А его клеточным подпространством), строящийся но тройке , где векторные расслоения одной и той же размерности над Xи… …
