Яйцевидный (полярное пространство) - Ovoid (polar space)

В математика, яйцевидный О (конечного) полярное пространство ранга р - это набор точек такой, что каждое подпространство ранга пересекает О ровно в одной точке.[1]

Случаи

Симплектическое полярное пространство

Яйцо (симплектическое полярное пространство ранга п) будет содержать точки. Однако у него есть яйцевид, только если и только и q даже. В том случае, когда полярное пространство вложено в в классическом смысле это также овоид в смысле проективной геометрии.

Эрмитское полярное пространство

Овоиды и будет содержать точки.

Гиперболические квадрики

Яйцо гиперболической квадрикибудет содержать точки.

Параболические квадрики

Яйцо параболической квадрики будет содержать точки. За , легко увидеть, как получить овоид, разрезая параболическую квадрику гиперплоскостью, так что пересечение является эллиптической квадрикой. Перекресток - яйцевидный. Если q даже, изоморфно (как полярное пространство) с , и, таким образом, в силу вышеизложенного, он не имеет яйцевида для .

Эллиптические квадрики

Яйцо эллиптической квадрики будет содержать точки.

Смотрите также

Рекомендации

  1. ^ Мурхаус, Г. Эрик (2009), "Подход к некоторым проблемам конечной геометрии через алгебраическую геометрию", в Клин, Михаил; Джонс, Гарет А .; Юришич, Александар; Музычук Михаил; Пономаренко, Илья (ред.), Алгоритмическая алгебраическая комбинаторика и основы Грёбнера: материалы семинара D1 «Основы Грёбнера в криптографии, теории кодирования и алгебраической комбинаторике», проходившем в Линце 1–6 мая 2006 г., Берлин: Springer, стр. 285–296, CiteSeerX  10.1.1.487.1198, Дои:10.1007/978-3-642-01960-9_11, ISBN  978-3-642-01959-3, МИСТЕР  2605578.