Гомотопия

Гомото́пия — семейство непрерывных отображений $F_{t}\colon X\to Y,\;t\in [0,1]$ , непрерывно зависящих от параметра, более точно — непрерывное отображение $F\colon [0,1]\times X\to Y$ .

Гомотопия

Связанные определения

Отображения $f,g\colon X\to Y$ $\text{[math]}$ называются гомотопными ( $g\sim f$ $\text{[math]}$ ), если существует гомотопия $f_{t}$ $\text{[math]}$ такая, что $f_{0}=f$ $\text{[math]}$ и $f_{1}=g$ $\text{[math]}$ .
- Это задаёт отношение эквивалентности между непрерывными отображениями $X\to Y$ .

Гомотопическая эквивалентность топологических пространств $X$ $\text{[math]}$ и $Y$ $\text{[math]}$ — пара непрерывных отображений $f\colon X\to Y$ $\text{[math]}$ и $g\colon Y\to X$ $\text{[math]}$ такая, что $f\circ g\sim \operatorname {id} _{Y}$ $\text{[math]}$ и $g\circ f\sim \operatorname {id} _{X}$ $\text{[math]}$ , здесь $\sim$ $\text{[math]}$ обозначает гомотопность отображений. В этом случае также говорят, что $X$ $\text{[math]}$ с $Y$ $\text{[math]}$ имеют один гомотопический тип.
- Если $X$ и $Y$ гомеоморфны ( $X\simeq Y$ ), то они гомотопически эквивалентны; обратное в общем случае неверно.
- Гомотопический инвариант — характеристика пространства, которая сохраняется при гомотопической эквивалентности топологических пространств; то есть, если два пространства гомотопически эквиваленты, то они имеют одинаковую характеристику. Например: связность, фундаментальная группа, эйлерова характеристика.

Если на некотором подмножестве $A\subset X,\;F(t,a)=f(a)$ для всех $t$ при $a\in A$ , то $F$ называется гомотопией относительно $A$ , а $f$ и $g$ гомотопными относительно $A$ .

Отображение, гомотопное постоянному, то есть отображению в точку, называют стягиваемым или гомотопным нулю.

Вариации и обобщения

Изотопия — гомотопия топологического пространства $X$ по топологическому пространству $Y$ $f_{t}\colon X\to Y,\;t\in [0,1]$ , в которой при любом $t$ отображение $f_{t}$ является гомеоморфизмом $X$ на $f_{t}(X)\subset Y$ .

Отображение $f\colon X\to Y$ называется слабой гомотопической эквивалентностью если оно индуцирует изоморфизм гомотопических групп. Подпространство $A$ топологического пространства $X$ такое, что включение $A\subset X$ является слабой гомотопической эквивалентностью называется репрезентативным подпространством.

Если $\varphi :E\to X$ и $\varphi ':E'\to X$ есть произвольные расслоения над $X,$ то гомотопия $f_{t}:E\to E'$ называется послойной, если $\varphi 'f_{t}=\varphi .$ Морфизмы $f,g:E\to E'$ послойно гомотопны, если существует послойная гомотопия $f_{t}:E\to E',$ для которой выполняются равенства $f_{0}=f$ и $f_{1}=g.$ Морфизм $f:E\to E'$ — послойная гомотопическая эквивалентность, если существует морфизм $g:E'\to E$ такой, что $gf$ и $fg$ послойно гомотопны $\mathrm {Id} .$ Расслоения $E$ и $E'$ принадлежат к одному и тому же послойному гомотопическому типу, если существует хотя бы одна послойная эквивалентность $f:E\to E'.$

См. также

Литература

Васильев В. А. Введение в топологию. — М.: ФАЗИС, 1997. — 132 с. — ISBN 5-7036-0036-7.
Рохлин В. А., Фукс Д. Б. Начальный курс топологии. Геометрические главы. — М.: Наука, 1977
Спеньер Э. Алгебраическая топология. — М.: Мир, 1971

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.