Abstract
Suppose S is a planar set. Two points \(a,b\) in S see each other via S if \([a,b]\) is included in S . F. Valentine proved in 1957 that if S is closed, and if for every three points of S, at least two see each other via S, then S is a union of three convex sets. The pentagonal star shows that the number three is the best possible. We drop the condition that S is closed and show that S is a union of (at most) six convex sets. The number six is best possible.
Introduction
There are three common measures for evaluating the “nonconvexity” of a set \(X \subset \mathbb{R }^d\):

\(\alpha (X)\)—The largest size of a visually independent subset of X.

\(\beta (X)\)—The smallest size of a collection of seeing subsets of X that covers X, or, in other words, the chromatic number of the invisibility graph of X.

\(\gamma (X)\)—The smallest size k such that X is a union of k convex sets.
Much effort has been devoted to bounding \(\gamma \) in terms of \(\alpha \). In general, there is no such bound, since there exist planar sets X with \(\alpha (X)=3\) but with \(\gamma (X)=\infty \), and there exist closed sets \(S \subset \mathbb{R }^{4}\) with \(\alpha (S)=2\) and \(\gamma (S)=\infty \) (even \(\beta (S)=\infty \)). In the specific case of closed sets in the plane, the situation is different.
Valentine [6] proved that for closed \(S\subset \mathbb{R }^2, \alpha (S)=2\) implies \(\gamma (S)\le 3\). Eggleston [7] proved that for compact \(S\subset \mathbb{R }^2, \alpha (S)<\infty \) implies \(\gamma (S)<\infty \). Breen and Kay [2] were the first to find an upper bound for \(\gamma \) in terms of \(\alpha \). They proved that for closed \(S\subset \mathbb{R }^2\), if \(\alpha (S)=m\) then \(\gamma (S)\le m^3\cdot 2^m\). Later on, Perles and Shela [5] improved this upper bound to \(m^6\), and Matouŝek and Valtr [4] obtained the best upper bound know today, \(18m^3\). In the same paper, they give examples of closed planar sets with \(\gamma (S)~cm^2\).
There has also been some success in bounding \(\gamma \) in terms of \(\alpha \) for certain cases of planar sets X that are not necessarily closed. Breen [1] claims that for \(X\subset \mathbb{R }^2, \alpha (X)=2\) implies \(\gamma (X) \le 6\). Another result is of Matouŝek and Valtr [4] who proved that for \(X \subset \mathbb{R }^2\) with \(\alpha (X)\) finite, if X is starshaped then \(\gamma (X)\le 2(\alpha (X))^2\). They also proved that for \(X \subset \mathbb{R }^2\), if \(\mathbb{R }^2 \setminus X\) has no isolated points then \(\gamma (X)\le (\alpha (X))^4\).
In this work we shall focus on the case of \(X \subset \mathbb{R }^2\) with \(\alpha (X)=2\). We wish to complete the work of Breen [1], and give a detailed proof of the theorem claimed by Breen (\(\alpha =2\Rightarrow \gamma \le 6\)). We intend to determine the maximum possible value of \(\gamma (X)\) (assuming \(X \subset \mathbb{R }^2\) and \(\alpha (X)=2\)) under a variety of side conditions, pertaining to the location (within \(\mathrm{cl}\,X\)) of the points of \(\mathrm{cl}\,X \setminus X\). We produce examples for all cases under discussion, showing that the bounds obtained are tight.
Definitions and Notations
Given \(X\subseteq \mathbb{R }^2\), we say that two points \(u,v\in \mathbb{R }^2\) see each other via X if the open interval \((u,v)\) is included in X. (This applies even if the points u, v are not in X.)
A is a seeing subset of X if \(A \subseteq X\) and every two points of A see each other via X.
A subset of X is visually independent if no two of its points see each other via X.
Define the invisibility graph of X as the graph \(G(X)\) with vertex set X and with \(u,v\in X\) connected by an edge iff \([u,v] \nsubseteq X\).
We now define the three most common “measures of nonconvexity” of X: (These are the notations found in the literature which we prefer.)

\(\alpha (X)\)—The supremum of cardinalities of all visually independent subsets of X. That is, the clique number of the graph \(G(X)\).

\(\beta (X)\)—The chromatic number of \(G(X)\). In other words, the smallest cardinality of a collection of seeing subsets of X that covers X.

