ПРОЕКТИВНАЯ ГЕОМЕТРИЯ

ПРОЕКТИВНАЯ ГЕОМЕТРИЯ

раздел геометрии, изучающий проективные свойства фигур. Отличается от евклидовой геометрии тем, что в ней не используются понятия параллельности, перпендикулярности и равенства отрезков и углов и предполагается, что любые две прямые на плоскости имеют общую точку. Тесно связанная с перспективой, проективная геометрия плоскости занимается изучением свойств и отношений, которые остаются неизменными при проецировании плоской фигуры на другую плоскость. Те, кто изучал только евклидову геометрию, считают очевидным факт, что две прямые, лежащие в одной плоскости и имеющие общий перпендикуляр, параллельны, т.е. не пересекутся, как бы далеко мы их ни продолжали. Однако если мы, например, посмотрим на железнодорожные рельсы, являющиеся параллельными прямыми, то нам безусловно покажется, что они пересекаются на горизонте. Предположив, что любые две прямые пересекаются, мы получаем систему утверждений, столь же логически непротиворечивую, как и отличная от нее система утверждений евклидовой геометрии (см. также ГЕОМЕТРИЯ; НЕЕВКЛИДОВА ГЕОМЕТРИЯ). Можно было бы ожидать, что геометрия без окружностей, расстояний, углов и параллельности окажется беднее евклидовой геометрии. Этимологически кажется странным, что может существовать геометрия, не имеющая дело с измерениями (ведь само слово "геометрия" произошло от греческого слова, означающего землемерие). Но в действительности возникает очень красивая и сложная система с теоремами, о которых Евклид не мог даже помыслить, поскольку сосредоточенность на измерении увела его совсем в другую сторону. Однако сам переход от аксиом и простейших теорем к "интересным" теоремам проективной геометрии напоминает по духу, если и не в деталях, работы Евклида. Лишь немногие из этих неметрических утверждений были известны до 1425, когда художник Брунеллески начал заниматься теорией перспективы, систематизированной несколькими годами позже в трактате Альберти. После этого было бы естественно перейти к построению проективной геометрии для трех измерений, но вскоре обнаружилось, что и двух измерений вполне достаточно, чтобы надолго привлечь внимание математиков к задачам проективной геометрии. Плоская проективная геометрия занимается изучением геометрических свойств, не меняющихся при центральном проецировании. Примером такого проецирования может служить тень от абажура лампы, падающая на стену или на пол. Обычно световое пятно имеет круглую или эллиптическую форму на полу и гиперболическую - на стене. Таким образом, в проективной геометрии нет привычного различия между окружностью, эллипсом, параболой и гиперболой; это просто конические сечения, подобные друг другу. Если художник рисует кафельный пол на вертикальном холсте, квадратные плитки уже не кажутся квадратами, т.к. их стороны и углы искажаются, но линии, на которых лежат стороны, остаются прямыми. Поэтому проективная геометрия имеет дело с треугольниками, четырехугольниками и т.д., но не с прямоугольными треугольниками, параллелограммами и т.д.
См. также КОНИЧЕСКИЕ СЕЧЕНИЯ.
История. Хотя конические сечения изучали еще Менехм, Евклид, Архимед и Аполлоний в 4 и 3 вв. до н.э., первые действительно проективные теоремы были открыты Паппом Александрийским в 3 в. н.э., а самое раннее доказательство проективной теоремы, исходящее из чисто проективных свойств фигур, было предложено Ж. Понселе (1788-1867), который, находясь в русском плену после бегства Наполеона из Москвы, написал Трактат о проективных свойствах фигур. Развивая идею, высказанную ранее И.Кеплером (1571-1630), Понселе получил проективное пространство из обычного, постулировав существование "бесконечно удаленной плоскости", содержащей "бесконечно удаленную прямую" для каждого пучка параллельных плоскостей, и "бесконечно удаленную точку" для каждого пучка параллельных прямых. Это позволило утверждать, что две параллельные прямые пересекаются в бесконечно удаленной точке. Но для того, чтобы действительно перейти к проективной геометрии, надо уравнять в правах эти дополнительно введенные бесконечно удаленные точки с обычными. Большую роль в этом сыграли работы К. фон Штаудта (1798-1867), а последние следы зависимости от измерений устранил в 1899 М. Пьери, построивший систему аксиом проективной геометрии. Впоследствии другими авторами предлагались системы аксиом, слегка отличные от системы Пьери. Используемая нами далее система аксиом была предложена в 1910 О. Вебленом и Дж. Юнгом.
Определения. Основными понятиями, не нуждающимися в определении, будем считать "точку", "прямую" и отношение "инцидентности". Если точка P и прямая l инцидентны, мы говорим, что точка P "лежит на" прямой l, или что прямая l "проходит через" точку P. Если прямая l проходит через две точки P и Q, то мы говорим, что l "соединяет" их, и записываем l = PQ. Если точка P лежит на прямых l и m, мы говорим, что эти прямые "пересекаются" в P, и записываем P = lЧm. Три и более точек на одной прямой называются "коллинеарными". Три и более прямых, проходящих через одну точку, называются "пересекающимися в одной точке". После введения понятия плоскости (см. ниже) мы можем использовать аналогичные термины для пространственных понятий: если плоскость a проходит через две прямые l и m, мы говорим, что она "соединяет" их, и записываем a = lm; если прямая l лежит в плоскостях a и b, мы говорим, что эти плоскости "пересекаются" по прямой l, и записываем l = a*b. "Треугольник" ABC состоит из трех неколлинеарных точек A, B, C, называемых его "вершинами", и трех соединяющих их прямых линий BC, CA, AB, называемых его "сторонами". "Плоскость" ABC состоит из всех точек, которые лежат на прямых, соединяющих C с точками на AB, и всех прямых, соединяющих пары построенных таким образом различных точек. Если четыре точки на плоскости соединены попарно шестью различными прямыми, то они называются вершинами "полного четырехвершинника" (рис. 1), а соответствующие прямые служат его шестью сторонами. Две стороны называются "противоположными", если они не имеют общей вершины. Точка, в которой пересекаются две противоположные стороны, называется "диагональной точкой".
Рис. 1. ПОЛНЫЙ ЧЕТЫРЕХВЕРШИННИК можно получить, соединив попарно четыре точки шестью прямыми. Точки пересечения противоположных сторон (диагональные точки) отмечены звездочками.
Рис. 1. "ПОЛНЫЙ ЧЕТЫРЕХВЕРШИННИК" можно получить, соединив попарно четыре точки шестью прямыми. Точки пересечения противоположных сторон (диагональные точки) отмечены звездочками.

