What is plane equiaffine geometry? (Q2386093): Difference between revisions

Equiaffine geometry deals with Pappian affine planes satisfying the Fano axiom which have a notion of ``triangle of area \(1\)'', denoted by \(\triangle(abc)\). The automorphisms are area preserving affinities. The author presents axioms in a first order language with points as the only individual variables, and a single ternary relation \(\triangle\) to be interpreted as above. Moreover, all universal quantifiers precede all existential quantifiers. The author shows that all models of his axiom system are given by \((F\times F,\triangle)\), where \(F\) is a field of characteristic not 2, and \(\triangle:=\{(a,b,c)\in (F\times F)^{3};\) det\((b-a,c-a)=\pm2\}\). In a similar fashion the case ``triangle of oriented area \(1\)'' is treated. The models are specialized in the obvious way. The two final sections are devoted to a theorem by Martin stating that an area preserving bijection of the real plane is an automorphism of equiaffine geometry. The system of axioms is extended so that the models only live over Archimedean ordered Euclidean fields. It turns out that Martin's theorem is true for this class of equiaffine geometries.