Задача звучит так: "Построить атлас на множестве всех отрезков в
. Ориентируемо ли это многообразие?"
Моя идея была такой: возьмём точку с тремя координатами в
и будем через неё проводить прямые (это
) и откладывать отрезки длиной
. Получается декартово произведение
. 6 координат: {
} (
- координаты конца отрезка,
- длина отрезка,
- для
). 3 карты тогда: отрезок не параллелен плоскости 1)
, 2)
, 3)
. Функции склейки для первых четырёх координат тождественны, в
известны. Для проверки ориентируемости нужно написать якобиан перехода от одних координат к другим и сравнить с нулём.
Есть одно большое НО: один и тот же отрезок можно задать разными координатами, выбирая разные начала отрезка.
Была ещё идея использовать вместо
два угла [
) или взять просто координаты двух концов, но тогда не вполне понятно какие карты. Может фиксирование точки вообще ложный шаг? Но ведь вся суть отрезка в том, что у него есть концы.