ГОМОТОПИЯ это:

ГОМОТОПИЯ

гомотопность двух непрерывных отображений - формализация интуитивного представления о деформи-руемости одного отображения в другое. Точнее, отображения паз. гомотопными (обозначение ), если существует такое семейство непрерывных отображений непрерывно зависящих от параметра что (фиксация отрезка [0, 1] произведена здесь лишь по соображениям технич. удобства; ясно, что вместо него можно взять любой другой отрезок действительной оси). Это семейство (называемое гомотопией связывающей ) является путем в пространстве всех непрерывных отображений , связывающим точку f с точкой g, так что гомотопность отображений является специализацией на случай пространств отображений общего отношения "быть связанным непрерывным путем". Поэтому, в частности, отношение гомотопности является отношением эквивалентности, а соответствующие классы (они называются гомотопич. классами) представляют собой компоненты линейной связности пространства . Для придания сказанному точного смысла необходимо уточнить, что означает выражение "отображения ft непрерывно зависят от t". Самый естественный путь состоит во введении в топологии (или хотя бы псевдотопологии). Однако по традиции принято поступать иначе. Именно, но определению, считается, что непрерывно зависит от t, если функция непрерывна по совокупности переменных, т. е. если непрерывно отображение , определенное формулой (это отображение также часто наз. гомотопией, связывающей ).

Описанные Г. иногда наз. свободными, чтобы отличить их от "связанных" Г., возникающих, когда фиксирован нек-рый класс непрерывных отображений и наложено требование, чтобы для любого . Напр., если задано подпространство , то можно рассматривать связанные на Агомотопий, отличающиеся тем, что на Адля всех t. В этом случае говорят, что отображение гомотопно отображению относительно Аи пишут


Другой тип "связанных" Г. возникает, когда в Xи У выбраны подпространства и рассматриваются лишь отображения , удовлетворяющие условию . Такие отображения наз. отображениями пары в пару [обозначение , а соответствующие Г. [т. е. гомотопий, для к-рых для всех t] - гомотопиями отображений пар. Вместо пар можно рассматривать тройки (с условием или без этого условия), четверки и т. п. Можно рассматривать, напр., Г. отображений пар относительно третьего подпространства и т. д. Возможны и принципиально другие типы "связанных" Г.

Задача установления гомотопичности ("связанной" или нет) двух данных отображений равносильна задаче распространения на все непрерывного отображения в Y, заданного на (а в задаче гомотопности rel A - на ). В этом смысле задача гомотопности является частным случаем задачи распространения. Вместе с тем в широком классе случаев (а именно, для так наз. корасслоений). возможность распространения на все Xнепрерывного отображения , заданного на подпространстве , зависит только от его гомотопич. класса. Эта тесная связь задачи гомотопности и задачи распространения обусловливает их совместное рассмотрение в рамках так наз. теории гомотопий. См. Гомотопический тип. м. М. Постников.


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

Смотреть что такое "ГОМОТОПИЯ" в других словарях:

  • Гомотопия — Гомотопия  непрерывное семейство отображений . Содержание 1 Определение 2 Связанные определения …   Википедия

  • ГОМОТОПИЯ — см. Топные отношения …   Химическая энциклопедия

  • Накрывающая гомотопия — для гомотопии при заданном отображении ― гомотопия такая, что . При этом, если накрывающее отображение для отображения было задано заранее, то продолжает …   Википедия

  • НАКРЫВАЮЩАЯ ГОМОТОПИЯ — для гомотопии Ft отображения при заданном отображении гомотопия такая, что . При этом, если накрывающее отображение Go для отображения Fo было задано заранее, то Gt продолжает Go. Аксиома накрывающей гомотопии в сильной форме требует, чтобы для… …   Математическая энциклопедия

  • Цепная гомотопия — Цепная гомотопия  вариация понятия «гомотопия» в алгебраической топологии и гомологической алгебры Определение Пусть   цепной комплекс модулей то есть семейство модулей и модульных гомоморфизмов ; и …   Википедия

  • Репрезентативное подпространство — Гомотопия  непрерывное семейство отображений . Содержание 1 Определение 2 Связанные определения …   Википедия

  • ИЗОТОПИЯ — гомотопия топологич. пространства Xпо топологич. пространству Y: ft: . (здесь и всюду далее в к рой при любом tотображение ft является гомеоморфизмом Xна нек рое подмножество Y. Эквивалентно, И. послойное непрерывное отображение f : такое, что f… …   Математическая энциклопедия

  • Цепной комплекс — основное понятие гомологической алгебры. Содержание 1 Цепной комплекс 2 Коцепной комплекс 3 …   Википедия

  • Коцепной комплекс — Цепной комплекс основное понятие гомологической алгебры. Содержание 1 Цепной комплекс 2 Коцепной комплекс 3 Гомологии и когомологии …   Википедия

  • РАЗЛИЧАЮЩАЯ — кодепь, препятствие к продолжению гомотопии между отображениями. Пусть X нек рое клеточное пространство, Y односвязное топологич. пространство; пусть, далее, даны два отображения f, g: . и гомотопия (где I=[0, 1] и Xn есть n мерный остов… …   Математическая энциклопедия

Книги

Другие книги по запросу «ГОМОТОПИЯ» >>


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

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