Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В геометрии , двумерный вращения и отражение два вида евклидовой плоскости изометрии , которые связаны друг с другом.

Вращение в плоскости можно сформировать, составив пару отражений. Сначала отразите точку P на ее изображение P 'на другой стороне линии L 1 . Затем отражают P 'на ее изображении P ' 'на другой стороне линии L 2 . Если прямые L 1 и L 2 образуют угол θ друг с другом, то точки P и P ′ ′ образуют угол вокруг точки O , пересечения L 1 и L 2 . Т.е. уголPOP ′ ′ будет измерять 2 θ .

Пара поворотов вокруг одной и той же точке O будет эквивалентно повороту вокруг другой точки O . С другой стороны, композиция отражения и вращения или вращения и отражения (композиция не коммутативна ) будет эквивалентна отражению.

Приведенные выше утверждения можно выразить более математически. Обозначим поворот вокруг начала координат O на угол θ как Rot ( θ ). Обозначим отражение относительно прямой L, проходящей через начало координат и образующей угол θ с осью x , как Ref ( θ ). Пусть эти вращения и отражения действуют во всех точках на плоскости, и пусть эти точки представлены векторами положения . Тогда поворот можно представить в виде матрицы,

а также для отражения,

С этими определениями вращения и отражения координат выполняются следующие четыре тождества:

Эти уравнения могут быть доказаны простым умножением матриц и применением тригонометрических тождеств , в частности, сумм и разностей.

Набор всех отражений в линиях через начало координат и поворотов вокруг начала координат вместе с операцией композиции отражений и вращений образует группу . У группы есть идентификатор: Rot (0). Каждое вращение Rot ( φ ) имеет обратный Rot (- φ ). Каждое отражение Ref ( θ ) является своим обратным. Композиция имеет замыкание и ассоциативна, поскольку матричное умножение ассоциативно.

Обратите внимание, что и Ref ( θ ), и Rot ( θ ) были представлены ортогональными матрицами . Все эти матрицы имеют определитель , абсолютное значение которого равно единице. Матрицы вращения имеют определитель +1, а матрицы отражения имеют определитель -1.

Набор всех ортогональных двумерных матриц вместе с матричным умножением образуют ортогональную группу : O (2).

В следующей таблице приведены примеры матрицы вращения и отражения:

См. Также [ править ]