Если подвижная точка X на одной фиксированной прямой и подвижная точка Xў на другой соответствуют друг другу так, что прямая XXў всегда проходит через неподвижную точку O, мы будем писать

и говорить, что между подвижными точками X и Xў или, точнее, между "областями изменения" точек X и Xў, которые являются двумя "сечениями" "пучка" прямых, проходящих через O, имеется проективное соответствие с центром в точке O. Более общо, если точки X и Xўўў на заданных (необязательно различных) прямых связаны между собой рядом последовательных перспективных соответствий

то мы записываем

и говорим, что между X и X "' имеется непрерывное соответствие или что X проективно отображается в X "'. Точка, соответствующая самой себе, называется "инвариантной". Аксиомы. После этих предварительных определений мы располагаем всем необходимым для того, чтобы сформулировать следующие девять аксиом: I. Существуют по крайней мере две различные точки. II. Любые две различные точки A и B лежат на единственной прямой (а именно на прямой AB). III. Если A и B - различные точки, то на прямой AB существует по крайней мере одна точка, отличная от A и B. IV. Если A и B - различные точки, то существует по крайней мере одна точка, не лежащая на прямой AB. V. Если A, B, C - три неколлинеарные точки и D - точка, лежащая на BC и отличная от B и C, а E - точка, лежащая на CA и отличная от C и A, то существует точка F, лежащая на AB, такая, что точки D, E, F коллинеарны. VI. Три диагональные точки любого полного четырехвершинника неколлинеарны. VII. Существует по крайней мере одна точка, не лежащая в плоскости ABC. VIII. Любые две различные плоскости пересекаются по прямой. IX. Если на прямой имеются три различных точки, каждая из которых инвариантна относительно проективного соответствия, то любая точка этой прямой также инвариантна относительно этого соответствия.
Примечания к аксиомам. Все сказанное выше кажется интуитивно очевидным, пока мы не доходим до аксиомы V, которая исключает возможность, чтобы прямые AB и DE не пересекались в силу их параллельности. Эта аксиома позволяет определить плоскость ABC с помощью простого приема присоединения точки C ко всем точкам на прямой AB. Аксиома VI также оказывается полезной, хотя существуют некоторые странные геометрии, в которых она отрицается. Аксиома VII делает рассматриваемое пространство трехмерным, а аксиома VIII не позволяет ему стать четырехмерным. Мотивация для введения аксиомы IX станет ясна позднее.
Теорема Дезарга. Если соответствующие вершины двух треугольников соединены прямыми, пересекающимися в одной точке, то их соответствующие стороны пересекаются в трех коллинеарных точках. Обратно, если соответствующие стороны пересекаются в коллинеарных точках, то прямые, соединяющие соответствующие вершины, пересекаются в одной точке. На рис. 2 вы видите эту знаменитую теорему, примененную к треугольникам PQR, P'Q'R', у которых прямые, соединяющие соответствующие вершины, пересекаются в точке O. Теорема Дезарга почти очевидна, если два треугольника лежат в различных плоскостях; действительно, в этом случае точки
Рис. 2. ТЕОРЕМА ДЕЗАРГА. В треугольниках PQR и P'Q'R' линии PP', QQ', RR' пересекаются в точке 0. Поэтому точки D (точка пересечения линий QR и Q'R'), E (точка пересечения линий PR и P'R') и F (точка пересечения линий PQ и P'Q') лежат на одной прямой.
Рис. 2. ТЕОРЕМА ДЕЗАРГА. В треугольниках PQR и P'Q'R' линии PP', QQ', RR' пересекаются в точке 0. Поэтому точки D (точка пересечения линий QR и Q'R'), E (точка пересечения линий PR и P'R') и F (точка пересечения линий PQ и P'Q') лежат на одной прямой.


