Аффинные преобразования (стр. 3 из 5)

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

2. Следующее свойство перспективно-аффинного соответствия касается так называемого простого отношения трех точек прямой.

Рассмотрим три точки А, В, С, лежащие на одной прямой (черт 1). Простое отношение точек А, В, С определяется формулой:

геометрический преобразование аффинный соответствие

В этой формуле точки А и В считаются основными (или базисными), а точка С- делящей. Простое отношение (ABC) представляет собой отношение длин тех отрезков, которые делящая точка образует с основными. Если точка С лежит вне отрезка А В, то оба отрезка АС и ВС одинаково направлены, и поэтому в этом случае простое отношение (ABC) положительно. В случае, когда делящая точка С находится между А и В, простое отношение (ABC) отрицательно.

На чертеже 1 видно, что точкам А,В, С плоскости w соответствуют точки А', В', С' плоскости w'. Так как проектирующие прямые АА', ВВ', СС' параллельны, то будем иметь:

или (ABC) = (А'В'С').

Мы приходим к выводу, что в перспективно-аффинном соответствии простое отношение трех точек прямой одной плоскости всегда равно простому отношению трех соответственных точек другой.

3. Прежде чем перейти к рассмотрению дальнейших свойств перспективно-аффинного соответствия, остановимся на вопросе о возможном расположении соответственных плоскостей wи w' в пространстве.

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

Прямые, соединяющие соответственные точки, как АА', ВВ', СС',…, остаются параллельными при любом положении вращающейся плоскости, а также и после ее совмещения с неподвижной плоскостью. Это видно из того, что каждые две из упомянутых прямых (например, АА' и ВВ') всегда лежат в одной плоскости, определяемой парой пересекающихся прямых (АВ и А'В'), и отсекают на сторонах угла пропорциональные отрезки, так как (АВХ) = (А'В'Х). При совмещении плоскостей wи w' проектирующие прямые (АА', ВВ',...) окажутся лежащими в плоскости, образовавшейся из двух совпавших плоскостей wи w' (черт. 2).

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

В случае совмещения каждую точку (двойной) плоскости можно рассматривать как принадлежащую плоскости wили w' и обозначать ее в зависимости от этого большой буквой без штриха или со штрихом. Таким образом, мы имеем преобразование плоскости в себя, причем ее начальное состояние (плоскость до преобразования) обозначается буквой w, а новое состояние (плоскость после преобразования) - буквой w'.

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

4.Теперь мы могли бы отказаться от пространственного аппарата (параллельной проекции), послужившего нам для установления перспективно-аффинного соответствия двух плоскостей, и определить последнее для двойной плоскости, не выходя в пространство. С этой целью докажем следующее предположение: Перспективно-аффинное преобразование плоскости в себя вполне определяется осью (хх) и парой соответственных точек (А, А').

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

Проведем прямую АВ. Пусть X -точка ее пересечения с осью хх. Так как точка X сама себе соответствует (как лежащая на оси), то прямой АХ соответствует прямая А'X. Наконец, точка В' должна лежать на прямой А'Х и проектирующей прямой ВВ', параллельнойА А'. Это позволяет построить искомую точку В'. Таким образом, данных оказалось достаточно, и соответственная точка В' представляет единственное решение.

Заметим, что перспективно-аффинное соответствие будет действительно реализовано, так как указанная конструкция не может привести к противоречию. Это легко проверить, сведя построение к аппарату параллельной проекции.

В самом деле, если перегнем чертеж 3 по линии хх так, чтобы плоскости wи w' образовали двугранный угол, то все проектирующие прямые (прямые, соединяющие соответственные точки, например ВВ') окажутся параллельными прямой АА' (в силу пропорциональности отрезков). Следовательно, построенное нами соответствие можно рассматривать как результат параллельной проекции.

Примечание. Если бы на чертеже 3 мы отнесли точку В к плоскости w', обозначив ее через С', то построение соответственной точки привело бы нас к точке С, которая, как видно из чертежа 3, не всегда совпадает с В'. Можно доказать, что необходимое и достаточное условие такого совпадения, т.е. независимости перспективно-аффинного соответствия от того, отнесена ли точка к той или другой плоскости, заключается в делении отрезка А А' пополам в точке пересечения его с осью хх.

Следовательно, в этом случае соответствие является косой или прямой симметрией (относительно оси хх).

5. В дальнейшем исследовании перспективно-аффинного соответствия мы будем опираться на установленные выше свойства: 1) коллинеарность и 2) равенство простых отношений троек соответственных точек.

Заметим, что в перспективно-аффинных преобразованиях эти свойства выражают неизменность, или инвариантность, понятия прямой линии и понятия простого отношения трех точек прямой.

Из этих свойств можно вывести целый ряд других «инвариантов» перспективно-аффинного преобразования, которые, таким образом, уже не являются независимыми.Докажем прежде всего инвариантность параллелизма прямых. Предположим, что на плоскости w имеем две прямые а и b, которым на плоскости w' соответствуют прямые а' и b'. Предположим, что прямые а и bпараллельны (а || b). Докажем, что а '|| b'. Применим доказательство «от противного». Предположим, что прямые а' и b' пересекаются, и обозначим точку пересечения буквой М' (черт. 4). Тогда в силу взаимно однозначного соответствия плоскостей w и w' точке М' плоскости w' соответствует точка М на плоскости w. Точка М должна принадлежать как прямой а, так и прямой b. Следовательно, М есть точка пересечения прямых а и b. Таким образом, приходим к противоречию. Предположение, что прямые а' и b' пересекаются, невозможно. Поэтому а' || b'.

Таким образом, параллелизм прямых есть инвариантное свойство перспективно-аффинного преобразования.

Далее рассмотрим отношение двух параллельных отрезков.Пусть на плоскости w имеем два отрезка АВ и СD(черт. 5) и пусть АВ || СD. Им соответствуют на плоскости w' два также параллельных отрезка: А'В' \ С'D'.

Соединим В с Dи проведем через С прямую СF|| DВ. На плоскости w' прямой СFбудет соответствовать прямая С'F' \D'В' (в силу инвариантности параллелизма) и, следовательно, точке Fбудет соответствовать точка F'.Зная, что простое отношение трех точек инвариантно, можем написать:

Таким образом, приходим к равенству:

Последнее показывает, что отношение двух параллельных отрезков есть инвариант перспективно-аффинного соответствия.

Если отрезки АВ и СDлежат на одной прямой (черт. 6), то их отношение также инвариантно в перспективно-аффинном соответствии. В самом деле, пусть РQ-произвольный отрезок, параллельный прямой АВ. Тогда имеем:

6. Переходим к рассмотрению площадей соответственных фигур. Докажем следующую лемму: Расстояния двух соответственных точек (А, А') до оси соответствия (хх) находятся в постоянном отношении, не зависящем от выбора пары соответственных точек.Доказательство. Предположим, что точкам А и В соответствуют точки А' и В' (черт. 7). Опуская из этих точек перпендикуляры на ось хх, получим расстояния их до оси. Расстояния будем всегда рассматривать положительными независимо от направления перпендикуляров.

Можем написать:

Но как видно из чертежа:

Полученное равенство и доказывает формулированную выше лемму.

Обозначим постоянное отношение расстояний соответственных точек через к. Докажем следующую теорему.