Аннотация:
Знаменитая теорема Смейла–Хирша о классификации погружений позволяет получить красивые приложения алгебраической топологии к дифференциальной. К сожалению, эти приложения отсутствуют в книгах и обзорных статьях как на русском, так и на английском языках. Цель настоящей работы — изложить наиболее простые и фундаментальные из этих приложений: теорему Смейла–Кайзера о размерностях выворачивающихся наизнанку сфер (которой мы даем два новых доказательства), теорему Хефлигера–Хирша о классификации погружений при помощи эквивариантных отображений и следствия последней о вложениях высокосвязных многообразий (в частности, сфер).