Спасибо, всё достаточно просто, я ожидал чего-то более интересного

Ещё один вопрос:
Цитата:
Рассмотрим на числовой прямой

отношение эквивалентности

; факторпространство

по этому отношению называется одномерным тором и обозначается

.
Так вот, почему тор, а не одномерная сфера

? Я понимаю, что одномерный тор изоморфен одномерной сфере, но ведь тор, по определению, произведение сферы (в одномерном случае - нульмерной) на отрезок?
И ещё, если рассматривать топологические группы

,

, то факторгруппа

опеделяет ту же самую

, так?