Примеры аффинных преобразований плоскости
1. Движением называется преобразование плоскости, при котором сохраняются расстояния между точками, т.е. расстояние между образами и равно расстоянию между их прообразами и : .
Из определения следует, что при движении сохраняются углы, так как из равенства треугольников и (по трем сторонам) следует равенство соответствующих углов.
Таким образом, при движении прямоугольная система координат переходит в прямоугольную (рис.2.21,а). Учитывая (2.9), (2.10), а также пункт 3 замечаний 2.4, получим формулы, выражающие координаты образа через координаты прообраза:
 (такое движение называется собственным);
 (такое движение называется несобственным).
Сравнивая с (2.11), делаем вывод, что собственное движение является аффинным преобразованием с матрицей , а несобственное — с матрицей . На рис.2.21 А изображены исходная система координат и новая система координат ,в которой координаты образа любой точки совпадают с координатами прообраза в старой системе координат (см. второй способ задания аффинного преобразования).
2. Гомотетией с центром в точке с коэффициентом называется преобразование плоскости, при котором каждой точке ставится в соответствие такая точка , что (рис.2.21,б).
Докажем, что гомотетия является аффинным преобразованием. Для этого выберем аффинную систему координат , начало которой совпадает с центром гомотетии. Пусть точка имеет координаты , тогда ее образ при гомотетии имеет координаты .
Сравнивая эти формулы с (2.11) делаем вывод, что гомотетия есть аффинное преобразование с матрицей и нулевым столбцом .
Определим гомотетию, используя второй способ задания аффинного преобразования. Для старой системы координат построим новую аффинную систему координат , в которой координаты образа при гомотетии совпадают с координатами прообраза в старой системе координат. Примем точку за начало (точка совпадает с точкой ), а векторы , в качестве нового базиса. Найдем координаты точки в системе координат :
Поскольку , то точки и имеют равные координаты в аффинных системах координат и соответственно.
Наоборот, если заданы аффинные системы координат и , то существует единственное аффинное преобразование, при котором координаты точки (в системе координат ) совпадают с координатами образа (в новой системе координат ), и это преобразование является гомотетией (см. второй способ задания аффинного преобразования).
3. Сжатием плоскости к прямой вдоль пересекающей ее прямой с коэффициентом (косым сжатием) называется преобразование плоскости, при котором каждая точка , принадлежащая прямой , остается неподвижной (преобразуется в себя: ), а каждой точке , не лежащей на прямой , ставится в соответствие такая точка , что , где — проекция точки на прямую вдоль прямой (рис.2.22,а). При это преобразование называют паске растяжением.
В частности, сжатием к прямой с коэффициентом называют сжатие в направлении, перпендикулярном прямой , то есть в случае, когда прямая перпендикулярна прямой (рис.2.21,6).
Покажем, что это аффинное преобразование. Выберем аффинную систему координат так, чтобы ее начало совпадало с точкой пересечения прямых и , а векторы и принадлежали прямым и соответственно. Из формулы следует, что при сжатии абсцисса точки не изменяется, а ордината умножается на коэффициент сжатия :
Сравнивая с (2.11), делаем вывод, что сжатие является аффинным преобразованием с матрицей и нулевым столбцом .
4. Отражением плоскости в прямой параллельно пересекающей ее прямой (вдоль прямой ) называется преобразование плоскости, при котором каждая точка , принадлежащая прямой , остается неподвижной (преобразуется в себя: ), а каждой точке , не лежащей на прямой , ставится в соответствие такая точка , что , где — проекция точки на прямую вдоль прямой (рис.2.23,а).
Это преобразование является аффинным, поскольку оно не изменяет расстояний между точками, т.е. представляет собой движение. Выберем систему координат так, чтобы ее начало совпадало с точкой пересечения прямых и , а векторы и принадлежали прямым и соответственно. Найдем матрицу преобразования, записывая по столбцам координаты образов базисных векторов. Поскольку и , то .
5. Проекцией плоскости на прямую параллельно пересекающей ее прямой (вдоль прямой ) называется преобразование плоскости, при котором каждая точка , принадлежащая прямой , остается неподвижной (преобразуется в себя: ), а каждой точке , не лежащей на прямой , ставится в соответствие ее проекция на прямую вдоль прямой (рис.2.23,б).
Это преобразование является линейным, но не является аффинным. В самом деле, выберем аффинную систему координат так, чтобы ее начало совпадало с точкой пересечения прямых и , а векторы и принадлежали прямым и соответственно. Найдем матрицу преобразования, записывая по столбцам координаты образов базисных векторов. Поскольку и , то . Как видим, матрица преобразования вырожденная, поэтому преобразование не является аффинным, но является линейным (см. пункт 2 замечаний 2.5).