\(\gamma (X)\)—The smallest cardinality k such that X can be expressed as the union of \(k\) convex sets.
It is easy to see that \(\alpha (X)\le \beta (X)\le \gamma (X)\).
The following notations will be used throughout this paper: For \(X \subset \mathbb{R }^2\), define \(S=\mathrm{cl}X\). We shall write \(M=S\setminus X\) (M is the set of points of S missing in X). We split M into two parts \(M=M_\mathrm{b} \cup M_i\), where \(M_i =M \cap \;\mathrm{int}\,S\) and \(M_\mathrm{b}=M \cap \mathrm{bd}\,S\).
S is locally convex at a point x if \(x \in S\) and x has a neighborhood U such that \(S \cap U\) is convex. We denote by Q (\(=\mathrm{lnc}\,S\)) the set of points of local nonconvexity (\(\mathrm{lnc}\) points) of S. These are the points where S fails to be locally convex.
We say that S is 2dimensional at a point p if \(p \in \mathrm{cl}(\mathrm{int}\,S)\).
\(A \subset \mathbb{R }^d\) is an \(L_2\)set if every two points of A can be connected by a polygonal line of at most 2 edges within A.
Given a subset \(S_0 \subseteq S\), we say that \(S_0\) is convex relative to S if for every \(x,y \in S_0, [x,y] \subseteq S\) implies \([x,y] \subseteq S_0\).
Results
Throughout the following theorems we assume that X is a planar set, \(\alpha (X)\le 2\), and that \(S=\mathrm{cl}\, X\).
Main Theorem 1
max\(\left\{ \gamma (X):X \subseteq \mathbb{R }^2, \alpha (X)\le 2\right\} =6\).
We disassemble Main Theorem 1 into several independent theorems: Theorems A–G:
Theorem A
If X is not an \(L_2\)set (in particular, if X is not connected), then \(\gamma (X)=2\). (In this theorem, \(\mathbb{R }^2\) can be replaced by an arbitrary real vector space.)
Theorem B
If S is not 2dimensional at some point \(p \in S\), then \(\gamma (X)\le 2\).
Theorem C
If \(\;M_i>1\), then \(\gamma (X)\le 3\). The number three is the best possible, even when S is convex. If, in addition, \(M_\mathrm{b}=\phi \) or \(M_\mathrm{b}=\mathrm{bd}\,S\), then \(\gamma (X)=2\).
Theorem D
If \(\;M_i=1\) and \(M_\mathrm{b}=\phi \) or \(M_\mathrm{b}=\mathrm{bd}\,S\), then \(\gamma (X)\le 4\). The number four is the best possible.
Theorem E
If \(\;M_i=\phi \) then \(\gamma (X)\le 3\). The number three is the best possible, even when S is convex.
Theorem F
If \(\;M_i=1\) then \(\gamma (X)\le 6\). The number six is the best possible.
Theorem G
If \(\;M_i=1\) and S is convex then \(\gamma (X)\le 4\). The number four is the best possible. If, in addition, \(M_\mathrm{b}=\phi \) or \(M_\mathrm{b}=\mathrm{bd}\,S\) then \(\gamma (X)=2\).
Table 1 summarizes all the cases above. In each box appears \(\mathrm{max}\, \gamma (X)\) under the conditions of that box. The number in parentheses is \(\mathrm{max} \,\gamma (X)\) under the conditions of the box together with the extra assumption that S is convex.
Much of the material contained in this paper can be summarized in the following extension of Valentine’s Theorem:
Theorem 3.1
If \(X \subseteq \mathbb{R }^2, \alpha (X) \le 2\), and the complement \(\mathbb{R }^2 \setminus X\) has no onepointed components, then \(\gamma (X) \le 3\).
We also present two results and a conjecture involving the measure \(\beta \):
Main Theorem 2
\(\mathrm{max}\left\{ \gamma (X):X \subseteq \mathbb{R }^2, \beta (X)=2\right\} =4\).
It seems that Main Theorem 2 has been known for many years.
Example 8
We present a bounded set \(X \subset \mathbb{R }^2\) with \(\alpha (X)=2\) and \(\beta (X)=4\).
Conjecture
\(\mathrm{max}\left\{ \beta (X):X \subseteq \mathbb{R }^2, \alpha (X)=2\right\} =4\).
Proof of Theorem A
As X is not an \(L_2\)set, there are two points \(a,b \in X\) that cannot be connected by a polygonal line of fewer than 3 edges within X. In other words, there is no point in X that sees both a and b. Define \(A=st(a)=\{x \in X:[a,x]\subseteq X\}, B=st(b)\). Notice that the sets A and B are disjoint. We show now that A is convex: Take \(p,q \in A\). If \(p^{\prime } \in (a,p], q^{\prime } \in (a,q]\), then \([p^{\prime },q^{\prime }] \subset X\), since otherwise \(\{p^{\prime },q^{\prime },b\}\) would be a visually independent set. Hence the full triangle \([a,p,q]\) is included in X, so a sees via X every point in \([p,q]\), which means that \([p,q] \subset A\), so A is convex. Similarly, B is convex. Now, for every \(x \in X, x \in A \cup B\), because otherwise \(\{a,b,x\}\) would be a visually independent set. Thus X is the union of two disjoint convex sets.
Proof of Theorem B
S is a closed set in the plane and, therefore, according to Valentine [6], is a union of at most three convex sets: \(S=\cup _{i=1}^n{C_i}\), where \(1\le n \le 3\). As S is closed, we can assume that for each i, \(C_i\) is closed. In addition, we will assume that none of these convex sets are included in the union of the others.
If each \(C_i\) is 2dimensional then S is 2dimensional. Assume, therefore, w.l.o.g., that \(C_1\) is not 2dimensional. If \(\mathrm{dim}\,C_1=0\), then S is not connected and, therefore, X is not connected, so by Theorem \(\mathrm{A}, \gamma (X) \le 2\). Otherwise, \(\mathrm{dim}\,C_1=1\), in which case \(C_1\) is part of a line L. There is a point \(p \in C_1\) such that \(p \notin C_2 \cup C_3\). Since \(C_2,C_3\) are closed, there is a neighborhood U of p that misses \(C_2 \cup C_3\), and, therefore, \(U \cap S=U \cap C_1\) is a segment. Define L to be the line containing this segment. Denote by \(L_+, L_\) the open halfplanes determined by L.
Define \(C=\mathrm{conv}(X\setminus L)\). We wish to show that \(C \subseteq X\). Every two points in \(X\cap L_+\) do not see p via X. Therefore, since \(\alpha (X)=2\), they see each other via \(X \cap L_+\). Hence, \(X\cap L_+\) is convex. By the same argument, \(X\cap L_\) is convex, so \(C=\mathrm{conv}(X\setminus L)=\mathrm{conv}((X\cap L_+)\cup (X\cap L_))\).
If \(X \cap L_+ = \phi \) (or \(X \cap L_ = \phi \)) then \(C=X \cap L_ \subseteq X\) (or \(C=X \cap L_+ \subseteq X\)). If both \(X \cap L_+\) and \(X \cap L_\) are nonempty, then \(C=\cup \{[a,b]:{a\in {X \cap L_+}, b \in {X \cap L_}}\}\). The point p does not see any \(a\in L_+ \cap X\) or \(b \in L_\cap X\). Therefore, again, as \(\alpha (X)=2\), for any such \(a,b, [a,b]\subset X\). This implies that \(C \subset X\).
It remains to deal with the set \(L\cap X\). Since \(\alpha (X)=2\) and L is convex, \(\alpha (X \cap L)\le 2\). If \(X \cap L\) is convex, we are done. Otherwise, \(X \cap L\) is the disjoint union of two nonempty convex sets A, B, where, say, \(p \in A\). If \(C=\phi \) then we are done, so assume \(C\ne \phi \).
In order to complete the proof, we would like to show that \(\mathrm{conv}(B \cup C)\subset X\). Since both B and C are convex, \(\mathrm{conv}(B \cup C)=\cup \left\{ [b,c]:{b\in B, c \in C}\right\} \). Suppose \(b \in B\) and \(c \in C\):
Case 1 If \(c\notin L\) then \([p,c]\nsubseteq X\) and \([p,b] \nsubseteq X\), hence \([b,c] \subset X\).
Case 2 If \(c \in L\) then \(c \in [c_+, c_]\), where \(c_+ \in X \cap L_+\) and \(c_ \in X \cap L_\). The points \(c_+, c_, b\) do not see p via X, therefore, and since \(\alpha (X)=2, [c_+,b] \subset X\) and \([c_,b] \subset X\). Now, each point in \([c,b)\) is in the convex hull of a point in \([c_+,b)\) and a point in \([c_,b)\) and, therefore, is in X (again, these two points do not see p, and \(\alpha (X)=2\)).
This establishes that \(\mathrm{conv}(B \cup C)\subset X\), which implies that X is the union of two convex sets: A, the component of p in \(L \cap X\), and \(\mathrm{conv}(B \cup C)(=B \cup C)\).
Proof of Theorem C
Coming to prove theorem C, we shall first show that if \(M_i>1\), then \(M_i\) contains a segment. Suppose \(x,y \in M_i, x \ne y\), and let L be the line spanned by \(x,y\). As \(x,y \in \mathrm{int}\,S\), both have circular neighborhoods \(U_x, U_y\) in S. The intersection of \(L\setminus \{x,y\}\) with these two neighborhoods consists of 4 segments. These segments lie in the three components of \(L \setminus \{x,y\}\), and, therefore, at least one of them is disjoint from X. Therefore, \(M_i\) includes a segment, call it I, and \(L=\mathrm{aff}I\).
Denote by \(L_+, L_\) the open halfplanes determined by L. Define \(X_+=X \cap L_+, X_=X \cap L_\) and \(S_+=\mathrm{cl}(X_+), S_=\mathrm{cl}(X_)\). Next we show that \(X_+\) is convex. Take \(p,q \in X_+\). There is a point \(y \in X_ \), close enough to the center of I, such that both segments \((p,y), (q,y)\) intersect I, meaning that y sees neither p nor q via X, and, therefore, \([p,q] \subset X\), hence \([p,q] \subset X_+\). Similarly, \(X_\) is convex.
Next we show that \(M_i \subset L\). Note that \(S \cap L_+ \subset \mathrm{cl}X_+\), and, therefore, \(L_+ \cap \mathrm{int}\,S=\mathrm{int}(S \cap L_+) \subset \mathrm{int}\,\mathrm{cl}X_+=\mathrm{int}X_+ \subset X\). Therefore, \(L_+ \cap M_i= \phi \). Similarly, \(L_ \cap M_i= \phi \), hence \(M_i \subset L\).
Define: \(B_{+}=S_{+} \cap L, B_{} = S_{} \cap L.\,B_{+}\) is an edge of \(S_{+}\) (think of it as the base of \(S_+\)). If a point u lies in \(\mathrm{rel}\,\mathrm{int}B_{+}\), then u sees every point of \(S \cap L_{+}\) via \(\mathrm{int}\,S_{+}\), hence via X. Thus, a point \(u \in X \cap B_{+}\) may fail to see some point of \(X_+\) via X only if u is an endpoint of \(B_{+}\). Similarly for \(B_{}\) and \(X_{}\).
If X contains a point y that is in \(L\setminus (B_ \cup B_+)\), then S is not 2dimensional at y, and, therefore, \(\gamma (X)=2\), by Theorem B. Assume, therefore, that \(X \cap L \subset B_ \cup B_+\). Note that the segment \(I(\subset M_i)\) lies in \(B_ \cap B_+\).
Next we show that \(\gamma (X)=2\), unless \(X \cap L \subset B_ \cap B_+\). Assume \(X \cap L \nsubseteq B_ \cap B_+\). Pick a point \(y \in X \cap L \setminus (B_ \cap B_+)\). Think of L as a horizontal line, and suppose, w.l.o.g., that \(y \notin B_\), and that y is to the right of \(B_\).
Denote by \(L_2\) the component of y in \(X \cap L.\,L_1\) is the other component of \(X \cap L\), if \(X \cap L\) is not convex. If \(X \cap L\) is convex, then \(L_1=\phi \).
Clearly, y does not see any point of \(L_1\) via X. Since \(y \notin B_, y\) does not see any point of \(X_\) via X. Since \(\alpha (X)=2\), every point of \(L_1\) sees every point of \(X_\) via X, hence via \(X_\). In other words, \(L_1 \cup X_\) is convex. But, as we shall see immediately, \(L_2 \cup X_+\) is convex as well. Indeed, consider a point \(x \in X_+\) and a point \(y^{\prime } \in L_2\), to the right of \(y\) (\(y^{\prime }=y\) included). x does not see via X some point \(z \in X_\), that lies beyond \(I.\,y^{\prime } \notin B_\) and, therefore, does not see via X any point in \(X_\). It follows that \(y^{\prime }\) sees x via X. Now consider a point \(y^{\prime \prime } \in L_2\), strictly to the left of y. Since \(y^{\prime \prime } \in L_2\) lies to the right of I, and \(I \subset B_+\), we conclude that \(y^{\prime \prime } \in \mathrm{rel\,int}B_+\), and, therefore, sees via \(X_+\) every point of \(X_+\). Now we can represent \(X\) as the union of two convex sets: \(X= (L_1 \cup X_) \cup (L_2 \cup X_+)\).
Assume from now on that \(X \cap L \subset B_ \cap B_+\). Let us first dispose of the case where \(M_\mathrm{b}=\phi \) or \(M_\mathrm{b}=\mathrm{bd}\,S\).
\(M_\mathrm{b}=\phi \): If \(c \in X \cap L\,(\subset B_ \cap B_+)\) then c sees every point of \(X_+\) via \(S \cap L_+\), which is a subset of \(X_+\). Same for \(X_\) and \(L_\). Denote by \(L_1,L_2\) the components of \(X \cap L\). (\(L_1= \phi \) if \(X \cap L\) is convex). Then \(X\) is the union of the two convex sets \(L_1 \cup X_+, L_2 \cup X_\).
\(M_\mathrm{b}=\mathrm{bd}\,S\): If \(x \in X \cap L\) then \(x \in \mathrm{rel\,int}B_+\). (The endpoints of \(B_+\) are boundary points of \(S\) and, therefore, not in X.) Similarly, \(x \in \mathrm{rel\,int}B_\). Define \(L_1,L_2\) as above. Then X is again the union of the two convex sets \(L_1 \cup X_+\) and \(L_2 \cup X_\).
Now we return to the general case: \(M_i>1\) and \(M_\mathrm{b}\) unrestricted, and try to show that \(\gamma (X)\le 3\).
If \(X \cap L\) is convex then X is the union of three convex sets and we are done. Assume \(X \cap L\) is not convex, so it is the union of two nonempty components \(L_1,L_2\), where \(L_1\) is to the left of \(L_2\). If \(L_1\) has no left endpoint, then \(L_1 \subset \mathrm{rel\,int}B_+\), and, therefore, X is the union of the three convex sets \(L_1 \cup X_+,X_,L_2\). The same argument works when \(L_1\) has a left endpoint \(c_1\), but \(c_1\) is not the left endpoint of \(B_+\). We can repeat this argument with \(B_,X_\) instead of \(B_+,X_+\), and also with \(L_2\) instead of \(L_1\).
Assume, therefore, that \(L_1\) has a left endpoint \(c_1, L_2\) has a right endpoint \(c_2\), and \(B_+=B_=[c_1,c_2]\). The point \(c_1\) still sees every point of \(S \cap L_+\) via \(\mathrm{int}\,S_+(\subset X)\) unless \(S_+\) has an edge \(C_{1_+}\) with endpoint \(c_1\), other than \(B_+\). Assume, therefore, that \(S_+\) has such an edge \(C_{1_+}\), and, by the same token, that \(S_+\) has an edge \(C_{2_+}\) with endpoint \(c_2\), other than \(B_+\) (see Fig. 1). If \(X \cap C_{1_+}\) is convex then \(c_1\) still sees every point of \(X_+\) via \(X_+\), and thus \(L_1 \cup X_+\) is again convex, as before.
Assume, therefore, that \(X \cap C_{1_+}\)is not convex. It is the union of \(\{c_1\}(=C_{1_+} \cap L)\) and the convex set \(C_{1_+} \cap X_+\). By the same token, assume that \(X \cap C_{2_+}\) is not convex. It follows that \(X \cap C_{1_+} \cap C_{2_+} = \phi \) since a point \(z \in X \cap C_{1_+} \cap C_{2_+}\) would form a 3clique of invisibility with \(c_1\) and \(c_2\).
We could play the same game with \(X_\), but this is not necessary, since \(X\) is the union of the three convex sets \(X_, (X_+\setminus C_{1_+}) \cup L_1, (X_+ \setminus C_{2_+}) \cup L_2\).
Examples 1, 2 show that the number three is the best possible: We describe two sets \(X_1,X_2 \subset \mathbb{R }^2\) with \(M_i>1\) and show that \(\alpha \) of each set is 2 and that \(\gamma \) of each set is three. Notice that \(X_1 \cap L\) is not convex, while \(X_2 \cap L\) is convex.
Example 1
Let P be a regular hexagon with center O and vertices \(p_0,p_1,\ldots ,p_5\). Take \([a,b]\) to be a short segment lying on \([p_5,p_2]\) with \(O\) in its center. We define \(X_1=P \setminus ((p_5, p_0 ) \cup (p_1,p_2) \cup [a,b])\) (see Fig. 2).
\(\alpha (X_1)=2\): The set \(X_1 \setminus \{p_0\}\) is the union of two convex sets. The same holds for \(X_1 \setminus \{p_1\}\). Therefore, if there is a 3circuit of invisibility in \(X_1\), it must contain both \(p_0\) and \(p_1\). But these two points see each other via \(X_1\).
\(\gamma (X_1)\ge 3\) since, as shown in Fig. 2, there is a 5circuit of invisibility.
Example 2
Let P be as above and take \([c,d]\) to be a short segment lying on \([p_5,p_2]\) with \(c=p_5\). Define \(X_2=P \setminus ((p_1, p_2 ) \cup (p_2,p_3) \cup [c,d])\) (see Fig. 2).
\(\alpha (X_2)=2\): The set \(X_2 \setminus \{p_2\}\) is the union of two convex sets. Therefore, if there is a 3clique of invisibility in \(X_2\), it must contain \(p_2\). But there are only two points that \(p_2\) does not see via \(X_2:\,p_1\) and \(p_3\), and fortunately \([p_1,p_3] \subset X_2\).
\(\gamma (X_2)\ge 3\) since, as shown in Fig. 2, there is a 5circuit of invisibility.
Proof of Theorem D
Since Theorem D is not needed for the proof of the remaining theorems, we skip the proofs, and only give an example to show that the number 4 is the best possible. The interested reader may find a proof (even two proofs) of Theorem D in the detailed version (www.ma.huji.ac.il/~noanitzan/nonconvexity.pdf, p. 10, Sect. 7).
A wellknown example shows that the number four is the best possible.
Example 3
We describe a set \(X \subset \mathbb{R }^2\) with \(M_i=1\) and \(M_\mathrm{b} = \phi \), and show that \(\alpha (X)=2\) and \(\gamma (X)\ge 4\). Let X be a closed Star of David with its center \(O\) removed. Denote by \(p_0,p_1,\ldots ,p_5\) the outer vertices of the Star of David (see the left side of Fig. 3). \(\alpha (X)=2\): The right side of Fig. 3 shows a representation of X as the union of two seeing subset, hence \(\beta (X)=2\). Therefore, \(\alpha (X)=2\).
\(\gamma (X)\ge 4\): Let C be a convex subset of X. Define \(A=\{p_0,p_2,p_4\}\) and \(B=\{p_1,p_3,p_5\}\). No point of A sees any point of B, therefore, C cannot contain points of both sets. \(A \nsubseteq C\) and \(B \nsubseteq C\), since \(O \notin C\). Therefore, C contains at most two points of A or two points of B. Hence, we need at least two convex subsets of X to cover A, and two other convex subsets of X to cover B. It follows that \(\gamma (X)\ge 4\). One can easily represent X as a disjoint union of 4 convex sets.
For an example with \(M_i=1\) and \(M_\mathrm{b} = \mathrm{bd}\,S\), take the same set X and remove its boundary.
Proof of Theorem E, Preliminary Considerations
Let us recall our assumptions: \(X \subset \mathbb{R }^2, \alpha (X)=2, S=\mathrm{cl}X\) (hence \(\alpha (S) \le 2\) and, therefore, \(\gamma (S) \le 3\), by [6]), \(M_i=\phi \), which means just that \(\mathrm{int}\,S \subset X \subset S\). We wish to show that \(\gamma (X) \le 3\). We first need the following lemmata:
Lemma 8.1
S has no triangular holes.
Proof
If S is convex, then of course, there are no holes in S.
If S is not connected, Then S is the union of two disjoint, closed convex sets, and again there are no holes in S.
Otherwise, if S is connected but not convex, then by Tietze’s Theorem, S contains an lnc point q. According to [6], \(q \in \mathrm{ker}\,S\). In other words, S is starshaped with respect to q. But a starshaped set has no holes.\(\square \)
Lemma 8.2
If \(M_i = \phi \), then \(\beta (X)=\gamma (X)\).
Proof
It suffices to show that if A is a seeing subset of X then \(\mathrm{conv}A \subset X\). Every point in \(\mathrm{conv}A\) is a convex combination of at most three points of A. If x is a convex combination of two points of A, then \(x \in X\). Assume x is a convex combination of three affinely independent points \(a,b,c \in A\). The edges of the triangle \(\Delta =[a,b,c]\) lie in X. By Lemma 8.1, S has no triangular holes, therefore, \(\Delta \subset S\). This implies \(x \in \mathrm{int}\Delta \subset \mathrm{int}\,S \subset X.\square \)
In view of Lemma 8.2, we only have to find how many seeing subsets of X are needed in order to cover X.
For the rest of the proof, we distinguish four cases, according to the dimension of the kernel \(K=\mathrm{ker}\,S\): Case 1: \(K= \phi \), Case 2: \(K\) is a single point, Case 3: \(\mathrm{dim}K=1\), Case 4: \(\mathrm{dim}K=2\). The first three cases are relatively simple, and are treated in full in the detailed version (www.ma.huji.ac.il/~noanitzan/nonconvexity.pdf, p. 15, Sect. 8). Here we describe only the more interesting case, Case 4.
Proof of Theorem E, Reduction to the Polygonal Case
As mentioned above, the case \(\mathrm{dim}K=2\) is the most complicated case of the four, which Breen [1] relates to lengthy. She claims that in this case, X is the union of four convex sets. We will show that X is the union of three convex sets. This result can be viewed as the focal point of the whole paper, since it trivially implies theorem F.
Stage 1: Reduction to the polygonal case:
In this section we intend to show why it is possible to assume that S is a compact, polygonal set. Our approach depends heavily on the following important result of [3]:
Let T be a subset of a real vector space. Assume that every finite subset \(F\subseteq T\) has a kpartition, \(\{F_1,\ldots ,F_k\}\), with \(\mathrm{conv}F_i\subseteq T\) for \(i=1,\ldots ,k\). Then \(\gamma (T) \le k\), i.e., T is a union of k or fewer convex sets.
Let F be a finite subset of X. We wish to show that F has a 3partition, \(\{F_1,F_2,F_3\}\), with \(\mathrm{conv}F_i\subseteq X\) for \(i=1,2,3\). We intend to construct a set H such that: \(\alpha (H)\le 2, \mathrm{cl}H\) is polygonal, \(F \subset H \subset X, \mathrm{cl}H \setminus H \subset \mathrm{bd\,cl}H\) and \(\mathrm{dim\,ker\,cl}H=2\). A representation of H as a union of three convex sets will imply, in particular, that F has a partition as required. Thus, in order to complete our proof, it will suffice to deal with sets X for which \(S=\mathrm{cl}(X)\) is polygonal. In Theorem 9.1 below we construct a closed polygonal set P. We then define \(H=P \cap X\) and show that H satisfies the conditions above. Before embarking on the construction of P, we pause to discuss the important notions of relative convexity and relative convex hull.
Let S be a subset of \(\mathbb{R }^d\), or, for that matter, of any real vector space. (Here we do not necessarily assume that S is closed.) We say that a subset C of S is convex relative to S if, for any two points \(x,y \in C, [x,y] \subset S\), implies \([x,y] \subset C\). The set S itself, or the intersection of S with any convex set, are examples of relatively convex subsets of S.
The intersection of any family of relatively convex subsets of S is again convex relative to S. If F is any (finite or infinite) subset of S, then the intersection of all relatively convex subsets of S that include F is clearly the smallest relatively convex subset of S that includes F. It is called the relative convex hull of F (relative to S). This relative convex hull can also be defined constructively, as follows: Put \(F_0=F\). Define inductively, for \(n \in \mathbb{N }, F_{n}\) to be the union of \(F_{n1}\) and all closed line segments \([x,y]\), where \(x,y \in F_{n1}\) and \([x,y] \subset S\). Then the relative convex hull of F (relative to S) is the union \(\cup _{n=0}^\infty F_n\). In many important cases this construction ends after a finite number of steps, i.e., \(F_{n+1}=F_n\) for some finite n.
Finally, let us note that if C is a relatively convex subset of S, then \(\alpha (C) \le \alpha (S), \beta (C) \le \beta (S)\) and \(\gamma (C) \le \gamma (S)\). Reasons:

