Элементы проективной геометрии Перспектива и проективная геометрия



страница5/17
Дата07.10.2012
Размер0.68 Mb.
ТипДокументы
1   2   3   4   5   6   7   8   9   ...   17

Принцип двойственности


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

Значит, в теореме Дезарга можно «поменять местами» точки и прямые. Действительно, будем вместо слов «точка лежит на прямой» и «прямая проходит через точку» использовать слова «точка и прямая инцидентны». Если теперь записать формулировку теоремы, используя этот искусственный оборот, то в получившемся тексте слова «точка» и «прямая» можно менять местами. В результате такой «лингвистической» процедуры прямая теорема Дезарга превратится в обратную.

Оказывается, в проективной геометрии такое же «преобразование» можно применить к тексту любой теоремы. Ведь на проективной плоскости, в отличие от евклидовой, нет параллельных прямых. Любые две прямые имеют общую точку. И, конечно же, через любые две точки проходит единственная прямая.

Другими словами «любым двум прямым инцидентна одна общая точка», «любым двум точкам инцидентна одна общая прямая». Здесь мы отказываемся от представления, что «прямая состоит из точек». Будем считать, что на проективной плоскости есть два класса объектов – класс точек и класс прямых. Объекты двух разных классов могут находиться в отношении «инцидентности».

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

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

Вместо точек, лежащих на одной прямой (как говорили в XIX веке «ряда точек»), рассмотрим пучок прямых, проходящих через одну точку (в ХХ веке и то и другое назвали «одномерным многообразием»). Назовем отображение одного пучка на другой проективным отображением, если оно сохраняет сложное отношение четырех прямых.

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

Простейший пример – перспективное отображение одного пучка на другой. Оно двойственно центральной проекции одной прямой на другую. При центральной проекции прямые, соединяющие соответственные точки, проходят через центр проекции, точку S.
Точно так же, при перспективном отображении пучков точки пересечения соответственных прямых лежат на оси перспективы, прямой s.






(АВ,CD) = (A'B', C'D')

(аb,cd) = (a'b', c'd')

Сформулируем и докажем двойственную теорему


Будем, фактически, решать следующую задачу:

Даны четыре прямые a, b, m, p, принадлежащие одному пучку и три прямые a', b', m', принадлежащие другому пучку. Построить такую прямую р', что (ab, mр) = (ab, mр).

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

Проведем прямую b0 через точки пересечения ab' и a'b и прямую m0 через точки пересечения am' и a'm. Прямые b0 и m0 определяют пучок (так же как две точки определяют прямую). Этот пучок оказывается перспективен и первому пучку с осью a', и второму – с осью a. Теперь для любой прямой р можно сначала построить ее образ р0 в промежуточном пучке, а потом и образ р' прямой р0 в другом пучке. При этом отображение первого пучка на второй представлено в виде композиции двух перспективных отображений.




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

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

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

1   2   3   4   5   6   7   8   9   ...   17

Похожие:

Элементы проективной геометрии Перспектива и проективная геометрия iconПлан Проективная геометрия Аксиоматика Некоторые свойства
Проективная геометрия — раздел геометрии, изучающий проективные плоскости и пространства. Главная особенность проективной геометрии...
Элементы проективной геометрии Перспектива и проективная геометрия iconПроективная Геометрия
Рассмотрим трёхмерное пространство. Зафиксируем в нём какую-нибудь систему координат. Будем называть точками проективной плоскости...
Элементы проективной геометрии Перспектива и проективная геометрия iconМетодическая разработка курса по выбору по теме «Элементы проективной геометрии в решении задач на построение» Иванченко И. А
Курс по выбору «Элементы проективной геометрии в решении задач на построение» 9
Элементы проективной геометрии Перспектива и проективная геометрия iconРабочая программа по геометрии для студентов 2 курса фмф специальность «Математика и физика». 1 семестр (34 часа л/к,34ч пр.)
Лекция. Центральное проектирование. Возникновение проективной геометрии. Свойство взаимного расположения точек, прямых и плоскостей...
Элементы проективной геометрии Перспектива и проективная геометрия iconПроективные пространства
Ления. Целью преподавания дисциплины является ознакомление слушателей с основами проективной геометрии плоскости пространства, некоторыми...
Элементы проективной геометрии Перспектива и проективная геометрия icon2. Основы аналитической геометрии 1Основные понятия аналитической геометрии. Уравнения окружности и сферы
Аналитическая геометрия – это геометрия, изучаемая средствами алгебры с использованием систем координат. В аналитической геометрии...
Элементы проективной геометрии Перспектива и проективная геометрия iconСправочник по планиметрии § Основные понятия геометрии Геометрия
Сведения по геометрии попали к грекам, которые вели с египтянами оживленную торговлю. Греческий ученый Евклид, живший в III веке...
Элементы проективной геометрии Перспектива и проективная геометрия iconЭлементы топологии и симплектической геометрии
Теорема классификации двумерных поверхностей. Две серии поверхностей. Поверхности с краем и без края. Связная сумма. Ориентируемость...
Элементы проективной геометрии Перспектива и проективная геометрия iconБесполезная геометрия? Или: потерянная геометрия окружности и симметрий
Трудно назвать в какой-либо другой части геометрии теоремы, которые проще всего доказать используя методы и идеи теории групп, а...
Элементы проективной геометрии Перспектива и проективная геометрия iconДополнительные главы геометрии
Целью преподавания является ознакомление студентов с некоторыми вопросами многомерной евклидовой, аффинной и проективной геометрии,...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org