Сергей П. писал(а):
А все-таки, как насчет моего вопроса?
Вопрос очень интересный. А он действительно доказал, что они ДИФФЕОМОРФНЫ? Насколько я помню, прозводная Фреше определяется для отображений, действующих из линейного пространства в линейное пространство, а сфера, к сожалению, не является линейным подпространством в ЛНП. Теперь к вопросу. Точно на него ответить не могу, но могу порекомендовать еще 2 книжки по этой теме:
1. Чепмен. Лекции по Q-многообразиям
2. Федорчук, Чигогидзе. Бесконечномерные многообразия.
Возможно, там есть информация об этом.