Группа аффинных преобразований

Определение 1: преобразование плоскости называется аффинным, если оно обладает следующими свойствами:

1) Любую прямую отображает на прямую;

2)

А

М

B

p

Сохраняет отношение, в котором точка делит отрезок.

А^/

М^/

B^/

p^/

,, ⇒λ=λ^/.

Замечания:

1) Аффинное преобразование можно определить и как преобразование, отображающее прямую на прямую. При этом второе свойство может быть доказано в качестве теоремы, однако это доказательство довольно сложное;

2) Из второго свойства следует, что аффинное преобразование сохраняет отношение «лежать между», и, значит, отображает отрезок на отрезок, луч на луч, аффинную систему координат на аффинную систему координат.

Определение 2: аффинное преобразование называется перспективно-аффинным или родственным, если оно имеет прямую неподвижных (двойных) точек – ось родства.

Аффинное преобразование называется аффинным преобразованием 1-го рода, если оно сохраняет ориентацию плоскости, и аффинным преобразованием 2-го рода, если изменяет ее на противоположную.

Пример 1: любое подобие, в частности движение, является аффинным преобразованием. Осевая симметрия дает пример родственного преобразования плоскости.

Замечание 3: перспективно- аффинное преобразование плоскости обладает следующими свойствами:

1°. Любая точка прямой, проходящей через две неподвижные точки родственного преобразования, является неподвижной точкой;

2°. Прямые, соединяющие соответственные точки родственного преобразования, не лежащие на его оси, параллельны или совпадают.

Рис.1

Ось родства p

M

M^/

M₀

K

K^/

N^/

N

(f: M M^/, N N^/)⇒(MM^/║NN^/).

3°. Если прямая пересекает ось родства в некоторой точка, то ее образ проходит через эту точку; если же прямая параллельна оси родства, то ее образ также параллелен оси родства.

L₀

l^/

l

m

m^/

p

Рис. 2

f: ll ^/⇒ ll ^/=L₀ p;

f: m║p, m m^/⇒ m^/║p.

следует заметить, что в отличии от осевой симметрии, отрезки, соединяющие соответственные точки родственного преобразования плоскости, не обязательно перпендикулярны оси родства и могут не делится этой осью пополам:

ММ^/ р, ММ₀ М₀М^/ (см. рис. 1).

Примет 2: даны ось родства, точка А, не лежащая на оси р, и ее образ А^/. построим образ М^/ произвольной точки М.

Решение.

a)

А₀

А

М

А^/

М^/

р

m

Пусть АМ∦р и М АА^/.

1) Строим точку А₀=АМ∩р;

2) Строим прямую m:

M m, m║AA^/;

3) Строим точку М^/=m∩А₀А^/.

b) Пусть АМ║р и М^/=АА^/∩ l ^/, где l ^/= f (АМ)║р и А^/ l ^/.

А

А^/

М

М^/

l ^/

l

р

c)

Пусть М АА^/. В этом случае следует взять вспомогательную точку N AA^/, построить ее образ N^/, и затем, пользуясь точками N и N^/, вышеуказанным способом построить образ точки М.

В₀

А^/

М^/

А

М

А₀

N

N^/

l

p

Построение:

1) N AA^/;

2) ∩p=A₀;

3) A₀A^/;

4) l ║AA^/, N l;

5) N^/= l ∩A₀A^/ - образ точки N;

6) B₀=MN;

7) M^/=B₀N^/∩AA^/ - образ точки М.

Таким образом, родственное преобразование плоскости задается осью родства и парой соответствующих (родственных) точек.

Теорема 1: множество всех аффинных преобразований плоскости является группой относительно композиции.

Доказательство.

1) Пусть f ₁ и f ₂ – произвольное аффинное (не обязательно родственное) преобразования плоскости. Они отображают прямую на прямую и сохраняют отношение, в котором точка делит отрезок. Но тогда и их композиция f = f ₂° f ₁ обладает теми же свойствами, то есть также является аффинным преобразованием.

2) Преобразование f ^-1 отображает прямую на прямую и сохраняет отношение, в котором точка делит отрезок, то есть является аффинным преобразованием.

Согласно определению группы преобразований множество всех аффинных преобразования плоскости является группой относительно композиции.

Теорема доказана.

Пример 3: подгруппами группы всех аффинных преобразований плоскости являются:

1) Группа подобий и все ее подгруппы;

2) Группа всех аффинных преобразований 1-го рода;

3) Группа, состоящая из двух преобразований родства с данной осью и тождественного преобразования плоскости.

Определение 3: фигура F называется аффинно-эквивалентной фигуре F^/, если существует аффинное преобразование плоскости f, отображающее фигуры F на фигуру F^/.

Замечания:

4) Аффинная эквивалентность фигур является отношением эквивалентности. Это доказывается также, как и для равенства или подобия фигур:

5)

y

y^/

O^/

O

f

X^/

x

y

^/

^/

Можно доказать, что любые два треугольника аффинно-эквивалентны, при этом существует одно и только одно аффинное преобразование, отображающее один треугольник на другой. То есть задание двух соответственных треугольников определяет аффинное преобразование плоскости. Аналогично, задание любых двух соответственных аффинных систем координат вполне определяет аффинное преобразование плоскости.

Теорема 2: аффинное преобразование сохраняет параллельность прямых.

Дано: a║b.

Доказать: a^/║b^/, где а^/= f (a), b^/= f (b), f – произвольное аффинное преобразование.

а

b

M

f

а^/

b^/

M^/

Доказательство.

Предположим противное, то есть, что a^/∩b^/=M^/ - прямые a^/ и b^/ пересекаются в некоторой точке M^/. Тогда, если М – прообраз М^/ при аффинном преобразовании f, то должно быть a∩b=M. Получаем противоречие с условием (a║b) и доказываем теорему.

Следствие 1: любые два параллелограмма аффинно-эквивалентны.

A

B

C

E

D

A^/

B^/

C^/

E^/

D^/

Следствие 2: аффинное преобразование сохраняет отношение длин параллельных отрезков:

, где = f (ABCDE).

Замечание 6: если длина отрезков, величины углов, отношения длин параллельных отрезков могут измениться. Например, образом данного квадрата может оказаться произвольный параллелограмм, но не может быть трапецией.

F

f

F^/

Теорема 3: в аффинной системе координат О_ху аффинное преобразование плоскости f выражается формулами.

(*)

Где и.

Доказательство аналогично доказательству соответствующей теоремы для движений, только здесь используется формулы перехода от одной аффинной системы координат.

Замечания:

7) В формулах (*) свободные члены х₀ и у₀ есть координаты точки О^/ - образа начала координат О при аффинном преобразовании f, то есть f (0) = O^/(х₀;у₀); числа a₁, a₂ и b₁, b₂ – координаты соответственно векторов и в базисе (;), то есть а₁ +а₂, b₁ +b₂;

8) Если f – аффинное преобразование 1-го рода, то, если второго 2-го рода, то;

9) Имеет место теорема, обратная теореме 3.

Теорема 4: если преобразование f плоскости в некоторой аффинной системе координат задано формулами (*), то f – аффинное преобразование. В случае () оно аффинным преобразованием 1-го рода (2-го) рода.

Дата добавления: 2013-12-14