Русская Википедия:Частичная геометрия

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Пусть имеется структура инцидентности <math>C=(P,L,I)</math>, состоящая из точек <math>P</math>, прямых <math>L</math> и флагов <math>I \subseteq P \times L</math>. Говорят, что точка <math>p</math> инцидентна прямой <math>l</math>, если <math>(p,l) \in I</math>. Структура называется конечной частичной геометрией, если существуют целые числа <math>s,t,\alpha\geq 1</math>, такие, что:

  • Для любой пары различных точек <math>p</math> и <math>q</math> существует максимум одна прямая, инцидентная обеим точкам.
  • Каждая прямая инцидентна <math>s+1</math> точкам.
  • Каждая точка инцидентна <math>t+1</math> прямым.
  • Если точка <math>p</math> и прямая <math>l</math> не инцидентны, существует в точности <math>\alpha</math> пар <math>(q,m)\in I</math>, таких, что <math>p</math> инцидентна <math>m</math>, а <math>q</math> инцидентна <math>l</math>.

Частичная геометрия с этими параметрами обозначается <math>pg(s,t,\alpha)</math>.

Свойства

  • Число точек задаётся формулой <math>\frac{(s+1)(s t+\alpha)}{\alpha}</math>, а число прямых — формулой <math>\frac{(t+1)(s t+\alpha)}{\alpha}</math>.
  • Точечный граф[1] структуры <math>pg(s,t,\alpha)</math> является сильно регулярным графом: <math>srg((s+1)\frac{(s t+\alpha)}{\alpha},s(t+1),s-1+t(\alpha-1),\alpha(t+1))</math>.
  • Частичные геометрии двойственны — двойственной структурой для <math>pg(s,t,\alpha)</math> является просто структура <math>pg(t,s,\alpha)</math>.

Частные случаи

Обобщения

Шаблон:Не переведено 5 <math>S=(P,L,I)</math> порядка <math>s, t</math> называется получастичной геометрией, если существуют целые числа <math>\alpha\geq 1, \mu</math>, такие, что:

  • Если точка <math>p</math> и прямая <math>\ell</math> не инцидентны, существует либо <math>0</math>, либо в точности <math>\alpha</math> пар <math>(q,m)\in I</math>, таких, что <math>p</math> инцидентна <math>m</math> и <math>q</math> инцидентна <math>\ell</math>.
  • Любая пара неколлинеарных точек имеет в точности <math>\mu</math> общих соседей.

Получастичная геометрия является частичной геометрией тогда и только тогда, когда <math>\mu = \alpha(t+1)</math>.

Легко показать, что граф коллинеарности[1] такой геометрии строго регулярен с параметрами <math>(1 + s(t + 1) + s(t+1)t(s - \alpha + 1)/\mu, s(t+1), s - 1 + t(\alpha - 1), \mu)</math>.

Хороший пример такой геометрии получается, если взять аффинные точки <math>PG(3, q^2)</math> и только те прямые, которые пересекают плоскость на бесконечности в точке фиксированной подплоскости Бэра. Геометрия имеет параметры <math>(s, t, \alpha, \mu) = (q^2 - 1, q^2 + q, q, q(q + 1))</math>.

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend Шаблон:Rq

  1. 1,0 1,1 Если дана частичная геометрия P, в которой любые две точки определяют максимум одну прямую, графом коллинеарности или точечным графом геометрии P называется граф, вершинами которого являются точки P, а две вершины соединены ребром тогда и только тогда, когда они определяют прямую в P.