.

Проективная геометрия

Язык: русский
Формат: реферат
Тип документа: Word Doc
0 626
Скачать документ

Рассмотрим подробнее проективные преобразования одномерных многообразий,
здесь можно ограничится случаем преобразования прямой на прямую. Как
установили ранее, в неоднородных проективных координат на прямой это
преобразование имеет вид дробно-линейной функции (1)
х/=???х+???????х+? , причем, чтобы существовало обратное проективное
преобразование, необходимо, чтобы величина ??????????0. Запишем
преобразование (1) в виде функции х/= f(x).

Пусть данное отображение применяется последовательно два раза: х/= f(x),
x//= f(x/)= f(f(x)). Тогда, если для любого элемента х одномерного
многообразия (на прямой) выполняется соотношение x//= f(x/)= х (то есть
дважды преобразованный возвращается в себя) , то такое проективное
отображение называется инволюционным или инволюцией. Инволюция
характеризуется еще и тем, что x= f(x/), т. е. обратное отображение х/=
х совпадает с исходным х= х/. Найдем условие на коэффициенты в (1), при
которых проективное отображение является инволюцией. Для этого из (1)
выразим х через х/ : (??x /- ??)x= -???x/ + ?????x= -???x/+??????x /-
??(2). Из сравнения (1) и (2) видно, что отображения одинаковы тогда,
когда либо:

а) ??=-?????????????любые

б) ??=??????=???= 0 – но это тождественное отображение, которое
исключим из рассмотрения.

Таким образом, из случая а) вытекает форма инволюционого проективного
отображения х/= ??х+??????х-???, где -?????????????обозначим ??=
-??????

Неподвижной точкой любого отображения называется точка, остающаяся
неизменной после отображения. Для инволюции это означает , что х =х/=
??х+??????х-???.

Решим последнее уравнение относительно х (3) ??х2-2???х-??= 0 –
квадратное относительно х.

Это означает, что при инволюционном отображении число неподвижных точек
не может быть больше 2.Дискреминант уравнения (3) есть ??????=-??

Если -?????(дискриминант отрицательный), то уравнение (3) не имеет
действительных корней, то есть нет ни одной неподвижной точки. Такая
инволюция называется эллиптической (ее условие –??????????

Если -???????то есть ??????-???????????то уравнение (3) имеет два
действительных корня или две неподвижные точки- называется такая
инволюция гиперболической.

Если ??????то есть ?-???????????параболическая инволюция, но в этом
случае такое отображение не входят в группу проективных преобразований,
так как оно не взаимно однозначно.

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

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

Оно определяется так :Пусть М1,М2,M3,M4-четыре точки некоторой
проективной прямой. Введем систему проективных неоднородных координат ,
и обозначим через t1,,t2,t3,t4, координаты заданных точек. Можно
показать, что величина (t3-t1)/(t2-t3):(t4-t1)/(t2–t4 )

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

Эта величина обозначается (М1 М2 M3 M4)= (t3-t1)/(t2-t3):(t4-t1)/(t2–t4
) и называется сложным отношением четырех точек (СОЧТ).

Непосредственным вычислением можно показать, что выполняются два
свойства СОЧТ.

1) (М1 М2 M3 M4)=(M3M4M1M2)

2) (М1 М2 M3 M4)= 1/ (М1 М2 M3 M4) то есть СОЧТ не меняется при
перестановке первой и второй пар точек , изменяется на обратную величину
при перестановке точек внутри какой-нибудь пары.

Важная теорема проективной геометрии гласит.

При любом проективном отображении прямой а на прямую а/ сложное
отношение произвольной группы точек М1 М2 М3 М4 прямой а равно
сложному отношению соответствующих им точек М1/ M2/ M3/ M4/ прямой а/
.

Частным ее случаем является утверждение:

В плоскости ??заданы две прямые а и а/ ,задана произвольная точка S
,принадлежащая плоскости ??,но не лежащая на прямых а и а/. Тогда,
сложное отношение любой четверки точек М1 М2 М3 М4 прямой а равно
сложному отношению их проекций М1/ М2/ М3/ М4/ из центра S на прямую а/
.

Аналогичное утверждение можно сформулировать для плоского пучка из
четырех лучей m1 m2 m3 m4

Любая прямая, пересекающая эти четыре луча в

четырех точках, имеет для этих четырех точек одно и тоже сложное
отношение.

(М1 М2 М3 М4)=инвариант
проективной геометрии

или, что тоже самое (m1 m2 m3 m4 ) – инвариант проективной геометрии

Основной вывод : Сложное отношение четырех элементов одномерного
многообразия – есть инвариант проективных отображений. Можно показать,
что если пара точек А ,В гармонически разделяет пару точек С,D, то
сочетание (А В С D)=-1.Оно вытекает из свойства гармонического
сопряжения , когда каждая точка первой пары делит отрезок, образуемый
второй парой точек внутренним и внешним образом в одинаковом отношении

АС/AD=BC/BD или через неоднородные координаты ti точек (1,2,3,4)
соответствует ( A , B , C , D )

(t3 – t1)/(t1 – t4) = (t2 – t3)/(t2 – t4) или (t3 – t1)/(t2 – t3) =

– (t4 – t1)/(t2 – t4) или ((t3 – t1)/(t2 – t3))/((t4 – t1)/(t2 –
t4))=-1

Матрицы проективных преобразований.

Представим перспективную проекцию объекта как проективное преобразование
с центром проекции на оси z (на расстоянии zq от начала координат).
Пусть плоскостью проекции является координатная плоскость XOY

P(x,y,z)-точка объекта , P/(X,Y)-её проекция из центра Q. Известно, что
координаты точки-проекции P/ есть X=x/(1-z/zq) , Y=y/(1-z/zq) (*)

Однородные координаты точки P (x,y,z,1) – P/(x/,y /,z/,w /) ,w ???

Преобразование (*) может быть выражено через матрицу проективных
преобразований в однородных координатах:

1 0 0 0 P./=MПр* Р

МПр = 0 1 0 0

0 0 0 0

0 0 -1/zq 1

x/ 1 0 0 0 x x
Неоднородные координаты точки P/

x/ 1 0 0 0 x x

y / = 0 1 0 0 y = y
получаем отсюда : X=x/(1-z/zq ) ,

z/ 0 0 0 0 z 0
Y=y/(1-z/zq ) ,Z=0

w 0 0 -1/zq 1 1 1-z/zq

Найдём проекцию бесконечно удаленной точки на оси Z – ( однородные
координаты (0,0,1,0).

Вместо МПр возьмем матрицу полного проективного преобразования (без
проецирования на плоскость XOY).

1 0 0 0 0 0 Неоднородные
координаты проекции

0 1 0 0 0 = 0 этой точки (0 ,0 ,
-zq )

0 0 1 0 * 1 1

0 0 -1/zq 1 0 -1/zq

Если взять семейство параллельных оси z прямых, то после такого
проективного преобразования каждая из них пройдет через указанную точку
(0,0,-zq ) на оси z .Поэтому эту точку называют точкой схода.

Аналогично, матрицы 1 0 0 0 1 0 0 0

0 1 0 0 0 1 0 0

0 1 0 0 * 0 0 -1 0

-1/xq 0 0 1 0 -1/yq 0 1

описывают проективные преобразования с точками схода на оси OX и OY.
Это все преобразованные с одной точкой схода. Матрица 1 0
0 0

0 1 0 0 – преобразование с двумя точками схода
0 0 1 0

-1/xq -1/yq 0 1

1 0 0 0

0 1 0 0 – с тремя точками

0 0 1 0

-1/xq-1/yq-1/zq 1

Групповые свойства проективных преобразований

Группа – есть совокупность объектов произвольной природы, которые
называются элементами группы а обозначается символами a, b, c, …,
удовлетворяющая требованиям следующих аксиом:

1. С каждой парой элементов совокупности, взятых в определённом порядке,
сопоставлен по определённому закону некоторый третий элемент этой же
совокупности.

Символически это записывают так c=ab, элемент c называется произведением
(композицией) элементов a и b. Иначе: композиция двух любых элементов
группы даёт элемент, принадлежащий этой же группе.

2. Закон ассоциативности: Каковы бы ни были три элемента группы a, b, c,
всегда имеет место соотношение (ab)c=a(bc)

3. Существует такой элемент (, что для любого элемента a группы
выполняется ae=a.

Элемент e называется единичным элементом.

4. Каким бы ни был элемент группы a, всегда существует такой элемент x,
что ax=e.

Элемент x называется обратным элементу a и обозначается a-1, т. е. X=
a-1.

Отсюда следуют такие правила:

a) если ax=e, то и xa=e

б) если e-единичный элемент группы, то ae= a и ea= a т. е. не
различается “левая” и “правая” единицы

в) из соотношения ax= e обратный элемент x определяется однозначно

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

1) произведение двух проективных матриц есть вновь матрица проективного
преобразования;

2) (c1c2)c3= c1(c2c3)

3) единичный элемент

1 0 .. 0

0 1 .. 0

E= – – – –

0 .. .. 1

4) условием существования обратного элемента является условие
существования обратной матрицы, для последнего необходимо, чтобы [c]#0
это условие является требованием проективного преобразования.

Группу проективных преобразований называют проективной группой.

Прежде чем рассмотреть матрицы проективных преобразований,
соответствующих конкретным их типам, вспомним иерархию геометрических
преобразований.

1 Проективная группа
Матрица (n+1)(n+1)

в R1, R2, R3, …,Rn

удаление Ґ
удалённых элементов

(соответствующее разрезы)

2

Аффинная группа
Матрица n(n+1)

Введение
свойства перпендикулярности

3

Ортоганальная Паралельный
Гомотетии

группа перенос

(вращений)

Для однозначного определения матрицы преобразования 1го уровня
необходимо (n+2) точки. Для однозначного определения матрицы
преобразования 2го уровня необходимо (n+1) точка. Для однозначного

определения матрицы преобразования 3го уровня необходимо n точек.

2 уровень A2

Y

C2 C1

B2 (2 A1

O (1

B

3 уровень

Y Y
Y

A2
A2

n

A2

j

A1
A1

O X O X
O X

j – угол поворота n – вектор
Гомотетия

плоско параллельного
k=OA2/OA1

переноса

Матрицы конкретных проективных преобразований.

Каждое преобразование более низкого уровня является одновременно и
преобразованием более высокого

1) На плоскости. Перенос на вектор n (a,b)

P/=M(n )P P, P/ – однородные координаты

Поворот на угол ??против часовой стрелки вокруг начала координат.

Маштабирование относительно начала координат.

неоднородное

2) В пространстве

Вращение

относительно оси Z(угол ??)

относительно оси X(угол ? )

относительно оси y(угол ??)

Сложные преобразования строятся как цепочки преобразований.

Перспективные преобразования.

1) C одной точкой схода (соответственно на различных осях).

А) На оси Z

куда преобразуется точка , параллельная z, лежащая на бесконечности
т.Аz(0,0,1,0)

В неоднородных координатах.

т.е. точка схода лежит на оси z на расстоянии (-zq)

б) на оси x

Прямые параллельные оси ox идущей из бесконечности т.А(1, 0, 0, 0)
преображаются в т.(-xq , 0, 0)

в) На оси у

т.А(0,1,0,0) преображается в точку (0,-yq,0)

г) С двумя точками схода , с тремя.

Похожие документы
Обсуждение
    Заказать реферат
    UkrReferat.com. Всі права захищені. 2000-2019