Исследуйте группу движений плоскости: докажите, что любая композиция поворотов, параллельных переносов и отражений образует эту группу, и обсудите, при каких условиях заданное аффинное преобразование представимо как композиция движений и однородного растяжения
Группа движений плоскости — это группа всех изометрий плоскости (биективных отображений, сохраняющих расстояния). Докажем структурное описание и обсудим представимость аффинных отображений через движения и однородное растяжение. 1) Любая изометрия имеет вид x↦Ax+bx\mapsto Ax+bx↦Ax+b с A∈O(2), b∈R2A\in O(2),\ b\in\mathbb{R}^2A∈O(2),b∈R2. Пусть fff — изометрия. Положим b=f(0)b=f(0)b=f(0) и определим A(u)=f(u)−bA(u)=f(u)-bA(u)=f(u)−b. Так как fff сохраняет расстояния, то для любых u,vu,vu,v выполнено ∣Au−Av∣=∣u−v∣|Au-Av|=|u-v|∣Au−Av∣=∣u−v∣. По формуле поляризации ⟨u,v⟩=12(∣u+v∣2−∣u∣2−∣v∣2)
\langle u,v\rangle=\tfrac12\big(|u+v|^2-|u|^2-|v|^2\big) ⟨u,v⟩=21(∣u+v∣2−∣u∣2−∣v∣2)
следует, что ⟨Au,Av⟩=⟨u,v⟩\langle Au,Av\rangle=\langle u,v\rangle⟨Au,Av⟩=⟨u,v⟩ для всех u,vu,vu,v. Отсюда AAA сохраняет скалярное произведение и, поскольку A(0)=0A(0)=0A(0)=0, является линейным ортогональным оператором, т.е. A∈O(2)A\in O(2)A∈O(2). Обратно, любое отображение x↦Ax+bx\mapsto Ax+bx↦Ax+b с A∈O(2)A\in O(2)A∈O(2) сохраняет расстояния. Значит множество движений равно множеству всех x↦Ax+bx\mapsto Ax+bx↦Ax+b с A∈O(2), b∈R2A\in O(2),\ b\in\mathbb{R}^2A∈O(2),b∈R2. 2) Ротации и отражения порождают O(2)O(2)O(2). В двумерном случае всякий A∈O(2)A\in O(2)A∈O(2) либо имеет detA=1\det A=1detA=1 и тогда это поворот на некоторый угол θ\thetaθ, либо detA=−1\det A=-1detA=−1 и тогда это отражение относительно некоторой прямой (или композиция поворота и отражения). Следовательно группа движений порождена параллельными переносами и элементами O(2)O(2)O(2), а последние порождаются поворотами и отражениями. Иными словами, любые композиции поворотов, параллельных переносов и отражений дают всю группу движений плоскости. 3) Когда аффинное отображение представимо как композиция движения и однородного растяжения? Пусть задано аффинное f(x)=Mx+vf(x)=M x+vf(x)=Mx+v с невырожденной MMM. Если fff есть композиция движения и однородного (изотропного) растяжения (коэффициент k∈R∖{0}k\in\mathbb{R}\setminus\{0\}k∈R∖{0}), то линейная часть должна иметь вид M=kAдля некоторого A∈O(2).
M=kA\qquad\text{для некоторого }A\in O(2). M=kAдлянекоторогоA∈O(2).
Это необходимое условие, потому что однородное растяжение умножает все длины на один и тот же фактор ∣k∣|k|∣k∣, а движение сохраняет длины. Эквивалентная алгебраическая формулировка: MMT=k2I.
MM^{T}=k^{2}I. MMT=k2I.
Обратное также верно: если найдётся kkk и A∈O(2)A\in O(2)A∈O(2) такие, что M=kAM=kAM=kA, то f(x)=kAx+v
f(x)=kA x+v f(x)=kAx+v
и это действительно композиция однородного растяжения (коэффициент kkk) и движения (оператор AAA и сдвиг vvv). Особенно удобно использовать полярное разложение: любое невырожденное MMM можно представить как M=QSM=Q SM=QS с ортогональным QQQ и симметрическим положительно определённым SSS; требование, чтобы MMM было скаляром умноженным на ортогональный оператор, эквивалентно S=kIS=kIS=kI, т.е. все сингулярные значения MMM равны. Дополнительно: если k≠1k\neq1k=1, то такое отображение имеет единственную неподвижную точку (центр гомотетии) c=(I−kA)−1v,
c=(I-kA)^{-1}v, c=(I−kA)−1v,
и тогда f(x)=c+kA(x−c),
f(x)=c+kA(x-c), f(x)=c+kA(x−c),
то есть однородное растяжение (с центром ccc и коэффициентом kkk) затем композиция с поворотом/отражением. Если сингулярные значения MMM различаются, то MMM не является скаляром, умножающим ортогональную матрицу, и потому fff не может быть представлено как сочетание движения и однородного растяжения (анизотропное растяжение меняет длины в разных направлениях). Коротко: группа движений = все отображения x↦Ax+bx\mapsto Ax+bx↦Ax+b с A∈O(2)A\in O(2)A∈O(2). Эта группа порождена поворотами, параллельными переносами и отражениями. Аффинное x↦Mx+vx\mapsto Mx+vx↦Mx+v представимо как композиция движения и однородного растяжения тогда и только тогда, когда M=kAM=kAM=kA с некоторым kkk и A∈O(2)A\in O(2)A∈O(2) (эквивалентно MMT=k2IMM^{T}=k^{2}IMMT=k2I).
1) Любая изометрия имеет вид x↦Ax+bx\mapsto Ax+bx↦Ax+b с A∈O(2), b∈R2A\in O(2),\ b\in\mathbb{R}^2A∈O(2), b∈R2.
Пусть fff — изометрия. Положим b=f(0)b=f(0)b=f(0) и определим A(u)=f(u)−bA(u)=f(u)-bA(u)=f(u)−b. Так как fff сохраняет расстояния, то для любых u,vu,vu,v выполнено ∣Au−Av∣=∣u−v∣|Au-Av|=|u-v|∣Au−Av∣=∣u−v∣. По формуле поляризации
⟨u,v⟩=12(∣u+v∣2−∣u∣2−∣v∣2) \langle u,v\rangle=\tfrac12\big(|u+v|^2-|u|^2-|v|^2\big)
⟨u,v⟩=21 (∣u+v∣2−∣u∣2−∣v∣2) следует, что ⟨Au,Av⟩=⟨u,v⟩\langle Au,Av\rangle=\langle u,v\rangle⟨Au,Av⟩=⟨u,v⟩ для всех u,vu,vu,v. Отсюда AAA сохраняет скалярное произведение и, поскольку A(0)=0A(0)=0A(0)=0, является линейным ортогональным оператором, т.е. A∈O(2)A\in O(2)A∈O(2). Обратно, любое отображение x↦Ax+bx\mapsto Ax+bx↦Ax+b с A∈O(2)A\in O(2)A∈O(2) сохраняет расстояния. Значит множество движений равно множеству всех x↦Ax+bx\mapsto Ax+bx↦Ax+b с A∈O(2), b∈R2A\in O(2),\ b\in\mathbb{R}^2A∈O(2), b∈R2.
2) Ротации и отражения порождают O(2)O(2)O(2).
В двумерном случае всякий A∈O(2)A\in O(2)A∈O(2) либо имеет detA=1\det A=1detA=1 и тогда это поворот на некоторый угол θ\thetaθ, либо detA=−1\det A=-1detA=−1 и тогда это отражение относительно некоторой прямой (или композиция поворота и отражения). Следовательно группа движений порождена параллельными переносами и элементами O(2)O(2)O(2), а последние порождаются поворотами и отражениями. Иными словами, любые композиции поворотов, параллельных переносов и отражений дают всю группу движений плоскости.
3) Когда аффинное отображение представимо как композиция движения и однородного растяжения?
Пусть задано аффинное f(x)=Mx+vf(x)=M x+vf(x)=Mx+v с невырожденной MMM. Если fff есть композиция движения и однородного (изотропного) растяжения (коэффициент k∈R∖{0}k\in\mathbb{R}\setminus\{0\}k∈R∖{0}), то линейная часть должна иметь вид
M=kAдля некоторого A∈O(2). M=kA\qquad\text{для некоторого }A\in O(2).
M=kAдля некоторого A∈O(2). Это необходимое условие, потому что однородное растяжение умножает все длины на один и тот же фактор ∣k∣|k|∣k∣, а движение сохраняет длины. Эквивалентная алгебраическая формулировка:
MMT=k2I. MM^{T}=k^{2}I.
MMT=k2I. Обратное также верно: если найдётся kkk и A∈O(2)A\in O(2)A∈O(2) такие, что M=kAM=kAM=kA, то
f(x)=kAx+v f(x)=kA x+v
f(x)=kAx+v и это действительно композиция однородного растяжения (коэффициент kkk) и движения (оператор AAA и сдвиг vvv). Особенно удобно использовать полярное разложение: любое невырожденное MMM можно представить как M=QSM=Q SM=QS с ортогональным QQQ и симметрическим положительно определённым SSS; требование, чтобы MMM было скаляром умноженным на ортогональный оператор, эквивалентно S=kIS=kIS=kI, т.е. все сингулярные значения MMM равны.
Дополнительно: если k≠1k\neq1k=1, то такое отображение имеет единственную неподвижную точку (центр гомотетии)
c=(I−kA)−1v, c=(I-kA)^{-1}v,
c=(I−kA)−1v, и тогда
f(x)=c+kA(x−c), f(x)=c+kA(x-c),
f(x)=c+kA(x−c), то есть однородное растяжение (с центром ccc и коэффициентом kkk) затем композиция с поворотом/отражением. Если сингулярные значения MMM различаются, то MMM не является скаляром, умножающим ортогональную матрицу, и потому fff не может быть представлено как сочетание движения и однородного растяжения (анизотропное растяжение меняет длины в разных направлениях).
Коротко: группа движений = все отображения x↦Ax+bx\mapsto Ax+bx↦Ax+b с A∈O(2)A\in O(2)A∈O(2). Эта группа порождена поворотами, параллельными переносами и отражениями. Аффинное x↦Mx+vx\mapsto Mx+vx↦Mx+v представимо как композиция движения и однородного растяжения тогда и только тогда, когда M=kAM=kAM=kA с некоторым kkk и A∈O(2)A\in O(2)A∈O(2) (эквивалентно MMT=k2IMM^{T}=k^{2}IMMT=k2I).