Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ГОСЫ / вопрос 9 / Лекция 6

.doc
Скачиваний:
14
Добавлен:
25.03.2016
Размер:
351.23 Кб
Скачать

Лекция 6

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

Аналитическое выражение проективных преобразований.

Гомологии. Инволюция

Рассмотрим на проективной плоскости два проективных репераи.

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

Свойства проективного преобразования 6.2.

6.2.1. Всякое проективное преобразование плоскости переводит прямую в прямую. (Следует, что всякое проективное преобразование плоскости сохраняет коллинеарность точек. Поэтому проективное преобразование плоскости называеют еще коллинеацией).

6.2.2. Существует единственное проективное преобразование, которое любую упорядоченную четверку точек общего положения переводит в любую наперед заданную упорядоченную четверку точек.

6.2.3. Всякое проективное преобразование плоскости сохраняет сложное отношение четырех точек прямой.

Аналитическое выражение проективного преобразования плоскости.

Пусть дано проективное преобразование , заданное парой реперови. Точка- произвольная точка в репере, точка- образ точкипри преобразовании.

Пусть , тогда. Обозначим координаты точкиотносительно репера. Найдем связь координат точкив двух проективных реперах: для этого воспользуемся формулами перехода от реперак реперу(лекция 2), причем - новые координаты точки, а

- старые координаты этой точки. Получим:

Это и есть формулы проективного преобразования плоскости.

- матрица проективных преобразований. Определитель матрицы отличен от нуля, так как точкине лежат на одной прямой.

На расширенной аффинной (или евклидовой ) плоскости можно ввести неоднородные координаты. Воспользовавшись формулами , имеем:. Тогда формулы проективных преобразований плоскости в неоднородных координатах примут следующий вид:,.

Пусть - проективное отображение прямойна прямую.- проективный репер на прямой,- проективный репер на прямой.

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

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

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

Определение 6.4. Проективное преобразование прямой называется инволюцией, если оно совпадает со своим обратным преобразованием.

Свойства инволюций 6.5.

6.5.1. Инволюция может иметь либо две инвариантные точки, либо ни одной.

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

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

Теорема 6.6. (признак инволюции) Если проективное преобразование прямой какую-нибудь точку прямой переводит в точку, а точкув точку, то оно является инволюцией.

Инвариантные точки и инвариантные прямые

Пусть дано проективное преобразование плоскости:Определитель матрицы преобразований отличен от нуля.

Определение 6.7. Точка проективной плоскости называется инвариантной точкой проективного преобразования, если ее образ совпадает с точкой.

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

на :

Выполнив преобразования, получим:

.

Система уравнений однородна, имеет ненулевые решения, если ее определитель равен нулю: - характеристическое уравнение для нахождения инвариантных точек. Оно имеет по крайней мере один действительный корень. Решая, находим, которое позволяет найти координаты инвариантной точки. Таким образом, всякое проективное преобразование плоскости имеет по крайней мере одну инвариантную точку.

Определение 6.8. Прямая называется инвариантной прямой проективного преобразования, если ее образсовпадает с прямой.(Образ любой точки прямойпринадлежит этой же прямой).

Пусть прямая задана уравнениеми точка прямой. При проективном преобразованииточкапереходит в точку. Так как прямаяинвариантная, то точкапринадлежит прямой, и координаты этой точки удовлетворяют ее уравнению:(*).

Подставим в уравнение (*) вместо их выражения из формул проективных преобразований при. Получим:

(**)

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

.

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

Гомология

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

Определение 6.10. Центр пучка инвариантных прямых называется центром гомологии; прямая инвариантных точек называется осью гомологии.

Гомология задается центром; осью; парой соответственных точек.

Виды гомологии:

  • гиперболическая (центр не лежит на оси гомологии)

  • параболическая (центр лежит на оси гомологии).

Свойства гомологии 6.11.

  1. Прямая, проходящая через несовпадающие соответственные точки гомологии, является инвариантной прямой;

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

  3. Точка, ее образ и центр гомологии лежат на одной прямой.

  4. Соответствующие прямые пересекаются на оси гомологии.

Способ построения образа точки при гомологии

Пусть М – любая точка проективной плоскости, - образ точки Ь при гомологии с центроми осью. Построить точку- образ любой точки.

  1. Проведем прямую (искомая точка );

  2. Проведем прямую ;

  3. Найдем точку пересечения прямой с осью гомологии :;

  • Гиперболическая

  • Параболическая

Виды гомологии на расширенной плоскости

Условия определения центра и оси

Чертеж

Название

1. Ось - несобственная прямая, центр- собственная точка.

Гомотетия с центром и коэффициентом

2. Ось - собственная прямая, центр- несобственная точка.

Перспективно-аффинное или родство аффинной плоскости

Косое сжатие

- ось сжатия

Частный случай родства: сдвиг вдоль оси родства

3. Ось - несобственная прямая, центр- несобственная точка.

Параллельный перенос на вектор

Соседние файлы в папке вопрос 9