Файл: Shpory_po_geometrii_4_semestr.doc

Несобственная прямая в простр-ве задается плоскостью.Центральное проецирование расширенной плоскости на расширенную плоскость – взаимнооднозначное отображение.Опр 3.Пространство, пополненное несобственными точками всех прямых этого пространства, наз.расширенным или проективным пространством.Опр.4.Множ-во всех несобственных точек проективного простр-ва наз.несобственной плоскостью (обозн _ ).(нерасширенные) плоск. наз. собственными плоскостями. Обобщ.Проективной прямой, плоск-ю, простр-ом наз. также любое множ-во, которое можно взаимнооднозначно отобразить на расширенную прямую, плоскость, пространство.

23Свойства расширенных плоскости и пространства.

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

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

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

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

4. Через прямую и не лежащую на ней точку можно провести плоскость, и притом, только одну.

5. Если две точки прямой лежат в плос-и, то и вся прямая лежит в этой плоскости.

6. Через три точки, которые не лежат на одной прямой, можно провести плоскость и, притом, только одну.

Для д-ва, напр, св-ва 1 необходимо рас-ть 3 возможных случ: а) данные точки собственные; б)одна точка собственая, а вторая – несобст; в) обе точки несобств. Однако принадлежность точек, прямых и плоскостей в расширенном пространстве обладает и некоторыми новыми свойствами. Например:

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

8. Любая плоскость и прямая, которая не лежит в этой плоскости, имеют общую точку и, притом, только одну.

9. Любые две различные плоскости имеют общую прямую и, притом, только одну.

Д

а)

а

б)

б

в)

в) плоскость несобственная, а прямая собственная; в обоих случаях б) и в) общей явл. несобств. точка прямой.

г

г)

24 Принцип двойственности на проективнойплоскости.

Легко заметить, что свойства принадлежности на проективной плоскости обладают своеобразной симметрией. Например, свойства 1 и 7. Для того, чтобы эта симметрия стала более заметной, удобно ввести понятие инцидентности. Вместо выражения «точка принадлежит прямой» будем говорить «точка инцидентна прямой», а вместо «прямая проходит через точку» – «прямая инцидентна точке». Тогда свойства 1 и 7 можно переформулировать так:

1. Любые две различные точки инцидентны одной прямой и, притом, единственной.

7. Любые две различные прямые инцидентны одной точке и, притом, единственной.

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

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

В соответствии с этим принципом каждой фигуре также соответствует двойственная фигура. Примеры:

1. фигуре «прямая и три точки на ней» соответствует фигура «точка и три прямые, проходящие через нее»;

2. фигуре «триточки, не лежащие на одной прямой, и три прямые, которые проходят через эти точки» (она называется трехвершинником) соответствует двойственная

ей фигура «три прямые, не проходящие через одну точку, и три точки их пересечения» (она называется трехсторонником). Ясно, что это одна и та же фигура.

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

25 Проективные координаты на проективной прямой.

Опр.2.1.1. Проективной системой координат (проективным репером) на проективной прямой a; ¯ наз. Произв-ая упорядоченная тройка точек этой прямой.

Проективный репер обычно обозначается буквойR , а точки, из которых он состоит – A₁, A₂ , E . Причем E называется единичной точкой репера. В дальнейшем проективный репер часто будем называть просто репером.

Пусть Oa; ¯ – произвольная точка, а (; ¯ – плоскость, которая проходит через O и a; ¯. Будем все векторы в плоскости , откладывать из точки O.

Опр. 2.1.2. Говорим, что вектор x;\s\up8(( порождает точку M на прямой a; ¯ , если x;\s\up8(( лежит на прямой OM.

Будем обозначать так: x;\s\up8(( ((;\s\up8(( M , или ( x;\s\up8(( ) = M. Очевидно, что

R \{0} ( x;\s\up8(( ) = (x;\s\up8(( ). (2.1)

Опр.2.1.3. Говорим, что базис B = {a1;\s\up8(–( , a2;\s\up8(–( } в плоскости (; ¯ порождает репер R = {A₁, A₂, E} , если ( a1;\s\up8(( ) = A₁ , ( a2;\s\up8(( ) = A₂ , ( a1;\s\up8(( + a2;\s\up8(( ) = E . Пишем: (B ) = R .

Теорема 2.1.1. Для любого репера R на прямой a; ¯ существует единственный с точностью до гомотетии с центром O базис B, который порождает реперR .

Пусть R = {A₁, A₂, E} – репер на a; ¯ , Oa; ¯ . Возьмем произвольный вектор e;\s\up8(–( на прямой OE и разложим его на составляющие, лежащие на прямых OA₁ и OA₂: e;\s\up8(( = a1;\s\up8(–( + a2;\s\up8(( . Базис B = {a1;\s\up8(( , a2;\s\up8(( } – искомый. Очевидно, подойдет и базис {a1;\s\up8(( ,a2;\s\up8(( },   0.

Опр. 2.1.4. Пусть базис B порождает репер R , а вектор x;\s\up8(( – точку M. Проективными координатами точки M на прямой a; ¯ в репере R наз.координаты вектора x;\s\up8(–( относительно базиса B .

Из (2.1) и т 2.1.1вытекает, что эти координаты определяются с точностью до пропорциональности, т.е. данная точка в данном репере имеет не одну пару корд. (x₁, x₂), а мн-во пар, пропорц-ных друг другу. Поэтому зап-ют так:M(x₁: x₂).

Чтобы найти координаты (x₁, x₂) точки Ma; ¯ в репере R , необходимо:

1. выбрать собственную точку Oa; ¯;

2. выбрать базис B , который порождает R ;

3. выбрать вектор x;\s\up8(( на прямой OM ;

4. найти корд-ты (x₁, x₂) этого вектора в базисе B (они и будут проективными корд-ми точки M, т.е.M(x₁: x₂)).

В частности, поскольку ( a1;\s\up8(( ) = A₁ , ( a2;\s\up8(( ) = A₂ , ( a1;\s\up8(( + a2;\s\up8(( ) = E , то A₁(1,0), A₂(0,1), E(1,1). Теперь понятно, почему точка E называется единичной.

Замечание. Позже будет показано, что координаты точки M в репере R не зависят от выбора точки O. Заметим также, что для любой точки M(x₁: x₂) числа x₁, x₂ не равны нулю одновременно: x₁² + x₂²  0.

Очень простой смысл имеют проективные координаты в репере, первая точка которого несобственная. Пусть R = {A_1 , A₂, E} – такой репер

иM – произвольная собственная точка на прямой a; ¯ . Тогда прямая OA_1 a; ¯ . Обозначим

e;\s\up8(( = OE;\s\up10( –(, e1;\s\up8(( = A2E;\s\up10( –( , e2;\s\up8(( = OA2;\s\up10( –( , x;\s\up8((= OM;\s\up10( –( .

Тогда A2M;\s\up10( –( e1;\s\up8(( , т.е. xR: A2M;\s\up10( –(= xe1;\s\up8(( .

Поэтому

x;\s\up8(( = OA2;\s\up10( –( + A2M;\s\up10( –( = xe1;\s\up8(( + e2;\s\up8(( .

Значит, проективные координаты x₁: x₂ точки M в таком репере будут x:1, где x – обычная координата точки M в аффинной системе координат на прямой a; ¯ с началом A₂ и единичной точкой E . На рисунке M(3:1).

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