On lineations (Q1084339)

Based on three lemmas and a sequence of twenty significant steps, the authors prove the following two theorems: 1. Let n be an integer greater than 1, and let M be an m-dimensional euclidean or real projective space. Then the onto lineation of M is injective. 2. Let K be a nonempty open convex set in the euclidean n-space \({\mathbb{R}}^ n\) where \(n\geq 2\). Let \(f: K\to {\mathbb{R}}^ n\) be a mapping satisfying the following two conditions: (a) for each straight line e of \({\mathbb{R}}^ n\) there exists a straight line e' of \({\mathbb{R}}^ n\) such that f(e\(\cap K)\subset e'\), (b) f(K) is open in \({\mathbb{R}}^ n\). Then the map \(f: K\to f(K)\) is bijective and f(K) is a convex set.