P=ABÇA'B', Q=ACÇA'C', R=BCÇB'C', AA'ÇBB'ÇCC'=Q
P,Q,R лежат на одной прямой.
Доказательство: Введем проективную систему координат, примем () А,В,С,О за фундаментальные:А(1,0,0), В(0,1,0), С(0,0,1), О(1,1,1)
Координаты ()А'- есть линейная комбинация координат ()А и ()О, так как А¹А', то а'=aА + dq
так как R= BCÇB’C’
С помощью условия коллинеарности трех () убедимся, что () P,Q,R лежат на одной прямой.
Имеем a -b 0 a -b 0a 0 g = a -b 0 =0
0 -b -g 0 -b -g
Условие коллинеарности выполнено, следовательно, P,Q,RÎ одной прямой.
Теорема доказана.
Глава 3. Аксиоматическое построение проективной плоскости.
3.1. Аксиоматика аффинной плоскости.
Начнем с некоторых наиболее простых фактов обычной плоской геометрии, которые мы применим в качестве аксиом при синтетическом построении теории.
Определение: Аффинной плоскостью называют множество элементов, именуемых точками и систему его подмножеств, именуемых прямыми, причем должны выполнятся три формулируемые ниже аксиомы А1-А3.
А1: Для " двух различных точек Р и Q$ единственная прямая, проходящая через них.
Две прямые называются параллельными, если они совпадают или не имеют общих точек.
А2: Для " заданной прямой l и точки Р $ одна и только одна проходящая через Р прямая m: m || l
А3: $ три неколлинеарные точки (Точки Р1,Р2,…Рn называются коллинеарными, если $ прямая l, что все эти точки ей принадлежат).
Пример: Евклидова плоскость Е2 удовлетворяет аксиомам А1-А3, то есть является аффинной плоскостью.
Пример: Аффинная плоскость имеет, по крайней мере, четыре различных точки; плоскость состоящая ровно из четырех () существует.
Действительно в силу А3 на плоскости есть три неколлинеарные точки; обозначим их через P,Q,R. Согласно А2, $ прямая l , проходящая через Р и параллельной прямой QR, соединяющей Q и R (эта прямая $ по А1). Точно так же доказывается $ прямой
m || PQ, проходящей через R.
Покажем теперь, что l || m.
же S¹R. Таким образом, четвертая () S необходимо должна существовать и наше первое утверждение доказано.
Теперь рассмотрим прямые PR и QS. Они могут пересекаться, но они могут и не пересекаться - это не противоречит аксиомам.
В этом случае мы получаем аффинную плоскость, содержащую ровно четыре () P,Q,R,S и шесть прямых PQ,РR,PS,QR,QS,RS.
Аксиомы А1-А3 здесь выполняются, таким образом, мы получим аффинную плоскость
, содержащую наименьшее возможное число (), а именно, четыре.3.2. Аксиоматика проективной плоскости.
Определение: Проективной плоскостью S называют множество, элементами которого именуются точками, и набор его подмножеств, именуемых прямыми, если при этом выполняются следующие четыре аксиомы.
П1.Через две различные точки P и Q плоскости S можно провести единственную прямую.
П2. " две прямые пересекаются по меньшей мере в одной точки.
П3. $ три неколлинеарные точки.
П4. Прямая содержит, по меньшей мере, три точки.
3.3. Модели проективной плоскости.
1)Рассмотренная ранее расширенная евклидовая плоскость есть модель проективной плоскости.
Доказательство: Проверим выполнение четырех аксиом П1-П4.
П1. Пусть P и QÎ
1. Если Р и Q - собственные (), то через них можно провести только одну прямую.
2. Если Р - собственная точка p, а Q- несобственная точка, то по аксиоме А2 $ прямая m, такая, что РÎm и m || l, так , что QÎ пополнению прямой m до прямой из p. Прямая m -единственная прямая p, проходящая через Р и Q.
3. Если Р и Q несобственные (), то через них проходит единственная несобственная прямая.
П2. Пусть заданы прямые l и m.
1.Если l и m - несобственные прямые и l || m, то они пересекаются в некоторой точке. Если l || m, то они пересекаются в несобственной точке Р¥.
2.Если l - собственная прямая, а m - несобственная прямая, то они пересекаются в несобственной точке Р¥.
П3. Непосредственно следует из А3. Необходимо только проверить, что если Р и Q и R неколлинеарны в А, то они не будут коллинеарны в p. Действительно, в p$ только одна (несобсвтенная) прямая, не принадлежащая А, но () Р,Q,R ей не принадлежат.
П4. Каждая прямая плоскости А содержит хотя бы две (). Но в p каждая прямая содержит еще и несобственную точку, поэтому она содержит не менее трех точек.
2) Пополняя аффинную плоскость А из четырех (), мы получим проективную плоскость S1 из семи точек.
Докажем это: Проверим выполнение четырех аксиом П1-П4.
Определим () пересечения прямых АВÇCD=N¥, BCÇAD=M¥, АCÇBC=P¥N¥, P¥, M¥Î одной несобственной прямой.
П1. Через две различные () плоскости можно провести единственную прямую.
Если А,В - собственные (), то через них можно провести только одну прямую из А. () А,В Î несобственной прямой, поэтому и в S1 через них можно провести единственную прямую.
Рассмотрим А- собственная () и N¥- несобственная (). Через эти точки проходит единственная прямая, так как () N¥ определена как пересечение прямых АВ и CDÞN¥ÎАВ.
Пусть имеем не собственные точки, через них проходит несобственная прямая S1 и она единственная.
П2. " две прямые пересекаются по меньшей мере в одной точке.
Справедливость аксиомы П2 следует из определения S1.
П3. $ три неколлинеарные точки.
Непосредственно следует из построения аффинной плоскости А. А мы дополнили точками N¥, P¥, M¥ (несобственными, которые принадлежат одной несобственной прямой). И поэтому точки не коллинеарные в А будут неколлинеарные в S1.
П4. Каждая прямая плоскости А содержит хотя бы две точки. В S1 каждая прямая содержит несобственную точку. Следовательно прямая в S1 содержит не менее трех точек.
Все аксиомы проективной плоскости выполняются, следовательно, S1 - проективная плоскость.
3) Связка прямых евклидова трехмерного пространства - модель проективной плоскости, построенной на аксиомах П1-П4.
3) Действительная проективная плоскость (множество упорядоченных троек действительных чисел, одновременно не равных нулю), рассмотренная ранее, удовлетворяет аксиомам П1-П4.
3.4. Теорема Дезарга.
Одним из важных результатов проективной геометрии является теорема Дезарга, которая утверждает следующее:
П5 (теорема Дезарга)
Если прямые проходящие через соответственные вершины двух трехвершинников пересекаются в одной (), то () пересечения соответственных сторон этих трехвершинников лежат на одной прямой.P=ABÇA’B’ AA’ÇBB’ÇCC’=0
Q=ACÇA’C’
R=BCÇB’C’
P,Q,R лежат на одной прямой.
В рамках теории, которую мы строим, не совсем правильно называть это утверждение “теоремой”, потому что нельзя доказать, исходя только из аксиом П1-П4. Примем это утверждение за аксиому П5. Хотя при первом и втором способе построения проективной плоскости это утверждение выступает как теорема.
Покажем, что П5 не есть следствие П1-П4, а именно, построим геометрию, удовлетворяющую аксиомам П1-П4, но не удовлетворяющую П5.
Определение: Конфигурацией называют множество элементов, именуемых точками, и набор его подмножеств, именуемых прямыми, если при этом выполняется аксиома.
К1. Две различные () принадлежат не более чем одной прямой.
Отсюда следует, что две различные прямые имеют не более одной общей точки
Примеры: Любая аффинная и " проективная плоскость являются конфигурациями. Набор 10 точек и 10 прямых теоремы Дезарга - тоже конфигурация.
Пусть p0- некоторая конфигурация. Мы определим свободную проективную плоскость П, порожденную p0.
Пусть p1- новая конфигурация, определенная следующим образом. Точками p1 являются точки p0. Прямыми p1 являются все прямые p0; кроме того, каждая пара точек Р1, Р2Îp0 не принадлежащая прямой из p0, задает новую прямую