С точки зрения вращения твердого тела, почему и 3-тор не то же самое. Всякое жесткое вращение есть вращение вокруг трех осей. Так как же не является ? Кажется, так и должно быть. Это потому, что вращения для как-то стеснены?
Хороший вопрос. Я попытаюсь ответить на него с нескольких точек зрения, начиная с самой простой (но самой сложной) и переходя к более сложной (но строгой).
Вы, наверное, уже знаете, что можете нанести на карту сферу со сферическими координатами - в основном широта и долгота. Но это плохие координаты сферы; вы получаете сингулярности на северном и южном полюсах. Что ж, оказывается, и на самом деле хорошие координаты для цилиндра: это просто высота в цилиндре, и это угол вокруг цилиндра. Но тогда вы должны сопоставить этот цилиндр со сферой. И чтобы сделать это, вам в основном нужно зажать верх и низ цилиндра до точек (северный и южный полюса).
Теперь, сделав шаг назад, мы видим, что это похоже на вашу ситуацию. Представьте, что мы задаемся вопросом, почему не то же самое, что . ну можно карту на следующее. является тором. Вдавите стенки тора друг в друга, пока не получите цилиндр. Затем зажмите верх и низ цилиндра до кончиков.
Но вы должны чувствовать, что сделали что-то необратимое здесь. Все эти операции сжатия и сжатия на самом деле изменяют структуру пространства, с которым вы имеете дело.
(Как отмечает Селена в комментариях, то, что мы сделали здесь, известно как приостановка в топологии, где это один из классических способов сформировать новое топологическое пространство из более простого. И эта идея сжатия/сжатия/ раздавливание известно как взятие частного .)
Ваша интуиция о том, что существуют «ограничения» для верно. Чтобы быть более точным, вы действительно можете добраться до от , но только путем «идентификации» множества точек в последнем. Под «идентификацией» мы подразумеваем сделать две точки одной и той же точкой.
Первый шаг – принять участие в одном из ваших кругов. и определить точки друг напротив друга, чтобы дать вам просто интервал . Возможно, я не буду объяснять это завещание, но это простая операция, которую вы можете легко себе представить. Просто возьмите круг на плоскости, а затем сожмите его стороны так, чтобы координата становится равной нулю (сдавливает его стороны).
Теперь у вас есть пространство углов Эйлера . Эта операция сжатия делает среднюю операцию только диапазон в , в отличие от двух других углов, которые на самом деле представляют собой окружности с координатами в . Но мы знаем, что углы Эйлера — плохие координаты для . В частности, у нас есть карданный замок . Итак, чтобы добраться до фактического пространства , нужно смотреть на те координатные особенности, которые находятся на концах вашего интервала . Каждый конец выглядит как . Но они действительно просто , поэтому их тоже нужно свернуть.
Опять же, все эти отождествления необратимы, так что вы действительно меняете топологию своего пространства. В принципе, вы можете нанести на карту на , но не в приятной взаимно-однозначной форме; Вы действительно изменили пространство.
С формальной точки зрения вы можете довольно легко доказать, что это разные пространства, взглянув либо на их групповые свойства (как указывает ACuriousMind), либо на их топологические свойства.
Прямой продукт групп определяется довольно просто, как декартово произведение двух множеств, но затем определите групповой продукт как исходные групповые продукты, действующие сами по себе. Так как группа круга (это то, что вы действительно имели в виду под ) коммутативна, группа также коммутативно, и, следовательно, все это является коммутативным. Но вы, вероятно, также знаете, что не является коммутативным.
Вы также можете увидеть, что эти точки различны, взглянув на их основные группы . У нас есть , а из свойства произведения фундаментальных групп это означает . Кроме того, поскольку реальное проективное пространство топологически такой же, как , у нас есть , которая является циклической группой всего из двух элементов. Поскольку фундаментальная группа является топологическим инвариантом, это доказывает, что два пространства топологически различны.
Каждая группа кругов это ротация в . Поскольку повороты в плоскостях xy, xz и yz генерируют SO(3), можно подумать, что если получить одну копию для каждого из этих поворотов плоскости, это приведет к SO(3). Однако в SO(3) важен порядок генерирующих вращений, а в вы не определяете точный порядок вращения.
Вы просто говорите: «Повернуть по осям xy, xz и yz».
в то время как в SO (3) вы говорите, например: «Повернуть в xy, затем в новой плоскости xz , затем в новой плоскости yz»
изменение порядка изменит результат.
Группа, порожденная некоторыми своими подгруппами, даже имея тривиальные пересечения (чего нет в вашем примере), не позволяет делать очень общие выводы о структуре ее произведения, если не учитывать их коммутационные соотношения.
Простейшим примером является группа симметрий равностороннего треугольника: она порождается подгруппой отражений относительно одной фиксированной оси симметрии, а подгруппа вращений. Однако он не изоморфен , произведение двух циклических групп, в чем легко убедиться, поскольку нетривиальное отражение и нетривиальное вращение не коммутируют.
Это теорема, что группа, порожденная коммутирующими подгруппами с тривиальным пересечением, является прямым произведением. Когда подгруппы не коммутируют, это можно до некоторой степени обобщить на полупрямые произведения.
любопытный разум
Алиреза
пользователь3237992
Алиреза
любопытный разум
Алиреза
Qмеханик
Юрки Лахтонен