Здравствуйте.
1)Доказать, что группы

являются гладкими многообразиями.
2)Доказать, что

лежит на сфере

радиуса

.
3)Привести пример многообразия с двумя несогласованными гладкими структурами.
Вот я попробовал :
1)Введем структуру гладких многообразий на

. Т к

- открытое, то у нас одна карта

- гомеоморфизм

- гладкое многообразие.Для

аналогично. Я не уверен, что решение верное.
2)Пусть

и

. Возьмем детерминант по модулю

. Про радиус понятно, что корень из

, а вот я не показал, почему степень у сферы

..из чего это видно?
3)Вот рассмотрим на

отображение

, где

- целое положительное число. Как показать, что

задает карту на

с областью определения, совпадающей со всей прямой

. Тогда эти атласы попарно не согласованы?