A note on projectivities (Q1069121)

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.