Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

Проективный конус (или просто конус ) в проективной геометрии является объединением всех линий , которые пересекаются проективное подпространство R (The вершина конуса) и произвольное подмножество A (The основа ) какое - либо другое подпространство S , не пересекаются с R .

В частном случае, когда R - единственная точка, S - плоскость, а A - коническое сечение на S , проективный конус является конической поверхностью ; отсюда и название.

Определение [ править ]

Пусть X проективное пространство над некоторым полем K и R , S непересекающиеся подпространства X . Пусть произвольное подмножество S . Затем мы определяем RA , конус с вершиной R и базисом A , следующим образом:

  • Когда пусто, RA = A .
  • Когда не пусто, РА состоит из всех этих точек на линии , соединяющей точку на R и точку на А .

Свойства [ править ]

  • Как R и S не пересекаются, то можно вывести из линейной алгебры и определения проективного пространства , что каждая точка на RA не в R или A на ровно одной линии , соединяющей точку в R и точку в A .
  • ( RA ) S = A
  • Когда K = GF ( q ), = + .

См. Также [ править ]