Рассмотрите отображение плоскости, заданное как композиция параллельного переноса, поворота на фиксированный угол и центральной симметрии; покажите, как через координатные методы привести такое преобразование к аффинной или изометрической нормальной форме, и проанализируйте случаи, когда композиция даёт трансляцию, поворот или винтовую симметрию в пространстве

8 Окт в 11:52
5 +2
0
Ответы
1

Работаем в евклидовой плоскости R^2. Пусть заданы три преобразования:

параллельный перенос Ta: x ↦ x + a a∈R2a ∈ R^2aR2,поворот Rθ вокруг начала координат на угол θ: x ↦ Rθ x, где Rθ = [cosθ,−sinθ],[sinθ,cosθ][cos θ, -sin θ],[sin θ, cos θ][cosθ,sinθ],[sinθ,cosθ],центральная симметрия симметрияотносительноточкиpсимметрия относительно точки pсимметрияотносительноточкиp Sp: x ↦ 2p − x = −x + 2p.

Рассмотрим композицию справаналевосправа налевосправаналево f = Ta ∘ Rθ ∘ Sp.
Покажем, как привести f к нормальной аффинной/изометрическойаффинной / изометрическойаффинной/изометрической форме и как классифицировать полученное преобразование.

1) Приведение к матрично-афинной форме
Применяем преобразования к вектору x:
Spxxx = −x + 2p,
Sp(x)Sp(x)Sp(x) = Rθ−x+2p−x + 2px+2p = −Rθ x + 2Rθ p,
TaRθ(Sp(x))Rθ(Sp(x))(Sp(x)) = a + −Rθx+2Rθp−Rθ x + 2Rθ px+2Rθp = −Rθ x + a+2Rθpa + 2Rθ pa+2Rθp.

Обозначим b := a + 2Rθ p. Тогда
fxxx = −Rθ x + b.

Заметим, что −Rθ = Rπ Rθ = Rθ+π потомучтоумножениематрицсоответствуетсуммеугловпотому что умножение матриц соответствует сумме угловпотомучтоумножениематрицсоответствуетсуммеуглов; следовательно линейная часть f — это поворот на угол φ = θ + π. Итого
fxxx = Rφ x + b, где φ = θ + π, b = a + 2Rθ p.

Это уже стандартная аффинная форма линейнаячасть—ортогональнаяматрицаповорота,плюсвекторпереносалинейная часть — ортогональная матрица поворота, плюс вектор переносалинейнаячастьортогональнаяматрицаповорота,плюсвекторпереноса. Это — изометрия плоскости, сохраняющая ориентацию det=1det = 1det=1.

2) Классификация: когда это перевод, когда поворот

Если φ ≡ 0 mod2πmod 2πmod2π, т.е. θ ≡ π mod2πmod 2πmod2π, то Rφ = I, и fxxx = x + b — чистая параллельная переноска возможнотождественноеприb=0возможно тождественное при b = 0возможнотождественноеприb=0. Это легко увидеть и прямо из исходных преобразований: если θ = π, то Rθ = −I, и Sp затем Rθ даёт Rθ ∘ Sp = −I−II−I−II = I центральнаясимметриявокругp—этоповоротнаπвокругp,умножениена−Iсмещенодаётобратноцентральная симметрия вокруг p — это поворот на π вокруг p, умножение на −I смещено даёт обратноцентральнаясимметриявокругpэтоповоротнаπвокругp,умножениенаIсмещенодаётобратно и всё сводится к Ta с переносом b = a − 2p.

Если φ ≠ 0 mod2πmod 2πmod2π, то Rφ ≠ I, матрица I − Rφ невырождена и уравнение для фиксированной точки c
I−RφI − RφI c = b
имеет единственное решение. Эта точка c — центр вращения f, и в системе координат с центром в c преобразование — чистый поворот на угол φ:
ввести x = c + y, тогда fc+yc + yc+y = c + Rφ y.

Поэтому в плоскости композиция всегда даёт либо параллельный перенос еслиθ=π(mod2π)если θ = π (mod 2π)еслиθ=π(mod2π), либо поворот на угол φ = θ + π с уникальным центром иначеиначеиначе. Тождественная ситуация — частный случай обоих φ=0иb=0φ = 0 и b = 0φ=0иb=0.

3) Явная формула для центра вращения координатныйметодкоординатный методкоординатныйметод Пусть Rφ = [cosφ,−sinφ],[sinφ,cosφ][cos φ, −sin φ],[sin φ, cos φ][cosφ,sinφ],[sinφ,cosφ]. Тогда
I − Rφ = [1−cosφ,sinφ],[−sinφ,1−cosφ][1 − cos φ, sin φ],[− sin φ, 1 − cos φ][1cosφ,sinφ],[sinφ,1cosφ].
Её определитель detI−RφI − RφI = 21−cosφ1 − cos φ1cosφ = 4 sin^2φ/2φ/2φ/2 ≠ 0 при φ ≠ 0 mod2πmod 2πmod2π. Обратная матрица:
I−RφI − RφI^{−1} = 1/det1 / det1/det [1−cosφ,−sinφ],[sinφ,1−cosφ][1 − cos φ, − sin φ],[ sin φ, 1 − cos φ][1cosφ,sinφ],[sinφ,1cosφ].
Тогда центр
c = I−RφI − RφI^{−1} b.

