Возникновение проективной геометрии. Центральное проектирование

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

Становление и развитие проективной геометрии связано с именами Понселе (1788-1867), Шаля (1793-1880), Штейнера (1769-1863), Штаудта (1798-1867).

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

В действительном трехмерном евклидовом пространстве рассмотрим две плоскости и , а также точку О, не лежащую на этих плоскостях (рисунок 1). Произвольной точке М из первой плоскости сопоставим точку M¢ пересечения прямой ОМ с плоскостью , M¢ - проекция точки М на плоскость из центра О. Установленное таким образом соответствие между точками двух плоскостей называется центральным проектированием.

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

Задача 1. Докажите, что при центральном проектировании между двумя пересекающимися плоскостями трехмерного евклидова (аффинного) пространства устанавливается не взаимно однозначное соответствие.

§2. Понятие проективного пространства. Простейшие свойства

Следующее определение проективного пространства принадлежит немецкому математику Герману Вейлю (1885-1955).

Определение. Пусть Vⁿ⁺¹ – векторное пространство n+1 измерений над полем R действительных чисел, а V^* – множество всех ненулевых векторов этого пространства, V^* = Vⁿ⁺¹\{0}. Непустое множество Pⁿ – называется проективным пространством n измерений (порожденным векторным пространством Vⁿ⁺¹), если задано отображение f : V^* Pⁿ, удовлетворяющее следующим условиям (аксиомам проективного пространства):

1. Отображение f – сюръективно, (т.е. любой элемент из Pⁿ имеет хотя бы один прообраз).

2. Равенство f(x) = f(y) выполняется тогда и только тогда, когда векторы x и y коллинеарны.

Элементы множества Pⁿ называются точками проективного пространства и обозначаются прописными буквами латинского алфавита: A, B, C, …,X, Y, … . Если f(x) =X, то говорят, что вектор x порождает точку X. Из аксиомы 2 следует, что множество всех векторов пространства V^*, порождающих одну точку, есть одномерное векторное подпространство без нулевого вектора.

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

Замечание. Вместо поля R можно взять любое другое поле К. Можно показать, что если поле К конечно, то полученное n-мерное проективное пространство Pⁿ(K) будет состоять лишь из конечного множества точек. Кроме того, если поле заменить телом, или даже просто кольцом, то можно построить содержательную и интересную теорию.

В дальнейшем мы будем изучать в основном свойства действительного проективного пространства двух и трех измерений.

Пусть P³ – проективное пространство трех измерений, а V⁴ – четырехмерное векторное пространство над полем действительных чисел, которое порождает проективное пространство P³. Рассмотрим векторное подпространство L^k k измерений пространства V⁴, где k = 2, 3. Множество всех точек из P³, которые порождаются ненулевыми векторами подпространства L^k, называется прямой, если k = 2, и плоскостью, если k = 3. Говорят, что подпространство L^k порождает прямую (плоскость). Прямые будем обозначать малыми буквами латинского алфавита: a, b, c,…, а плоскости – малыми буквами греческого алфавита:

Так как подпространство L^k содержит бесконечное множество попарно неколлинеарных векторов, а неколлинеарные векторы порождают различные точки, то каждые действительные проективные прямая и плоскость являются бесконечными множествами точек.

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

В самом деле, пусть a, b, c, d – базис векторного пространства V, а A, B, C и D – точки, которые порождаются этими векторами. Тогда точки A, B, C и D не лежат в одной плоскости, а любые три из этих четырех точек не лежат на одной прямой. Докажем, например, что точки A, B и С не лежат на одной прямой. Предположим противное, то есть что эти точки лежат на некоторой прямой, порожденной двумерным векторным подпространством L². Тогда векторы a, b и с принадлежат L². Но это невозможно, так как эти векторы линейно независимы, и поэтому не могут быть компланарны (то есть быть параллельными одной плоскости).

Рассмотрим свойства взаимного расположения точек, прямых и плоскостей трехмерного пространства.

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

Пусть a и b – векторы, которые порождают точки А и В. Эти векторы не коллинеарны, так как А и В – различные точки. Рассмотрим двумерное векторное подпространство L² (a, b) порожденное этими векторами. (Любой вектор из L² является линейной комбинацией векторов a и b). Прямая l есть образ подпространства L² (a, b) и, очевидно, проходит через точки А и В.

Докажем теперь, что l – единственная прямая, проходящая через точки А и В. Допустим, что l¢ – прямая, проходящая через точки A и B, а (L²)¢ – двумерное подпространство, которое порождает прямую l¢. Так как точки А и В принадлежат l¢, то векторы а и b принадлежат L¢, и поэтому L¢ – подпространство, порожденное векторами a и b. Таким образом, L¢ и L – одно и то же векторноеподпространство, и, следовательно, прямые l¢ и l совпадают.

Аналогично можно доказать следующие утверждения.

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

3⁰. Если две различные точки А и В лежат в плоскости, то и прямая (АВ) лежит в этой плоскости (т.е. каждая точка прямой (АВ) принадлежит плоскости).

Пусть W³ – трехмерное векторное пространство, которое порождает плоскость , a и b – векторы, порождающие точки А и В. При доказательстве свойства 1⁰ мы установили, что подпространство L² (a, b) порождает прямую (АВ). Так как A , B , то a W³, b W³, поэтому L² (a, b) W³.

Пусть М – произвольная точка прямой (АВ), m – вектор, порождающий эту точку. Так как m L², то m W³. Отсюда следует, что М – точка плоскости

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

Пусть a и b – две прямые, лежащие в плоскости , а L, L¢ и W – векторные подпространства, которые порождают соответственно прямые a и b и плоскость . Прямые a и b лежат в плоскости , поэтому L W, L¢ W. Так как L и L¢ – различные двумерные подпространства трехмерного векторного подпространства W, то их пересечением является одномерное векторное подпространство. Ненулевые векторы этого подпространства порождают проективную точку, которая, очевидно, является общей точкой прямых а и b.

Две различные прямые a и b не могут иметь более чем одну общую точку, так как через две различные точки проходит только одна прямая.

Сформулируем без доказательства еще два утверждения.

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

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

Докажем, что любую плоскость трехмерного проективного пространства можно рассматривать как двумерное проективное пространство. В самом деле, пусть – произвольная плоскость проективного пространства P³. Обозначим через W³ трехмерное векторное подпространство пространства V⁴, которое порождает эту плоскость, а через W^* – множество всех ненулевых векторов подпространства W³. Рассмотрим W³ как самостоятельное трехмерное векторное пространство. Так как W^* V^* и P³, то отображение f : V^* P³ порождает отображение f₁ : W^* , которое каждому вектору x из W^* ставит в соответствие точку f(x). Очевидно, отображение f удовлетворяет аксиомам проективного пространства. Действительно, выполнение аксиомы 1 непосредственно следует из определения плоскости, а выполнение аксиомы 2 очевидно: отображение f удовлетворяет этой аксиоме, поэтому и f₁ удовлетворяет ей.

Аналогично можно доказать, что любую прямую проективного пространства двух (трех) измерений можно рассматривать как одномерное проективное пространство.

Задача 2. Пусть Z₂ – поле вычетов по модулю 2. Доказать, что проективная прямая P¹ над Z₂ содержит точно три различные точки.

Задача 3. Доказать, что проективная плоскость P² над Z₂ содержит ровно семь различных точек и ровно семь различных прямых.

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

Задача 5. Сколько различных точек содержит произвольная прямая проективной плоскости P² над полем Z₃ вычетов по модулю 3?

Задача 6. Пусть Z_p – поле вычетов по модулю простого числа p. Доказать, что n-мерное проективное пространство Pⁿ(Z_p) состоит из точек.

Задача 7. Сколько точек содержит произвольная прямая n-мерного проективного пространства Pⁿ над полем Z_p вычетов по модулю простого числа p?

Задача 8. Каково наименьшее число точек трехмерного проективного пространства P³ над произвольным полем?

§3. Модели проективного пространства

Рассмотрим математические примеры, подтверждающие корректность определения проективного пространства.

Говорят, что модель проективного пространства Pⁿ обозначена, если Pⁿ задано как множество и построено отображение f : (Vⁿ⁺¹\{0}) Pⁿ, удовлетворяющее условиям 1 и 2 определения Г. Вейля.

Проективную геометрию можно изучать в любой из ее реализаций.

1. Рассмотрим арифметическую проективную плоскость. Введем однородные координаты. В действительном векторном пространстве V³ выберем базис e₁, e₂, e₃, тогда любой вектор m V³ однозначно раскладывается по базису m¹e₁+m²e₂+m³e₃. Можно рассмотреть арифметическое векторное пространство всех упорядоченных троек действительных чисел {[m¹, m², m³]}, которое также будем обозначать V³. Во множестве P² точкой считаем упорядоченную тройку действительных чисел с точностью до ненулевого множителя. Например, (2,–1, 7) = (–4, 2, ). Построим отображение f: (V³\{0}) P²; [m¹, m², m³] (m¹, m², m³). Условия 1 и 2 определения Г. Вейля непосредственно проверяются.

Замечание. Множество P² является фактор множеством по отношению эквивалентности: две тройки действительных чисел эквивалентны, если одну из другой можно получить умножением на ненулевой множитель. Нулевая тройка не рассматривается.^-

2. Рассмотрим действительное (n+1)-мерное аффинное (евклидово) пространство, в котором фиксируем некоторую точку О. Точкой n-мерного пространства Pⁿ будем считать прямую, проходящую через точку О. Ненулевой вектор порождает единственную прямую, коллинеарную ему и проходящую через точку O.

Аффинное пространство (n+1) измерений порождает векторное пространство Vⁿ⁺¹ (каждый вектор есть направленный отрезок с началом в точке О). Имеем отображение т.е. построено конкретное множество Pⁿ и конкретное отображение

f :(Vⁿ⁺¹\{0}) Pⁿ.

Для каждой прямой, проходящей через точку О, существует ненулевой вектор с началом в точке О, порождающий эту прямую. (На прямой достаточно взять точку М, отличную от точки О; вектор порождает эту прямую). Таким образом, f – сюръекция. Коллинеарные векторы порождают одну и ту же прямую, проходящую через точку О; обратно, любая прямая порождается коллинеарными векторами. Итак, связка прямых, проходящих через фиксированную точку (n+1)-мерного аффинного пространства, является моделью n – мерного проективного пространства.

3. Расширенная прямая. К аффинной прямой добавим еще одну точку, которую называем бесконечно удаленной, или несобственной. Приведем более подробное разъяснение.

Вложим аффинную прямую d в аффинную плоскость. Фиксируем точку О вне прямой. Как мы уже знаем, связка прямых, проходящих через точку О, есть модель проективной прямой P¹. Все прямые, проходящие через точку О, за исключением одной единственной, пересекают прямую d. Будем считать, что две параллельные в обычном смысле прямые, пересекаются в бесконечно удаленной точке Расширенной прямой называем прямую d , пополненную несобственной точкой .

4.
Расширенная плоскость. Каждую прямую аффинной плоскости пополняем несобственной точкой, так что пучок параллельных прямых пополняется одной бесконечно удаленной точкой. Если прямые не параллельны в обычном смысле, то они пополняются различными бесконечно удаленными точками. Все несобственные точки образуют несобственную прямую.

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

§4. Понятие проективных координат

Пусть Vⁿ⁺¹ – действительное векторное пространство. Выберем базис в Vⁿ⁺¹: {e₁, e₂, …, e_n+1}. Произвольный вектор x из Vⁿ⁺¹ однозначно представляется в виде линейной комбинации базисных векторов:

x = x¹e₁ + x²e₂ + … + xⁿ⁺¹e_n+1 = xⁱe_i, i = 1, 2, …, n+1

Допустим, что n-мерное проективное пространство Pⁿ порождается Vⁿ⁺¹, т.е. задано сюръективное отображение f : (Vⁿ⁺¹\{0}) Pⁿ, переводящее коллинеарные векторы в одну проективную точку.

Определение. Говорят, что упорядоченная система (n+2) точек (A₁, A_2, …, A_n+1, E) проективного пространства Pⁿ занимает общее положение, если никакие (n+1) точки из них не принадлежат(n-1)-мерному проективному пространству.

При n = 1: Упорядоченная система из трех точек (A₁, A_2, E) на проективной прямой занимает общее положение, если три точки попарно различны.

При n = 2: Упорядоченная система из четырех точек (A₁, A_2, A₃, E) на проективной плоскости занимает общее положение, если никакие три из них не принадлежат одной прямой.

При n = 3: Упорядоченная система из пяти точек (A₁, A_2, A₃, A_4, E) в трехмерном проективном пространстве занимает общее положение, если никакие четыре из них не принадлежат одной плоскости.

Определение. Проективным репером в Pⁿ называется упорядоченная система (n+2) точек общего положения: Â = (A₁, A_2, …, A_n+1, E). Последняя точка Е репера называется единичной.

Фиксируем некоторый проективный репер Â в Pⁿ. Пусть векторы a₁, a₂, …, a_n+1, e из Vⁿ⁺¹ порождают точки A₁, A_2, …, A_n+1, E. Поскольку точки A₁, A_2, …, A_n+1 не принадлежат проективному пространству размерности n-1, то векторы a₁, a₂, …, a_n+1 образуют базис в Vⁿ⁺¹, а вектор e представляется в виде линейной комбинации базисных векторов:

e = e¹a₁+e²a₂+…+eⁿ⁺¹a_n+1.

Введем новые векторы b_i = eⁱa_i, i = 1, 2, …, n+1. Система векторов {b_i} также образует базис в Vⁿ⁺¹ , этот базис называется согласованным с репером Â. Условие согласования имеет вид:

b₁ + b₂ + … + b_n+1 = e

Произвольная точка М проективного пространства может быть порождена ненулевым вектором m = mⁱb_i. Координаты вектора m образуют проективные координаты точки M(m¹, m², m³, …, mⁿ⁺¹). Таким образом, каждая точка n-мерного проективного пространства имеет (n+1) координат, задаваемых с точностью до ненулевого множителя, причем все проективные координаты точки не могут одновременно обращаться в нуль.

Задача 9. На расширенной плоскости задана расширенная прямая с доступными точками проективного репера Â(A₁, A₂, E). Построить точки M(–1, 1), N(–4, ), L(–3, 3) по их проективным координатам.

Задача 10. На расширенной плоскости задана связка прямых с центром в точке О, с фиксированными прямыми a₁, a₂, e, образующими репер в модели проективной прямой. Построить прямые m(–1, 1), n(–4, ), l(–3, 3) по их проективным координатам.

Задача 11. На расширенной прямой задан проективный репер Â(A₁, A₂, E), причем одна из этих трех точек является бесконечно удаленной. Построить точку М по заданным ее координатам.

Задача 12. На расширенной прямой задан проективный репер Â(A₁, A₂, E), где A₁ и A₂ – собственные точки, а E – середина отрезка [A₁, A₂]. Найти координаты несобственной точки в репере Â.

Задача 13. Известно, что для построения точки M(x¹, x²) по ее координатам в проективном репере Â(A₁, A₂, E) на расширенной прямой нужно выбрать на расширенной плоскости, содержащей , точку O , соединить точку О с точками A₁, A₂, E прямыми, на единичной прямой (ОЕ) выбрать ненулевой единичный вектор е, разложить его по правилу параллелограмма на сумму базисных векторов a₁ и a₂, лежащих на прямых (ОA₁) и (ОA₂). Тогда аффинный репер (O, a₁, a₂) порождает проективный репер Â(A₁, A₂, E). По известным координатам x¹ и x² строим ненулевой вектор m = x¹a₁ + x²a₂, m = , тогда искомая точка M=(OM¢) . Доказать, что положение точки М на прямой не зависит от выбора аффинного репера (O, a₁, a₂).

Задача 14. На расширенной прямой заданы собственные точки (A₁, A₂, E) – образующие репер Â, в котором собственная точка M , M A₁ имеет координаты x¹, x². Доказать:

Напоминание: Если простое отношение трех точек (A₁, A₂, М)=t R, то это значит, что = , M A₁.

§5. Проективные координаты на плоскости

Критерийколлинеарности трех точек. Три точки A(a¹, a², a³), B(b¹, b², b³), C(c¹, c², c³), заданные их координатами в репере на действительной проективной плоскости, лежат на одной прямой тогда и только тогда, когда определитель, составленный из их координат, равен нулю:

Критерийколлинеарности трех точек на проективной плоскости следует из критерия компланарности трех векторов в трехмерном пространстве: три вектора компланарны (т.е. параллельны одной плоскости), если и только если определитель, составленный из их координат равен нулю.

Рассмотрим подробнее репер на проективной плоскости.

Теоремао координатах проекции точки на координатную прямую.

Если произвольная точка M(m¹, m², m³), не равная A₂, задана в репере Â(A₁, A₂, A₃, E), то ее проекция M₂ из точки A₂ на вторую координатную прямую (A₁A₃) в репере Â₂(A₁, A₂, E₂) имеет координаты (m¹, m³).

Доказательство. Для любой точки X(x¹, x², x³) на (A₁A₃) имеем согласно критерию

Таким образом, для точки M₂ в репере Â вторая координата равна нулю. Пусть точка M₂ в репере Â имеет координаты (y¹, 0, y³). Применяем критерий для точек A₂, M₂, M, лежащих на одной прямой:

= – = 0. y¹=pm¹, y³=pm³, p 0.

Без ограничения общности, можно положить р = 1. На плоскости рассмотрим, например, аффинный репер (A₂, a₁,a₃), порождающий проективный репер Â₂(A₁, A₃, E₂) на второй координатной прямой (A₁, A₃).

В трехмерном аффинном пространстве существует согласованный базис a₁, a₂, a₃, e относительно репера Â₂(A₁, A₂, A₃, E). Так как точки M₂ и E₂ имеют, соответственно, координаты (m¹, 0, m³), (1, 0, 1) в Â, то векторы e₂ = a₁ + a₃, m₂ = m¹a₁ + m³a₃ порождают, соответственно, точки E₂ и M₂.

Задача 15. На расширенной плоскости задан проективный репер Â(A₁, A₂, A₃, E), все четыре точки собственные. Построить следующие точки по их координатам: M(1, 2, 0), N(0, –2, –1), P(1, 2, 1), Q(0, –4, 0).

Задача 16. Пусть единичная точка Е является точкой пересечения медиан (центром тяжести) координатного трехвершинника A₁, A₂, A₃. Построить точку М(1, 1, –1) по ее координатам в проективном репере Â(A₁, A₂, A₃, E) на расширенной плоскости .

§6. Уравнение прямой на проективной плоскости

На проективной плоскости P² выберем репер Â(A₁, A₂, A₃, E) и две различные точки B(b¹, b², b³) и C(c¹, c², c³) с определенными координатами в заданном репере. Известно, что необходимым и достаточным условием принадлежности трех точек X(x¹, x², x³), B, C одной прямой является равенство нулю определителя, составленного из координат этих точек.

(1)

Это и есть один из способов написать уравнение прямой (ВС).

Поскольку В и С различные точки, то ранг матрицы

(2)

поэтому вектор-строка (x¹, x², x³) линейно выражается через векторы-строки (b¹, b², b³) и (c¹, c², c³), то есть существуют не равные одновременно нулю числа и , что

(3)

Мы получили так называемые параметрические уравнения прямой (ВС), где и – параметры, при изменении которых меняется положение текущей точки Х на прямой (ВС).

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

Доказательство. Раскрыв определитель в левой части равенства (1) по первой строке, имеем

u₁x¹ + u₂x² + u₃x³ = 0, (4)

где u₁ = , u₂ = , u₁ = .

Мы действительно получили однородное уравнение первой степени, поскольку из равенства (2) следует, что все коэффициенты u₁, u₂, u₃ одновременно не могут быть равны нулю. Координаты точек В и С задаются с точностью до ненулевого множителя, поэтому и координаты u₁, u₂, u₃ также определяются с точностью до ненулевого множителя. Если же уравнение (4) умножить на некоторое число р, отличное от нуля, то получим

(4¢)

Ясно, что уравнения (4) и (4¢) равносильны.

Обратно, пусть в искомом репере Â на проективной плоскости задано уравнение (4), являющееся однородным и первой степени. Допустим, что u₁ 0 (Если u₁=0, то отличен от нуля хотя бы один из коэффициентов u₂ или u₃). Точки P(–u³, 0, u¹) и Q(–u², u¹, 0) имеют координаты, удовлетворяющие уравнению (4). Рассмотрим прямую (PQ):

= u¹(u¹x₁ + u²x₂ + u³x₃) = 0.

После сокращения на u₁ 0 приходим к уравнению (4).

В качестве примера запишем уравнения первой координатной прямой (A₂A₃): x¹ = 0, второй координатной прямой (A₁A₃): x² = 0, третьей координатной прямой (A₁A₂): x³ = 0.

Определение.Коэффициенты уравнения (4) называются координатами прямой.

Т.о., прямая (A₂A₃) имеет координаты (1, 0, 0), (A₁A₃) – (0, 1, 0), (A₁A₂) – (0, 0, 1).

Задача 17. Построить прямую a(1, 2, –2) по ее координатам относительно заданного на расширенной плоскости проективного репера (A₁, A₂, A₃, E).

Задача 18. Доказать, что прямые a(a¹, a², a³), b(b¹, b², b³), c(c¹, c², c³), заданные своими координатами в некотором репере на проективной плоскости, проходят через одну точку тогда и только тогда, когда определитель, составленный из их координат, равен нулю, т.е.

= 0

§7. Преобразование проективных координат

Пусть в n-мерном проективном пространстве Pⁿ задано два проективных репера  = (A₁, A_2, …, A_n+1, E) и ¢ = (A¢₁, A¢_2, …, A¢_n+1, E¢). Пусть некоторая точка М имеет координаты (x¹, x², …, xⁿ⁺¹) в репере  и (y¹, y², …, yⁿ⁺¹) в репере ¢.

Поставим задачу: найти формулы, выражающие координаты {x_i}через {y_i}.

Рассмотрим координаты точек репера ¢ в репере Â:

Представляя координаты точек в виде столбцов матрицы, получаем матрицу перехода A от репера  к реперу ¢, имеющую (n +2) столбца и (n+1) строку

A = (1)

Матрица перехода от репера  к реперу ¢ называется согласованной, если сумма первых (n+1) столбцов равна последнему столбцу.

Если матрица перехода от репера  к реперу ¢ не является согласованной, то необходимо провести процедуру согласования. Для этого каждый i-ый столбец матрицы (1) умножаем на неопределенный множитель k_i. (Напомним, что проективные координаты точек задаются с точностью до ненулевого множителя).

Для определения неизвестных k_i, i=1,…,n+1, получаем систему линейных уравнений:

(2)

Решением системы (2) являются ненулевые множители k₁, k₂, …, k_n+1. Заметим, что система (2) имеет нетривиальное решение, так как её главный определитель отличен от нуля. Умножая каждый столбец матрицы (1) на соответствующий множитель, получаем согласованную квадратную матрицу A¢ перехода от репера  к реперу ¢

A = (k_i ) = [(a )¢]

Теперь, последний столбец, составленный из координат единичной точки Е, можно не записывать.

Рассмотрим векторное пространство Vⁿ⁺¹, порождающее проективное пространство Pⁿ. Пусть реперу  соответствует базис {a_i}, а реперу ¢ – базис {a¢_i}. Тогда вектор m = x^ja_j = x¹a₁ + x²a₂ + … + xⁿ⁺¹a_n+1 порождает точку М. Поскольку векторы m и m¢ порождают одну и ту же точку, то они коллинеарны. Пусть, например, m = m¢, R, 0. Векторы a¢_j, j = 1, …, n+1, раскладываются по базису a_j:

a¢_j = (a )¢a_i = (a )¢a₁ + (a )¢a₂ + … + (a )¢a_n+1