Аффинные преобразования плоскости и их основные свойства.
Отображение плоскости P в плоскость R — закон или правило, по котрому каждой точке плоскости P сопоставлена некоторая определенная точка на плоскости R. Обозначается . Если нужно указать, что точке А на плоскости Р соответствует точка В на плоскости R, то напишем , в этом случае В — образ точки А, точка А — прообраз точки В. Совсем не обязательно каждая точка плоскости R является образом какой-либо точки. Если для некоторого отображения плоскости P и R совпадают, то такое отображение называется преобразованием плоскости.
Отображение называется взаимно однозначным, если каждая точка плоскости R имеет прообраз, и притом только один.
При выбранных системах координат на плоскостях P и R отображение сопоставляет паре чисел (x,y) пару чисел (x',y'). Задать отображение при выбранных СК — всё равно что задать 2 функции, каждая из которых зависит от 2-х независимых переменных: , .
Преобразование f плоскости Р называется линейным, если на Р существует такая декартова система координат, в которой f может быть записано формулами , (1). Взаимно однозначное линейное преобразование называется аффинным.
Предложение 1. Для того, чтобы преобразование, задаваемое ф-лами (1), было взаимно однозначным, необходимо и достаточно, чтобы (2). Таким образом, аффинное преобразование определяется формулами (1) при условии (2).
Доказательство: Утверждение вытекает из параграфа 9 главы 2 (предложение 9, стр.53 в учебнике Беклемишева). Нужно узнать, при каком условии каждая точка плоскости имеет единственный прообраз. Ф-лы (1) связывают координаты (x',y') точки М' и координаты (x,y) её прообраза. Их можно рассматривать как систему линейных уравнений для нахождения x и y, и эта система имеет единственное решение при любых свободных членах и ( а значит при любых x' и y') тогда и только тогда, когда выполнено усл-е (2).
Геометрические свойства аффинных преобразований.
Рассмотрим на плоскости прямую с уравнением и найдем её образ при преобразовании f. (Образ прямой — множество образов её точек). Радиус-вектор образа М' произвольной точки М можно вычислить так: =, где - постоянный вектор , а - радиус-вектор точки М. По свойствам линейных преобразований получаем (3). Так как f – аффинное преобразование, и то перейдет в вектор и ур-е (3) является ур-ем прямой линии. Итак, образы всех точек прямой лежат на прямой. F определяет взаимно однозначное отображение одной прямой на другую.
Предложение 2. При аффинном преобразовании прямая линия переходит в прямую линию, отрезок переходит в отрезок, параллельные прямые переходят в параллельные.
Док-во: первое утверждение доказано выше. Для док-ва второго утверждения достаточно заметить, что отрезок прямой состоит из таких точек, у которых значения параметра удовлетворяют неравенству вида . Третье утверждение следует из того, что при аффинном преобразовании коллинеарные векторы переходят в коллинеарные.
Предложение 3. При аффинном преобразовании отношение длин параллельных отрезков не изменяется.
Док-во: пусть отрезки АВ и CD параллельны. Это значит, что существует такое число , что . Образы векторов и связаны той же зависимостью . Отсюда следует, что .
Следствие. Если точка С делит отрезок Ав в некотором отношении , то её образ C' делит образ A'B' отрезка АВ в том же отношении .
Рассмотрим ориентированный параллелограмм, выберем общую декартову СК О, и обозначим через и компоненты векторов и , на которых он построен. Площадь параллелограмма мы можем вычислить как : =. Пусть аффинное преобразование f записывается ф-лами (1). Векторы и имеют в базисе те же компоненты, что и векторы и в базисе . Образ параллелограмма построен на векторах и и площадь его равна: =. По свойствам линейных преобразований (образа вектора при линейном преобразовании) координаты векторов и равны соответственно и . Поэтому .
Отношение площади образа неориентированного параллелограмма к его площади равно (3).
Формула
(3) справедлива и для произвольных многоугольников.