Инцидентность (геометрия)

Отношение инцидентности — это бинарное отношение между двумя различными типами объектов. Это включает понятия, которые можно выразить такими фразами как «точка лежит на прямой» или «прямая принадлежит плоскости». Наиболее существенное отношение инцидентности — между точкой  и прямой , которое записывается как . Если , пара  называется флагом. В разговорном языке существует много выражений, описывающих отношение инцидентности (например, прямая проходит через точку, точка лежит на плоскости, и т. д.), однако термин «инцидентна» предпочтительнее, поскольку не предполагает дополнительных cопутствующих понятий и может быть использован симметрично, отражая свойство симметричности отношения. Утверждения, такие как «прямая  пересекает прямую », также являются утверждениями об отношении инцидентности, но в этом случае проще сказать: «существует точка , инцидентная обоим прямым  и ». Когда один тип объектов можно рассматривать как множество объектов другого типа (а именно, плоскость является множеством точек), отношение инцидентности можно рассматривать как включение.

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

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

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

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

Если зафиксировать базис , то мы можем описать вектора как координатные тройки (по отношению к базису). Одномерное векторное подпространство состоит из ненулевого вектора и всех векторов, полученных из него умножением на (ненулевой) скаляр. Все такие вектора, записанные в виде координатных троек, соответствуют координатам данной точки в однородной системе координат. По отношению к зафиксированному базису пространство решений линейного уравнения } является двумерным подпространством пространства , а потому является прямой в . Эту прямую можно обозначить координатами прямой , которые также являются однородными координатами, поскольку умножение на ненулевой скаляр даёт ту же самую прямую. Другие обозначения также широко используются. Координаты точки можно записать как вектор-столбцы T, с двоеточиями  или с индексом . Соответственно, координаты прямой могут быть записаны как вектор-строки , с двоеточиями  или с индексом . Возможны и другие варианты обозначений.

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

 .

В других обозначения это можно выразить как:
 

 

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

Инцидентность прямой паре различных точек 
Пусть дана пара различных точек  и  с однородными координатами  и  соответственно. Эти точки определяют единственную прямую  с уравнением вида , которая должна удовлетворять уравнениям:
 
 .
В матричном виде эту систему можно переписать как
 
Эта система имеет нетривиальное решение тогда и только тогда, когда определитель равен нулю
 
Раскрытие этого уравнения для определителя даёт однородные линейные уравнения, которые должны быть уравнением прямой . Таким образом, с точностью до ненулевого постоянного множителя имеем , где
 
 
 .

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

Коллинеарность 

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

Если  и , то эти точки коллинеарны тогда и только тогда, когда
 
то есть тогда и только тогда, когда определитель однородных координат равен нулю.

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

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

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

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

См. также 
 Теорема Менелая
 Теорема Чевы
 Конциклические точки
 Матрица инцидентности
 
 Структура инцидентности
 Геометрия инцидентности
 Граф Леви
 Аксиоматика Гильберта

Примечания

Литература 

 
 

Проективная геометрия