Русская Википедия:Трюк Александера

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Трюк Александера — математическая конструкция, позволяющая строить изотопии гомеоморфизмов.

Назван в честь Джеймса Александера.

Формулировка

Гомеоморфизм <math>f\colon D^n\to D^n</math> n-мерного шара <math>D^n</math>, который совпадает с тождественным на границе <math>S^{n-1}</math>, изотопен тождественному гомеоморфизму. Более того, для изотопии любых двух гомеоморфизмов шара достаточно их изотопии на границе.

Требуемая изотопия может быть записана явно:

<math> J(x,t) = \begin{cases} tf(x/t), & \mbox{if } 0 \leqslant \|x\| < t, \\ x, & \mbox{if } t \leqslant \|x\| \leqslant 1. \end{cases} </math>

Следствия

  • Два гомеоморфизма n-мерного шара <math>D^n</math>, сужения которых на границу <math>S^{n-1}</math> изотопны, являются изотопными.

Ссылки