Модели проективной прямой, проективной плоскости

1. Модель P₁ - «пучок прямых» на плоскости П(S).

Точка S на плоскости – центр пучка.

Прямые пучка – проективные точки.

Пучок прямых – проективная прямая.

2. Модель P₁ - «окружность».

Проективными точками являются пары точек –

концы диаметров.

Проективной прямой является окружность.

Определение: Расширенная евклидова прямая – это прямая дополненная одной несобственной (бесконечно-удаленной) точкой.

3. Модель P₁ - «расширенная евклидова прямая».

Проективными точками являются: точки прямой – собственные точки,

и единственная несобственная точка.

4. Модель P₂. – «пучок прямых» в пространстве.

Прямые пучка – проективные точки.

Плоскости пучка – проективные прямые.

5. Модель P₂ - «сфера».

Проективными точками являются пары точек – концы диаметров.

Определение: Расширенная евклидовая плоскость – это плоскость, дополненная несобственной (бесконечно-удаленной) прямой, состоящей из несобственных точек всех прямых лежащих в плоскости.

6. Модель P₂. – «расширенная евклидова плоскость».

Задача. Докажите что, расширенная евклидова прямая является P₁.

Решение. Для доказательства необходимо:

1. Найти V₂ – порождающее векторное пространство.

2. Построить отображение, удовлетворяющее аксиомам 1, 2.

В качестве V₂ - берем плоскость, фиксируем базис на плоскости.

Отображение φ: V ⁰₂. → P₁ зададим: =А, = В, =С, =D_∞.

Так как каждая точка на расширенной прямой имеет хотя бы один прообраз – вектор плоскости, то аксиома 1 выполняется.

Так как через точку О можно провести только одну прямую коллинеарную вектору ā, то точка А единственна и все вектора коллинеарные вектору ā будут порождать ту же самую точку А.

Т.о. аксиома 2 выполняется. □

Задача. Докажите, что расширенная плоскость - P₂. (самостоятельно).

План: 1. Найти V₃ .

2. Построить отображение, удовлетворяющее аксиомам.

Расширенная евклидова прямая и расширенная евклидова плоскость - наиболее наглядные примеры проективной прямой и проективной плоскости.

Свойства несобственных элементов:

1. Любая расширенная прямая имеет единственную несобственную точку.

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

3. Любые параллельные прямые (в евклидовом смысле) пересекаются в одной несобственной точке.

Свойства P₃:

1. Существуют точки общего положения в P₃.

а) три точки, не лежащие на одной прямой;

b) четыре точки, не принадлежащие одной плоскости.

Доказательство. P₃ порождается V₄. Пусть ā₁, ā₂, ā₃, ā₄ - базис V₄.

φ( ā₁ )=А₁ , φ( ā₂ )=А₂ , φ( ā₃ )=А₃ , φ( ā₄ )=А₄ P₃ .

а) От противного.

Пусть точки А₁, А₂, А₃ P₁ и пусть P₁ порождается L₂ V₃, тогда ā₁, ā₂, ā₃ L₂ ā₁, ā₂, ā₃ - линейно-зависимы (противоречие). □

b) Самостоятельно (от противного, см. (а)).

2. На P₂ существует три точки общего положения, т.е. три точки, не лежащие на одной прямой

(самостоятельно).

3. Через любые две различные точки проходит одна и только одна прямая.

Доказательство. Пусть А ≠ В, ā и – векторы порождающие эти точки. Тогда ā ≠ α∙ они линейно-независимы, а значит, могут образовать базис в L₂ V₃ .

Подпространство L₂ порождает P₁, а значит P₁ (существование).

Пусть P'₁ ≠ P₁ , причем А , В P₁ и А , В P'₁ .

Пусть подпространство L'₂ порождает P'₁, так как А , В P'₁ ā , L'₂ , но ā , L₂ L'₂ = L₂ (по свойствам линейных подпространств) P'₁= P₁ (единственность)□

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

Доказательство. Самостоятельно (см. (3)).

5. Если две различные точки принадлежат плоскости, то и вся прямая принадлежит плоскости.

Доказательство. Самостоятельно (см. (3)).

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

Доказательство. Пусть P'₁ ≠ P₁ Р₂. Пусть пространство V₃ порождает P₂ , подпространство L₂ порождает P₁ , а подпространство L'₂ порождает P'₁ .

P₁ P₂ L₂ V₃ и P'₁ P₂ L'₂ V₃ , причем L'₂ ≠ L₂ L'₂∩L₂=L₁ V₃ (по свойству подпространств).

Таким образом, L₁ порождает Р₀ - проективную точку, причем Р₀ P₁ и Р₀ P'₁, а значит является точкой пересечения проективных прямых P₁ и P'₁. Эта точка единственна, иначе противоречие с аксиомой 2. □

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

Доказательство. Самостоятельно (см. (6)).

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

Доказательство. Самостоятельно (см. (6)).

Замечание: Любую плоскость в P₃ можно рассматривать как проективную плоскость P₂.

Изоморфизм моделей

Определение: Две модели называются изоморфными, если существует взаимно-однозначное соответствие между ними, сохраняющее основные отношения между элементами моделей.

Замечание: Основными отношениями между элементами (точками) моделей является отношение «принадлежности».

Для изоморфных моделей в силу взаимной однозначности справедливы сходные утверждения. Это позволяет доказывать утверждения для одной модели и переносить его на другую модель.

Изоморфизм моделей проективной прямой или проективной плоскости доказать самостоятельно (установить биекцию между моделями).