лежат в плоскости PQR, а также в плоскости P'Q'R'; поэтому они все лежат на прямой PQR*P'Q'R'. Случай двух треугольников, лежащих в одной плоскости, сводится к предыдущему с помощью несколько более длинного рассуждения, использующего две новые точки на прямой, проходящей через O вне плоскости треугольников.
Основная теорема проективной геометрии. Проективное соответствие между двумя прямыми (т.е. между точками этих прямых) единственным образом определяется заданием трех точек на одной прямой и соответствующих трех на другой. Основная теорема следует из аксиомы IX, если мы установим цепочку перспективных соответствий, связывающих две заданные триады коллинеарных точек. Если две триады точек располагаются на различных прямых, как на рис. 2, то достаточно двух перспективных соответствий. Если обе триады располагаются на одной и той же прямой, то необходимо третье перспективное соответствие, чтобы создать еще одну триаду, не лежащую на той же прямой. Проективное соответствие между различными прямыми эквивалентно одному перспективному соответствию лишь когда точка, в которой эти прямые пересекаются, инвариантна. Классификация проективных соответствий на прямой. Аксиома IX показывает, что проективное соответствие на одной прямой не может иметь более двух инвариантных точек; в противном случае оно вырождается в тождественное соответствие, которое сопоставляет с каждой точкой ее саму. Проективное соответствие называется "эллиптическим", "параболическим" или "гиперболическим" в зависимости от того, равно число инвариантных точек 0, 1 или 2. Если используются координаты, то инвариантные точки возникают как корни квадратных уравнений; таким образом, в комплексной геометрии эллиптические проективные соответствия не встречаются, но в действительной геометрии проективное соответствие