Прижеланииэтуформулуможноупроститьчерезφ/2:1−cosφ=2sin2(φ/2),sinφ=2sin(φ/2)cos(φ/2),ит.п.При желании эту формулу можно упростить через φ/2: 1 − cos φ = 2 sin^2(φ/2), sin φ = 2 sin(φ/2) cos(φ/2), и т. п.Прижеланииэтуформулуможноупроститьчерезφ/2:1cosφ=2sin2(φ/2),sinφ=2sin(φ/2)cos(φ/2),ит.п.

4) Представление в комплексных координатах короткокороткокоротко Если точки задаются комплексным числом z, p, a, то
fzzz = a + e^{iθ}2p−z2p − z2pz = − e^{iθ} z + a+2eiθpa + 2 e^{iθ} pa+2eiθp = e^{iφ} z + b, φ = θ + π, b = a + 2 e^{iθ} p.
Центр вращения φ≠0φ ≠ 0φ=0 равен c = b/1−eiφ1 − e^{iφ}1eiφ.

5) Связь со сверещением винтовойсимметриейвинтовой симметриейвинтовойсимметрией в пространстве R^3
В плоскости у нас выходящие случаи — только перенос или вращение какпоказановышекак показано вышекакпоказановыше. В пространстве R^3 понятие винтовой симметрии: композиция поворота вокруг прямой-оси и переноса вдоль этой же оси. Как связать с нашим планарным f?

Если рассматривать f как жёсткое движение пространства, которое оставляет некоторую плоскость Π вкотороймыработаемв которой мы работаемвкотороймыработаем инвариантной и действует в ней как Rφ x + b т.е.поворотвокругнормаликΠплюспереносвΠт.е. поворот вокруг нормали к Π плюс перенос в Πт.е.поворотвокругнормаликΠплюспереносвΠ, то в трехмерном пространстве общий изометрический тип зависит от вектора переноса t ∈ R^3, который может иметь компонент вдоль оси поворота и компонент в поперечной плоскости Π:

Если мы захотим реализовать в R^3 поворот Rφ уголφугол φуголφ как поворот вокруг оси ν, то любое трёхмерное движение вида X ↦ Rot_νφφφ X + t будет
чистым вращением вокруг оси ν, если t параллелен оси и φ ≠ 0 при t_∥ = 0? Корректнее: если t = 0, то чистое вращение;винтовым движением screwscrewscrew если φ ≠ 0 mod2πmod 2πmod2π и t имеет ненулевую компонент вдоль оси ν — тогда композиция поворота и параллельного переноса по той же оси даёт винтовую симметрию сдвигвдольоси+уголсдвиг вдоль оси + уголсдвигвдольоси+угол.чистым переносом по оси, если φ = 0 и t ≠ 0.

Таким образом, наша плоская f задаёт вектор переноса b, лежащий в плоскости Π. Если мы в 3D реализуем ту же ортогональную линейную часть как поворот вокруг оси ν, перпендикулярной Π, и возьмём 3D-вектор переноса t, у которого поперечная вΠв ΠвΠ часть равна b, а параллельная оси часть t_∥ произвольна, то:

параллельная часть t_∥ = 0 и φ ≠ 0 → это просто вращение вокруг ν вплоскости—поворотсцентромв плоскости — поворот с центромвплоскостиповоротсцентром;t∥ ≠ 0 и φ ≠ 0 → это винтовое движение винтоваясимметриявинтовая симметриявинтоваясимметрия с винтовым шагом = t∥ при повороте на φ;φ = 0 и t ≠ 0 → чистый перенос.

Иначе говоря: сама по себе композиция Sp, Rθ, Ta в плоскости не даёт «винтового» движения в R^3 — она либо поворот в плоскости, либо перенос. Чтобы получить винтовую симметрию в пространстве, нужно дополнительно иметь перенос вдоль оси поворота ортогональныйкомпонентвекторапереносаортогональный компонент вектора переносаортогональныйкомпонентвекторапереноса, т. е. рассматривать расширение плоского преобразования на пространство с ненулевой продольной компонентой переноса.

6) Пример
Пусть p = 1,01,01,0, θ = π/2, a = 0,10,10,1.
Тогда φ = θ + π = 3π/2. Rθ p = rotation by π/2 of 1,01,01,0 = 0,10,10,1, поэтому b = a + 2Rθ p = 0,10,10,1 + 20,10,10,1 = 0,30,30,3.
fxxx = R_{3π/2} x + 0,30,30,3. Так как φ ≠ 0, у f есть единственный центр c = I−RφI − RφI^{-1} b; подставив числа можно найти координаты c явно.

Короткий итог

Композиция Ta ∘ Rθ ∘ Sp даёт в координатах fxxx = Rφ x + b с φ = θ + π и b = a + 2Rθ p.В плоскости такие преобразования — только повороты φ≠0φ ≠ 0φ=0 либо параллельные переносы φ=0mod2πφ = 0 mod 2πφ=0mod2π.В пространстве винтовая симметрия возникает, когда к повороту вокруг оси добавлен перенос вдоль той же оси; для «поднятия» плоской f в винтовое движение требуется добавить компонент переноса вдоль оси, перпендикулярной плоскости.
8 Окт в 17:38
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир