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

Размещено на http://allbest.ru

МИНИСТЕРСТВО НАУКИ И ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

Государственное образовательное учреждение высшего профессионального образования

КАМЧАТСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени ВИТУСА БЕРИНГА

Кафедра прикладной математики

Дисциплина: «Геометрия»

Курсовая работа

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

Выполнила студентка 2 курса

физико-математического факультета

Холманских Елизавета Владимировна

Научный руководитель

кафедры прикладной математики

Шереметьева Ольга Владимировна

г.Петропавловск-Камчатский

2008год.

Введение

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

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

Далее также рассматриваются трехвершинники и четырехвершинники. Во всех главах все подробно объясняется на рисунках, на которых показывается суть теоремы, замечания и так далее.

Определения и аналитическая запись проективных преобразований

Пусть на проективной плоскости P задана определенная система проективных координат. Без ограничения общности можно предположить, что есть арифметическая проективная плоскость с системой однородных координат на ней. Задать на плоскости P проективное преобразование - значит задать некоторую новую проективную систему координат; этим определится преобразование плоскости P, состоящее в том, что каждой точке М плоскости, координаты которой в исходной системе пусть будут x₁: x₂: x₃ ,ставится в соответствие точка М' плоскости, имеющая те же координаты x₁: x₂: x₃ , но уже в новой системе координат.

Замечание 1. Из этого определения непосредственно следует, что преобразование проективной плоскости P, обратное к проективному преобразованию, есть проективное преобразование. Очевидно также, что тождественное преобразование плоскости P есть проективное преобразование.

Если новая система координат задана матрицей С, то, как непосредственно следует из формул преобразования координат, точка М', имеющая в новой системе координат координаты x₁ , x₂ ,x₃ , будет иметь в старой системе координаты

(1)

Поэтому проективное преобразование можно определить как преобразование, ставящее в соответствие каждой точке М=( x₁: x₂: x₃) проективной плоскости точку М'=(x'₁: x'₂: x'₃), где координаты x'₁, x'₂, x'₃ даны формулами (1), причем детерминант матрицы С преобразования (1) не равен 0. Система координат при этом все время одна и та же.

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

Если проективные преобразования A и B задаются соответственно матрицами А и В, то произведение матриц А и В задает проективное преобразование, являющееся произведением преобразований A и B. Отсюда следует, что произведение двух проективных преобразований есть проективное преобразование.

Аналогично, если проективное преобразование l задается матрицей С, то матрица С^-1 задает проективное преобразование, обратное к преобразованию l; преобразование, обратное к проективному, есть проективное преобразование. Так как, наконец, тождественное преобразование, очевидно, является проективным, то из доказанного вытекает:

Теорема 1. Совокупность всех проективных преобразований проективной плоскости есть группа (подгруппа группы всех преобразований проективной плоскости).

При проективном преобразовании l множество точек М=( x₁: x₂: x₃) какой-либо прямой d={ u₁: u₂: u₃}, определенной уравнением

u₁ x₁+ u₂ x₂+ u₃ x₃=0 (2)

переходит в множество точек М', координаты которых в некоторой новой проективной системе координат удовлетворяют тому же уравнению (2) и которые поэтому образуют некоторую прямую d' в исходной системе координат получится, если подставить в (2) вместо координат x₁, x₂, x₃ какой-нибудь точки М их значения, выраженные через координаты x'₁, x'₂, x'₃ (в той же исходной координатной системе) точки М'=lМ. Эти значения получаются, если решить уравнения (1) относительно x₁, x₂, x₃, то есть

(3)

Где матрица D коэффициентов d_ik есть матрица, обратная к C.

Очевидно, формулы (3) равносильны формулам (1). Внося (3) в (2), получим