является эллиптическим. Если при проективном соответствии некоторая точка X прямой переходит в точку X', а точка X' переходит в X, то для любой другой точки Y, переходящей в Y', Y' переходит в Y; такое соответствие, меняющее местами точки в любой паре переходящих друг в друга точек, называется инволюцией.
Коллинеации и корреляции. Проективное соответствие можно описать как своего рода одномерное преобразование. Оно имеет два двумерных аналога. Коллинеация - проективное соответствие, при котором точки, лежащие на прямой, переходят в точки, также лежащие на прямой. Корреляция - проективное соответствие, при котором любым трем точкам, лежащим на одной прямой, соответствуют три прямые, проходящие через одну точку, а любым трем прямым, проходящим через одну точку, соответствуют три точки, лежащие на одной прямой.
ЛИТЕРАТУРА
Хартсхорн Р. Основы проективной геометрии. М., 1970 Ефимов Н.В. Высшая геометрия. М., 1978

Энциклопедия Кольера. — Открытое общество. 2000.

Игры ⚽ Нужен реферат?

Полезное


Смотреть что такое "ПРОЕКТИВНАЯ ГЕОМЕТРИЯ" в других словарях:

  • Проективная геометрия — раздел геометрии, изучающий проективные плоскости и пространства. Главная особенность проективной геометрии состоит в принципе двойственности, который прибавляет изящную симметрию во многие конструкции. Проективная геометрия может изучаться как с …   Википедия

  • ПРОЕКТИВНАЯ ГЕОМЕТРИЯ — раздел геометрии, изучающий т. н. проективные свойства фигур свойства, не меняющиеся при проективных преобразованиях. При этом в случае плоскости проективным преобразованием называют преобразование, которое можно осуществить при помощи одной или… …   Большой Энциклопедический словарь

  • Проективная геометрия —         раздел геометрии, изучающий свойства фигур, не меняющихся при проективных преобразованиях (См. Проективное преобразование), например при проектировании. Такие свойства называются проективными. Параллельность и перпендикулярность прямых,… …   Большая советская энциклопедия

  • ПРОЕКТИВНАЯ ГЕОМЕТРИЯ — раздел геометрии, изучающий свойства фигур, не меняющиеся при проективных преобразованиях, напр. при проектировании. Такие свойства наз. проективными; к ним относятся, напр., прямолинейное расположение точек (коллинеарность), порядок алгебраич.… …   Математическая энциклопедия

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

  • ПРОЕКТИВНАЯ ГЕОМЕТРИЯ — раздел геометрии, изучающий т.н. проективные свойства фигур свойства, не меняющиеся при проективных преобразованиях. При этом в случае плоскости проективным преобразованием наз. преобразование, к рое можно осуществить при помощи одной или неск.… …   Естествознание. Энциклопедический словарь

  • Гомология (проективная геометрия) — У этого термина существуют и другие значения, см. Гомология. Гиперболическая гомология с осью и центром Гомология  проективное преобразование проективной плоскости на себя, которое оставляет неподвижными все точки некоторой прямой ,… …   Википедия

  • Принцип двойственности (проективная геометрия) — У этого термина существуют и другие значения, см. Принцип двойственности. В проективной геометрии на плоскости двойственными понятиями являются, «точка» и «прямая», «точка лежит на прямой» и «прямая проходит через точку». Каждой аксиоме в… …   Википедия

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

  • Проективная группа — от переменных над телом   группа преобразований мерного проективного пространства , индуцированных невырожденными линейными преобразованиями пространства . Имеется естественный эпиморфизм …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»