A note on projectivities

Vector spaces, linear dependence, rank, lineability (15A03) Linear algebraic groups over arbitrary fields (20G15) Homomorphism, automorphism and dualities in linear incidence geometry (51A10)

Review text

V and V' be finite-dimensional right vector spaces, and P(V) and P(V') denote the families of all subspaces of V and V', respectively. Let there be a bijection \(\phi\) : P(V)\(\to P(V')\) whose inverse is \(\phi^{-1}.\) Consider the three conditions: (i) If U and W be two subspaces of V with \(U\subseteq W\), then \(\phi\) (U)\(\subseteq \phi (W).\) (ii) If U' and W' be two subspaces of V' with U'\(\subseteq W'\), then \(\phi^{-1}(U')\subseteq \phi^{-1}(W').\) (iii) The dimension of V equals that of V'. A bijection \(\phi\) which satisfies both (i) and (ii) is called a projectivity by Baer and others, and it is shown by them that a projectivity must also satisfy (iii). On the other hand, Artin defines a collineation as a bijection that satisfies (i) and (iii), and that it implies (ii); so that his collineation is precisely a projectivity. In the present paper the author proves that condition (i) alone implies (ii), so that any bijection that satisfies (i) is already a projectivity and consequently (iii) is implied.

Recommendations

Cited in

(17)

This page was built for publication: A note on projectivities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1069121)