A subset of projective space is called convex if its intersection with every line is connected. The complement of a projective convex set is again convex. We prove that for any projective convex set there exists a pair of complementary projective subspaces, one contained in the convex set and the other in its complement. This yields their classification up to homotopy.Interest in the interplay between convexity and projective geometry dates back to the early part of the twentieth century (see [5], [7] and [8], or [3] for a survey and applications). More recently, projective methods have played an essential role in the celebrated Karmarkar algorithm for linear programming [6].Let us define a projective convex set as a subset A of real projective space pn, with the property that for every line I (projective, of course), A n I is connected. Clearly, by substituting 'Euclidean' for 'projective' we get back the classic definition of convexity (which, it should be remarked, is an affine notion). But the relation is more than formal.A convex set in Euclidean space remains convex when embedded, through any affine chart, into projective space. Conversely, a convex subset of P n which lies entirely in an affine chart (avoids a hyperplane) is convex there. Thus, projective convex sets generalize Euclidean ones.In the fifties, Dekker [2] and de Groot and de Vries [4] proved that a projective convex set containing no line avoids a hyperplane, thus characterizing Euclidean convex sets among projective ones (beware that we have simplified their terminology). Our main theorem puts this result into a general perspective.
REMARK. lf a set A c P~ is convex, so is its complement pn _ A.Indeed, the projective line pl is topologically the circle, and there, if a set is connected so is its complement.Thus, the complement of a point (or a disk) in p2, which is topologically a Moebius Band and a regular neighborhood of a projective line, is convex. This, we shall call a convex set of type 1.DEFINITION. Let A c P~ be convex. The type of A, denoted z(A), is the maximum dimension of a projective subspace of P~ which is contained in A.