u₁(d₁₁ x'₁+ d₁₂ x'₂+ d₁₃ x'₃)+u₂(d₂₁ x'₁+ d₂₂ x'₂+ d₂₃ x'₃)+u₃(d₃₁ x'₁+ d₃₂ x'₂+ d₃₃ x'₃)=0

или

(d₁₁ u₁+ d₂₁ u₂+ d₃₁u₃) x'₁+ (d₁₂ u₁+ d₂₂ u₂+ d₃₂u₃) x'₂+(d₁₃ u₁+ d₂₃ u₂+ d₃₃u₃) x'₃=0

Полагая

(2')

видим, что при проективном преобразовании l всякая прямая d с координатами u₁, u₂, u₃ переходит в прямую d' с координатами u'₁, u'₂, u'₃ . Так как образом прямой при проективном преобразовании всегда является прямая, то проективные преобразования называются иначе коллинеарными преобразованиями.

Замечание 2. Из доказанного, очевидно, следует, что при проективном преобразовании всякая тройка неколлинеарных точек переходит в тройку неколлинеарных точек (иначе при обратном преобразовании коллинеарные точки перешли бы в неколлинеарные).

Основная теорема о проективных преобразованиях плоскости

Пусть при проективном преобразовании A проективной (арифметической) плоскости четверка фундаментальных точек Y₁, Y₂, Y₃, E некоторой проективной системы координат переходит в четверку точек Y'₁, Y'₂, Y'₃ , E', по только что сказанному, не лежат на одной прямой, то эти четыре точки определяют снова проективную систему координат. Пусть М - произвольная точка проективной плоскости, М ' - ее образ при преобразовании А . Тогда М ' имеет относительно системы Y'₁, Y'₂, Y'₃ , E' те же координаты, какие точка М имела относительно системы Y₁, Y₂, Y₃, E.

В самом деле, пусть координатная запись точек Y₁, Y₂, Y₃, E в исходной системе координат X₁X₂X₃ есть

Y₁=( a₁: a₂: a₃), Y₂=( b₁: b₂: b₃), Y₃=( c₁: c₂: c₃)

E=(₁: ₂: ₃),

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

{a₁: a₂: a₃}+{b₁: b₂: b₃}+{c₁: c₂: c₃}={₁: ₂: ₃}

Тогда, однородные координаты x₁,x₂,x₃ произвольной точки М связаны с координатами y₁,y₂,y₃ той же точки в системе Y₁, Y₂, Y₃, E соотношениями

(4)

Проективное преобразование А задано тем, что, наряду с исходной (однородной) системой координат X₁X₂X₃,дана некоторая проективная система X'₁, X'₂, X'₃ , ' суть не что иное, как тройки координат x₁: x₂: x₃ точки М в исходной однородной системе.

Это верно для любой точки М. Так как, в частности, точки Y'₁, Y'₂, Y'₃ , E' суть образы точек Y₁, Y₂, Y₃, E при преобразовании A, то тройки координат точек Y'₁, Y'₂, Y'₃ , E' пропорциональны тройкам однородных координат точек Y₁, Y₂, Y₃, E, то есть соответственно тройкам а₁, a₂, a₃ ; b₁, b₂, b₃ ; c₁, c₂, c₃ и ₁: ₂:₃ . Значит, формулы преобразования координат, соответствующие переходу от системы X'₁, X'₂, X'₃ , ' к системе Y'₁, Y'₂, Y'₃ , E', имеют ту же матрицу коэффициентов, что и преобразование (4). Поэтому, обозначая через y'₁: y'₂: y'₃ координаты точки М ' в системе Y'₁, Y'₂, Y'₃ , E' и помня, что в системе X'₁, X'₂, X'₃ , ' координаты точки М ' суть x₁:x₂:x₃ , будем иметь

( 4' )

Так как и (4) и (4'), рассматриваемые как уравнения относительно y₁, y₂, y₃ , соответственно y'₁, y'₂, y'₃ ,однозначно разрешимы, то мы видим, что тройки координат точки М ' в системе Y'₁, Y'₂, Y'₃ , E' совпадают с тройками координат точки М в системе Y₁, Y₂, Y₃, E. Утверждение доказано.

Из доказанного утверждения можно вывести следующий факт.

Теорема 2.Пусть Y₁, Y₂, Y₃, E и Y'₁, Y'₂, Y'₃ , E' - две четверки точек проективной плоскости, удовлетворяющие тому условию, что никакие три точки, принадлежащие одной и той же четверке, неколлинеарны между собою. Тогда существует одно и только одно проективное преобразование A проективной плоскости, переводящее каждую из точек одной четверки в соответствующую точку другой (то есть Y₁ в Y'₁, Y₂ в Y'₂, Y₃ в Y'₃ и Е в E').

В самом деле, рассматривая данные четверки как четверки фундаментальных точек двух проективных координатных систем и ставя в соответствие каждой точке М ту точку М ', которая относительно координатной системы Y'₁, Y'₂, Y'₃ , E' имеет те самые тройки координат, которые точка М имела относительно системы Y₁, Y₂, Y₃, E, мы получим проективное преобразование, переводящее соответственно точки Y₁, Y₂, Y₃, E в точки Y'₁, Y'₂, Y'₃ , E'.

Это преобразование единственно, так как по только что доказанному, при всяком проективном преобразовании А, переводящем точки Y₁, Y₂, Y₃, E соответственно в точки Y'₁, Y'₂, Y'₃ , E', тройки координат точки АМ относительно системы Y'₁, Y'₂, Y'₃ , E' суть не что иное, как тройки координат точки М относительно системы Y₁, Y₂, Y₃, E.

Замечание 3. Непосредственные следствиями теоремы являются утверждения:

1. Существует бесконечно много проективных преобразований плоскости, переводящих данные три ее неколлинеарные точки А, В, С в любые три неколлинеарные точки A', B', C'_. Тем более существует бесконечно много проективных преобразований, переводящих одну заданную точку в другую.

2. Существует бесконечно много проективных преобразований плоскости, переводящих пару заданных прямых d, g в пару заданных прямых d ', g '. Достаточно взять любые две точки А, В на прямой d, две точки С и D на прямой g, а также точки A', B' на прямой d ', точки С', D ' на прямой g ' и построить проективное преобразование, переводящее точки А, В, С, D соответственно в A', B', C', D'.

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

Предполагая, что в плоскости выбрана определенная система проективных координат, в частности, преобразование, отображающее одну из координатных прямых на другую, положим прямую x₁ =0 на прямую x₃ =0. Таким преобразованием является, например, преобразование

x'₁= x₃,

x'₂= x₂,

x'₃= x₁

Запишем в качестве второго примера преобразование, переводящее любую прямую {a₁: a₂: a₃} в одну из координатных прямых, например, предполагая, что , в прямую x₁ =0. В качестве такого преобразования можно взять

x'₁= a₁ x₁+ a₂ x₂+ a₃x₃ ,

x'₂= x₂,

x'₃= x₃

Задание проективных преобразований проективной плоскости аффинными преобразованиями трехмерного пространства

Проективную плоскость рассматриваем, как связку с центром О. Данное проективное преобразование А задается переходом от исходно проективной системы координат к новой системе координат . Берем в классе аффинных координатных систем с началом О, соответствующих проективной координатной системе , какую-нибудь определенную систему , а в классе аффинных систем, соответствующих проективной координатной системе , - какую-нибудь систему . Аффинное преобразование, задаваемое переходом от системы к системе , переводит каждый луч m= связки О в луч

Аm=,

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

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

Возникает вопрос: когда два аффинных преобразования A' и А'' (оставляющих неподвижной точку О) определяют одно и то же проективное преобразование A связки О? Без ограничения общности можно предположить, что оба преобразования A' и А'' определены переходом от одной и той же аффинной системы координат соответственно к системам и .

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

, ,

Но тогда аффинное отображение А'' получается из аффинного отображения A' умножением его на растяжение (гомотетию) с центром О и коэффициентом растяжения . Следовательно, доказана

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

Подгруппа проективно-аффинных преобразований

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

Замечание 4. Для того чтобы проективное преобразование было проективно-аффинным, достаточно, чтобы оно отображало две какие-нибудь несобственные точки М₁ и М₂ на несобственные же точки М'₁ и М'₂: тогда и несобственная прямая, будучи инцидентной точкам М₁ и М₂, отобразится на прямую, инцидентную несобственным точкам М'₁ и М'₂, то есть на несобственную прямую.

Замечание 5. При проективно-аффинном преобразовании l всякая собственная точка М отображается на собственную точку М'.

Пусть точка М'= l М несобственная. В силу взаимной однозначности отображения l точка М', будучи образом собственной точки М, не может быть образом никакой несобственной точки. Поэтому из сделанного предположения следует, что при отображении l несобственная прямая отображается на свою истинную часть, что невозможно, так как при проективном преобразовании всякая прямая (как множество инцидентных ей точек) отображается на прямую.

Итак, при проективно-аффинном отображении l проективной плоскости происходит отображение множества всех собственных точек плоскости на себя, то есть происходит некоторое преобразование l₀ той аффинной плоскости, от пополнения которой несобственными элементами произошла данная проективная плоскость. Докажем, что это преобразование l₀ является аффинным.

Предполагаем, что данная проективная плоскость есть арифметическая проективная плоскость с несобственной прямой x₃=0.

Рассмотрим любое проективное преобразование l , задаваемое формулами

(1)

Выражающими однородные координаты x'₁, x'₂, x'₃ точки М'=lM

Через однородные координаты x₁,x₂,x₃ точки М.

Предположим, что при преобразовании l образом несобственной точки всегда является несобственная же точка. Тогда, полагая в последнем равенстве (1) x₃=0,

будем при любых значениях x₁ и x₂ всегда иметь x'₃=0. Но это возможно лишь тогда, когда с₃₁=с₃₂=0.

Так как детерминант матрицы С отличен от нуля, то ,

Так что преобразование (1) записывается в виде

(5)

Перейдем к аффинным координатам собственных точек арифметической проективной плоскости. Для этого поделим левую и правую части равенств (5) на ; получим

Полагая

Получим

(6)

Итак, проективно-аффинное преобразование, рассматриваемое на множестве собственных точек плоскости, есть аффинное преобразование.

Обратно, если дано аффинное преобразование

Плоскости, то,переходя к однородным координатам, можем написать

Отсюда

так что

(7)

что дает при x₃=0 непременно x'₃=0, - получаем проективное преобразование, оставляющее на месте несобственную прямую, то есть проективно-аффинное преобразование. Доказали следующее:

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

Обратно, всякое аффинное преобразование посредством формул (7) может быть распространено на всю проективную плоскость таким образом, что получится проективно-аффинное преобразование проективной плоскости.

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

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

Итак, пишем снова формулы проективного преобразования (1) и переходим к аффинным координатам, для чего переписываем эти формулы в виде



и полагаем в них

Получаем

Это и есть формулы, дающие проективное преобразование собственных точек плоскости в аффинных координатах. Эти формулы перестают действовать для точек, лежащих на прямой c₃₁x+ c₃₂y+ c₃₃ = 0, то есть на прямой c₃₁x+ c₃₂y+ c₃₃ = 0.

Но, как показывает последняя из формул (1), эти точки при нашем преобразовании переходят в точки вида (x'₁: x'₂:0), то есть в несобственные точки плоскости; естественно, что нельзя найти аффинные координаты этих точке.

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

Тогда два несобственных пучка прямых x=a и y=b, параллельных (на обыкновенной плоскости) соответственно оси ординат и абсцисс выбранной прямоугольной координатной системы, перейдут соответственно в пучки с центрами О₁ и О₂, а квадратная сетка, изображенная на рис.1, a), перейдет в сетку четырехугольников, изображенную на рис.1, б). Эти рисунки, а также сделанных на их основе рис.2 поможет составить себе наглядное представление о том, что может происходить при проективном преобразовании.

Проективные отображения одной плоскости на другую. Перспективные отображения

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

Пусть и - две плоскости в трехмерном пространстве; пополняем их соответствующими несобственными точками до проективных плоскостей и . Берем любую точку О, не лежащую ни в одной из двух плоскостей и . Каждой точке М проективной плоскости ставим в соответствие ту собственную или несобственную точку М' плоскости , в которой эту плоскость пересекает луч m=, связки О (рис.3). Полученное таким образом отображение плоскости на плоскость называется перспективным отображением с центром перспективы О.

Можно увидеть, что всякое перспективное отображение является проективным. В самом деле, возьмем в связке О любую систему проективных координат . Она определит в плоскости проективную систему X₁, X₂, X₃, E, а в плоскости - систему X'₁, X'₂, X'₃, E'. Очевидно, и точка М плоскости (в системе X₁, X₂, X₃, E) и точка М' плоскости в системе X'₁, X'₂, X'₃, E' будут иметь те самые координаты, которые луч m== имеет в системе .

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

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

Замечание 7. Можно видеть, что всякое перспективное отображение какой-нибудь плоскости на параллельную ей плоскость есть аффинное отображение (так как оно отображает множество всех несобственных точек плоскости на множество несобственных точек плоскости ).

проективный аффинный трехмерный

Заключение

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

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

В последней главе определяется взаимно однозначное проективное отображение одной проективной плоскости на другую.

Все пространства, изучаемые в геометрии, - это прежде всего топологические пространства. Каждое пространство представляет собой некое множество, на котором задана структура более богатая, чем структура топологического пространства.

Библиография

1) Плоткин Е.Е «Проективная геометрия. Курс лекций».

2) Александров П.С «Лекции по аналитической геометрии».

3) Атанасян Л.С, Базылев В.Т «Геометрия. Часть II» (1987год).

4) Базылев В.Т, Дуничев К.И «Геометрия. Часть II» (1975 год)

Размещено на Allbest.ru