Здравствуйте!
Меня интересует следующий сюжет: есть замкнутый

-мерный шар в евклидовом пространстве,

,

; на нём задано однопараметрическое семейство инволютивных распределений, гладко зависящее от параметра. Формально это можно описать как гладкую гомотопию отображений в грассманиан

с помощью естественных отождествлений. Ну и все отображения должны соответствовать инволютивным распределениям. Подскажите пожалуйста, обязательно ли такая гомотопия порождена некоторой изотопией шара? То есть всегда ли существует семейство диффеоморфизмов

(гладко зависящее от параметра), такое что для всех значений параметра

и всех

с учётом тех же отождествлений выполнено
