418
правок
Изменения
→Гомотопия путей, связанная, петельная гомотопия
=== Гомотопия путей, связанная, петельная гомотопия ===
{{Определение
|definition=
Пусть <tex> \gamma_0, \gamma_1: [a; b] \to O </tex>. <tex> \Gamma: [a; b] \times [0; 1] \to O </tex> — гомотопия этих путей, если она непрерывна и <tex> \forall t \ \Gamma(t, 0) = \gamma_0 (t), \ \Gamma(t, 1) = \gamma_1(t) </tex>. Связанная гомотопия — <tex> \gamma_0 (a) = \gamma_1(a), \ \gamma_0 (b) = \gamma_1(b), \ \forall s \ \Gamma (a, s) = \gamma_0 (a), \ \Gamma (b, s) = \gamma_0 (b) </tex>. Петельная гомотопия — <tex> \gamma_0 (a) = \gamma_0(b), \ \gamma_1 (a) = \gamma_1(b), \ \forall s \in [0, 1] \ \Gamma (a, s) = \Gamma (b, s) </tex>.
}}
=== Односвязная область ===
