Частичное линейное пространство

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

Определение

Пусть задана структура инцидентности, элементы которой называются точками , а элементы называются прямыми . S является частичным линейным пространством, если выполняются следующие аксиомы: S = ( P , L , I ) {\displaystyle S=({\mathcal {P}},{\mathcal {L}},{\textbf {I}})} P {\displaystyle {\mathcal {P}}} L {\displaystyle {\mathcal {L}}}

  • любая линия инцидентна по крайней мере двум точкам
  • любая пара различных точек инцидентна не более чем одной прямой

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

Характеристики

Теорема де Брейна–Эрдёша показывает, что в любом конечном линейном пространстве , которое не является одной точкой или одной линией, мы имеем . S = ( P , L , I ) {\displaystyle S=({\mathcal {P}},{\mathcal {L}},{\textbf {I}})} | P | | L | {\displaystyle |{\mathcal {P}}|\leq |{\mathcal {L}}|}

Примеры

Ссылки

  • Шульт, Эрнест Э. (2011), Точки и линии , Universitext, Springer, doi : 10.1007/978-3-642-15627-4, ISBN 978-3-642-15626-7.
  • частичное линейное пространство в Кильском университете
  • частичное линейное пространство в PlanetMath
Retrieved from "https://en.wikipedia.org/w/index.php?title=Partial_linear_space&oldid=1230363817"