Трюк Александера

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

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

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

Гомеоморфизм n-мерного шара , который совпадает с тождественным на границе , изотопен тождественному гомеоморфизму. Более того, для изотопии любых двух гомеоморфизмов шара достаточно их изотопии на границе.

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

Следствия

  • Два гомеоморфизма n-мерного шара , сужения которых на границу изотопны, являются изотопными.

Ссылки

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