\(\alpha \): If \(F \subset C\) is a visually independent subset of \(C\), then F is visually independent in S as well.

\(\beta \): The invisibility graph of C is a (spanned) subgraph of the invisibility graph of S.

\(\gamma \): If A is a convex subset of S, then \(A \cap C\) is a convex subset of C.
Now we are ready to formulate Theorem 9.1:
Theorem 9.1
Suppose S is a closed subset of \(\mathbb{R }^2, \alpha (S)\le 2, \underline{0} \in \) intK (\(K= kerS\)), and F is a finite subset of S. Then there exists a set P such that:

(1)
\(F \subset P \subset S\);

(2)
P is convex relative to S (hence \(\alpha (P) \le 2\));

(3)
\(\underline{0}\,\in \mathrm{int\,ker} P\);

(4)
P is polygonal, i.e., P consists of a simple closed polygonal line \(\mathrm{bd}\,P\) and its interior.
Proof
We construct the set P in several steps:
Step 1: Add to F the origin \(\underline{0}\), and, if necessary, a few more points of S (never more than three), so as to make the origin \(\underline{0}\) an interior point of the convex hull of the resulting set. Call the resulting set \(F_1\).
Step 2: Define \(S_1=S \cap \mathrm{conv}F_1.\,S_1\) satisfies all our assumptions on S, and is, in addition, compact. Proceed with S replaced by \(S_1\).
Step 3: Replace each point \(a \in F_1 \setminus \{\) 0 \(\}\) by the intersection of \(S_1\) with the closed ray \(\{\lambda a: \lambda \ge 0 \}\). Denote the resulting “sun” (union of segments emanating from \(\underline{0}\)) by G. The polygonal set P promised in the theorem will be the convex hull of the “sun” G relative to \(S_1\) (or to S, does not matter).
Step 4: Now we start to construct the convex hull of G relative to S. Assume \(G= \cup _{i=0}^{n1} [\underline{0},a_i]\), where the points \(a_i\) are arranged in order of increasing argument. Define \(a_n=a_0\) and denote by \(\Delta _i\) (\(i=1,2,\ldots ,n\)) the triangle \([\underline{0},a_{i1},a_i]\). For each i, \(1 \le i \le n\), we define a subset \(P_i\) of \(\Delta _i\) as follows:
Define
The maxima do exist, since S is closed.
Define \(P_i=[\underline{0},\lambda ^* a_{i1},a_i] \cup [\underline{0},a_{i1},\mu ^* a_i] \subset \Delta _i\). If \([a_{i1},a_i] \subset S\), then \(\lambda ^*=\mu ^*=1\) and \(P_i=\Delta _i\). If not, then \(0< \lambda ^* <1\) and \(0<\mu ^* <1\). (\(\lambda ^*\) and \(\mu ^*\) are strictly positive, since an initial subinterval of \([\underline{0},a_{i1}]\) (and of \([\underline{0},a_i]\)) lies in \(\mathrm{ker}\,S\)). In this case , the intervals \([\lambda ^* a_{i1},a_i]\) and \([a_{i1}, \mu ^* a_i]\) cross at some point \(w_i \in \mathrm{int}\Delta _i\), and we obtain: \(P_i=[\underline{0}, a_{i1},w_i] \cup [\underline{0},a_i,w_i]\) (see Fig. 4).
Claim 9.2
The set \(P_i\) is convex relative to S.
Proof
This is obvious when \(P_i= \Delta _i\). Assume, therefore, that \(P_i \ne \Delta _i\), i.e., \(P_i=[\underline{0},a_{i1},w_i] \cup [\underline{0},a_i,w_i]= \Delta _i \setminus (\mathrm{int}[a_{i1},a_i,w_i] \cup (a_{i1},a_i))\). Suppose, on the contrary, that some two points \(x,y \in P_i\) see each other via S, but not via \(P_i\). It follows that, say, \(x \in [\underline{0}, a_{i1}, w_i], y \in [\underline{0},a_i,w_i]\), and the segment \([x,y]\) passes through \(\Delta _i \setminus P_i\,(= \mathrm{int}[w_i,a_{i1},a_i] \cup (a_{i1},a_i))\).
The segment [x, y] cannot meet \((a_{i1},a_i)\), unless \(x=a_{i1}\) and \(y=a_i\), in which case \(P_i=\Delta _i\), contrary to our assumption. It follows that the segment [x, y] crosses \([w_i,a_{i1}]\) at some point \(x^{\prime }\ne w_i\) and \([w_i,a_i]\) at some point \(y^{\prime } \ne w_i\). If \(x=x^{\prime }=a_{i1}\) and \(y^{\prime } \ne a_i\), extend the segment \([x,y^{\prime }]\) beyond \(y^{\prime }\) into \(P_i\), until it hits \([\underline{0},a_i]\) at some point \(y^{\prime \prime }\) (see the right side of Fig. 5). We find that \(y^{\prime \prime }=\mu a_i\) for some \(\mu ^* < \mu <1\), but \(a_{i1}\) does see \(y^{\prime \prime }\) via S, contrary to our definition of \(\mu ^*\). We obtain the same type of contradiction when \(y=y^{\prime }=a_i\) but \(x^{\prime } \ne a_{i1}\).
Now suppose \(y^{\prime } \ne a_i, x^{\prime } \ne a_{i1}\). In this case \(x^{\prime } \in (w_i,a_{i1}), y^{\prime } \in (w_i,a_i)\). Put \(z=1/2 (x^{\prime }+y^{\prime })\). If \(a_{i1}\) sees z via S, then it sees via S some point beyond \(\mu ^* a_i\) on \([\underline{0},a_i]\), which is impossible. (Note that \(S \cap \Delta _i\) is starshaped with respect to 0)
We conclude that \([a_{i1},z] \nsubseteq S\). By the same token, \([a_i,z] \nsubseteq S\). But \([a_{i1},a_i]\nsubseteq S_1\), as well, since \(P_i \ne \Delta _i\). This contradicts our assumption that \(\alpha (S) \le 2\) (see the left side of Fig. 5).\(\square \)
dummy
Step 5: Define \(P=\cup _{i=1}^n P_i\). Let us check that P satisfies the requirements of Theorem 9.1.
By our construction, \(F \subset F_1 \subset G \subset P \subset S_1 \subset S\).
To prove that P is convex relative to S, we take two points \(x,y \in P\) that see each other via S, and show that \([x,y] \subset P\).
If x and y belong to the same part \(P_i\), then [x, y] \(\subset P_i \subset P\), by Claim 9.2.
If 0 \(\in [x,y]\), then \([x,y] \subset P\), since P is starshaped with respect to 0.
Assume, therefore, that \(x \in P_i\) and \(y \in P_j, i < j\), and that the line through x, y does not pass through the origin. Note that both x and y lie in \(S_1 (=S \cap \mathrm{conv}F_{1}\)) and, therefore, \([x,y] \subset S\) implies \([x,y] \subset S_1\).
For \({\nu }=0,1,\ldots ,n\), denote by \(R_{{\nu }}\) the ray emanating from 0 through \(a_{{\nu }} (R_{{\nu }}=\{\lambda a_{\nu }:\,\lambda \ge 0\})\). The segment \([x, y]\) crosses the rays \(R_i, R_{i+1},\ldots ,R_{j1}\) (or \(R_j, R_{j+1},\ldots ,R_n,R_1,\ldots ,R_{i1}\)) in this order. Assume, for the sake of simpler notation, that it crosses \(R_{i}, R_{i+1},\ldots ,R_{j1}\).
Assume that [x, y] meets \(R_{\nu }\) at the point \(b_{\nu }= \lambda _{\nu }a_{\nu }\), where \(\lambda _{\nu }>0\). If \(\lambda _{\nu }>1\) then \(b_{\nu } \notin S_1\), since \(a_{\nu }\) is the last point of \(S_{1}\) on \(R_{\nu }\). It follows that \(0< \lambda _{\nu } \le 1\), and, therefore, \(b_{\nu } \in S_1\), hence \(b_{\nu } \in P_{\nu } \cap P_{\nu +1}\) for \(\nu =i, i+1,\ldots ,j1\). Thus \([x,y]=[x,b_i] \cup [b_i,b_{i+1}] \cup \cdot \cdot \cdot \cup [b_{j2},b_{j1}] \cup [b_{j1},y]\). By Claim 9.2, \([x,b_i] \subset P_i, [b_{j1},y] \subset P_j\) and \([b_{\nu 1},b_{\nu }] \subset P_{\nu }\) for \(i<\nu <j\), hence \([x,y] \subset P\).
To show that 0 \(\in \mathrm{int\,ker} P\), note that 0 \(\in \mathrm{int\;ker} S\) and 0 \(\in \mathrm{int}\,P\). Let U be a neighborhood of 0 that lies in \(P \cap \mathrm{ker}\,S\). Every point \(u \in U\) sees every point \(p \in P\,(\subset S)\) via S, and, therefore, via P, since P is convex relative to S.
Finally, note that the number of edges of the boundary of P never exceeds \(2F_1\). \(\square \)
We can now define the set H as follows: \(H = P \cap X\). Let us show that H satisfies our requirements: (Recall that we need H such that: \(F \subset H \subset X, \alpha (H) \le 2, \mathrm{cl}H\) is polygonal, \(\mathrm{cl}H \setminus H \subset \mathrm{bd cl}H\) and \(\mathrm{dim ker cl}H=2\).)
According to our construction, \(F \subset H \subset X\).
Let us show that H is convex relative to X: Take two points \(a,b \in H\) such that \([a,b] \subset X.\,a,b \in P, [a,b] \subset S\), so, since P is convex relative to S, \([a,b] \subset P\). Hence, \([a,b] \subset X \cap P = H\). Therefore, \(\alpha (H) \le 2\).
\(\mathrm{int}\,P \subset \mathrm{int}\,S \subset X\), so \(\mathrm{int}\,P \subset H=P \cap X\). Since \(P=\mathrm{cl int}\,P\), we find that \(\mathrm{cl}\,H= P\) is polygonal, and \(\mathrm{cl}\,H \setminus H \subset P \setminus \mathrm{int}\,P = \mathrm{bd}P = \mathrm{bd cl}\,H\).
Finally, 0 \(\in \mathrm{int\;ker} P\), so \(\mathrm{dim ker cl}H=2\). This concludes the reduction to the polygonal case. Therefore, we may assume that \(S=\mathrm{cl}\,X\) is polygonal.
Proof of Theorem E, The Polygonal Case. Preliminaries
S is a compact polygonal set. Denote by Q the set of lnc points of S. Let \(q_1,\ldots ,q_n\) be the points of Q ordered in clockwise direction along \(\mathrm{bd}(\mathrm{conv}\,Q)\). We assume, for the moment, that \(n\ge 3\). The simpler cases \(n=0,1,2\) will be considered afterward. \(\mathrm{conv}\,Q\) is a polygon with vertices \(q_1,\ldots ,q_n\) and edges \(e_i=[q_i,q_{i+1}],\;i=1,\ldots ,n\) (where \(q_{n+1}=q_1\)). By \(e_{i_+}\) we denote the closed halfplane determined by \(\mathrm{aff} \,e_i\) that misses \(\mathrm{int conv}\,Q\). According to Valentine’s proof [6], S is the union of \(\mathrm{conv}\,Q\) and n ”bumps” \(W_1,\ldots ,W_n\), where \(W_i=S \cap e_{i_+}\). We shall refer to \(W_1,\ldots ,W_n\) as the leaves of S. Each \(W_i\) is a convex polygon and so is the union \(W_i \cup \mathrm{conv}\,Q\), for \(i=1,\ldots ,n\). Actually, the union of \(\mathrm{conv}\,Q\) with any set of leaves not containing two adjacent leaves, is a convex polygon.
If we orient the boundary of S clockwise, the boundary of each leaf \(W_i\) (excluding the base edge \(e_i\)) becomes a directed polygonal path, with a first edge starting at \(q_i\) and a last edge ending at \(q_{i+1}\). Take \(l_i\) to be the line spanned by the last edge of \(W_{i1}\), and \(m_i\) to be the line spanned by the first edge of \(W_{i+1}\). Notice that if \(\alpha , \beta , \gamma \) are the angles subtended by \(W_{i1}, \mathrm{conv}\,Q\) and \(W_i\) at \(q_i\), as in Fig. 6, then the following holds:
\(\alpha +\beta \le 180^\circ ,\;\;\beta + \gamma \le 180^{\circ }\) and \(\alpha + \beta + \gamma >180^{\circ }\). Therefore, \(l_i\) passes either through \(\mathrm{int}W_i\) or through the basis \(e_i\). The same holds for \(m_i\) (see Fig. 7).
Denote by \(l_{i_+}\) the closed halfplane determined by \(l_i\), that misses \(\mathrm{int conv}\,Q\) and by \(m_{i_+}\) the closed halfplane determined by \(m_i\), that misses \(\mathrm{int conv}\,Q\).
Done with the description of S, we move on to describe X: Define for \(i=1,\ldots ,n, A_i=(W_i \cap X) \setminus Q\). These are the ”leaves” of X. (Note that \(A_i\) includes the relative interior of \(e_i\), but not its endpoints \(q_i,q_{i+1}\).) Now, since \(\mathrm{int}\,S \subset X, X\) can be represented as the following disjoint union: \(X = \mathrm{int\,conv}\,Q \cup (\cup _{i=1}^n{A_i}) \cup (Q \cap X)\).
Before entering into more technicalities, we would like to give the reader an idea of how we properly color X with three colors.
In the original proof of Valentine’s Theorem (for S), each leaf \(W_i\) (or, more precisely, \(W_i \setminus e_i\)), is colored uniformly, and two adjacent leaves get different colors. The central part, convQ, is part of kerS, and need not be colored at all. Thus, two colors suffice locally, and the third color is only needed to close the circuit when n is odd.
Passing to X, the set \(A_i\) (=\(X \cap W_i \setminus Q\)) may miss some boundary points of \(W_i\), and fail to be convex. This necessitates more than one color for \(A_i\). We pass through each leaf \(A_i\) (of X) the line \(l_i\), that divides \(A_i\) into an upper left part NE (\(C_i \cup D_i\) in Fig. 7) and a lower right part SW (\(F_i \cup E_i\) in Fig. 7). The precise definition of this partition (i.e., which part includes \(A_i \cap l_i\)) will be given below.
The NE part is convex, and consists precisely of all points \(x \in A_i\) that fail to see via X some points in \(A_{i1}\). The SW part is also convex, except (possibly) for some local invisibilities on the boundary.
We color each of these two parts (NE and SW) uniformly with different colors. We also have to keep in mind that the color assigned to NE should be different from the colors assigned to the adjacent leaf \(A_{i1}\).
Such a coloring will also take care of at least part of the invisibilities along the boundary of \(A_i\). If there is some invisibility left within the SW part (this can happen only if the lines \(l_i,m_i\) do not cross within \(A_i\)), then we fix the coloring along the boundary using the third color (see the set \(G_i\) below).
We can play the same trick with the line \(m_i\), coming from the right, instead of \(l_i\), but we shall not use this option. The following point, however, is important: Whenever the line \(l_i\), or \(m_i\), happens to be “horizontal,” i.e., coincides with aff\(e_i\), the leaf \(A_i\) will be convex, and we may color it uniformly.
After having colored the \(A_i\)’s, we finish the job by coloring Q. Each point \(q_i \in Q\) belongs to ker \(S\), and sees via int\(S\) (hence via X) almost all of X. \(q_i\) may fail to see via X only points that lie on the last edge of \(A_{i1}\) or \(A_{i2}\), or on the first edge of \(A_{i}\) or \(A_{i+1}\) (actually, on at most two of these edges simultaneously). Here the term “first (last) edge of \(A_i\)” should be understood as “the intersection of \(A_i\) with the first (last) edge of \(W_i\).” We shall see to it that the points that \(q_i\) does not see use at most two colors, so there is a third color left for \(q_i\).
At this point we start the precise, technical description of the promised 3coloring of X. First, we define two partitions of \(A_i\) into two parts:
We shall now see that \(l_{i_{(+)}}\) is convex:
If \(X \cap l_i\) is not convex then \(l_{i_{(+)}}\) includes \(l_i \cap A_i\) and there is a point in the last edge of \(W_{i1}\) which is in X and does not see any point in \(l_{i_{(+)}}\), so due to \(\alpha (X)=2\), every two points in \(l_{i_{(+)}}\) see each other via \(l_{i_{(+)}}\). Otherwise, if \(X \cap l_i\) is convex, then \(l_{i_{(+)}}\) does not include \(l_i \cap A_i\), so for any two points a, b in \(\;l_{i_{(+)}}\) there is a point in \(A_{i1}\) (close enough to the last edge of \(W_{i1}\)) which sees neither a nor b, hence \([a,b] \subset l_{i_{(+)}}\). Similarly, \(m_{i_{(+)}}\) is convex as well (Fig. 7).
It is easy to see that any point in \(l_{i_{()}}\) sees all points in \(A_{i1}\) via X. (The union \(U_i=W_{i1} \cup \mathrm{conv}\,Q \cup (l_{i_} \cap W_i)\) is locally convex, and, therefore, a convex polygon, by Tietze’s Theorem. Since \(\mathrm{int}\,S \subset X\), the only possible invisibilities in \(X \cap U_i\) are along boundary edges of \(U_i\). The edge determined by \(l_i\) is taken care of by the exact definition of \(l_{i_{()}}\). In case \(n=3\) there may be another boundary edge of \(U_i\) that reaches from \(A_i\) to \(A_{i1}\), namely, the edge determined by the line \(\mathrm{aff}(q_{i+1}, q_{i+2})\) (=\(\mathrm{aff}(q_{i+1},q_{i1})\).) If this edge contains a point \(x \in A_i\) and a point \(y \in A_{i1}\) then both x and y fail to see via X any point \(z \in \mathrm{int}W_{i+1}\), and, therefore, x sees y via X.) Similarly, any point in \(m_{i_{()}}\) sees all points in \(A_{i+1}\) via X.
Now define:
Notice that Fig. 8 describes the case where \(l_i,m_i\) meet in \(\mathrm{int}A_i\) (then \(D_i \ne \phi \) and \(G_i=\phi \)). \(G_i\) may be nonempty when \(l_i, m_i\) do not meet within \(A_i\) (as in Fig. 11), or even when they meet on the boundary of \(A_i\).
Proof of Theorem E, The Polygonal Case. Continued
Stage 2 The requirements: As we are going to color each of \(C_i \cup D_i,E_i\) uniformly, we will first see why each of them is convex:
Recall that \(D_i= l_{i_{(+)}} \cap m_{i_{(+)}}, C_i= l_{i_{(+)}} \cap m_{i_{()}}\). So \(\;C_i \cup D_i=l_{i_{(+)}}\), which is convex. Now, \(E_i=l_{i_{()}} \cap m_{i_{(+)}}\) so either \(E_i=l_{i_} \cap m_{i_{(+)}}\) or \(\;E_i=\mathrm{int}(l_{i_}) \cap m_{i_{(+)}}\). In any case, \(E_i\) is convex, as the intersection of two convex sets (Fig. 8).
Next, we need to check what are other requirements there are for a coloring \(c:X\rightarrow \{0,1,2\}\):
Within each leaf \(A_i:\,F_i \subset \mathrm{ker}(X)\), hence can be given any color. It is left to check the requirements for its complement in \(A_i\). Since \(W_i\) is convex, and \(\mathrm{int}W_i \subset A_i\), invisibility within \(A_i\) can occur only along edges of \(W_i\). Indeed, two points \(a,b \in A_i\) do not see each other via X iff:

(i)
Both a and b belong to an edge e of \(W_i\) (not the base edge \([q_i,q_{i+1}]\), of course),

(ii)
the intersection \(e \cap A_i\) is not convex, and

(iii)
\(a,b\) belong to different components of \(e \cap A_i\).
If \(l_i\) and \(m_i\) cross in \(\mathrm{int}W_i\), then invisibility within \(A_i\) can be along at most one edge e of \(W_i\), that goes all the way from \(C_i\) to \(E_i\), with one component of \(e \cap A_i\) in \(C_i\), and the other in \(E_i\). Our coloring will take care of this invisibility if we require:
Requirement 1 \(c(C_i \cup D_i) \ne c(E_i)\) If \(l_i\) and \(m_i\) do not cross in \(\mathrm{int}W_i\), then invisibility within \(A_i\) can occur within edges of \(W_i\) that are not entirely confined to \(C_i\) or to \(E_i\), i.e., edges that cross from \(C_i\) to \(l_{i_()} \cap m_{i_()}\) or lie entirely in \(l_{i_()} \cap m_{i_()}\), or cross from \(l_{i_()} \cap m_{i_()}\) to \(E_i\) (or, possibly, a single edge that reaches from \(C_i\) through \(l_{i_()} \cap m_{i_()}\) all the way to \(E_i\)). \(G_i\) consists of all points \(a \in A_i\) that belong to \(l_{i_()} \cap m_{i_()}\) and fail to see some other points \(b \in A_i\).
A detailed recipe for a 3coloring that takes care of all these invisibilities is given in Stage 3.
Between two adjacent leaves Two points in adjacent leaves, \(a \in A_i,b \in A_{i+1}\), may not see each other. This can happen only if \(a \in m_{i_{(+)}}=D_i \cup E_i\) and \(b \in l_{{i+1}_{(+)}}=C_{i+1} \cup D_{i+1}\). Therefore, we require:
Requirement 2 For each \(i,c(E_i) \ne c(C_{i+1} \cup D_{i+1})\; and\; c(C_i \cup D_i) \ne c(C_{i+1} \cup D_{i+1})\), where the addition of the indices is modulo n, i.e., \(n+1=1\).
Involvement of an lnc point \(q_i\)
\(q_i\) may fail to see a point that is in one of the following locations: a point in the last edge of \(A_{i1}\) (\(\subset D_{i1} \cup E_{i1}\)), a point in the first edge of \(A_i\) (\(\subset C_i \cup D_i\)), a point in the last edge of \(A_{i2}\) (\(\subset D_{i2} \cup E_{i2}\)) (this can happen only if \(\,l_{i1}=\mathrm{aff}(q_{i1},q_i\)), in which case \(A_{i1}\) is convex), or a point in the first edge of \(A_{i+1}\) (\(\subset C_{i+1} \cup D_{i+1}\)) (this can happen only if \(\,m_{i}=\mathrm{aff}(q_{i},q_{i+1}\)), in which case \(A_i\) is convex). Now assume that \(q_i\) does not see two points \(a,b \in X\) at two different locations. Since \(\alpha (X)=2\), there are 3 cases that cannot occur: \(a \in A_{i1},b \in A_i, \;a \in A_{i2},b \in A_{i1}\) and \(a \in A_{i},b \in A_{i+1}\). This leaves three possible cases:

1.
\(a \in A_{i2},b \in A_{i+1}\)

2.
\(a \in A_{i2},b \in A_i\)

3.
\(a \in A_{i1},b \in A_{i+1}\).
Thus it is impossible that \(q_i\) will not see points at three different locations. In Stage 3 we shall produce a coloring for \(q_i\) that copes with all three possible cases.
Between two leaves that are not adjacent If a point \(x \in A_{i1}\) does not see a point \(y \in A_{i+1}\), then x is necessarily on the last edge of \(W_{i1}\) and y is on the first edge of \(W_{i+1}\), and these edges lie on the same line, i.e., \(m_i=l_i=\mathrm{aff}(q_i,q_{i+1})\). In this case, both x and y do not see any point of \(A_i\). This leads to a contradiction to \(\alpha (X)=2\). Therefore, invisibility is impossible among two leaves of X which are two edges apart.
In any other case, for any two points \(a,b \in X\) such that \(a \in A_i, b \in A_{j}\) and \(i+2<j<i+n2\), the segment \((a,b)\) is in \(\mathrm{int}\,S\) (according to Valentine [6]), and, therefore, is in X.
Proof of Theorem E, The Polygonal Case—Coloring
Stage 3 A recipe for a coloring \(c:X\rightarrow \{0,1,2\}\): Since \(\mathrm{int(conv}\,Q) \subset \mathrm{ker}X\), we only need to color \((\cup _{i=1}^{n}{(A_i\setminus F_i}) \cup (Q \cap X)\). We start by coloring \(A_i\setminus F_i\):
The coloring of \(C_i \cup D_i, E_i\)
General rule: \(c(C_i \cup D_i) \equiv i (\mathrm{mod}\,3)\) and \(c(E_i) \equiv i+2\,(\mathrm{mod}\,3)\) for all \(1 \le i \le n\).
Exceptions

Case 0, \(n \equiv 0 ({\mathrm{mod}}\,3)\): No exceptions.

Case 1, \(n \equiv 1 ({\mathrm{mod}}\,3):\,c(C_n \cup D_n)=2\) and \(c(E_{n1})=1\). See Fig. 9 for an example with \(n=4\).

Case 2, \(n \equiv 2 ({\mathrm{mod}}\,3):\,c(E_{n})=0\). See Fig. 10 for an example with \(n=5\).
Let us now check that the proposed coloring does satisfy Requirements 1 and 2, namely, that

(a)
\(c(C_i \cup D_i) \ne c(E_i)\),

(b)
\(c(C_i \cup D_i) \ne c(C_{i+1} \cup D_{i+1})\),

(c)
\(c(E_i) \ne c(C_{i+1} \cup D_{i+1})\) for \(i=1,2,\ldots ,n\), where the addition of the indices is modulo n.
These conditions clearly hold in Case 0 (i.e., when \(3/n\)). In Cases 1 and 2 we only have to check conditions (a), (b), and (c) in the instances where the definition of \(c(C_i \cup D_i)\), or of \(c(C_{i+1} \cup D_{i+1})\), or of \(c(E_i)\), is exceptional, and conditions (b) and (c) for \(i=n\), because of the “seam” modulo 3 between \(i=n\) and \(i+1=1\). Let us do this:
Case 1

(a)
\(c(C_{n1} \cup D_{n1})= 0 \ne 1 =c(E_{n1}), c(C_{n} \cup D_{n})=2 \ne 0=c(E_{n})\),

(b)
\(c(C_{n1} \cup D_{n1})= 0 \ne 2=c(C_n \cup D_n), c(C_{n} \cup D_{n})=2 \ne 1=c(C_1 \cup D_1)\),

(c)
\(c(E_{n1})=1 \ne 2=c(C_n \cup D_n), c(E_{n})=0 \ne 1=c(C_1 \cup D_1)\),
Case 2

(a)
\(c(C_{n} \cup D_{n})=2 \ne 0=c(E_{n})\),

(b)
\(c(C_{n} \cup D_{n})=2 \ne 1=c(C_1 \cup D_1)\),

(c)
\(c(E_{n})=0 \ne 1=c(C_1 \cup D_1)\).
(As a matter of fact, the check can be performed by a close look at Figs. 9 and 10.)
The coloring of \(q_i \in X\):
As mentioned in Stage 2, there are three possible ”maximal” cases where \(q_i\) does not see via X points \(a,b\) at two different locations:
Case 1
\(a \in A_{i2},\;b \in A_{i+1}\): In this case, \(a \in D_{i2} \cup E_{i2}\) and \(b \in C_{i+1} \cup D_{i+1}\). In addition, \(a \in \mathrm{aff}(q_{i1},q_{i}), b \in \mathrm{aff}(q_{i},q_{i+1})\). It follows that Case 1 cannot occur for two adjacent lnc points \(q_i, q_{i+1}\). Otherwise, if \(q_i\) does not see via X two points \(a \in A_{i2},\;b \in A_{i+1}\) and \(q_{i+1}\) does not see via X two points \(a^{\prime } \in A_{i1},\;b^{\prime } \in A_{i+2}\) , then \(a^{\prime } \in \mathrm{aff}(q_i,q_{i+1}), b \in \mathrm{aff}(q_{i},q_{i+1})\). Hence, the points \(a^{\prime },q_i,b\) do not see each other via X, a contradiction to \(\alpha (X)=2\). Now we specify the color of \(q_i\) in Case 1, dealing with the three congruence classes modulo 3 separately.
If \(n=0\) (mod 3): According to the coloring c, in this case, for every \(1 \le i \le n, \;\;c(C_{i+1} \cup D_{i+1})=i+1 (\)mod \(3), c(C_{i2} \cup D_{i2})=i2 (\mathrm{mod}\,3)\), therefore, \(c(C_{i+1} \cup D_{i+1})=c(C_{i2} \cup D_{i2})\) so those two sets are colored by the same color. The set \(E_{i2}\) is colored by a second color. As these sets are the only constraints for \(q_i\), we will color \(q_i\) by the third color that is left ”free.”
If \(n=1\) (mod 3): For \(3 \le i \le n2\), the same considerations as in the case \(n=0\) (mod 3) hold. (\(i=n2\) is not exceptional, since we make no use of \(E_{i+1}\)).
For \(i=n, c(C_{i+1} \cup D_{i+1})=c(C_1 \cup D_1)=1, c(C_{i2} \cup D_{i2})=c(C_{n2} \cup D_{n2})=n2(\text{ mod }\;3)=2, c(E_{i2})=c(E_{n2})=n (\text{ mod }\;3)=1\), so we define \(c(q_n)=0\).
For \(i=2, c(C_{i+1} \cup D_{i+1})=c(C_3 \cup D_3)=0, c(C_{i2} \cup D_{i2})=c(C_n \cup D_n)=2, c(E_{i2})=c(E_{n})=n+2\) (mod 3) = 0, so we define \(c(q_2)=1\).
For \(i=1\) or \(i=n1\), there is no color left to assign to \(q_i\), since all three colors are used by \(C_{i+1} \cup D_{i+1}, C_{i2} \cup D_{i2}\) and \(E_{i2}\). We cope with this situation by renumbering the lnc points in a way that Case 1 occurs neither in \(q_1\), nor in \(q_{n1}\). This is certainly possible if Case 1 does not occur at all. If it does occur, mark one lnc point where it occurs by \(q_n\), and recall that Case 1 cannot occur in two adjacent lnc points.
If \(n=2\) (mod 3): For \(3 \le i \le n1\), the same considerations as in the case \(n=0\) (mod 3) hold.
For \(i=2, c(C_{i+1} \cup D_{i+1})=c(C_3 \cup D_3)=0, c(C_{i2} \cup D_{i2})=c(C_n \cup D_n)=n\) (mod 3)\(=2, c(E_{i2})=c(E_{n})=0\), so we define \(c(q_2)=1\).
For \(i=1\) or \(i=n\), there is no color left to assign to \(q_i\), since all three colors are used by \(C_{i+1} \cup D_{i+1}, C_{i2} \cup D_{i2}\), and \(E_{i2}\). If Case 1 does not occur in some two adjacent lnc points, then we renumber the lnc points in such a way that Case 1 occurs neither in \(q_1\), nor in \(q_n\). Notice that if n is odd, then this must happen, since Case 1 cannot occur in two adjacent lnc points. If n is even, then it may happen that Case 1 occurs in every second lnc point, but then all the sets \(A_i\) are convex. In this special case we color X differently: we color all \(A_i\)’s alternately by two colors and the lnc points by the third color (see Fig. 11).
Case 2
\(a \in A_{i2},\;b \in A_i\): Color \(q_i\) by \(c(C_{i1} \cup D_{i1})\). Notice that \(b \in C_i \cup D_i\). Now, \(c(C_{i1} \cup D_{i1}) \ne c(C_i \cup D_i)\), so \(q_i\) and \(b\) are colored differently. Similarly, \(c(C_{i1} \cup D_{i1})\) differs from both \(c(C_{i2} \cup D_{i2})\) and \((E_{i2})\), so \(q_i\) and a are colored differently.
Case 3
\(a \in A_{i1},\;b \in A_{i+1}\): Color \(q_i\) by \(c(C_i \cup D_i)\). Considerations similar to those in Case 2 show that \(q_i\) is colored differently from both \(a,b\) .
The coloring proposed in Case 2 or in Case 3 clearly works also when \(q_i\) fails to see points in only one (or none) of the leaves \(A_{i2},A_{i1},A_i,A_{i+1}\).
The coloring of \(G_i\): \(G_i\) is the disjoint union of finitely many connected components \(b_j\). Each component is either a single point, or a line segment, or the union of two line segments with a common endpoint. (This common endpoint must, of course, be a vertex of \(W_i\)) Each edge of \(W_i\) meets at most two components of \(G_i\). If \(G_i \ne \phi \), then \(D_i = \phi \), and all the components \(b_j\) lie in the gap between \(C_i\) and \(E_i\) (see Fig. 8). Number the components \(b_1,\ldots ,b_t\) in the order they appear on the boundary of \(A_i\), with \(b_1\) closest to \(C_i\) and \(b_t\) closest to \(E_i\).
Points of \(b_1\) may fail to see points of \(C_i\), and points of \(b_t\) may fail to see points of \(E_i\). Beyond that, points of \(G_i\) may fail to see each other via X only if they belong to adjacent components \(b_j,\,b_{j+1}\).
Assume \(\{0,1,2\}=\{p,q,r\}\), where \(p=c(E_i)\) and \(q=c(C_i)\). Color the components \(b_j\) as follows:
Note that \(c(b_1) \ne c(C_i), c(b_t) \ne c(E_i)\), and \(c(b_j) \ne c(b_{j+1})\) for \(j=1,2,\ldots ,t1\). This finishes the description of a 3coloring of X.
We still have to deal with the cases \(n=0,1,2\).
Proof of Theorem E, The Polygonal Case, Some Residual Cases
Denote by n (=\(Q\)) the number of lnc points of S. In the preceding section we gave a detailed proof of Theorem E under the assumption that \(3\le n <\infty \). The cases \(n=0\) (i.e., S is convex), \(n=1\) and \(n=2\) are much simpler. The interested reader may find a detailed treatment of these cases under the same section number in the full version of this paper on the web (www.ma.huji.ac.il/~noanitzan/nonconvexity.pdf, p. 36, Sect. 13).
This completes the proof that if \(M_i=\phi \) and \(\mathrm{dim}K=2\), then \(\gamma (X)\le 3\), and with it the proof of Theorem E.
Example 5 (due to Breen [1]) shows that the number three is the best possible.
Example 5
Let P be a regular pentagon. Define \(X=(P \setminus \mathrm{bd}P) \cup \mathrm{vert}P\) (see Fig. 12).
\(\alpha (X)=2\): The only points in X that are not in ker\(X\) are the vertices of P. The only points that a vertex does not see via X are the two adjacent vertices, but these two see each other via X.
There is a 5circuit of invisibility, therefore, \(\gamma (X)\ge 3\).
Proof of Theorem F
Assume \(M_i=\{(0,0)\}\). Define \(A=\{(x,y) \in \mathbb{R }^2:y>0 \vee (y=0 \wedge x>0) \}, B=\{(x,y) \in \mathbb{R }^2:y<0 \vee (y=0 \wedge x<0) \}.\,A \cup B= \mathbb{R }^2\setminus \{(0,0)\}\) and \((0,0) \notin X\), therefore, \(X=(X \cap A) \cup (X \cap B).\,A,B\) are both convex, so each of the sets \(X \cap A, X \cap B\) satisfies the conditions of Theorem E, and, therefore, each is a union of three convex sets. Hence, X is the union of six convex sets.
Example 6 shows that the number six is the best possible.
Example 6
We describe a set \(X \subset \mathbb{R }^2\) and show that \(\alpha (X)=2\) and \(\gamma (X)>5\). Let P be a regular 48gon with center O, vertices \(p_0,p_1,\ldots ,p_{48}\,(p_0=p_{48})\) and edges \(e_i=[p_{i1},p_i]\,(i=1,2,\ldots ,48)\). Above each edge \(e_i\) erect a triangular dome \(T_i=[p_{i1},p_i,,t_i]\). The interior angles of each \(T_i\) are as follows:
At the oddnumbered base vertex: \(7.5^\circ \) (\(=360^\circ /48\)).
At the evennumbered base vertex: \(6^\circ \).
At the tip \(t_i:\,166.5^\circ \).
Define \(S=P \cup (\cup _{i=1}^{48} T_i).\,X\) is obtained from S by removing the oddnumbered vertices \(p_{2k1}\,(k=1,2,\ldots 24)\) and the center O.
Note that each oddnumbered vertex \(p_{2k1}\) is the crossing point of the segments \([p_{2k2}, t_{2k}]\) and \([t_{2k1}, p_{2k}]\). Moreover, the sum of the interior angles of \(T_{2k}, P\) and \(T_{2k+1}\) at the evennumbered vertex \(p_{2k}\) is \(184.5^\circ \) (\(>\)180\(^\circ \)). Therefore, \(t_{2k}\) and \(t_{2k+1}\) do not see each other via X. Thus we see that, for each k, the points \(\langle p_{2k},t_{2k1},t_{2k},t_{2k+1},t_{2k+2},p_{2k}\rangle \) form a 5circuit of invisibility in X. Note also that \(t_i\) and \(t_{i+2}\) always see each other via \(\mathrm{int}X\) (see Fig. 13).
It can be easily shown that \(\alpha (X)=2\). (This is shown in full in the detailed version: www.ma.huji.ac.il/~noanitzan/nonconvexity.pdf , p. 42, Sect. 14.)
It is left to convince the reader that \(\gamma (X)>5\). The 12 rays \(\overrightarrow{OP_{4k}}\)
(\(k=0,\ldots ,11\)) divide X into twelve congruent sectors. Each sector includes four consecutive edges of P, and the corresponding domes, and contains a 5circuit of invisibility. Figure 13 represents one sector. (The central angles are, of course, exaggerated.)
It follows that each sector is not a union of two convex sets, and, therefore, in any covering of X by convex subsets, each sector will meet at least three of the covering subsets. Now, assume to the contrary that X is the union of 5 convex sets. Let us try to evaluate the number of incidences between the five convex sets and the 12 sectors. On the one hand, as every sector meets at least three convex sets, this number is no less than \(3\cdot 12=36\). On the other hand, as none of the convex sets includes the center O, each convex set lies on one side of a line through O, and, therefore, meets at the most 7 sectors. Therefore, the number of incidences is not more than \(7\cdot 5=35\), a contradiction.
Proof of Theorem G
In the proof of Theorem E, in the case where \(n=0\) (Sect. 13), we stated the following characterization: When S is convex and \(M_i=\phi , \gamma (X)=3\) iff S is an oddsided convex polygon (not a triangle), X contains all vertices of S and misses at least one point in each edge of S. (Otherwise \(\gamma (X)\le 2\).)
Assume \(M_i=\{(0,0)\}\). Define A and B as in the proof of Theorem F (Sect. 14), to obtain \(X=(X \cap A) \cup (X \cap B)\). A, B and cl X are all convex.
Let us show that the set \(\mathrm{cl}(X \cap A)\) is convex. Since \((0,0) \in \mathrm{int}\,S\), we can choose a point \(z=(x_0,y_0) \in \mathrm{int}\,S\) with \(y_0>0\), i.e., \(z \in \mathrm{int}\,S \subset X\). Now assume that \(p,q \in \mathrm{cl} (X \cap A) (\subset \mathrm{cl}X \cap \mathrm{cl} A)\), and \(r=(1\lambda )p+\lambda q\) for some \(0<\lambda <1\). We must show that \(r \in \mathrm{cl}(X \cap A)\) as well. Define \(p_n=(1 \frac{1}{n})p+ \frac{1}{n}z, q_n=(1 \frac{1}{n})q+ \frac{1}{n}z, r_n=(1 \frac{1}{n})r+ \frac{1}{n}z\). Then \(p_n, q_n \in \mathrm{int}A \cap \mathrm{int}\,S\) for all n. The sets \(\mathrm{int}A, \mathrm{int}\,S\) are convex. Therefore, for all \(n, r_n=(1\lambda )p_n+\lambda q_n \in \mathrm{int}A \cap \mathrm{int}\,S \subset A \cap X\), and \(r=lim_{n \rightarrow \infty } r_n \in \mathrm{cl}(A \cap X)\). By the same token, \(\mathrm{cl}(X \cap B)\) is convex as well. Therefore, each of \(X \cap A, X \cap B\) satisfies the conditions of the characterization brought above. Each of these sets has an edge with a missing vertex. Therefore, according to that characterization, each of \(X \cap A, X \cap B\) is the union of at most two convex sets, hence \(\gamma (X)\le 4\).
Example 7 shows that the number four is the best possible.
Example 7
We describe a convex set \(X \subset \mathbb{R }^2\) and show that \(\alpha (X)=2\) and \(\gamma (X)\ge 4\). Let P be a regular 7gon with center O. We define \(X=P \setminus (\{O\} \cup \mathrm{bd}P) \cup \mathrm{vert}P\). (X is obtained from P by removing the center O and the relative interiors of all edges.) Let C be a convex subset of X. Since \(O \notin X, C\) is included in a closed halfplane H with \(O \in \mathrm{bd}H.\,H\) intersects \(\mathrm{vert}P\) in a stretch of three or four consecutive vertices. But two adjacent vertices of X do not see each other via X. Therefore, C contains at most two vertices of P. It follows that \(\gamma (X) \ge 4\).
We show now that \(\alpha (X)=2:\,X \setminus \mathrm{vert}P\) is the union of two convex sets. Therefore, if there is a 3circuit of invisibility in X, then it must contain a vertex of P. For each vertex v of P, the points in X that it does not see via X are the two vertices adjacent to v in P and the opposite radius. Notice that all these points see each other via X. Therefore, a vertex of P cannot participate in a 3circuit of invisibility, hence \(\alpha (X)=2\).
It is left to show that if \(M_\mathrm{b}=\phi \) or \(M_\mathrm{b}=\mathrm{bd}\,S\), then \(\gamma (X)=2\). Indeed, if \(M_\mathrm{b}=\phi \) then \(X=S\setminus \{O\})=(S\cap A) \cup (S \cap B)\), where A, B are the convex sets defined above. If \(M_\mathrm{b}=\mathrm{bd}\,S\), then \(X=\mathrm{int}\,S\setminus \{O\}=(\mathrm{int}\,S \cap A) \cup (\mathrm{int}\,S \cap B)\).
Proof of Main Theorem 2
If \(\beta (X)=2\) then \(\alpha (X)=2\). If \(M_i=\phi \) then according to Theorem E, \(\gamma (X) \le 3\). If \(M_i>1\) then according to Theorem C, \(\gamma (X) \le 3\). It is left to handle the case \(M_i=1\):
Assume \(M_i=\{p\}\). We claim that for every point \(x \in X, (p,x] \subset X\). Recall that \(p \in \mathrm{int}\,S\) and that \(\mathrm{int}\,S \setminus \{p\} \subset X\). If \((p,x] \nsubseteq X\) for some \(x \in X\), then, for some sufficiently small \(\varepsilon >0\), the three points \(x, p+\varepsilon (xp), p\varepsilon (xp)\) are in X and fail to see each other via X, and thus \(\alpha (X)>2\).
Define \(X^*=X \cup \{p\}\). The argument in the preceding paragraph shows that \(p \in \mathrm{ker}X^*\). It follows that a 2coloring of the invisibility graph of X can be extended to \(X^*\) by assigning to p either color. Therefore, \(\beta (X^*) \le 2\). Moreover, \(\mathrm{cl}(X^*)=\mathrm{cl}X=S\), and thus \(M_i(X^*)=\phi \). Hence, by Lemma 8.2, \(\gamma (X^*)=\beta (X^*) \le 2\). If \(X^*\) is the union of two convex sets \(A, B\), then \(X=X^* \setminus \{p\} =(A \setminus \{p\}) \cup (B \setminus \{p\})\). Each of the sets \(A \setminus \{p\}, B \setminus \{p\}\) is the union of at most two convex sets, and, therefore, \(\gamma (X) \le 4\).
Example 3 in Sect. 7 (a punctured Star of David) satisfies \(\beta (X)=2\) and \(\gamma (X)=4\). A proper 2coloring is shown in the right part of Fig. 3.
Example 8
We describe a set \(X \subset \mathbb{R }^2\) and show that \(\alpha (X)=2\) and \(\beta (X)= 4\). Start with a square ABCD topped by the upper half of a regular 16gon with vertices \(p_{4},p_{3},\ldots ,p_0,\ldots ,p_3,p_4\,(p_{4}=D, p_4=C)\) and edges \(e_i=[p_{i1},p_i], e_{i}=[p_{i},p_{i+1}]\,(i=1,2,3,4)\). Above each edge \(e_i\,(e_{i})\) erect a triangular dome \(T_i=[p_{i1},p_i,t_i]\;\;(T_{i}=[p_{i},p_{i+1},t_{i}]), i=1,2,3,4\). The interior angles of each \(T_i\) and \(T_{i}\) are as follows:
At the oddnumbered base vertex: \(22.5^\circ \).
At the evennumbered base vertex: \(18^\circ \).
At the tip \(t_i\,(t_{i}):\,139.5^\circ \).
Define \(S=\mathrm{conv}\{A,B,p_{4},\ldots ,p_0,\ldots ,p_4\} \cup \cup _{i=1}^4 (T_i \cup T_{i}).\,X\) is obtained from S by removing the oddnumbered vertices \(p_{3},p_{1},p_1,p_3\), the center O of the square ABCD and the midpoint q of the base \([A,B]\) (see Fig. 14).
\(\alpha (X)=2\): For the proof that \(\alpha (X)=2\) we refer the reader to the detailed version (www.ma.huji.ac.il/~noanitzan/nonconvexity.pdf, p. 46, Sect. 17). Here we only show that \(\beta \ge 4\).
\(\beta (X)\ge 4\): Assume, on the contrary, that there exists a 3coloring \(c:X\rightarrow \{1,2,3\}\), such that any two points colored alike see each other via X. If \(x \in [A,q)\) and \(y \in (q,B]\) then \([x,y] \nsubseteq X\), and, therefore, \(c(x) \ne c(y)\). It follows that one of the halfbases \([A,q), (q,B]\) (say \([A,q)\)) is colored uniformly. But this leaves only two colors for the 5circuit of invisibility \(\langle t_1,p_2,t_4,t_3,t_2\rangle \), in view of the missing center O.
\(\beta (X)\le 4\): Use color 1 for the point \(p_{2}\) and for the segments \([A,D)\) and \([A,q)\), color 2 for the point \(p_{2}\) and for the segments \([B,C)\) and \([B,q)\), color 3 for the intersection of \(X \setminus \{p_{2},p_0,p_2\}\) with \(T_{4},T_{2},T_1\) and \(T_3\), and color 4 for the intersection of \(X \setminus \{p_{2},p_0,p_2\}\) with \(T_{3},T_{1},T_2\) and \(T_4\). Now extend the coloring radially from O. Finally, use color 1 for the segments \((O,p_{3}),(O,p_{1})\) and \((O,p_0]\), and color 2 for the segments \((O,p_1), (O,p_3)\) and \((O,q)\).
References
 1.
