Partial linear space

Type of incidence structure


title: "Partial linear space" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["incidence-geometry"] description: "Type of incidence structure" topic_path: "science/mathematics" source: "https://en.wikipedia.org/wiki/Partial_linear_space" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Type of incidence structure ::

A partial linear space (also semilinear or near-linear space) is a basic incidence structure in the field of incidence geometry, that carries slightly less structure than a linear space. The notion is equivalent to that of a linear hypergraph.

Definition

Let S=({\mathcal P},{\mathcal L}, \textbf{I}) an incidence structure, for which the elements of {\mathcal P} are called points and the elements of {\mathcal L} are called lines. S is a partial linear space, if the following axioms hold:

  • any line is incident with at least two points
  • any pair of distinct points is incident with at most one line

If there is a unique line incident with every pair of distinct points, then we get a linear space.

Properties

The De Bruijn–Erdős theorem shows that in any finite linear space S=({\mathcal P},{\mathcal L}, \textbf{I}) which is not a single point or a single line, we have |\mathcal{P}| \leq |\mathcal{L}|.

Examples

References

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

incidence-geometry