6. Инверсией плоскости относительно окружности радиуса с центром в точке называется преобразование плоскости, при котором точки, принадлежащие данной окружности, остаются неподвижными (преобразуются в себя), а каждой точке , отличной от , ставится в соответствие такая точка , что (рис.2.24), т.е. радиус-векторы и образа и прообраза коллинеарны, а произведение их длин равно квадрату радиуса окружности (при длины радиус-векторов взаимно обратные: ). Для взаимной однозначности преобразования предполагают, что точка О отображается в некоторую "бесконечно удаленную точку" плоскости. Преобразование инверсии называется также зеркальным отражением в окружности.
 Это преобразование не является линейным (и, следовательно, аффинным). В самом деле, выберем прямоугольную систему координат , начало которой совпадает с центром данной окружности. Выразим прямоугольные координаты образа через координаты прообраза . Записывая равенство в \ох\ координатной форме, получаем:
![\begin{cases}x'=\dfrac{x\cdot R^2}{x^2+y^2},\\[10pt]y'=\dfrac{y\cdot R^2}{x^2+y^2},\end{cases}](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAI8AAAB5BAMAAADyhm+kAAAALVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACttl6nAAAADnRSTlMAp0IzgcCO2BBhIXHwUSQrr6cAAAW2SURBVGjezZnvTxtlHMC/dwftXY+SgwUmiE1pTZzGkBKXaSIhdZbogiOdrgPnQrqYybuGZSIuYnPq5liGS53biDFpDucyZpTcDPrC6MKW6LaAS4nuhdnW8MMBBXZ/g3dtgV6fh16f673geUF7D3efPt/v832+vw7A2kGL5M84vJi5QxI56PywgMy1HDMhxU16Ln+KmfKZAN2B//Kn7CtkiPFA4JyqVAZZUbyXDPTKauC1BQAK0VE0TAbiVEpEhl+QPVPcZCDqMUBHkIudzjcihVDN9iUAlzDt2UsOotsH2zdsdqwX2CnprjKfd1eZMehi49Ec84uH2eGDmLuMQbTApZo2QJG+Q3O425yGIE6yLZ1QRXPcyuyyyPZjf68IZdvTpsaspnd5EaDbbRJ0NmNq3jUzipoDOYV4gvflmBGriEYgVsYJtuxyn8o1I/WRoAHINo8z5drtT761dnE5+igM0fuYY8UriFbzhxc867Kw8K0EZ/YYiXZWNu+wdStKiuZBOoM8XEoIWQO9BKPwpgWgZ3qme3xC6SBHV1kq6c9M1YS0cdAciPJRM/d8YIWO7BhrBZdiMNwoaMyPAV16wWCI+SBWirudkgU6sk+44KQp3Vzw6UCV70ZHnzIF6hZ0IO7AF1WbB7hrfZgNdVZ9rH3sDBbvIZkghXELdvENTaksAYif55bR2VZ5LKHJIhNEWh8/k11bjogMNGlXl0WSkG3PGlmZzthqtD+fEcX+WsCAuCdIosj0tuZtwMVG9aC2BLwMzaxYPIh//bf6GvgawjqQ7fwMNDBhzl08qBmazs3SijKhAzVTM3BjSFGk4kFe6JB2ODwebX/Uj8Zqj0d92lshMCufejxEkbZz49ZAoG1/IKDJk0zw+SGQMwLN6pKgrLJdQE2QgS78mFJVjYBCUCEUimuYsz0yxwZR0HaIy2TZyM+1PUd8KKilKuojy9gcEuvD6Aie6yTPIXXrz5hg+QyTKg2UHRXBU4IlIC50HCwBgak8u1jQI4tA1KxFoIo5i0DJXotAUbdFul6xaEHxsDUc518WLch506oGSzxmlWGnrFpS1GeVbMGtdkSoha3mRraeh+RMgabRfJk2A1KLstuWgOg5tOlnCgRu53yJIKZbCQ3Uq0FbKHVFqkt1DEjwJZQKolSZIn5aGCx1+yvUlK/bvwt+MrEiXaO4VQB29fu7ygx5a4yKJNjJ9avrMlw5xno8biDLIdXxTWXY+Xij7u4LTYrmemxCMmZbUgu8TKU6BWdWwBwIXKLWVypbTNuRmnMMmAXdSHfrHHVpTajLUUyC6JRaMeSYEVMEaBB/QiGyrt7KCeAWQTYCHcWB2D/5xbXv37neTzCLXNgAxOADwcg76/NPa8XRvQNGovHLuDtOuPHzBUAUNlheF4bChCA7NqN4/uEHQAj6AX9Hu0QAYo/IsOuiBa0x27NL0JCZUYtedXhNgkaoJfUoZGwloI29JkGX1AIceRsEn1QZjDCq7GSMRxOcz98zGDIKiohU1nvuTIu2x6Ro0KmWhWaUzSXyQGoB7jez663LeaAX+zdPS7l9uH81pn3vyTt5cU0SOzf91d0c5l0ALbekVf27fkXly/TmGfc+nKOiJjKtwHp9OLIHrwibgh6ug3JOHSPbtD4LLehBzr7qQonVmonp/Ey6g1cmkiQR5TEc6DBJFGF+dXwFUAd6kGo8DpETSEC1D9oe+PgYpQe9/REM+e+DUDyIl8uXXbHh0H4dqCw2C8m/+0LB4kEU2Hv/EccDr+pANmcKIqcDgQRJpM3p4IdCoT9CoS6Nfxv6SUN2XJcIZYWpEFikgcEWfOHrTLiAQkGtshM9B1G50NkO3oJmFNSUoNCYWfCl+Ni1hn+7UJC9ugN9yl6oPKZ3M+0iCmLHk2jwZabE4t1YxgTZOujABM2WD0m9Ir/ATOKO9oBECHIcH8ZmCTwpCK7u0F//DysA2dx5BUUZAAAAAElFTkSuQmCC) что отличается от (2.11), так как зависимость нелинейная.
Замечания 2.6 
1. Справедливо утверждение: любое аффинное преобразование плоскости можно представить в виде композиции, движения и двух сжатий (во взаимно перпендикулярных направлениях).
2. В пункте 3 замечаний 2.4 показано, что изменение координат точки будет одно и то же, подвергаем ли мы плоскость аффинному преобразованию, оставляя систему координат неизменной, или же оставляем плоскость неизменной, подвергая систему координат обратному преобразованию. Например, при повороте плоскости на угол вокруг начала системы координат (рис.2.25,а) координаты точек меняются так же, как при повороте системы координат на угол, равный , т.е. при переходе к системе координат (рис.2.25,б).
Пример 2.8. Пусть на плоскости задана окружность. В результате прямого сжатия плоскости к прямой с коэффициентом в направлении, перпендикулярном (рис.2.26,а), окружность преобразуется в кривую, называемую эллипсом, а центр окружности — в центр эллипса- При этом образом каждого диаметра окружности служит диаметр эллипса, т.е. хорда, проходящая через центр эллипса.
Доказать, что:
а) для любого данного диаметра эллипса существует единственный диаметр , который делит пополам все хорды, параллельные данному диаметру; б) существуют два взаимно перпендикулярных диаметра эллипса, называемых его главными осями.
Решение. Для решения задачи используем два свойства аффинного преобразования: параллельные отрезки отображаются в параллельные отрезки (что следует из свойства 2); середина отрезка отображается в середину образа этого отрезка (см. свойство 3).
а) Сформулированное в пункте "а" свойство диаметров очевидно для окружности (рис.2.26,а), поскольку диаметр окружности, перпендикулярный хорде, делит ее пополам.
Рассмотрим эллипс (рис.2.26,б) как образ окружности при сжатии плоскости к прямой , проходящей через центр окружности. Сжатие происходит вдоль прямой , перпендикулярной , при этом точка остается неподвижной. Пусть — диаметр эллипса (центр эллипса — середина ), а — его прообраз, который является диаметром окружности (поскольку центр окружности — середина ). Рассмотрим хорды окружности, параллельные диаметру . Геометрическим местом середин этих хорд является диаметр окружности (рис.2.26,а), поскольку диаметр окружности, перпендикулярный хорде, делит ее пополам. При сжатии параллельные хорды окружности преобразуются в параллельные хорды эллипса, а диаметр окружности преобразуется в диаметр эллипса. Поскольку середина любого отрезка при аффинном преобразовании переходит в середину образа этого отрезка, то диаметр будет делить пополам все хорды эллипса, параллельные диаметру . Существование диаметра с указанными свойствами доказано. Единственность следует из единственности перпендикулярного к диаметра окружности. Конечно, перпендикулярность диаметров и окружности, вообще говоря, не сохраняется для диаметров и эллипса, так как при сжатии плоскости углы, в общем случае, изменяются. Аналогично можно показать, что для данного диаметра существует единственный диаметр , который делит пополам все хорды, параллельные . Два диаметра, каждый из которых делит пополам хорды, параллельные другому диаметру, называются сопряженными. В данном случае сопряженными являются диаметры и . Заметим, что описанное свойство очевидно для взаимно перпендикулярных диаметров окружности: любые два взаимно перпендикулярных диаметра окружности являются сопряженными, например и .
б) Выберем диаметр эллипса, перпендикулярный прямой (рис.2.26,в). Этот диаметр является образом диаметра окружности, который также перпендикулярен прямой . Диаметр окружности, перпендикулярный, а значит, сопряженный (см. пункт "а"), диаметру , лежит на прямой . Поскольку все точки прямой при сжатии к ней отображаются в себя, то диаметр окружности является также диаметром эллипса (см. пункт "а"), сопряженным для . Таким образом, диаметры и эллипса взаимно перпендикулярны.
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|