Breen, M.: Decomposition theorems for 3convex subsets of the plane. Pac. J. Math. 53, 43–57 (1974)
 2.
Breen, M., Kay, D.: General decomposition theorems for mconvex sets in the plane. Israel J. Math. 24, 217–233 (1976)
 3.
Lawrence, J.F., Hare, W.R., Kenelly, J.W.: Finite unions of convex sets. Proc. Am. Math. Soc. 34, 225–228 (1972)
 4.
Matoušek, J., Valtr, P.: On visibility and covering by convex sets. Israel J. Math. 113, 341–379 (1999)
 5.
Perles, M.A., Shelah, S.: A closed (n+1)convex set in \({\mathbb{R}}^2\) is a union of \(n^6\) convex sets. Israel J. Math. 70, 305–312 (1990)
 6.
Valentine, F.A.: A three point convexity property. Pac. J. Math. 7(2), 1227–1235 (1957)
 7.
Eggleston, H.G.: A condition for a compact plane set to be a union of finitely many convex sets. Proc. Cambridge Philos. Soc. 76, 61–66 (1974)
Author information
Additional information
The content of this paper forms part of a Ph.D. thesis written by the first author under the supervision of the second author.
Rights and permissions
About this article
Cite this article
Nitzan, N., Perles, M.A. A Planar 3Convex Set is Indeed a Union of Six Convex Sets. Discrete Comput Geom 49, 454–477 (2013). https://doi.org/10.1007/s0045401294847
Received:
Revised:
Accepted:
Published:
Issue Date:
Keywords
 Nonconvexity
 Visually independent
 Seeing subset
 Invisibility graph
 Valentine’s Theorem (57’)