Определение аффинных преобразований (стр. 1 )

Определение аффинных преобразований

Давайте поговорим о растяжениях и сжатиях плоских фигур.

Если растянуть вдоль какого-то направления круг, то получится лекальная кривая - эллипс.

Если растянуть квадрат в направлении, параллельном одной паре сторон, то получится прямоугольник. Если же квадрат растянуть или сжать в направлении его диагонали, то получится ромб.

Но что такое растяжение и сжатие? Как их строго определить?

Растяжения и сжатия, о которых мы будем говорить, в определенном смысле, равномерные.

Эта равномерность означает, что все кусочки плоскости будут растягиваться (сжиматься) одинаково.

Кроме того, когда мы растягиваем (сжимаем) квадрат, его стороны -- отрезки остаются отрезками.

Такие равномерные растяжения (сжатия) называются аффинными преобразованиями.

Определение 1.

Преобразование плоскости называется аффинным, если оно взаимно однозначно и образом любой прямой является прямая. Преобразование называется взаимно однозначным, если оно разные точки переводит в разные, и в каждую точку переходит какая-то точка.

Напомним, что преобразование -- это отображение множества на само себя. Отображение называется взаимооднозначным (биективным), если разные элементы переходят в разные, и в каждый элемент, какой-то элемент переходит.

Частным случаем аффинных преобразований являются просто движения (без какого-либо сжатия или растяжения). Движения — это параллельные переносы, повороты, различные симметрии и их комбинации.

Другой важный случай аффинных преобразований — это растяжения и сжатия относительно прямой.

На рисунке 1 показаны различные движения плоскости с нарисованным на ней домиком. А на рисунке 2 показаны различные аффинные преобразования этой плоскости.

Рисунок 1. Примеры движений.

Рисунок 2. Примеры аффинных преобразований.

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

Определение 2.

Множество движений есть подмножество множества аффинных преобразований.

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

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

Это интуитивно ясно — при движении фигуры вообще не меняют своей формы и размеров, а меняют лишь своё положение на плоскости. Также и прямые будут сохранять свою форму — оставаться прямыми. Движение можно представлять как перемещение листка бумаги с рисунком по парте. При движении разные точки остаются разными, поскольку расстояния сохраняются. Если точки были «разделены» некоторым расстоянием, то и после движения они будут «разделены» этим же расстоянием.

Конец доказательства.

[править] Растяжения и сжатия

Определение 3. Растяжением плоскости относительно прямой с коэффициентом называется преобразование плоскости, при котором каждая точка переходит в такую точку , что расстояние от прямой до в раз больше, чем до точки , и проекция точек и на прямую совпадают. Если коэффициент положительный, то точки и лежат по одну сторону от прямой , если отрицательный — то по разные.

Рисунок 3. Сжатия и растяжения относительно прямой.

Давайте докажем, что растяжение (сжатие) относительно прямой является аффинным преобразованием. Во-первых, эти преобразование взаимно однозначно. Чтобы доказать это заметим, что для каждого сжатия есть растяжение, которое все точки возвращает на свои места, и наоборот, для каждого растяжения есть возвращающее всё на свои места сжатие. А сейчас воспользуемся теоремой:

Теорема 1

Если преобразование обратно преобразованию , а преобразование обратно преобразованию , то и взаимно однозначные преобразования.

Определение 4.

Преобразование называется обратным к преобразованию , если преобразование , применённое после преобразования , все точки возвращает на свои места. Если преобразование точку переводит в точку , то обратное преобразование точку переводит в точку .

Утверждение 2.

Растяжение (сжатие) относительно прямой есть аффинное преобразования.

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

Нам осталось показать, что сжатие и растяжение прямые переводят в прямые. Пусть растяжение осуществляется относительно прямой . Направим вдоль неё ось . Рассмотрим любую прямую . Возможны два случая.

1) Если она пересекается с , то проведем через точку пересечения ось , перпендикулярную . Тогда уравнение прямой будет иметь вид:

При растяжении относительно прямой (оси ) с коэффициентом точка переходит в точку :

растяжение относительно оси 'X' :

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