Veblen axioms for projective geometry

E255568

The Veblen axioms for projective geometry are a foundational set of incidence-based axioms introduced by Oswald Veblen to rigorously formalize the structure of projective spaces.

All labels observed (3)

How this entity was disambiguated

Statements (44)

Predicate Object
instanceOf axiom system
foundational system in projective geometry
incidence axiom system
aimsAt coordinate-free description of projective geometry
assumes Veblen axioms for projective geometry self-linksurface differs
surface form: Veblen–Young axiom (Veblen axiom of projective geometry)

existence of at least two distinct points on every line
for any two distinct points there is a unique line incident with both
basedOn incidence relations between points and lines
characterizes abstract projective spaces
compatibleWith projective spaces over division rings
projective spaces over fields
vector-space-based models of projective spaces
concerns incidence structure of projective planes and higher-dimensional projective spaces
context axiomatic method in geometry
foundations of mathematics
ensures existence of non-degenerate projective configurations
transitivity properties of incidence in projective geometry
field incidence geometry
projective geometry
focusesOn incidence of points and lines
lines
points
formalizes projective space as an incidence structure
hasPart Veblen incidence axiom
axioms about existence of points and lines
axioms about uniqueness of joining line for two points
implies Pasch-type incidence properties in projective settings
influenced later axiomatizations of geometry
introducedBy Oswald Veblen
language first-order language with point and line predicates
logicalType first-order axiom system
modelledBy classical real projective space
complex projective space
projective spaces over fields of dimension at least two
namedAfter Oswald Veblen
purpose to formalize projective spaces
relatedTo Grundlagen der Geometrie
surface form: Hilbert axioms for geometry

Veblen axioms for projective geometry self-linksurface differs
surface form: Veblen–Young axioms for projective geometry

incidence axioms for projective planes
usedFor axiomatic development of projective geometry
defining projective spaces independently of coordinates
studying incidence structures
usedIn modern treatments of incidence geometry
textbooks on axiomatic projective geometry

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Oswald Veblen notableWork Veblen axioms for projective geometry
Veblen axioms for projective geometry assumes Veblen axioms for projective geometry self-linksurface differs
this entity surface form: Veblen–Young axiom (Veblen axiom of projective geometry)
Veblen axioms for projective geometry relatedTo Veblen axioms for projective geometry self-linksurface differs
this entity surface form: Veblen–Young axioms for projective geometry