Вращения и отражения в двух измерениях
Эта статья нуждается в дополнительных цитатах для проверки . ( июль 2023 г. ) |
В евклидовой геометрии двумерные вращения и отражения представляют собой два вида изометрий евклидовой плоскости , которые связаны друг с другом.
Процесс [ править ]
Вращение в плоскости можно сформировать, составив пару отражений. Сначала отразите точку P на ее изображение P' на другой стороне линии L 1 . Затем отразите P′ на его изображение P′′ на другой стороне L2 линии . Если линии L 1 и L 2 составляют угол θ друг с другом, то точки P и P′′ образуют угол 2 θ вокруг точки O , пересечения L 1 и L 2 . Т.е. угол ∠ POP′′ будет равен 2 θ .
Пара поворотов вокруг одной и той же точки О будет эквивалентна другому повороту вокруг О. точки С другой стороны, композиция отражения и вращения или вращения и отражения (композиция не коммутативна ) будет эквивалентна отражению.
Математическое выражение [ править ]
Вышеприведенные утверждения можно выразить более математически. Обозначим поворот вокруг начала координат O на угол θ как Rot( θ ) . Пусть отражение от линии L через начало координат, которое образует угол θ с осью x , обозначим как Ref( θ ) . Пусть эти вращения и отражения действуют на все точки плоскости, и пусть эти точки представлены векторами положения . Тогда вращение можно представить в виде матрицы :
а также для размышления,
С этими определениями вращения и отражения координат выполняются следующие четыре тождества :
Доказательство [ править ]
Эти уравнения можно доказать путем прямого умножения матриц и применения тригонометрических тождеств , в частности тождества суммы и разности.
Совокупность всех отражений в линиях через начало координат и поворотов вокруг начала координат вместе с операцией композиции отражений и поворотов образует группу . Группа имеет идентификатор: Rot(0) . Каждое вращение Rot( φ ) имеет обратное Rot(− φ ) . Каждое отражение Ref( θ ) является своим собственным обратным. Композиция имеет замыкание и ассоциативна, поскольку умножение матриц ассоциативно.
Обратите внимание, что и Ref( θ ) , и Rot( θ ) представлены ортогональными матрицами . Все эти матрицы имеют определитель, которого абсолютное значение равно единице. Матрицы вращения имеют определитель +1, а матрицы отражения имеют определитель -1.
Совокупность всех ортогональных двумерных матриц вместе с матричным умножением образует ортогональную группу : O (2) .
В следующей таблице приведены примеры матрицы вращения и отражения:
Тип | угол я | матрица |
---|---|---|
Вращение | 0° | |
Вращение | 45° | |
Вращение | 90° | |
Вращение | 180° | |
Отражение | 0° | |
Отражение | 45° | |
Отражение | 90° | |
Отражение | -45° |
Вращение осей [ править ]
См. также [ править ]
- 2D компьютерная графика#Вращение
- Теорема Картана – Дьедонне.
- по часовой стрелке
- Группа диэдра
- Изометрия евклидовой плоскости
- Евклидовы симметрии
- Мгновенный центр вращения
- Ортогональная группа
- Группа вращения SO(3) – 3 измерения
Ссылки [ править ]
- ^ Проттер и Морри (1970 , стр. 320)
- ^ Антон (1987 , стр. 231)
- ^ Бремя и ярмарки (1993 , стр. 532)
- ^ Антон (1987 , стр. 247)
- ^ Борегар и Фрели (1973 , стр. 266)
Источники [ править ]
- Антон, Ховард (1987), Элементарная линейная алгебра (5-е изд.), Нью-Йорк: Wiley , ISBN 0-471-84819-0
- Борегар, Раймонд А.; Фрэли, Джон Б. (1973), Первый курс линейной алгебры: с дополнительным введением в группы, кольца и поля , Бостон: Houghton Mifflin Co. , ISBN 0-395-14017-Х
- Берден, Ричард Л.; Фейрес, Дж. Дуглас (1993), Численный анализ (5-е изд.), Бостон: Приндл, Вебер и Шмидт , ISBN 0-534-93219-3
- Проттер, Мюррей Х.; Морри, Чарльз Б. младший (1970), Колледжское исчисление с аналитической геометрией (2-е изд.), Чтение: Аддисон-Уэсли , LCCN 76087042