This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
1.13. Lemma. Let X , X be BW spaces without boundary and let A 0 G X , A 0 c X be affinely independent sets of nt least three points and suppose there is an isomorphism
fo
: CO" (A 0 )
+-coo- (A 0 ) ;
x
Hi.
E X \ A 0 and 0 E X \ A 0 are afinely independent of A 0 and A 0, respectively, then there is an isomorphism between co ' (A 0 u { a 0 }) and co ' (A 0 u { 0 }), extending f 0.
If a 0
Proof.Take a E A o. We put A = A o u { u ~ } ; A1 = A \ { u
- -
A =AOU{;O}; Fix b E a o / a l and b E
=A\{;
io/il and let
395
S1: Embedding Bryant-Webster Spaces into Vector Spaces nh: co (A 1 )
+ co (A0 ) ;
X i : co
(A
1)
+ co (A0 )
be the perspective projections from b, resp., b. Then nh and nb are CP isomorphisms and we consider the isomorphism
f 1 -7Ch --='
~fo.Xh:Co(A1)~co(A1).
We construct a function g:co"(A)+co"(i)
as follows. By appealing to the formula in (*) above, we see that each point x of C O O @ ) has two "coordinates" x o E co"(A0) and x1 E co'(A I), obtained by perspective projection from a l resp., a0 into the opposite face. These coordinates are mapped to i oresp., i 1by fo and fl. Two applications of the Pasch Property yield that the segments i G o , li meet (Fig. 11). The resulting point i is defined to be g (x).
Fig. 11: Isomorphism of simplices To see that g is CP we use the following representation (which works only because co (A o) and co (A 1) are at least two-dimensional): coo( A ) is isomorphic with the subspace of the product co"(A0) x co"(A consisting of all pairs ( x 0 , x l ) such that dimafl{ao,a1,xo,x1}=2
The isomorphism is given by the pair of perspective projections from a; onto co(Ai) for i = 0, 1. A similar representation works with the corresponding sets in X. Then g is represented by the pair of CP mappings fo,fl and hence is CP itself. By considering a similar process in the opposite direction, X +X, we can conclude that g is a CP isomorphism. 1.14. Proposition. Let B be a basis for a complete and extensible BW space with the Desargues Property. If #B 2 3 then coo( B ) is CP isomorphic with the open convex hull of an afine basis of the same cardinality in a real vector space.
i
#i
Proof. Let be an affine basis for a real vector space such that = #B. If #B = 3 then Proposition 1.12 gives the desired result. Note that the result works for #B = 2 as
396
Chap. IV: Miscellaneous
well; cf. Proposition 1.2. We assume #B > 3. Fix a bijection f :B -+B ; b Hb and wellorder B, B such that f is an order-isomorphism. The collection of all isomorphisms - coo(S) = coo(S), where S L B and S c B are initial subsets corresponding under fi is clearly inductively ordered by the relation of extension. We consider a maximal element of it, co'(S) = coo(S). Then S has at least three elements. If S # B , then there is a point b E B such that S = { S I s < b } ; S={s Is
Lemma 1.13 then allows to extend the CP isomorphism to an isomorphism co'({s
I sIb})=co"({sI s s b } )
with a properly larger domain, a contradiction. 1.15. Theorem (Embedding Theorem). Let X be a complete BW space without boundary. If X is at least three-dimensional, or two-dimensional and Desarguesian, then X embeds as a core-open subspace of a real vector space.
Proof. Let B be a basis for the matroid convexity of X and let V be the vector space which is freely generated by B. By Proposition 1.14, we obtain a CP isomorphism cox"( B ) = COVO ( B ) . For convenience, we will identify the two sets along such an isomorphism. Let IP be the projective extension of V (cf. Q2.7.3). A mtroid embedding g :X + IP is constructed as follows. Let x E X and fix two points p l , p z of co"(B). Now co'(B) =core co(B), hence we obtain two points qi E xepi for i = 1, 2. Define g ( x ) to be the intersection in IP of the lines piqi for i = 1, 2. We first show that g(x) does not depend on the choice of the auxiliary points p i , q;. To this end, consider one extra pair of pointsp3, 43 with 43 E ~ 0 ~ Note 3 . that the points qi can be moved freely along xapi (but within coo(B)). Move q1 so close to p l that pl/pz meets 41/42 within co"(B). Similarly, we move 4 3 towardsp3 such that 43/42 n co"(B)f 0 * P 3 b l f7 q 3 h l n co"(B)* By the Desargues Property of X,the triangles (pI,pz,p3) and 41 ,q2,43) are axially perspective within co"(B). Reconsidering the situation in IP, we find that these triangles are centrally perspective, and hence that all three projective lines piqi meet in g (x). We next show that the function g is an embedding of matroids. To distinguish between the standard and matroid convexities of the various spaces, we reservate the term "convex set" exclusively with respect to BW spaces. In all other situations, we use typical matroids terms (line, flat, affine or projective set, etc.). All matroids in consideration are interval spaces by (weak) join-hull commutativity (cf. 192.15 and 1$7.12(2)), and hence it suffices to verify that lines of X map onto lines of g(X) (cf, 131.12). First, consider three distinct collinear points 1, m, n E X,say: m E Ion. We aim at constructing two centrally perspective triangles of co"(B),which are axially perspective with respect to the line p3/p2
S1: Embedding Bryant-Webster Spaces into Vector Spaces
397
through I, m, n. Let a E co"(B) be coplanar with I, m, n and take any point b E aan n co"(B). Now b.1 meets aem in a point c by the Pasch Property. Taking b closer to a if necessary, we may assume that c E coo( B ) . Next, fix p E coo( B ) not coincident with one of the lines passing through two of the points a, b, c, 1, m, n. Application of 1.8 then yields a triangle (a',b',c') in co"(B)which is centrally perspective with (a,b,c) fromp. Reconsidering this situation in the projective space IP, we conclude that these triangles are axially perspective. By construction, the intersection points of the corresponding pairs of sides are g (I), g (m), g (n),which are therefore collinear. We have shown so far that g is a well-defined CP injection. Suppose next that g ( l ) , g ( m ) , g ( n ) are distinct collinear points. Choose a point p in c o o @ ) outside the corresponding IP-line. Going back to X, we find that p 4 afi{ l,m,n } since g is CP. Join each of 1, m, n top and pick a p i n t Y, m', n' in coo( B ) on the way. If I, m, n are not collinear, then a#{l',m',n',p} is three-dimensional. Now g is the identity on co'(B), but in IP, the points Y, m', n', p span a plane and hence are dependent. At the next stage of proof, some elementary topological considerations are of use. Recall that IP is a matroid quotient of the (punctured) vector space V x IR. Let the latter be given the core topology (with reference to the standard convexity). The quotient map q can now be used to introduce a quotient topology on IP as well. Note that the relative topology on a closed subset C of P equals the quotient topology associated with the restriction q-'(C) .+ C. Hence each projective subset of finite projective dimension is t o p logically a quotient of a punctured Euclidean space partitioned with the remainders of all lines through the origin. It follows that each projective set of finite (projective) dimension is compact and Hausdorff, and that the projective lines are topological copies of a circle. As a consequence, a line joining two distinct points is built with two segments meeting in the original pair of points. A second consequence is that the function g is continuous on each finite-dimensional affine subspace of X: use the Singleton Intersection Principle. As g is injective, the last two observations lead to the following. 1.15.1. Under the matroid embedding g, a segment joining two points of X maps to one of the two IP-segments joining the image points.
A projective hyperflat P of IP inverts to a linear hyperflat of the punctured vector space, and hence P is closed. Its complement is an open set, in which each pair of points can be joined with precisely one (circle) segment. It is easily seen to be a complete BW space without boundary, and its relative topology is the core topology. The final intermediate result is the following. We do no longer distinguish between X and g ( X ) .
1.15.2. There is a projective hyperjut P E IP disjoint from X. Indeed, let PO LIP be any projective hyperflat and suppose it meets X. Put H o = P o nX. Observe that X and IP share a matroid basis, so X PO. If x E XI H o then by the Relative Hull Formula 181.9.1,
398
Chap. IV: Miscellaneous
x = X npr ( { x } uPo) = afx(
{ x } uHo).
Hence Ho = P OnX is a hyperflat of X. According to IIIs5.8.1, it divides X into two convex relatively open sets C1 and C z . Let A denote the affine space IP\Po. If a, b E Ci, then among the two IP-segments joining u, b there is only one meeting P O ;hence the other segment corresponds with theX-segment by 1.15.1 and is included in Ci. It follows that both sets Ci are convex and open in A. By virtue of Theorem 11195.8, there is a hyperflat H LA separating between these sets. Let P =pr(H).If X meets P then (as X L C 1 u C2 u P O ) it also meets P n P O , say, in p. Let q E XI (P U P O )and take r E plq. Note that one of q, r must be in C1, the other one in C p . In the affine space A, we see that the line through q, r is parallel with H, although it connects a point of C1 with a point of C 2 . By 1.15.2,X embeds as a convex subspace of a space of type IP \ P, where P is a projective hyperflat in IP. This space is easily copied onto the original vector space V. Note that the embedded copy of X is core-open since uff (X)= IP1 P and X has no boundary points. 8 The following examples may illustrate the sharpness of the main theorem.
1.16.1. A spherical BW space. Consider the complete BW space X defined in 107.9.2. This space is the intersection of the n-sphere S" with a half-space of IR"" which is maximal with the property of missing the origin. The convexity of X consists of the intersections of X with (proper) wedges at the origin. Note that X has boundary points. Two relevant properties of this space have been observed in 147.9.2. (i)
Each polytope of X is isomorphic with a convex subspace of Euclidean n -space.
Therefore, if two triangles are centrally perspective from a seventh point, and if the corresponding pairs of sides meet in three more points, then the convex hull of this tenpoint configuration can be copied into Euclidean n-space to conclude that the last mentioned three points are collinear. Hence X has Desargues' property. (ii)
Regarded as an affine matroid, X is isomorphic with the n-dimensional real projective matroid of dimension n.
In particular, two coplanar lines of X always intersect, making it clear that if n 2 2, then X can not be embedded in a real vector space.
1.16.2. The Moulton plane. This is a non-Desarguesian BW space of dimension 2.
As Desargues' property is obviously inherited by convex subspaces, it is clear that this space can not meet the embedding requirements of Theorem 1.15.
S1: Embedding Bryant-Webster Spaces into Vector Spaces
399
Further Topics 1.17. Addition on a line (compare Sperner [1938]; cf. Stevenson [1972]). Show that in a BW space with the Desargues property, the addition operation defined in 1.2 depends only on the end pints of the segment, not on the auxiliary triangle considered in 1.2. Moreover, addition is commutative, associative and has a neutral element. Finally, the cancellation law is fulfilled: a+bl=a+bZ
*
bi=bz.
1.18. Long lines. Let X be a well-ordered set. The long line based on X is the set X x [0, l), equipped with the lexicographic order, ( x , s ) 2 Cy,t) @ either x
e y, orx = y and s S t.
Show that a long line is a complete BW space and that it cannot be embedded in IR if the basic set X is uncountable.
1.19. Bundles of lines. Throughout, let X be a complete, extensible BW space of dimension 2 3. 1.19.1. (in dimension three, Coxeter [1947]) By a trihedron in Xis meant a triple of concurrent, non-coplanar lines. The point of concurrence will be referred to as the apex of the trihedron. If A,B,C is a trihedron, then by the affine hull formula Is7.11 the plane spanned by A , B equals AIB or B/A. Such a plane is called a trihedron face Let A,B,C and A',B',C' (with A #A'; B # B'; C # C') be two trihedra at the same apex, such that each pair of corresponding faces intersects in a line. Show that if the resulting three lines are coplanar, then the planes spanned by corresponding lines of the trihedra are coaxial, that is: they pass through one line. Hint: consider a hyperflat not passing through the apex and cutting all six lines A,..,C' as well as the three intersection lines described above. Apply the dual Desargues theorem on the intersection points. 1.192. Lemma on Roofs (compare Rubinstein [1970], Cantwell and Kay [1978]; in three dimensions, Coxeter [1947]). Let L 1, L 2 , M, M' be lines in X. If each of the pairs L 1, L 2; L 1, M, L 2, M, L 1 , M'; L 2 , M' are coplanar, then the same is true of the pair M,M'. Hint: if the dimension of the space is at least four, then this is an easy consequence of the affine dimension formula, Is7.14. In dimension three, use the above result. 1.193. LetA, B be two distinct coplanar lines in X. We consider the set B(A,B) of all lines C which are either outside the plane spanned by A , B but coplanar with each of A, B, or are included in this plane and coplanar with some line of the previous type. The wllection B(A,B) is called the bundle of lines determined by A , B. Note that if A , B meet, then B(A,B) consists of all lines through the point of intersection.
Chap.
400
I V : Miscellaneous
Show that for each pointp E X there is exactly one line in the bundle IB(A,B) passing through p (except, of course, if p happens to be the intersection of the original lines A, B).
1.20. Equi-perspectivity. Show that the relation of segments on a fixed ray being equi-perspective is an equivalence relation provided the BW space is complete, extensible, and Desarguesian. 1.21. Iqjective CC functions (compare Meyer and Kay [1973]) 121.1. Let X and Y be complete BW spaces without boundary, where Xis of affine dimension > 1, and let f :X + Y be an injective CC function. Show that f is CP; in fact, it is a CP embedding of X into Y. Hint. The inverse function g : f(X) +X is CP and the BW space f(X) has no boundary points. Let L be a line of X. Its f-image is convex; assume it is of dimension > 1 and apply 11155.26.6. Give an example showing that the dual statement, on surjective CP functions between complete BW spaces without boundary being CC, is false. 1.21.2. Let V and W be real vector spaces such that V is at least two-dimensional and let f : V + W be injective and CC. Conclude that f is an affine isomorphism of V with an affine subspace of W. 1.213. Deduce that an isometry between two rotund Banach spaces is an affine isomorphism (this is a particular case of the Mazur-Ulam Theorem; cf. Day [1962, p. 1lo]). 1.22. Linearization (Mah, Naimpally and Whiffield [1976]). Let X be a convex structure and let a # b E X . Recall that the line spanning two points a, b is the collection t ( a , b ) = { xE X
Ix E
a&ora E xb o r b E a};
cf. 157.19. By a linearization family of X is meant a separating collection 3 of CC functionals X +IR with the following properties.
(LF-1) There is a distinguished point 0 E X with f (0) = 0 for all f E 3. (LF-2) If L X is a line and f E 3 then the restriction L + IR of f i s either constant or bijective. (LF-3) I f f , g E 3 both separate the points a, b E X then there exist A, p E IR such that g equals hf + p on the line spanned by a, b. 1.22.1. If X is a convex structure with a linearization family 3, then the following prescriptions of scalar multiplication and addition are well-defined, and yield a vector space structure on the set X. (i) ha = b iff b E L (a, 0) and for each f E 3 we have f (b) = hf ( a ) . (ii) a + b = c iff f ( a ) + f ( b ) = f ( c ) for all f E 3. Moreover, each f~ 3 is a linear function. Hint. Establish (i) first. As for (ii), if a
#
b
S1: Embedding Bryant-Webster Spaces into Vector Spaces
401
then consider a functional f separating a, b, take the point x on L ( n , b ) with f ( x ) =' Y ( u ) +f (b)) and define c = 2r. Then show that this is independent of the functional f E 3 in consideration.
1.22.2. Show that if, in addition, the convex structure X is JHC and its base-point quasi orders are actually partial orders, then X is isomorphic with the standard convex structure defined by the vector space (X,+,.). Remarks. The field of reals can be replaced here with any totally ordered field. Szafron and Weston [1976] have developed an "internal" variant of the notion of linearization family in terms of families of flats partitioning the space. These families are indexed by a totally ordered field. An additional feature is that conditions are given to the effect that some given topology of X is compatible with the resulting linear operations. (ii) Guay and Nairnpally [1975] have obtained a characterization of convex subspaces of a vector space by the following modification of (LF-2) (LF-27 If L LX is a line and f E 3, then the restriction L + IR off is either constant or injective.
(i)
1.223. A linearization of a convex structure (X, e ) is a (real) vector space structure
(X,+,.) on the set X such that C is exactly the collection of all sets convex in (X,
+,a).
Note that parts (1) and (2) provide conditions under which a space has a linearization. Show that any two linearizations of X are isomorphic under an affine homomorphism of the corresponding vector spaces.
1.23. Line spaces (cf. 187.20). A iine space in the sense of Cantwell I19741 is a Bryant-Webster space with the additional requirement that the totally ordered lines are order-isomorphic with the real line. 1.23.1. Note that line spaces other than a single line correspond exactly with complete and extensible BW spaces of dimension 22. 1.23.2. (Cantwell [1978]) Let X be a line space of finite affine dimension n 2 2. Prove directly that X is (topologically) homeomorphic with IR". Hint. Operate by induction on n 2 1. If H X is an n-dimensional hyperflat, then fix two points p p 2 , one at each side of H. Let Ki be the closed half-space bounded by H and containing pi, and consider the mapping f of X onto H defined as follows. If x E K 1 (say) then f ( x ) is the only point in H collinear with x, p 2 . On the other hand, H determines a CP functional g : X +lR as devised in 111$5.11. If h is a homeomorphism of H with IR", then the mapping pair ( h f ~, g ) : X +IR"" yields a homeomorphism of X with an open subspace of IR"" .
402
Chap. IV: Miscellaneous
1.24. Bounded sets. Let X be a complete and extensible BW space of finite (affine) dimension. If a convex set C L X meets each line of X in a closed interval, then C is compact in the core topology of X. Hint. First, reduce the problem to a situation where a f (C) =X. Take p E Int (C) and use the Singleton intersection principle, combined with a result in III§5.26, to show that the boundary of C is locally homeomorphic with the boundary of a compact convex neighborhood of p. It is easy to construct a non-compact closed convex set in L , meeting each line segment in a closed interval. 1.25. Distance geometry (cf. 107.23). Let X be a complete, convex and externally convex metric space with the weak Euclidean Four-point Property. 1.25.1. Show that if p E X and if C is a convex closed subset of a finite-dimensional affine subspace of X,then p has a unique (metric) nearest point in C. Hint. Existence via 1.24; unicity via the weak Euclidean Four-point Property. 1.25.2. Let p, q, r
E
X be distinct points. Then the following are equivalent:
The nearest point of p in the (metric) line qr is q. d(p,q)2+ d(q,r)2= d ( p , ~ -(where ) ~ d is the given metric). (iii) If r' f r is a point on the line qr such that d(r,q) = d(r',q), then d ( p , r )= d(p,r'). (i) (ii)
If either of these conditions is fulfilled, then we express this by the phrase "pq is orthogonal to rq". This suggests that orthogonality is a property of lines rather than of points. Indeed, ifp satisfies (i), then so does each element of the linepq.
1.25.3. Let ( X l , d l ) and ( X 2 4 be. metric spaces and let the product set Xo be. equipped with the metric d, defined by d ((a 1 a 2)db 1 b 2 ) ) = 4 d 1 (a 1 7 b 1l2 + d2(a 2 , b 2)2 Show that if both factors (or factor metrics) are convex / are externally convex /have the weak Euclidean Four-point Property, then so does ( X o , d ) . Conclude that all convex, externally convex metric spaces with the weak Euclidean Four-point Property have the Desargues Property. 9
9
1.25.4. (Compare Blumenthal [1953]) Prove that if X is locally compact, then X is isometric with Euclidean space of some dimension. Hint: X is of finite dimension (say: n) by 11155.26.3. Construct an affine basis O,el,..,e, ofXsuch that Oe; for i = l,..,n are pairwise orthogonal and the distance of ei to 0 equals the corresponding Euclidean distance. Appealing to Theorem 4.15, consider a convex (CP) embedding of X into IR" and compose it with an affine isomorphism, mapping the basis of X to an affine basis of IR" including the origin, such that the non-zero basic vectors are mutually orthogonal in the standard sense. By induction on the dirnension n, show that the resulting embedding is an isometry onto a convex subspace of IR".
S1: Embedding Bryant-Webster Spaces into Vector Spaces
403
Finally, observe that each line of X is isometric with the standard metric space R;cf. 157.23.3.
Notes on Section 1 The isomorphism of lines in complete extensible BW spaces with the real line, Theorem 1.2, is taken from Doignon [1976]. The “addition” used in its proof is a standard operation in projective geometry (a corresponding “multiplication” exists as well). For a synthetic theory of affine and projective geometries, we refer to Stevenson [1972]. The formulation of the Desargues Property and of its dual are similar to the classical formulation in affine or projective spaces. That extensible BW spaces of dimension 2 3 have the Desargues Property (Theorem 1.6) is a modification of a standard result in synthetic affine geometry. The argument given here is due to Doignon [1976]. Results on the isomorphism of BW spaces (or the like) with convex subspaces of linear spaces were first obtained in three-dimensional spaces by adding “ideal” points (viz., bundles of lines, 1.19); see Coxeter [1947] for a detailed account. For twodimensional spaces, a method involving the Desargues Property was elaborated by Sperner [1938], who essentially obtained Proposition 1.12 on the isomorphism of 2-simplices. Later on, both Blumenthal [1953] and Busemann [1955] developed a technique to handle particular classes of metric spaces of finite (geometric) dimension. Rubinstein [1970] outlined a proof of an embedding theorem for a class of at least four-dimensional spaces. His method involves ideal points as described in Coxeter op. cit., combined with ideas on parallelism. Cantwell and Kay [1978] obtained the result in dimensions 2 3 by a similar method. The most general result of all is formulated in Theorem 1.15. It has been obtained by Doignon [1976], who based the first part of his proof on Sperner’s results in the two-dimensional case, and obtained the extension to higher dimensions by adapting Busemann’s method of embedding into projective spaces from finite-dimensional metric spaces to BW spaces of any dimension. The argument presented here starts with Sperner’s Quadrangle Lemma, 1.8, and goes via Sperner’s result on isomorphism of simplices, Proposition 1.12. The approach to this result with midpoints is new and relatively fast. A somewhat comparable method has been outlined by Busemann in metric spaces; however, Busemann’s argument neglects some serious problems, as is signaled by Soetens [1973]. The remaining part of the procedure is taken from Doignon’s paper with a few modifications (we are more involved with topological considerations). The application of the Main Theorem to distance geometry in 1.25 is a new approach to results in Blumenthal [1953].
This page intentionally left blank
S2: Extremality, Pseudo-boundary and Pseudo-interior
405
2. Extremality, Pseudo-boundary and Pseudo-interior Extremality and the theorem of Krein-Milman are classics in the theory of convex structures. We first consider general closure spaces with a synthetic notion of extremality, and derive a general Krein-Milman type theorem. Examples involve extremality defined by functional betweenness,by representing probability measures, and by proper support points (or, pseudo-boundary points, as we prefer to call them). This results into several sets of “extreme points” spanning a given compact convex set. In general, these sets are difficult to compare. Among the main results is a version of Bauer’s Maximum Principle, stating that maxima of lower CP functionals can be found at an extreme point. The study of the pseudo-boundary and of the complementary pseudointerior of a set is continued outside the framework of extremality. A basic assumption in this study is that convex sets are in continuous position. A characterization is given of the existence of pseudo-interior points for all convex closed sets in terms of a countable intersection property for convex open sets. Throughout, all spaces are assumed s1.
2.1. Extremality: a synthetic approach. An extremdity structure is a triple (X, e,&)built with a closure space (X,C) and a family & of non-empty subsets of X with the following properties. (ES-1) If E E & and if C cX is closed such that E C,then there is a set E‘ E & with E ’ z E and E‘n C = 0. (ES-2) If E E & has more than one point, then there is a closed set C with E n C #0#EE\C. (ES-3) X E & and & is downward inductive, that is: each chain has a lower bound in &. The members of & are interpreted as (synthetic) exheme sets and points x E X with { x } extreme are called (synthetic) extreme points. The collection of all extreme points is denoted by Ext (X) or by Ext the capital “E” is used to distinguish between the present notion and one in terms of concave singletons (cf. 181.23, II§4.10). We usually omit explicit reference to the protopology or to the extremality from our notation.
(a;
2.2. Proposition. If X is a extremality structure, then: (1) (2)
Each extreme set contains an extreme point. X = cl (Ext(X)).
Proof. Let E o be an extreme set. By (ES-3) and Zorn’s Lemma, there is a minimal extreme set E with E c E o . If E has more than one point, then by (Es-2) we can fix a closed set C with both C, XI C meeting E. By (ES-I), E can be decreased to an extreme set disjoint from C, contradicting minimality. Now, X is extreme by This establishes (1). As for (2), suppose X # cl(Ext (ES-3) and X &cCI(Ext(X)), whence by (€3-1) there is an extreme set E disjoint from
(a).
406
Chap. IV: Miscellaneous
cl (Ext ( X ) ) . However, E meets Ext ( X ) by (l),contradiction.
w
We will take time out for describing various ways in which extremality in the above sense occurs, and for giving some examples in each case.
23. Functional generating. In addition to generating a convexity on a set X, a family 3 of functionals on X can also be used to produce a closure space, with a protopology consisting of all intersections of sets in the family s = { r ' ( t , t I l tEf(X);fE3) (compare IIIg4.14). We call this the protopology generated by 3, or briefly, the 3+f0t0p0/ogy. Its members are referred to as 3-closed sets and the corresponding closure operator is denoted by cI3. If Y is any subset of X , then the intersections of 3-closed sets with Y constitute a protopology generated by the family 3 ~consisting , of all restrictions to Y of functionals in 3 . This protopology is a basis for the relative convexity of Y and its closure operator c13, satisfies c13,(A) = cI3(A) n Y
(A G Y).
2.4. Functional betweenness and extremality. L e t X be a convex structure generated by a point-separating collection 3 of functionals. Let F G X be a finite set, say: F = {p ,..,p,, }. A pointp is Fan 3-behveen (briefly, Fan between) the set F provided b'f
E
3 : f (p)> max {f ( p i )
I
i = I , . . , n } implies f (p)= f @ I ) = . . = f ( p n ) .
Observe that p is 3-between F iff p E c o ( F ) and f (p) < maxCf(F)) for each f E 3 which is not constant on F. The collection p(F;3) of all points which are 3-between F can be described alternatively as follows.
2.4.1. For each f E 3 let m f = max f (F). Then p(F;3) is the intersection of co (F) w with all sets of fype f'(+,mf), where f E 3 is not constant on F. Let Y be a subset of X. A set E E Y is Fan 3-extrerne in Y with respect to a set of functionals 3 (less accurately, a Fan extreme set) provided for each p E E, if p is 3-between a finite set F E Y then F c E. The resulting set of extreme points is denoted by Extz(Y). Obviously, ext(Y) r E x t 3 ( Y ) . The following is a straightforward application of the definitions.
2.4.2. Let Y C X be closed, let f E 3 and let m = max f (Y). f ' ( m ) n Y is 3-extreme in Y.
Then the set w
Proposition 2.6 below presents conditions under which the axioms of extremality are fulfilled in the collection of closed 3-extreme Sets relative to the 3-protopology.
2.5. Examples 2.5.1. Standard convexity. Let V be a locally convex vector space and let 3 consist of all linear functionals V -+ IR. If F c V is finite then p is Fan 3-between F iff p is a
S2: Extremality, Pseudo-boundary and Pseudo-interior
407
core point of co(F) relative to the affine hull of F (an intrinsic core point of co(F)). This can be seen with the aid of 2.4.1 as follows. First, note that a linear functional is constant on F iff it is constant on the affine hull of F. If p is an intrinsic core point of co (F) and if f i s non-constant on F, then take x E ufi (F) with f (p) c f (x). The segment px is mapped isomorphically onto a real segment by f, whereas a non-trivial end at p is within co (F). Therefore, f (p) is not maximal in f (co (F)). Conversely, if p is not an intrinsic core point of co(F), then consider a point x E ufl ( F ) such that px n c o ( F ) = { p } .
The convex set xp 1 {p } is disjoint from co (F). Hence it extends to an open half-space 0 of V, disjoint from co(F). This determines a continuous linear functional fon Vwith the bounding hyperplane of 0 as a fiber. Without loss of generality, f ( x ) > f(p). Then f (p) = max f (F) and f i s not constant on F, for otherwise x E uff ( F ) c 0 1 0. It follows directly that the Fan extreme points of a set Y c V are precisely the points y E Y such that {y } is a relative half-space of Y.
2.5.2. H-convexity. If 3 E b are two collections of functionals on a set X , then, evidently, each subspace Y of Xsatisfies Ext3 (y> G EXtb (Y).
Consider IR“ with an H-convexity, generated by a (point-separating) collection 3. By 2.5.1 and by the previous observation we have E x t z ( Y ) r ext(Y), where “ext” on the right refers to the set of standard extreme points. The inclusion can be proper. For a simple example, consider IR2 with the H-convexity which is symmetrically generated by the two coordinate projections, and let Y be the unit disk. Then E x t ( Y ) = ( ~ l , O ) , + ( O , l ) } , whereas the usual extreme points cover the unit circle.
2.53. Chains of closed convex sets. Let X be a topological convex structure. We consider the collection 3 of all continuous lower CP functionals on X which cannot effectively be refined (cf. Topic III$4.21.1). To illustrate that even such a canonical choice of 3 can lead to a trivial 3-betweenness relation, let X =IR and consider the indexed chain (G)(K~, defined by
1
[-t/2,t], C ( t )= [ - t , t ] ,
if 0 I t c %; if % It.
By Lemma 11194.2, the corresponding functional f :X + IR is continuous and lower CP, and one can verify that it has no continuous, lower CP, proper refinement. This functional can be described as follows (see Fig. 1). f(t)=
I
It
I,
-2t, %,
if 0 1 t or t 1 4 ; if-%ItIO; if -% If I4.
Now 4 is not 3-between { -%, 0) since f (4) = f (4) = % > f (0) = 0.
408
Chap. IV: Miscellaneous
-1
'0 Fig. 1: graph off
-1 I 2 -114
1
By modifying the numerical data, it can be seen that no point is 3-between -% and 0 (or between any other pair of distinct points of IR). Alternatively, one can use the fact that, given a 1 < a < a 3 and b < b2 < b 3 , there is a CP isomorphism lR = lR mapping a; to bi for i = 1, 2, 3. The next results involve some terminology on the separation of sets by functionals, introduced and studied in Section 11184. 2.6. Theorem (Fan-Krein-Milman Theorem). Let X be a'tcs, let Y I;X be compact, and let 3 be a collection of continuous lower CP functionals of X separating convex closed sets of Xfrom points of Y. Then the collection of all closed Fan 3-extreme sets in Y is an extremality with respect to the 3-protopology of Y , and
CO*(Y)= C O * ( E X ~ ~ ( Y ) ) .
Proof. Let & be the collection of all closed Fan extreme sets in Y. We first verify the axioms of extremality with respect to the 3-protopology of Y. If (E& I is a chain in &, then n;, I Ei # 0 by compactness. If p E ni, 1 Ei is Fan between a 1,..,a,,, then for each i E I we have E; 2 { a ,..,an} and it follows that ni I E; is 3-extreme. This establishes (ES-3). As to (ES-I), let C E X be 3-cIosed, let E E E , and suppose E $ C. Take a point x E E \ C and consider a functional f E 3 with f ( x ) > sup f (C). Let t = sup f (E), and note that the supremum is attained for at least one point of the compact set E. The set E' = E nf'[t,-) is closed and disjoint from C; we show that it is 3-extreme. To this end, let p E E' be 3-between a ',..,a,, E Y. As E is 3-extreme, we find that these points are all in E. But then f (p) 2 t 2 maxf=t=, f ( a i ) , and hence f @) = f ( a l )= .. = f ( a , ) . It follows that all points ai are in E'. As to axiom (Es-Z), note that X is SI by (permanent) assumption. In particular, each pair of distinct points of Y is separated by a member of 3. Let E E &. If p # q are in E, then fix an f E 3 with, for instance, f @) c f (4). The set C =f'(-, f (p)] is 3 d o s e d andE n C # 0 # E \ C. Having verified the axioms, we find that by Proposition 2.2, Y = ~ l (Ext:, 3 (Y)) n Y. As the members of 3 are continuous and lower CP, all 3-closed sets of
X are convex
409
S Z : Extremality, Pseudo-boundary and Pseudo-interior
closed. As 3 separates convex closed sets of X from points of Y, the protopology of Y consists exactly of all traces of convex closed sets of X. Consequently,
y E co* (Ext3 (r>) E cot (y), and another application of co* yields the desired result.
Note that the existence of a family of continuous and lower CP functionals separating convex closed sets of X from points of X implies the separation property NS3 of X.
2.7. Radon probability and support. Let X be a compact space. The smallest family of sets including all open sets and which is stable for complements and for countable unions is called the Bore/ algebra of X. Among its members are the familiar open sets, closed sets, Gg-sets and F,-sets. A Radon probabihfy measure on X is a (positive) reguladl) measure, defined on the Bore1 algebra of X,such that the measure of X equals 1. Let m(X)be the collection of all such measures. Note that each continuous function X +IR is p-integrable for each p E ??Z(X). If A L X is closed, then m(A)can be regarded as the set of all p E m(X) such that p(A) = 1. The S~pportof p E 7iZ(X) is the collection of all x E X such that each open neighborhood N of x satisfies p(N)> 0. The resulting set is denoted by Supp @). Note that this is a closed set and, by the regularity of p, that p(Supp (p)) = 1. 2.8. Choquet extremality. Let 3 be a point-separating collection of continuous functions X + IR,and let Y be a compact subspace of X. For p E Y we let m(p;3)denote the collection of all p E 7"l(Y) with the property
V f E 3:f @ ) q f d l L Such measures are said to represent the point p. Note that if the family 3 is symmetric (i.e., if - f 3 ~ whenever f~ S),then the above inequality may be replaced by an equality. Due to the fact that f d p S maxf (Supp (p)), if p is a measure representing p, then Y
P E cl3 @PP (PI). A set E Y is said to be a Cboquet 3-extreme set (less accurately, a Choquet extreme set) provided for each p E E and for each Radon measure p representing p, it is true that Supp p E E. The corresponding collection of Cboguet extreme points will be denoted by Extch(Y). Note that a point p is Choquet extreme iff the trivial probability measure, assigning measure 1 to {p}, is the only measure representingp. The following result provides a standard example.
2.9. Proposition. Let Y be a non-empry compact convex subspace of a locally convex vector space V. Then, relative to the collection 3 of all (restrictions of) continuous linear functionals on Y , 1.
Regularity of a Bore1 measure p means that for each closed set A and for each there exists an open set 0 2 A with p(0 \ A ) c E.
E
>0
410
Chap. IV: Miscellaneous f i t C h ( Y ) = a t(Y),
z;=1
Proof. First, observe that if p = tipi, with 0 I t l , . . , t n and xy=lti = 1, then there is a Radon probability measure p on Y determined by the prescriptions
(i = l,..,n).
p({pi}=ti
This measure clearly represents p. Hence, if p E ExtCh(Y), then p is an ordinary extreme point. The converse implication requires the following auxiliary result.
Lemma. If p E
m(Y), then there D one and only one point in Y represented by
Proof. For each f~ 3 we consider the hyperflat H c f ) of all points y with f Cy) = fd p. If f l ,..,f,E 3 then a continuous linear function is defined by
IY
F : V +R";
F(~)=cfl(~),-.,fnCy)).
Suppose that the point q = (Jfldp,.,,Jfndp)is not in the compact convex set F(Y). Then there is a linear functional h on IR" such that h ( q ) > sup h(F(Y)). We represent h by means of a vector a in the sense that h ( v ) = a . v (inner product) for all v E IR". If a = (a 1 ,..,an),then define n
g=
c aif;.
i=l
Note that g = h o F. We find that n
which is impossible. We conclude that the hyperflats H c f ) for f E 3 have the finite intersection property. Hence these sets meet in a point y, which by construction is represented by p. As 3 separates the points of Y, we find that y is uniquely determined by this requirement. w To complete the proof of the proposition, suppose that p 4 Extch(Y). Then there is a Radon probability measure p representing p, such that Supp (p) # (p}. Let q # p in Supp (p) and let C be a convex closed neighborhood of q missing p. If p(C) = 1, then consider a continuous linear functional /with f(p) < inf cf(C)). We find that a contradiction. So 0 < p(C) = t c 1. Define two new measures pl, p2 on Y as follows. If B c Y is a Borel set, then so are B n C and B 1 C , and we put
Now p1, p2 E
m(Y)
and we consider the respective representations p i , p 2 E Y. As
p(B)= f p l ( B )+ ( l - t ) p @ ) for each Borel set B, we find t h a t p = fpl + (1-f)p2, showing thatp is not an ordinary extreme point.
S2: Extremality, Pseudo-boundary and Pseudo-interior
411
2.10. Theorem (Choquet-Krein-MilmanTheorem). Let X be a tcs, let Y E X be compact and let 3 be a collection of continuous lower CP fwnctionals X + IR separating convex closed sets of X from points of Y. Then the family of all closed Choquet 3-extreme sets in Y is an extremality with respect to the 3-protopology of Y and
co* (Y)= CO*(EXtCh(Y)>.
Proof. The axioms (ES-2) and (FS-3) are obvious. As for (=-I), let E E Y be a Choquet extreme set, let C X be 3-closed and suppose E C; say: p E E 1 C. Then there is a functional f E 3 such that sup f (C) c f@). Note that f, being continuous, attains a maximal value on E. Without loss of generality, this maximum t is taken at p. The set E'= f'[t, +)nE is closed and disjoint from C . We verify that it is extreme. Let p~ i%(x) be a measure representing a point x E E'. Then S u p p p c E . If Suppp & f ' ( t ) , then there is a closed set B c E of measure p ( B ) > 0, such that B nf'(t) = 0. If t o is the maximum taken by f on B, then t o < t and we obtain a contradiction by the elementary rules of integration:
fdp+
f(x)<jfdp=jfdp= X
E
E
d
fdCIIto.Cl(EnB)+t.Cl(E\B)ct. E IB
Having verified the axioms of synthetic extremality, we apply Proposition 2.2: Y = c17Extch(Y) n Y. Proceeding as in the proof of 2.6 yields the desired result. The above proof of (ES-I) is based on an argument which actually shows that if t is a maximum off on Y, then f ' ( t ) n Y is Choquet extreme in Y. 2.11. Pseudo-boundary and pseudo-interior. LRt X be a topological convex structure and let A E X . A point p is a pseudo-boundary point of A relative to X provided there is a convex open set 0 X with the following properties. O n A # 0 ; Acco*(O); peAIO.
The collection of all such points is called the pseudo-boundary of A relative to X and is denoted by dx(A). The complementary set tx(A) = A Id x ( A ) is called the pseudo-interior o f A relative toX. IfA = X then the subscript ''X" will be dropped and the sets d(x), ~ ( x ) are called the absolute pseudo-boundary resp., the absolute pseudo-interior of X. Some formulae involving product spaces are presented in Topic 2.32. The following ones will prob,2 ably look familiar. Let X = X I X X Z . We use subscripts X , 1, 2 to refer to X,X I X respectively. tX(C1
a,&,
x
C2)=11(C1)
x tz(C2);
x C 2 ) = @ 1 C , x C Z ) U ( C l x dZC2). The next result gives some additional information on pseudo-interiority.
2.12. Proposition. Let X be closure stable and Sq. (1)
If A E X and if p
E A, then p E I X ( A )if Int
( H )n A
#
0 for each closed half-
412
(2)
Chap. IV: Miscellaneous
space H E X containing p and not including A. If A s; Y cX then
I X ( A )E M c o * (A) nY).
Proof of (1). Let 0 cX be a convex open set and let p 4 0. Let H c_X be a maximal convex set with the properties p E H and H n 0 = 0. Then H is a half-space by the axiom S4 and is closed by virtue of closure stability. Observe that if P =XIH, then IN ( H ) =XIP = X I=o* (PI.
The result follows directly from these observations. Proof of (2). Let p 4 l~(co*(A)nY).By (I), there is a closed half-space H _cX rn containingp and not including co* ( A ) nY. HenceA d H , andp 4 tx(A) by (1). By a proper Support pint of a set A in a vector space V is meant a point p E A such that there exists a continuous linear functional fof Vwith f @) = sup f ( A ) . The addition “proper” refers to the additional assumption that f is not constant on A. Application of 2.12(1) to a topological vector space yields that the pseudo-boundary points of a subset are exactly its proper support points. It is not true that the operator 1~ is monotonic in general. For instance, if A, E clR2are taken as [0,1] x ( 0 ) and [0,1] x [0,1], respectively, then A E B but the non-empty sets L ~ ( Aand ) ip(E) are disjoint.
2.13. Examples: Trees, Tychonov cubes, and some spaces with no pseudo-interior points. 2.13.1. Proposition. In a connected and locally connected tree T, all polytopes are compact, the convex sets are exactly the connected sets, and T is the set of all end points of T.
a
Proof. We first verify that all segments of Tare compact. The median m(a,b,c) of the points a, b, c E T is the maximum of a ~ b b ,A C , c ~a (cf. 181.22). This gives a continuous operator m : T 3 -+T. Now m(a,b,c) is the b-infimum of a and c, whence ( T , I h ) is a topological tree for any base-point b E T. A segment of type ab corresponds with the lower set L ( a ) in the base point order of b. In addition to being totally ordered, L ( a ) is connected and locally connected, being a retract of T under the mapping x HX h a . The topology of a totally ordered pospace is at least as fine as the order topology, whence each of its connected sets is order convex. If, in addition, a totally ordered space is connected, then each connected neighborhood of a point must include an order-neighborhood. It follows that L ( a ) carries the order topology. As is well-known, a connected totally ordered space with a maximum and a minimum is compact. By virtue of Theorem 11192.7, all polytopes are compact. Connectedness of all segments yields that all convex sets are connected. To see that, conversely, all connected sets are convex, we first show that the segment ab consists exactly of a, b and of those points p E T which cut between a and b, that is: the points
S2: Extremality, Pseudo-boundary and Pseudo-interior
413
a, b are in different components of T 1 { p } (then p is a cuf point of T behveen a and b). Segments being connected, a point outside of ah cannot cut between a, b. Suppose next that p E ah ;p # a, b. We consider the base-point order of b as the given tree order. Note that p < a. Consider the sets O = { x Ix&J}; Clearly, a
E
P, b
E
P={x Ix>p}.
0, and
T\{p}=OuP; O n P = 0 . The set 0 is open, as one can deduce from the properties of general pospaces. To obtain a decomposition of TI { p } as desired, it suffices to show that P is open as well. Let c E P and consider a connected neighborhood N of c such that c A X # p for all x E N. The subset c A N of the totally ordered space L ( c ) is connected and hence order convex. Furthermore, c A X > p holds in case x = c. If the inequality c A X < p occurs for some x E N , then c A N contains the pointp, a contradiction. This shows that N P and completes the proof that 0, P constitute a decomposition of T . In particular, p is a cut point of T between a, b. Now assume that C is a connected set. If a, b E C , then any cut point between a and b is in C and it follows that C is a convex set of the interval space T. To establish the final part of the proposition, suppose first that p E T is an end point. The set 0 = T 1 { p } is convex open, and since T is connected we find that co* (0)properly includes 0. Hence p E 3 T. If p is not an end point and if 0 T is a non-empty convex open set with p 4 0, then fix b E 0 and choosep' > b p . By local convexity, there is a convex neighborhood U of p' disjoint from bp. If U n 0 # 0 then (as the Helly number of T is 2) we have U n 0 n bp' # 0 . But bp'= bp upp', where the first summand is disjoint from U and the second is disjoint from 0, a contradiction. Hence co* (0)# T, as required for p to be a pseudo-interior point. The pseudo-boundary and pseudo-interior of a set are usually considered relative to the given superspace. The resulting sets may well be distinct from the absolute ones, as the next example illustrates. A less natural, but more spectacular example is presented in Topic 2.35.3.
2.13.2. Proposition. Let a be an ordinal number and let the vector space V = IRa be given the product topology and the standard convexity. Then the convex subspace Q = [0, lIa of Vhas the following relative and absolutepseudo-interior.
These sets are distinct $a is infinite. Evidently, each CP isoProof. It is clear that IV(Q) ( O , l ) a . Supposep E (0, morphism of V mapping Q onto itself, will map the relative pseudo-interior of Q into itself. Considering the CP isomorphism f : V + V,defined by
414
Chap. IV: Miscellaneous
we can achieve that all coordinates of p are in (O,-%]. Let H V be a closed half-space not including Q, and such that p E H . We aim at an application of 2.12(1). For each i < a we consider the point a (i) of which all coordinates are zero, except for the ifh one which equals 1. These points constitute a linear base for a dense linear subspace of V (the whole of V, if V is finite-dimensional), and hence the hyperflat HI Int(H) cannot contain them all. If some D (i) is in Znt ( H ) then the latter meets Q as required. We are left with the possibility that some a (i) is not in H . By assumption, the point p ( i ) = fp+(l-t)a(i) is in Q for some t > 1 . As a (i) q! H , we find that p (i) E Int ( H ) nQ. We conclude that E iv(Q), which proves the first equality. A computation of the absolute pseudo-interior is more complicated. Throughout, we let xi denote the ith coordinate of a point x E lRa. We have to show that a pointp E Q is in i(Q) iff no sequence of coordinates o f p tends to 0 or to 1. We use the evident principle, that an isomorphism of a space into itself permutes the absolute pseudo-interior points. Suppose first that pin converges to 0. Without loss of generality, pi, I l/n. It is a
p
6 . following defines a relative standard fact that the series C l / n 2 converges to ~ ~ / The closed half-space of Q containing p and without interior points:
By 2.12(1), we conclude that p E a(Q). The possibility that some sequence of p-coordinates tends to 1 can be reduced to the previous situation by considering the CP isomorphism f:Q+Q:
X H l - X .
This establishes the inclusion from left to right in the equality (2). To prove the opposite inclusion, let b E Q , have all its coordinates equal to 1/2. The above introduced isomorphism f has the property that b E xf ( x ) for each x E Q. Consequently, if H E; Q is a closed relative half-space with b E H , then f maps the relatively open set Q \H homeomorphically into H and hence into Int(H). It follows easily that b E Next, let all coordinates of b ( n ) be equal to 1/n (n 2 2). An isomorphism Q = Q mapping b = b (2) to b ( n ) is constructed as follows (Fig. 2). For n > 2 consider the point c, in the standard plane, common to the lines through (O,l),(l,O) and through (O,l/n),(l/2,0). Then c, can be seen as a center of perspective projection of [0,1] x { 0 } onto { 0 ) x [0,1] mapping 1/2 to 1/ n . This leads to a CP isomorphism Q -- Q under which (copies of) b and b (n) correspond. It follows at once that b (n) E ice). For each subset I E; a,we have a CP isomorphism g = gI of Q such that
ice).
S2: Extremality, Pseudo-boundary and Pseudo-interior
415
Fig. 2. Relative pseudo-interior of a cube: planar construction.
i
l-xi, g(x)i = xi,
ifi E I ; otherwise.
By using such isomorphisms, it follows that the compact set A (n), consisting of all points with coordinates among l/n, 1-l/n, is included in t(Q). Recall (cf. 11184.23) that a subset of a tcs is strongly convex provided it includes the convex closure of each of its compact subsets. By 11134.23,each convex relatively open set in Q is strongly convex. Hence t(Q) is strongly convex (being an intersection of such sets), leading us to the conclusion that co* (A (n)) E I(Q). But
co*(A(n))= [l/n, l-l/n]a, and the result follows.
rn
For a comparison of absolute and relative pseudo-boundary in median spaces, see
2.35. 2.13.3. Empty pseudo-interior. Let X be a topological space without isolated points. X is equipped with the discrete convexity, which is continuous and Sq. Then ax = X since for each p E X the set X 1 { p } is convex open and its closure is X . Here is a less trivial example with empty pseudo-interior. Let X in addition be compact. By Proposition 111§3.10.4, the Vietoris convexity on the hyperspace d@) is continuous and Sq. If A E a@) and a E A, then the closed half-space < { a } , X > of 3’*(X) containsA and has no interior points. By 2.12, it follows thatA E a(Z*(X)). For an example in Hilbert space, see 2.29.2. 2.14. GExtremality. Let X be a tcs and let Y c X . We use pseudo-interiority as a kind of “strict betweenness” and define extremality with a procedure as before. A set E Y is &-extreme in Y provided for all p E E , if A c Y and p E ix(A), then A c E . We note that hxtremality depends on the superspace X . If Y = X , then we occasionally drop the subscript. The following is a simple application of the definitions. 2.14.1. If 0 X is a convex open set meeting Y and if Y c co* (0),then Y I 0 is a tjx-extreme set of Y. rn
416
Chap. IV: Miscellaneous
The resulting set of all &-extreme points of a set Y is denoted by Ext hx(Y). Application of 2.12(2) yields that the set A, occurring in the definition of extremality, may be assumed to be the trace of a convex closed set on Y. Explicitly: 2.14.2. Let X be S4 and closure stable. If E E Y E X , then E is 6x-extreme in Y iff C n Y G E for each p E E and for each convex closed set C E X with p E IX(CnY).
Under the assumptions of the last result, a pointp E Yis a &-extreme point of Y iff p E 6x(C) whenever C has more than one p i n t and is the trace on Y of a closed convex set of X which containsp. We first give conditions in order that &extreme points are ordinary extreme points. A topological convex structure X has Fuchssteiner‘s Property provided for each convex open set 0 X and for each a E 0 and b E 0 1 0, the segment ab meets 0 1 0 in b only. The condition clearly holds in complete BW spaces and in connected trees. 2.15. Proposition. Let X be a closure stable, JHC and S4 space with Fuchssteiner’s Property. If X is connected, then each 6x-extreme point of a compact conv a subspace of X is an ordinary extreme point.
Proof. Let P E X be a polytope, say: P = co ( F ) where F is a finite set. We first show that if p E Exts,(P) then p E F. To this end, suppose G c F is minimal with the property thatp E c o ( G ) . If G is a one-point set then we are done. In the opposite case, p is in d x c o ( G ) and by definition of extremality there is a convex open set 0 s Xsuch that c o ( G ) n O # 0 ; ~ $ 0 c ;o ( C ) ~ ~ .
Let H be a convex set, maximal with the properties that p E H and H n 0 = 0 . Then H is a half-space by the assumption of S4 and is closed by the assumption of closure stability. If we replace 0 by the open half-space X \H, then the above listed properties of 0 persist. The half-space 0 meets G, whereas G d 0 sincep $ 0. Hence by join-hull commutativity, there exist u E co(G 10) and v E co(G no) such that p E uv. By Fuchssteiner’s Property, we find that p = u, showing that p is in the hull of G I 0, which is properly smaller than G. If C E X is a compact convex set, then Ext sx(C)c ext ( C ) . Indeed, if p E Ext ,(C) then p E ExtsJP) for each polytope P c C containing p and having more than one point. We conclude that p 4 c o ( F ) for each finite set F c C \ { p } , in other words, that p E ext(C). This result applies to several classes of examples. First, a complete BW space with the core topology and a locally convex topological vector space are easily seen to satisfy the properties listed in the result above. We do not know (even for locally convex vector Howspaces) whether each ordinary extreme point of a compact convex set is &-extreme. ever, if X is a compact convex subspace of a vector space, then the set of ordinary extreme points of X is evidently equal to the set of &-extreme points of X.
S2: Extremality, Pseudo-boundary and Pseudo-interior
417
On the other hand, each compact convex subset of a connected and locally connected tree satisfies all hypotheses of the previous proposition. We just verify Fuchssteiner’s Property. Let 0 be convex open, let a E 0 and b E 610. Then the segment ab is totally ordered as seen from a and 0 cuts off a relatively open front end of it. If c b is in 6 I 0 and if U is a convex neighborhood of b missing c, then 0, U,ab are pairwise intersecting convex sets without a common point, contradiction.
2.16. Theorem. Let X be a connected NS3 space and let Y E X be compact. Then the set of closed fjx-extreme subsets of Y is an extremaliv with respect to the protopoloa on Y conskting of all traces of convex closed sets and co*(Y)= co*(Extij,(Y)).
Proof. As for (ES-l), let C G X be convex closed, let E be &-extreme and closed in Y and suppose E C. Take a point p E E I C. As Xis NS3, there is a sequence (C,Jra of sets not containing p such that Co = C and C,,,, is a convex closed neighborhood of C, for all n. Then u;p=OC,, is a convex open set including C and missing p . Owing to the compactness of E, there is a maximal convex open set 0 with the properties C c O ; EdO.
Note that E c co* (0),for otherwise another application of NS3 would yield a convex open set 0’2 co* ( 0 )which does not include E. But then 0 c 0’ by the connectedness of X,contradiction. The set E’ = E I0 is closed and is disjoint from C . If q E E‘ is a pseudo-interior point of a closed set B 5 Y then B I;E since E is an extreme set. We find that B E co* ( 0 )and since q is pseudo-interior to B, it follows that B n 0 = 0. Hence B E‘, and E‘ is extreme. The condition (ES-2) follows from the (permanent) assumption of S1. As for (ES3), chains of extreme sets have a non-empty intersection by the compactness of Y. This intersection is an extreme set in Y. The desired formula follows from Proposition 2.2 with the observation that the involved closure operator on Y is given by the assignment B Y nco* (B).
-
The following theorem extends a well-known result in traditional convexity on socalled “convex” functionals.
2.17. Theorem (8auer Maximum Principle). Let Y be a non-empty compact subspace of a connected NS3 space X , and let f :X + IR be a usc and lower CP functional. Then f attains its maximum over Y at a 6x-extreme point of Y.
Proof. There is a totally ordered collection of non-empty closed sets f’ [ I , m) n Y, for t ranging over f(9. By the compactness of Y, these sets have a common point. Hence f has a supreme value s at this point. We consider the convex open set 0 =f’(-,s) of X. Note that 0 meets Y in a proper subset (unless f i s constant, in which case the result is obvious). Let P 2 0 be a convex open set, maximal with the property that P n Y is a proper subset of Y. If co* (P) does not include Y, then take p E Y 1 co* ( P )
418
Chap. IV: Miscellaneous
and use Proposition I11$4.8(1) to produce a convex open set P of X with p 4 P 2 co* (P). The connectedness of X implies that P # P, contradiction. As observed in 2.14.1, the closed set Y I P is aX-e.xtreme in Y. Such extreme sets constitute a synthetic extremality by Theorem 2.16. By Proposition 2.2, Y I P contains a tixx-extreme point. Since
Y I P Lf’(s)nY, we conclude to the desired result.
rn
For a deeper study of pseudo-boundaries and pseudo-interiors, the following concept is indispensable.
2.18. Continuous position. Let X be a topological convex structure. A set A L X is said to be in confinuous position (within X ) provided for each convex open set 0 c X meeting A, A n 0 = CIA(A n 0 ) .
The bar on the left refers to closure in X. Note that the inclusion from right to left is valid for purely topological reasons. The phrase “in continuous position” refers to the resemblance of the formulae A nC l ( 0 ) G Cl (A n0 ) ,
f (CZ(A)) G Clf (A)? the second one being a well-known criterion for continuity of a function f. Here are some elementary results, valid in any tcs. 2.18.1. Being in continuous position is a transitive property. Explicitly, if Y E X is in continuous position relative to X and if Z G Y is in continuous position relative to the subspace Y, then 2 is in continuous position in X.
2.18.2. A convex set C is in continuousposition provided for each a, b E C the segment ab is in continuousposition. Proof. Suppose C is not in continuous position. Then there is a convex open set 0 LXandapointa E Xwith
O ~ C # B ;a E O n C ; a 4 C l c ( O n C ) . Take b E 0 n C. We find that Onabf0;
a E O n a b ; aq!Cl,b(Onab),
showing that ab is not in continuous position.
rn
2.19. Proposition. Let X be a closure stable, S4 and weakly locally convex(2) space, and let C G X be a closed convex set. Then the following are equivalent: 2.
that is: locally convex in the corresponding weak topology.
S2: Extremality, Pseudo-boundary and Pseudo-interior
(1) (2)
C is in continuousposition. For each open half-space 0
(3)
Zf H
419
cX , 0nc+03 ~ n ~ = O n c . X b a closed halfspace not including C then Zntc(H n C ) = (Znt H ) nC.
*
Proof. The implications (1) (2) 3 (3) are elementary; we concentrate on (3) 3 Let 0 c X be a convex open set meeting C and let x E C 10 nC. By closure stabilthe set 0 n C is convex and hence weakly closed. As X is weakly locally convex, there is a convex (weak) C-neighborhood P E C of x disjoint from 0 nC and hence with 0. Regarding the third axiom of convexity, consider a convex set H cX,maximal with the properties
PcH; HnO=0. Then H is a half-space by S4 and is closed by virtue of closure stability. We find that C H since 0 meets C. Hence by (3), x E Intc(HnC)=IntH nC.
It appears that Int H is an X-neighborhood of x , disjoint from 0, showing that x Consequently,
4 6 n C.
Onc 3 0 nC. The opposite inclusion is trivial.
rn
2.20. Proposition. Let X be a closure stable, point-convex, NS3 space, and let K be a compact set in continuous position. If K D included in a connected subset of X, then K is connected.
Proof. Suppose K = K 1 u K 2 , where the sets Ki are closed, non-empty and disjoint.
Let the collection 8 consist of all convex open sets meeting K 1 and disjoint from K2. To
see that 8 is non-empty, take a pointp of K1 and apply Theorem III§4.8(1) with reference to the compact subspace K and the convex set { p } . This yields a continuous lower CP functional f on X and a point t E f (X) such that f (p) < t and f ( K z ) c [ t , -). The set f'(-,t) is in 8. It is clear that 8 is inductively ordered by inclusion. Let 0 be a maxima1 member. The set K being in continuous position, we find that
6 nK = O n K G K 1 . Another application of Theorem III§4.8(1) (this time with reference to the convex closed set C = 6) yields a convex open set P 2 0 missing K z . However, as K is included in a rn connected set, we find that P is strictly larger than 0, which is a contradiction. Although results like the last proposition may suggest a closer connection between continuous positions and continuity of the hull or the convex closure operator, no results are known in this direction.
420
Chap. IV: Miscellaneous
2.21. The continuous positions property. A topological convex structure X is said to have the CoflthuouS /‘OShtS PfOpefiy (abbreviated: CPP) provided each convex set is in continuous position in X. By Proposition 2.18.2, it suffices that all segments are in continuous position withinX. As the closure of a convex set is the same in the original topology as in the corresponding weak topology, it follows that X , has the CPP whenever X has. The Product Polytope Formula 1s1.10.3 and Theorem 11191.4 on products lead to the following result. 2.22. Proposition. The product of a family of spaces with the CPP has the CPP.
Note that if all factors are non-empty, then the converse is true as well. The issue is that each factor can be seen as a convex subspace of which each relatively open convex set extends to a convex open set of the product. CPP is, in general, not inherited by compact convex subspaces. For instance, let X be the unit square of the standard plane IR2, and consider the following two convex subsets of X . 0 = ( 0 , 1 ] ~ u { 0 }x(O,%);
C = { O } x[O,l].
Then 0 meets C and C 0,but O n C is the set { 0 ) x [O,%]. Hence, C is not in continuous position within X. Let us describe some situations in which the CPP occurs. 2.23. Proposition. In a tcs with connected convex sets, Fuchssteiner ’s Property implies the Continuous Positions Property. Proof. Let C be convex and let 0 be a convex open set meeting C . Suppose 4 0. Fix y E 0 nC . Fuchssteiner’s Property (cf. 2.15) implies that
x E C n 6 and x
XYIO c { x } . Now xy is a connected subset of C, and hence x
€
x E ClC(xyI { X }) E Clc(xy no) L Clc(C no).
This shows that C n 6 c Clc(C n 0 ) ,and the result follows. Particular examples are: toplogicdl vector spaces, complete join spaces without boundary, and topological trees. The latter also occur via the next result. 2.24. Proposition. A weakly locally convex space of Helly number I 2 has the CPP. In fact, if C , D are intersecting convex sets, then
c nD = CI, (C nD ) .
c
Proof. We only derive the inclusion from left to right. Let x E nD and let N be a convex neighborhood of x. Then the sets N , C , D meet two by two. As the Helly number is 1 2 , it follows that N n C n D #O. Local convexity then yields that x E Cl, (C nD ) .
Then 0 and C are convex, whereas 0 is relatively open. Now
SZ:
Extremality, Pseudo-boundary and Pseudo-interior
421
2.25. Proposition. Let X be a uniform S4 convex structure such that the convex closure of the union of two compact convex sets is compact. I f X has the CPP, then so does the convex hyperspace of X.
Note that the condition concerning the convex closure is fulfilled if either Xis complete (as a uniform space; cf. Proposition 111§3.9), or X is join-hull commutative (use Is2.14). We will state and prove two auxiliary results first.
2.25.1. Lemma. Let X be a uniform convex structure with compact polytopes, and let 0 c X be a convex open set. Then the following closure formulas are valid.
cI(
Proof. The inclusions from left to right are elementary. Let D E C I ( 0 ) be a compact convex set, and consider a basic hyperspace neighborhood < 0 1 ,..,On> of D, where the sets 0; are open in X . By Theorem 11193.8, there is a convex open set P with D c P ubl 0;. For each i = l,..,n there is a point xi E Oi nP n0. The polytope D' = co { x ,.,.I-, } is compact and D'E
DIE
This shows that D is in the closure of
2.25.2. Lemma. Let X be a closure stable space such that
(i) Each pair of distinct points can be screened with convex closed sets. o convex sets D compact. (ii) the convex closure of the union of f ~ compact If X is a closed half-space of 3CCO,,,,(x>, then there is a closed half-space H cXsuch that
X = < H > n3eCOmp(X)or 3e =
422
Chap. IV: Miscellaneous
in X. The assignment x H { x } being an embedding (cf. 1§3.30.1), H is a closed halfspace of X. If C E H is a compact convex set, and if F C is finite, then co(F) E co{ { x } I x
E
F }GX
(first hull in X,second hull in 3Tcmp(X)). As the net of polytopes included in C converges to C, we conclude that C E X. Conversely, if C E X then (as we observed above) a minimal member of X included in C is a singleton. Consequently, C E < H , X > . So far, this shows that
We verify that one of the two inclusions is, in fact, an equality.
(i) If UX =X,then X = < H , X > . Indeed, let D E < H , X > . Then D includes a member of X (at least, some singleton will do). Clearly, there is a maximal convex closed set D o c D which is a member of X. I f x E D \ D O , t h e n x E C f o r s o m e C E X . Now D nco*(DouC)f CO(C,DO}CX, and the set on the left is properly larger than D o , a contradiction. Thus, X = < H , X > .
(ii) If UX #X,then X = < H > . Indeed, let x E X \ (UX). We may assume that X # 0 and hence that H # 0. Let H . If v E UX IH , then observe that { v } q' X and xu q! X (since xu & UX). Therefore, uv being in the hyperspace hull of { v } and xu, we conclude that uv q' X. On the other hand, some C E X contains v and uE
uv
E co{ { u } , c o * ( c u { u } ) } ,
which shows that uv
X,a contradiction. This shows that U X E H , and the equality
E
follows easily.
X = c H > nX,,,,,,(X)
We now turn to the actual proof of Proposition 2.25. Assume that X has the CPP. The convex hyperspace 3Ccomp(X) is uniform by Proposition III§3.10.4. By 2.18.2 and Proposition 2.24, it suffices to show that for each open half-space 8 meeting a segment ClC2 o f Z m p ( X ) , CI(B)nC1C2 cCZ(8 nC1C2). For the remainder of the proof, let C E Cl(@)nC1Cz,let <01,..,0,> be a hyperspace neighborhood of C , and let P G X be a convex open set such that
c E P cP &
: ,
r=l
oi.
In regard to Lemma 2.25.2, 0 is of one of the following types.
Type 1: 8 =
52: Extremality, Pseudo-boundary and Pseudo-interior
423
As C meets 0 (Lemma 2.25.1), we conclude that P n0 n co*(C1 u C 2 ) # 0. Let x be a member of this set and consider the compact set C’=co*(C u { x } ) . Then C s C ’ c c o * ( C 1 u C ~ ) n P , f r o mwhich it follows that C‘E C1C2n
Type 2: B = c 0 > nXc,,(X) for some open half-space 0 E X . This time, one of C1, C2 is included in 0. If cj E Cj (j = 1, 2), then there is a point u E C n c l c 2 and u E P n Oi for some i. As C c 6,we have
0 n c l c z = CI(O n c1c2).
uE
This yields a point X E
PnOinOnclcz.
LetP(cI,cz)beaconvexopensetofXwith x E P ( c l , c ~ ) s P ( c l , c 2 ) ~ P nno. Oi
By the continuity of the segment operator, there exist neighborhoods U ( c 1 , c z ) of c1 and V ( c l , c 2 ) of c 2 such that c’lc‘z meets P ( c I , c ~ for ) all c’1 E U ( C I , C ~and ) C ’ ~E V ( c l,cz). The set C1x C2 being compact, there is a finite collection of sets of type U ( c l k )(where k = l,..,p)and V ( c 2 )(where 1 = l,..,q) such that U(CIk)X V(CZI)
E U(Clk,C2f)XV(CIk3C21)
for all k, 1 involved, and such that the left hand product sets cover C 1 X C 2 . By CPP,
c E 0 n co*(cl u c,) E CI(O n co*(cl u c,)). As C is covered by the sets P n Oi for i = l,..,n, there exist points xi E P n Oi n 0 n co*(C1 u C2).
Consider the convex closed set
Note that C’ E
and C’ meets each Oi, whence
C’E <01,..,On>.
Also, C’ is the convex closure of the union of finitely many members of 0 , whence C‘ E a. Finally, if cj E C j (j= 1, 2) then there exist k E { 1,..,p) and 1 E { 1,..,q } with c1 E U ( c ] k ) and c2 E V(c21). Consequently, c l c 2 meets P(clk,cz). As c l c 2 is included in co*(C1 uCZ), it follows that C’ meets cIcz. Clearly, C’cco*(C1 u C ~ ) , and we conclude that C’ is in the hyperspace segment C C2. Summarized, C is in the clorn sure of 8- nC1 C 2 ,completing the proof of Proposition 2.25.
We now prepare for some criteria on the existence of pseudo-interior points.
424
Chap. IV: Miscellaneous
2.26. Lemma. Let X be a closure stable S4 space such that tx(C) # 0 for all C E X * ( X ) . Zf D E X is convex closed and if X is a covering of D with closed hayspaces of X then there exists H o E X with
DrU{Znt(H) I H e X } u H o .
Proof. Let the convex closed set E E D be defined as follows. E=n{XH \
IH E X } n D .
I f E = 0,then D is covered with the interiors of the members of X and the choice of a half-space Ho E X (as required above) is irrelevant. So assume E # 0. Then there is a ~ desired, pointx E tx(E). Let H o E X be such thatx E Ho. By (5.11.2), either E G H as or E n Znt ( H o ) # 0. The second possibility conflicts with the construction of E. rn We are lead to the following results. An a-topological theorem on countable intersections has been obtained in 1184.11.
2.27. Theorem. (Countable Intersection Theorem, //A) Let X be a closure stable, S4 and properly locally convex space with the continuous positions property. Zf the underlying topological space is separable and completely metrizable, then the following assertions are equivalent. (1) (2) (3)
Each non-empty convex closed set has a non-empty pseudo-interior relative to X. Each covering of X with closed half-spaces has a countable subcovering. If C is convex closed and if 8 is a family of convex open sets such that n8 = C, then there is a countable subfamily 8’ E 8 with n8’ = C.
Proof of (1) 3 (2). Let X be a covering of X with closed half-spaces. By Lemma 2.26, there exists Ho E Jt such that X=U{Znt(H) I H E X } U H O . The topological space X being separable and metrizable, there is a countable collection of sets H,, E X,n E N,such that {Znt (H,,) I n E IN} covers X \ Ho. The desired covering of Xconsists of the sets H,, for n = 0, 1, 2, ...
(3). Let C be a convex closed set and let 8 be a family of convex Proof of (2) open sets such that n6 = C. If x 4 C then x 4 0 for some 0 E 8. If D is a convex set maximal with the properties x E D and D n 0 = 0,then D is a closed half-space by S4 and by closure stability. This shows that, without loss of generality, the family 8 consists of open half-spaces. Assume first that C = 0. Then the complements of members of 8 yield a covering of X with closed half-spaces. Some countable closed subcovering of it leads to a countable subfamily of 8 with empty intersection. We now settle the general case. For each x 4 C, consider a convex open neighborhood P(x) disjoint from C. Then XI C can be covered with countably many convex open sets P, for n E IN, taken among the sets P ( x ) . For each n there is a countable subfamily 8, of 8 such that n8, n P, = 0. Then unEN 8, is a countable subfamily of 8 and its
S2: Extremality, Pseudo-boundary and Pseudo-interior
425
intersection equals C.
Proof of (3) a (1). Let C be convex closed. By definition, tx(C) is the intersection of the family 8 consisting of all convex open sets 0 meeting C and such that C 5;; 0. By CPP, the latter is equivalent to the statement that 0 n C is relatively dense in C. Being a closed subset of a completely metrizable space, C is a Bake space. Hence the family 8 is countably intersecting. By (3), it follows that n8 is non-empty.
*
Observe that the implications (1) (2) (3) hold without the assumption of completeness and without CPP. The following is an adapting of the previous result to median spaces.
2.28. Theorem. (Counfable lnfersection Theorem, ll6) Let X be a compact, focally convex, median algebra. Then the following assertions are equivalent.
(1) Each mn-empty convex closed set has a non-emptypseudo-interior relative to X. (2) Let B be a family of convex open sets in X such that for each 0 E B there h a closed set A E 0 meeting all members of 8 . Then n8 # 0. Observe that a family 8 as in (2) is “countably intersecting”. Indeed, suppose 0 meeting all 0 E 8. Since 0 1 is strongly 0, E 8 for n E IN. Take a closed set A convex (cf. III$4.23), we have co* (A 1) G 0 1, whence A may be considered to be convex closed. Take a closed set A 2 E O 2 meeting all 0 E 8. Without loss of generality, A 2 contains a point of A1 and is convex. Proceeding by induction, we arrive at a 0, for n E IN which is finitely intersecting. Then sequence of closed convex sets A, 0 # n n A nE n, 0, by the compactness of X.
*
Proof of (1) (2). Let 8 be a family of convex open sets as in (2). As in the proof of 2.27, it may be assumed that the family 8 consists of open half-spaces. If n8 = 0, then the family X = { X \ O I O E 8) of closed half-spaces covers X. Lemma 2.26 provides H o E X such that X=U{Int(H) IH E X ) U H O . We verify that
(*I
3.Q = U < H > U
Let A c X be a non-empty compact set disjoint from H o . Then co* (A) nH o = 0 by the strong convexity of convex open sets in X, cf. III$4.23. Hence co* (A) is covered by the sets I n t ( H ) for H E X. As co*(A) is compact, there exist Hi E .X for i = l , . . , n with co* (A) E un r = l Hi.As the Helly number of X is 5 2 , some Hi includes co* (A). Formulating the equality (*) in terms of the original family 8, we conclude that no closed subset of 0 0 =XI H o meets every 0 E 8.
Proof of (2) a (1). Let C be convex closed and consider the family 8 , consisting
426
Chap. IV: Miscellaneous
of all convex open sets 0 meeting C and such that C G 6. Note that X has the CPP by 2.24. By definition, ix(C) = n8. For each 0 E 8 consider a closed set A c C n0 with a non-empty C-interior. As each member of 8 meets C in a relatively dense subset, we find thatA meets all other members of 8. By (Z), it follows that 8 has a non-empty intersection.
2.29. Examples. Recall that a Frechet space is a locally convex, completely metrizable vector space. We examine the (non-)existence of pseudo-interior points in Frkhet spaces, nonseparable Hilbert spaces, and locally compact median algebras. 229.1. Proposition. In a separable Frgchet vector space V , each non-empty convex closed set has a non-empty relative pseudo-interior. Consequently, each countably intersectingfamily of convex open sets in V has a non-empty intersection.
Proof. Let C E Vbe a non-empty convex closed set, and consider a countable dense subset { p n I n E IN} of C. We first assume that C is compact. Then the point 00
p =
c=1 2-pn
n
is well-defined. If f i s a continuous linear functional on V, then 00
Hence iff (pn) 2 f (p) for all n then none of these inequalities can be strict. In this situation, f is constant on the set of all points pn --hence on the whole of C. Similarly, f (p,,) If (p) for all n E N implies that f is constant on C. The only possibility left is that
f ( P k >
In particular, Int H # 0. By 2.12, we conclude thatp E LV(C). The last part of the proposition follows from Theorem 2.27.
S2: Extremality, Pseudo-boundary and Pseudo-interior
427
2.29.2. The following is an example of a non-separable Hilbert space and a nonempty convex closed set with an empty pseudo-interior. Let S be an uncountable set and consider the Hilbert space k(S) of all square summable sequences over S, that is, the set of all functions x :S +IR such that x (s) = 0 for all but countably many s E S -- say: s, for m n E N -- and such that c,=l x(s,)' converges. In these circumstances, the series E x (s,)' converges absolutely and hence the order of summation is irrelevant. We use the simpler notation ~ x ( s (and ) ~ the like) in case the corresponding series is absolutely convergent. This yields a well-known example of a Hilbert space, with an inner product defined by x.y = Z x ( s ) y ( s ) .
To obtain a closed convex set with an empty pseudo-interior, we consider the set C of all x E k(S) taking non-negative values only. This C is obviously convex. If p E C then p (s) = 0 for some s E S since S is uncountable. The evaluation map
f: U S ) -+R
x
HX(S),
is a continuous linear functional such that f ( x ) 2 0 for all x E C, whereas f (p)= 0 and w E C. So C is properly supported at p .
f ( x ) > 0 for some x
2.293. Proposition. Let X be a compact, locally convex median algebra on a separable and first countable topological space. Then each non-empty convex closed subset of X has a non-empty relative pseudo-interior.
Proof. The topological assumptions on X lead to a sequence (On),, of non-empty open sets such that each dense open set of X includes 0, for some n . For each n E IN we apply the Urysohn Theorem (cf. 11194.8) to obtain a non-zero continuous functional f,: X + [0,1] which is zero outside of 0,. Consider the function w :?*(A')
+IR,
m
w (A)= 2 2-" sup f,(A). n =1
It is topological routine to verify that w is well-defined and continuous. Here are two additional properties of w. (1) A L B implies w (A) i w (B). (2) IfA E 3'*(X) andZntA = 0,then w(A) c w ( X ) . The first statement is obvious. As for the second, if fnt(A) = 0, then A n 0, = 0 for some n and hence f, is zero on A. Since all functions fk in consideration are nonnegative and since f, is non-zero, we conclude that w(A) c w ( X ) .
Consider the following subsets of
m = { M I w(M) > w(X\M)}; n = {N I w(N)2 w(X-)}. We first show that m is a linked system. If M 1 , M 2 E m are disjoint, then M1 E X I M ~ and M 2 E X IM
1,
whence by (l),
428
Chap. IV: Miscellaneous
__
w (M1 ) Iw (X IM2)< w (M2). The same holds if the indices 1, 2 are interchanged. The combined inequalities yield a contradiction. We next show that is closed in T*(X). To this end, consider the following functions: f : T * ( X )x T * ( X ) - + T * ( X ) ; f(A,B)=A u B ; g : a * w x T * ( r n + [0,11 x N11;
g(A,B)=(w(A),w(B));
h :c7*(X) x S*(X) + S*(X); h(A,B) =A. Note that
n =h(f'{x} n s - ' { ( t l , t 2 ) I t l 1 t 2 } ) . Since f and g are continuous and since h is a closed function (by the compactness of the hyperspace), the set n is closed. Each closed set A c X such that ZntA = 0 is disjoint from some member of m. Indeed, we have X\A = X and (2) implies that w ( A ) < w (X\A). Hence A d n and as the latter is closed, we obtain a hyperspace neighborhood U o f A disjoint from n. Choose an open set P L X such that A c P and F E U . Now C Z ( X \ P ) E X \ P and hence w (p) < w(X\ P ) . The set X I P is in m and is disjoint from A. The space X being compact and of Helly number 2, there exists a point p
E
n{co*(M)
IM
E m}.
We claim that p E t(X). Suppose 0 cX is convex open and p 4 0. If X 1 0 has an empty interior, then it is disjoint from some M E Vt. However, convex open sets of X are strongly convex (cf. Topic IIIS4.23). Consequently p E co*(M) 0. We conclude that 0 #X. To complete the proof, let C E X be a non-empty convex closed set. The gate function p: X + C is continuous by Corollary IlI§5.20, whence C is separable and first countable. Therefore, t(C) # 0 by the previous proof, and it remains to be observed that i(C) = tx(C). This is true because a convex relatively open subset 0 of C extends to a convex open setp-'(O) ofx.
Further Topics 230. On the classical Krein-Milman Theorem (Wieczorek 119891). Let X be a convex structure and let A cX. A point p E X is sffidybehveen a finite set F provided p E co (F) and p co (G) if G is a proper subset of F. A set E cA is strictly extreme in A provided for each p E E, if p is strictly between a finite set F L A then F E. Note that strictly extreme singletons correspond with standard extreme points. A function f : A -+R is sfricHy convex provided for each finite set F L A and for each point p E A which is strictly between F, either f is constant on F or f(p) < maxf(F). Note that a strictly extreme functional is lower CP.
S2:
Extremality, Pseudo-boundary and Pseudo-interior
429
230.1. If f i s strictly convex and if m = maxf (A), then f'(m) is a strictly extreme set ofA. 230.2. Let X be a Hausdorff S1 tcs such that the family of usc strictly convex functionals of Xseparates between convex closed sets and points. If K E X is compact, then co*
( K ) = co* ( a t (K)).
2303. (compare Soltan [1987]) Let (X, p) be a metric space. A function f:X +R is p-convex provided it has the following property. For each u f v and for each x E X which is geodesically between u, v,
Show that p-convex functionals are strictly convex. Conclude that if the family of continuous p-convex functionals separates convex closed sets of X from points, then each compact set is included in the convex closure of its (standard) extreme points. Prove that if p is derived from a norm and if the above mentioned separation property holds, then the norm is rotund and the geodesic convexity is standard. Hint. Use the theory of vector convexity (cf. Topic 11181.25) to show that each pair of points can be separated with a CP functional of the geodesic convexity.
231. Shilov boundary. L.k X be a topological convex structure, and let K X be a compact subset. A closed set A c K is a Shilov subset of K provided co* (A) = co* (K). The results in 2.6,2.10, and 2.16 provide examples of Shilov sets. 231.1. Let X be NSJ and let K c X be compact. Show that the following are equivalent for a closed set A E K . (i) (ii)
A is a Shilov subset of K.
If f : X+IR is an Isc and lower CP functional, and if f l K is continuous, then sup f (A) = sup f (K). The notion of a Shilov set is usually phrased in terms of functionals as in (ii). 231.2. Verify that each compact set of an NS3 space X has a minimal Shilov set. A smallest Shilov set is called a Shilov boundary. Verify that a space in which each compact subspace has a Shilov boundary is a convex geometry. 2313. Let X be a closure stable, JHC and S4 space with Fuchssteiner's property. If X is connected, then each compact convex subspace of X has a Shilov boundary, namely, the closure of the set of all (ordinary) extreme points. 2.32. Product spaces. Let X j for j E J be topological convex structures with product X,and let x j be the j t h projection X + X j .
430
Chap. IV: Miscellaneous
232.1. For each j E J let t j denote the pseudo-interiority operator of Xi, Show that if Y E X be non-empty.
~ A Y= ) y n(
2
lj(xjY) ).
232.2. Let all factor spaces X j be S4 and closure stable. Let Ext and Extj refer to extremality with respect to the boundary operators ,8 and SXj, respectively. Show that if C c X is convex, then
c
~ x t ( =~ ) n(
II E x r j ( n j c ) ) .
jeJ
233. Spanning sets (compare van de Vel [1983d]). Let X be a connected, closure stable NSJ + S4 space, and let A be a subset of X with G(A) = X. 233.1. IfA is compact then Z ( A n3 s ) = X. 233.2. If A is a compact subset of L ~ ( A )then , =(A \A o) =X. 2333. Assume moreover that X is compact. Observe that X admits maximal elements with respect to each base-point order. Let B G X consist of all pseudo-boundary points of X which are at the same time maximal with respect to a given point b E I(X). Show that co* ( B ) = X. Give examples showing that the condition b E I(X) is necessary, that maximal points need not be pseudo-boundary points, and that pseudo-boundary points need not be maximal points. 234. Trees in topology 234.1. (compare Whyburn [1968] and Proposition 2.13.1). Let T be a connected and locally connected Hausdorff space in which any two points can be separated by removal of a third one. The cut poinf order of b E T is given by x E { b,y } or xis a cut point between b, y. x
xy
= {x,y }
u {z 1 z separates between x, y },
and that the cut point order sb equals the base-point order of b. A compact connected space, in which two distinct points can be separated by a third one, is locally connected.
234.2. Let T be a separable tree. Show that if each countable subfamily of a family
X of half-spaces has a non-empty intersection, then n3f # 0. 2.35. Absolute and relative pseudo-interior 2.35.1. (van de Vel [1983d]) Let X be an FS2 topological convex structure with compact segments and of Helly number I 2, and let C E X be a convex closed set. Show that i(C) = t X ( C )and that i(C) is a dense subset of C provided it is non-empty.
S2: Extremality, Pseudo-boundary and Pseudo-interior
431
Problem. Does the previous result extend to spaces of finite Helly number?
2.35.2. Extend Proposition 2.29.3 from compact to locally compact spaces. 2.353. Let X be a properly locally convex tcs and let A(X)be its cone. Note that X reappears as a convex subspace of A ( X ) (the “zero level”). Show that for each convex set C E X with more than one point, tacx,(C) = 0. 236. Existence of pseudo interior points (van de Vel [1983d]) 236.1. Let X,Y be closure-stable, S4 and properly locally convex tcs’s with a separable, metrizable underlying space. Suppose there is a continuous CP surjection X -+ Y. Show that if each non-empty convex closed subset of X has a non-empty relative pseudo-interior, then the same goes for Y. Problem. Can the conditions of separability or metrizability be removed? 236.2. Formulate and prove a similar result for separable and first countable median spaces. 2363. Let X be an uncountable tcs which is topologically discrete and convexly free. Show that t(h(X))# 0 and that i(C) = 0 for some non-empty compact convex set in WX). Note that there is a continuous CP surjection h ( X ) -$ C. 236.4. A convex structure X is convex/y homogeneous provided for each pair of points X I , x 2 E X there is a CP isomorphism X = X carrying x 1 to x 2 . Note that a Cantor cube is convexly homogeneous. Show that a non-trivial locally convex median algebra on a separable, first countable continuum is not convexly homogeneous. Problem. Is there an example of a non-trivial, locally convex, median continuum which is convexly homogeneous? 237. Superextensions 237.1. (van de Vel [1983d]) Let X be a cornpact topological space and let h(X) = h(X,d.(X)). Show that the following are equivalent: (i) (ii)
Each compact convex set in h(X) has a pseudo-interior point, and The space X has the Shrinking Property, that is: if 8 is a family of open sets in X and if each 0 E 8 can be “shrunk” to a closed set A c 0 meeting all members of 8, then the members 0 of 8 can be shrunk simultaneously to closed sets A (0)c 0 such that the family {A (0) 1 0 E 8 } is linked.
237.2. (C.F. Mills; communicated by the author [3983d]) Show that a compact space with the Shrinking Property has countable cellularity, that is, there is no uncountable family of pairwise disjoint non-empty open sets. Deduce that a compact metrizable space has the Shrinking Property.(3) 3.
K.P. Hart informed me that a direct proof of this fact is possible.
432
Chap. IV: Miscellaneous
Problem. Is the Shrinking Property of compact spaces equivalent to one of the properties: countable cellularity / separability / metrizability?
238. Continuous position (van de Vel [1988b1) 238.1. Show that an open set and a dense set of a tcs are in continuous position. 238.2. Let H be a Hilbert space. Show that a closed subset of H is in continuous position iff it is a convex set. Hint. First, prove the result for compact sets in Euclidean space. Then deduce the result for compact sets in locally convex linear spaces. Finally, observe that the unit ball of H is weakly compact. 239. Topological Hilbert cubes 239.1. (van de Vel [1986]) Let X be a compact locally convex median algebra on a metrizable underlying space, and let H E X be a dense half-space with a dense complement. Show that X is homeomorphic to the Hilbert cube Q = [0, llO. Hint. Consider an adapted metric (cf. 11184.33) on X. If P E X is a polytope at Hausdorff distance to X less than E > 0, then the gate map p :X 4 P is &-closeto identity. Apply Torunczyk’s Theorem.(4) 2393. (compare van Mill [1980]; van de Vel [1983d]). Let Y be a metric continuum with more than one point. Show that the pseudo-boundary of h(Y) is a convex (!) subset. Conclude that h(Y) is homeomorphic with the Hilbert cube Q. By the way: no homeomorphism between the compact median algebras h(Y) and Q can be median preserving. Remark. van Mill obtained his result before Torunczyk’s Hilbert cube characterization was available. Its proof is more complicated than the one outlined here. 2.40. Interior stability 2.40.1. It is an elementary fact that if C is a convex set in a finite-dimensional topological vector space, then Int (C) =Int(Ct(C)).Use this fact, together with the CPP to show that the relufive interior of a relative half-space of C is convex. 2.40.2. (compare Lemma II1$1.14) Give an example of a compact locally convex
S4 space X,in which the interior of each half-space is convex, and such that X is not inte-
rior stable.
4.
Full citation in 3.18 below.
S 2 : Extremality, Pseudo-boundary and Pseudo-interior
433
Notes on Section 2 The concepts of (synthetic) extremality and of functional betweenness have been introduced by Fan [1963], who derived the general Proposition 2.2 and its application to 3-extremality, Proposition 2.6. Fan considered betweenness with respect to segments. Generating functionals have been a popular approach to abstract convexity during the sixties. Except for Fan’s paper, it has also been employed in the prominent work of Bauer [1961], presenting a general approach to Choquet extremality. Proposition 2.9, on compact convex sets in locally convex vector spaces, is standard; the argument is taken from Phelps [1966]. Proposition 2.10 extends a classical result of Bauer [1961], who assumes addition stability of the generating functionals, and combines the result with information on the existence of a Shilov boundary (cf. 2.31). Stability of a set of functionals under addition is a standard assumption in generalized Choquet theory. As we already stated in 11184.22, it implies that the functionally generated convex structure can be embedded in a vector space. The approach to extremality via pseudo-boundaries, Theorem 2.16, is due to the author [1983d]. The examples in 2.13 are taken from this paper. The three viewpoints on extremality, developed in this section, have rather similar looks. Considerable efforts have been spent to find other approaches, aimed at giving a unified treatment. We mention the work of Fuchssteiner [1971], Lassak [1986], and Wieczorek [1989]. See, for instance, 2.30. These abstractions are essentially reducible to Fan’s synthetic approach. The original Bauer’s maximum principle is given in Bauer [1960]. The present version, Theorem 2.17, is new. It is possible to attach such a principle to each of the notions of extremality, developed in 2.4 and 2.8 as well. This requires somewhat technical conditions (usually called concavity or convexity) to the effect that a functional can be added to the generating set of functionals without altering Fan betweenness in finite sets or without altering a point’s representing measures. See, for instance, Davies [1967]. The concept of a set being in continuous position is taken from van de Vel [1983d], where Propositions 2.23 and 2.24 can be found. This paper further contains the Countable Intersection Theorems 2.27 and 2.28, together with the examples in 2.29.1 and 2.29.3. Example 2.29.2 is a remake of an example given by Klee [1956]. The Continuous Positions Property of convex hyperspaces, Proposition 2.25, is taken from van de Vel [1983g]. The concept of a Shilov boundary (cf. 2.31) appears in almost any treatment of abstract Choquet theory. The existence of such a boundary is usually obtained via Choquet extremality by assuming (among other things) stability of functionals under addition.
This page intentionally left blank
S3: Continuous Selection
435
3. Continuous Selection The main result of this section is that a lower semi-continuous (LSC)multifunction with convex closed value sets, mapping a topological space into a uniform S4 convex structure, admits a continuous selection under suitable additional conditions. The domain is at least a normal topological space. As to the range space, all polytopes are compact, all convex sets are connected, and the uniformity is metric. Application of this result to FrCchet vector spaces, to connected metric trees, and to spaces of arcs leads to some well-known selection theorems. In combination with results on convex hyperspaces or on spaces of arcs, it also leads to the approximation of USC convex valued functions by continuous single-valued functions and to a selection theorem in spaces of arcs. Other applications involve the topology and geometry of uniform convex structures. Applications concerning fixed points are postponed to Section 6. In this section, all spaces are assumed S1.
3.1. Simplicia1 complexes (cf. 151.19.5). We briefly recall some conventions, notation, and terminology. We let IS I be the realization of a simplicial complex S and IS I q its q-skeleton, that is, the union of all realised simplices of dimension 5 q. A family 6- of subsets of a set Xinduces a simplicial complex with vertex set 8; its simplices are the finite subsets of 8 with a non-empty intersection. The geometric realization 18 I of 8 is called the nerve of 8. A simplex { Ol,..,O,,} of 8 is on a subset A of X provided 0;n A # 0. The simplices onA constitute a subcomplex @ ( A )of 8. If P is a second family of subsets of X, then a refinement function a: P + 8 is a simplicial map satisfying P a(P) for each P E P. In these circumstances, P is called a refinement of 8,in symbols: P < 6.
nr==l
3.2. Theorem. Let X be a tcs with connected convex sets and with compact polytopes, and let C c X be non-empty and convex. (1)
(2)
i f X is closure stable and S4 and if 8 is a family of convex relatively open subsets of C covering C, then the polyhedron I 8(C) I is contractible. If each polytope of X is FS4 and if& is a family of convex relatively closed subsets of C covering C, then the polyhedron ) B(C) I is contractible.
Proof of (1). We first verify that the theorem holds for a finite convex open cover @ of a convex set C. Let s be the total number of simplices occurring in 8(C). If s = 1 we are done. We proceed by induction as follows. Each simplex of 8(C) extends to a maximal one. If only one maximal simplex occurs, then the result is evident. Suppose o1 and 0 2 are distinct maximal simplices. Then 01 n C and 02 n C are disjoint convex sets, whence by the Kakutani Separation Property there is a half-space H c X with no,nccH;
n02nccx~~.
Let C1 = Cl(C n H ) and Cz = CI(C 1 H). Then
436
Chap. IV: Miscellaneous
"
IWdl I W 2 ) l = 8 c . On the other hand, if a simplex Q is in S(CJ for I = 1, 2 then the non-empty connected set no meets C1, C2 and hence it meets C 1 n C z . This shows that 8(C1) n 8(C2)=
8(C1 nCz).
Note that nol is disjoint from C2 and that n o 2 is disjoint from C1 since nolr n o 2 are open sets. Consequently, the simplicia1 complexes B(C1), B(C2), 8(C1 n C 2 ) each have less than s simplices and by inductive assumption, the nerves are contractible. Hence(l) the nerve of
B(C) = WC1) u &(C2) is contractible. We next verify that the result holds for an arbitrary convex open cover 8 of a convex set C. Let K E lO(C)I be compact. Then(2) there is a compact polyhedron P c I 8 ( C )I including K . Let 8' be the set of vertices of P. For each simplex o of P we fix a point in n o nC. The convex hull of the selected points is a compact subset C Oof C and it is covered by a finite subcollection 8" of 8 . Let P = 8' u 8".Then K cP c WCo), and P(C0) has a contractible nerve by the first part of the proof. This shows that I 8 ( C )1 is weakly homotopy trivial and hence(3)that this polyhedron is contractible.
Proof of (2). The argument is rather similar to the previous one. Consider a finite cover B first. For each maximal simplex (T on C take a point in n o n C. This leads to a polytope in C on which B has the same nerve. Operating by induction on the number of maximal simplexes, the axiom F S 4 can be used to produce smaller complexes. The genw eral case is proved exactly as in the first part. We now proceed with a proof of a selection theorem. We first concentrate on multifunctions with a finite-dimensional domain.
33. Proposition. Let X be an S4 topological convex structure with compact polytopes and with connected convex sets, and let d be a compatible metric. If Y is a finite-dimensional paracompact space and if F : Y ++ X is an LSC multivalued function with convex and d -complete value sets, then F admits a continuous selection. Proof. By Theorem 11153.8, the uniformity of X has a base of convex open covers. Let D o be such a cover and consider the multifunction 1. 2. 3.
Borsuk [1967, p. 901 Spanier [1966, p. 1131 Spanier [1966, p. 405). Weak homotopy triviality refers to the fact that each mapping of a sphere into a space extends to the enclosed disk. In this context, the term has nothing to do with "weak topology".
437
S3: Continuous Selection
S o : Y - - I @ O l ? S o b ) = I@o(Fb))I* In words: Sob) is the realised complex of all simplices which are on F b ) . The greater part of our efforts are spent to a proof of the following result.
Lemma. There is a continuous selection s of So with the following properties. (i) (ii)
I f q = d i m ( Y ) , t h e n s ( Y ) L 18014. Each y E Yhns a neighborhood Wv such that s (W,)is relatively compact.
Let 8’0and 81 be uniform convex open covers of which the first one star refines 80 and the second one is associated to 8‘o as in 111s3.2. We consider a composed refinement map U
q:81 + &’o
P
+ 8,
where p is chosen such that star(O’,@’O)E p(0’) for all O’E 8‘0. The multifunction S1:Y - 181 1 is defined by Sl(y)= I S l ( F ( y ) ) I . Note that lal I maps S,(y) into S&). We first verify the following.
(1)
IfA E Y is non-empty and n,
A
S1( a ) # 0, then the restriction
of lar I is null homotopic.
Indeed, for each simplex ts of nu A S 1( a ) we select a point in nt~ nF ( a ) , and we C ( a ) denote the hull of these points. We also fix a point p E A for reference. The sets let C ( a ) , C (p) are 8’0-close, being the hull of 8 1-close sets. Hence y maps n, A S1( a ) into B‘o(C(p)). This complex is contractible by Theorem 3.2(1). So it suffices to show that p maps the last named complex into n, A So(a). To this end, let o E 8‘0 be a simplex on C ( p ) and fix a p i n t x E nts n C(p). For each a E A the set C ( a ) is B’o-close to C(p). Consequently, there is a point x, E C ( a ) such that Hence for each 0‘E ts we have x , x, occur together in some O’u E
p(0’) 2 star (O’, 0’0) 2 0’ u O’, ,
showing that x, E np(o) and that the image simplex is in nu A S,(a). Repeating the above constructions yields a sequence of uniform convex open covers and refinement functions al
aq
Oq
+ 8,-1
4
.. -3
80,
together with a sequence of multifunctions
Sj:Y* 18jl> S i b ) = I@j(F(y))I ( j = O , * . , q ) , with the following property:
(2)
IfA
of
Y is non-empty and ifn,
Iaj+lI is homotopy trivial.
A Sj+l ( a ) #
0 then the restriction
438
Chap. IV: Miscellaneous
As F is LSC, there is an open cover
F-’(Bq) = {F-’(O) I 0
E
Dq}
of Y,which admits a q-dimensional open refinement 14. For each simplex (T L 14 let A (0) = n (T. Note that A (0) is a non-empty subset of Y. For each V E V , there is a set ro(V) E B, such that V E F-’(ro(V)). By construction,
(3;O) If o E ZP is a simplex, then r o maps I(TI to the 0-skeleton of na A (a) Sq(a). We proceed by induction to construct mappings rj for j Sq as suggested in the diagram and such that (3;i) For each simplex o c 14, the function rj maps lolj into the j-skeleton of n a E A (a) &-j(a)*
For each j c q, the step from j to j + l is made as follows. Let p L V be a (j+l)-simplex. The restriction of rj, composed with aq-j,is null homotopic in the complex and hence within its (j+l)-~keleton(~).This homotopy determines rj+l on p, and fitting these pieces of maps together yields a mapping rj+l as suggested. Statement (3;j+l) is clear for simplices 0 of dimension S j+l. Suppose (T is of dimension > j + l . If p is a (j+l)-face of o we have A (p) 2 A (0), whence Hence I o l j + l is mapped into the (j +I)-skeleton of the last complex. This completes the construction of the diagram, producing a mapping r = rq. As Y is paracompact, there is a partition of unity(5) (gv)vE subordinate to V , These functions are used as the affine coordinates of a map g : Y + IVl. 4. 5.
This is the Cellular Approximation Theorem, cf. Spanier [1966, p. 4041. Engelking [1977, p. 3741.
439
s3: Continuous Selection
For each y E Y we fix a neighborhood Wy on which only finitely many mappings gv do not vanish. Then g has the following property. (4)
For each y E Y, the set g(W,) is included in a compact full subcomplex of IV built with the vertices V satisfying supp (gv) n W,,# 0.
I
The desired selection of SO is defined as the composition l o g . We check its properties. Let y E Y and let Q=
{VO,..,Vp}
be the smallest simplex of V with g ( y ) E Id I. Then p I q and yi E (3;q), we find that rgb) E
(aEn A(o)
&,I
V; = A (0).By
c Socv)g,
showing that rg is a selection of SOranging into the q-skeleton of I 801. By (4), we also conclude that s (W,) is relatively compact in 180 1, establishing the lemma. We now start constructing a selection from F . Let E > 0 and let 8 = { Oi 1 i E I} be a uniform convex open cover of X with sets of diameter < E. Consider a multifunction S : Y-(H
la I
as above and let s be a selection of S satisfying properties (1) and (2) of the Lemma. Then s can be decomposed into its affine coordinate functions si: Y + [0,1], which are all continuous. For each y E Y we put Oi, if sib) 2 l / q + l ;
i
‘ib) = X, otherwise. Consider a new multifunction defined as follows. G:Y+X,
G(y)=Cl(nC;(y)nF(y)). LEI
Note that G (y) is non-empty since s selects from S. In addition, the point s (y) is in a simplex of 8.4,so one of its coordinates satisfies s i b ) 2 l / q + l . This gives C i b ) = Oi;in particular G b ) E C l ( 0 i ) is of diameter < &. We verify that G is LSC at each pointy E Y. Let P E X be an open set meeting G (y), and consider a point x E ,nCi(y) n F ( y )n P . ICl
Each set Ci(y)(see (ii) of the lemma) is open and all but finitely many are equal to X. Hence there is a 6 > 0 such that
(5)
B (x, 6) = { x
I d (x,x’)
< 6) E n Ci(y)nP. kl
Consider a neighborhood W1 of y with the property
(6) Vy’ E W , : FV) nB (x, 6 ) # 0. The relatively cornpact sets (W,) is included in a finite subcomplex of 10 I .(@This means 6.
Spanier [1966, p. 1131.
440
Chap. IV: Miscellaneous
that all but finitely many si are identically zero on W y ,and consequently there is a neigh< l / q + l for all borhood W2 € Wy of y such that if i E I and sib)< l / q + l then y' E W z . This readily implies that
siv)
Vy' E W 2 , V i E I : Ci@) G Ci(y'). (7) If y' E W1 n W 2 , then by (6) there is a point x E F @') nB (x, 6). By (5) and (7), we find that x E G 01'). A proof that G is LSC is now complete. Repeat the previous procedure to obtain a sequence (F,,);=O of LSC multifunctions with convex closed values, such that
F o = F ; Fn(y) Fn-l@); diam Fn(y) < l / n As F ( y ) is complete, the set n,"=o F&) consists of one point f (y) only. The resulting function f : Y -+ X selects from F and is easily seen to be continuous. The following observation is of use in the proof of the general Selection Theorem.
3.4. Proposition. Let X be afamily of subsets of a space X, including all singletons. Assume that every LSC multifunction F : Y -W X with values in X admits a continuous selection. If A E Y is closed, then each partial selection f : A -+ X of F extends to a full selection of F. for y
Proof. This follows from the fact that the multifunction F', defined by F(y)= FCy) w A and F'@) = { f (y)} for y E A , is LSC.
3.5. Theorem (Selection Theorem). Let X be a topological S4 convex structure with compact polytopes, with connected convex sets, and with a compatible metric d. (1) (2)
if Y is a T4 space, then each LSC multifunction Y -0) X with compact convex values admits a continuous selection. If Y is a paracompact space, then each LSC multifinction Y - r X~ with convex and d -complete values admits a continuous selection. If X is separable and
Proof. Let E > 0 and let 6 > 0 be associated to
(as in 11183.8). Let F denote the given multivalued function. Take a locally finite open cover P refining the covering IBij/z of all 6/2-disks in X , and let V I F - ' ( P ) be an open cover of Y which will be specified later. Define a map
ro:
IV l o
E
+X
as follows. For each V E V select PV E P such that V c F - ' ( P v ) , and choose a point ro(V) E Pv.Next, define a multivalued function
R : 114 I + X , as follows. Let (J be the smallest simplex of V with u E R ( u ) = c o { r o ( V )I V E o } .
I 01 . Then
This multifunction is easily Seen to be LSC. If r,,: I V I n -+ X is a partial selection of R over I 14 I', and if (J is an (n +l)-simplex of I V I, then Proposition 3.3 and the observation
S3: Continuous Selection
441
in 3.4 lead to a partial selection of R over 101 extending r,,. This yields a continuous extension r,,+’ of r,, selecting from R over 12, In + ’ . Proceeding by induction, we finally obtain a continuous selection r : IV
I+X
of R. In each of the cases (l), (2), we now specify the open cover V . Case (1): X being separable, we may assume that 6‘is countable moreover. As F is compact-valued, it follows that F-’(P) is countable and point-finite. Hence(’) there exists a (countable) star-finite open refinement V of F-’(P). Case (2): As Y is paracompact, F-’ (P) admits a locally finite open refinement Zg . In both cases we infer that there exists a partition of unity (gv)vE21 subordinate to V . This yields a map g : Y + IV and we show that
1,
(*I
vy E Y : d ( r g ( y ) , F ( y ) )< E. Let (5 = { Vo,..,Vk } be the smallest simplex of V with g (y) E I (T I. Then gv,(y) > 0, so y E Vi. Now ro(Vi) was chosen to be a point of some Pi E P with Vi L F - ’ ( P ~ ) .Hence Pi meets F ( y ) for each i. As ff refines ~ 8 5 and , ~ as 6 is associated to E, we find that
r g b ) E c o { r ( V o ) , . . , r ( V k ) }E c o B ( F ( y M ) EB(FCV),E), establishing (*). Having shown that in each of the cases (a), (b), there is a “uniform approximation” of F by maps Y +X,we proceed as follows to obtain a selection. Let n E IN, let E > 0 be associated to 1/2n, and let g : Y + X be &-closeto F. For each y E Y, define C(Y) = CI (co F ( Y ) nB(~(Y),E)). Note that G (y) # 0 and that dium G (y) I1ln since
co B (gCv),e) E B (gb), 1/2n). Let 0 c X be an open set meeting G b)and take a point x E 0 nco(F(y)nB(g(y),&)).
By the third axiom of convexity there is a finite subcollection { x l , . . , x k } of the argument at the right, such that x E co{xl,..,xk}. The operator co being LSC on 3h(X),there is a 6 > 0 with c o { x \ , . . , x i } n 0 # afor each k-tuple of points x: E B(xi,6). By taking a smaller 6 if necessary, we may assume in addition that d(g(y),xi)+26 c E for all i. Consider a neighborhood Vof y such that for all y’ E V and for each i = 1, .&, (i) d (g cY?,xi) c d (g 0t)txi) + 6; (ii) F Q meets the set B(xi,6). If y’ E V then take xi E F(y? nB (xi,6) for each i = 1,..,k. We find that 7.
Engelking [1977, p.3941
442
Chap. IV: Miscellaneous
d (g (f),~;) Id (g @'),xi)
+ d ( x ~ J : ) < d (g ( y ) , ~ i )+ 26 < E
This yields
{xi,..,xi}EF011nB(gCv?,&); co{x;,..,x~E } G(y').
A s x : E B(xi,6) for each i, we find that 0 meets C O { X ; , . . , X ~ } . Consequently, G O meets 0 for each y' E V. By inductive application of this procedure, we arrive at a sequence (F,& of LSC multifunctions Y -c+X with F o = F and such that Fn+,(y) is a closed subset of F&) of diameter < l / n for each n > 0 and y E Y. There is only one point f (y) in the set n + ; F,(y), and the resulting function f : Y +Xis clearly a continuous selection of F.
3.6. Frkchet vector spaces. We showed in Proposition 11193.10.1 that a locally convex vector space which is (topologically) metrizable admits a compatible metric. The Kakutani Separation Property (Proposition 134.14.1) and the (evident) fact that polytopes are compact and convex sets are connected lead us to the following application.
3.7. Theorem (Michael's Selection Theorem). Let V be a Fre'chet vector space, let Y be a paracompact space, and let F : Y -c+ V be a LSC multifunction with convex closed values. Then F has a continuous selection. w 3.8. Trees. It is shown in Proposition 11193.10.3 that a connected, locally connected and (topologically) rnetrizable tree admits a compatible metric. On the other hand, Proposition 2.13.1 guarantees that all polytopes of such a tree are compact and that its convex sets are connected. Finally, a tree is a semilattice and hence it is S4. In conclusion, 3.9. Theorem (Nad/er's Selection Theorem). Let T be a connected and locally connected, metrizable tree. Then there is a continuous function f :Tcmp(T) + T such that w f ( C ) E C for all C E 3comp(T). 3.10. Convex hyperspaces. Let X be a uniform S4 convex structure. By Proposition 111$3.10.4, the Hausdorff uniformity of 3Ccmp(x> is compatible with the Vietoris convexity. In addition, if the original uniformity on X is derived from a metric, then the Hausdorff uniformity is derived from the corresponding Hausdorff metric. This metric is complete on the hyperspace of cornpacta, 3cmp(X), provided the original metric is, which implies that the Hausdorff metric is complete on the closed subspace 3Ccomp(X,C). The Kakutani Separation Property S4 appears from Corollary 193.13. If X has connected convex sets and if the convex closure of the union of two compact convex sets is compact, then convex sets are connected and polytopes are compact in TCcOmp(X) as one can easily prove. These data are needed to obtain a theorem on approximation of USC rnultifunctions by single-valued ones. If X, Y are metric spaces, then a USC closed-valued function
443
S3: Continuous selection
Y -c+X has a closed graph in Y x X , and it makes sense to consider the Hausdorff distance between such functions (Y x X with Cartesian metric). Aside of the previously discussed results, we need two more facts. The first is a special application of selection to convex hyperspaces. Recall that an enlargement of a multifunction is one with larger value sets. 3.11. Lemma. Let X be a complete, metric, S4 convex structure with compact polytopes and with connected convex sets, and let F : Y + X be a USC function with compact convex values. Then for each E > 0 there is a continuous enlargement of F with compact convex value sets, and which is E-close to F.
Proof. Let C denote the convexity of X and let d be a complete compatible metric. As we noted above, the corresponding Hausdorff metric is complete on Xcm,(X, e). Consider the following multifunction.
3w=w
~ecmpw,w.
~:Y+~C,,,,,~(X,C), IFWLCE Clearly, the collection 3Cy) is convex closed. To see that 3 is LSC at y basic open set
E
Y, consider a
C E
Then C E u?=~ Oiand by Theorem 11193.8, there is a convex open set 0 G X with
F b ) r C G O G O c: ,
1=1
oi.
As 3 is USC, there is a neighborhood W of y such that F 01’)c 0 whenever y’ x i € C n O ; f o r i = l , . . , n a n d l e t y ’ E W . Theset
E
W. Let
C ’ = C I c o ( F C y ~ u{ x l , . . , x n } ) is compact by Theorem 11153.9. As 0 is convex, we find that C’ E 6,whence CIE
3O’)n <01,..,0,>.
Note that a continuous selection of 3 is just a continuous enlargement of F with compact convex value sets. To complete the proof of the lemma, we restrict the “choice margins” of 3 in such a way that any continuous selection of the shrunken map is as required. To this end, let 6 > 0 be such that &close subsets of X have d2-close hulls. For each y E Y pick a neighborhood U,, with the following properties. (1)
diam U,,c
E.
Vy’ E Uy:F Cy’) E B (F (,v),6). (2) Choose a locally finite open refinement V of { Uy I y E Y} and a closed shrinking@) B = {DvI V E V } of V , that is: D v is a closed set included in V for all V E 21. Each y E Y has a neighborhood of type W C v > = n { V I Y E V E 9J }IU{Dv I Y d b ) . (3) Consider the set Finally, for each V E 9J we fix a point y ( V ) with V UyCq. 8.
Dugundji 11966. V11.6.11.
444
Chap. IV: Miscellaneous
{
B(FO,(V)),6), i f Y E Dv; (4) cvb’)= X , otherwise. By (3), we find that CvCy) CvCy’) for y’ E WCy). This readily implies lower semicontinuity of the multifunction b :Y ++ Xcmp(X, C ) , defined by the prescription
4
b 01)= nvG gl
(convex hull taken in the convex hyperspace). The set bCy) is evidently closed and convex. By virtue of (2), it contains the “element” FCy). Extract a continuous selection G from 21. We verify that if x E G (y), then (y,x) is &-close to some point of the graph of F. Let V E 21 be such that y E Dv, and consider the corresponding point y(V) with V c U,,cq. Then dCy,y(V)) c E by (l), whereas by (4) and the definition of bCy), G Cy) L C f co Cvb) = Cl co B (FO, (V)), 6) L Cl B ( F ( y (V)), ~ / 2 ) L B (F 01(V), El. Hence, x is &-close to some point of F ( y ( V ) ) , establishing the result.
H
We now present the second step of the approximation procedure.
3.12. Lemma. Let X be a metric S4 convex structure with connected convex sets and with compact polytopes, and let Y be a metric space without isolated points. If G : Y -3j X is continuous and has compact convex values, then for each E > 0 there is a continuous (single-valued) selection of G,the graph of which is €-close to G. U
E
Proof. Let U be a locally finite open cover of X with sets of diameter < E. For each U let V(U)={y I G(y)nU#0}.
This set is open since G is LSC. For each y E Y there is an open set 0 L X such that G (y) c 0 and 0 meets only finitely many U E U.As G is USC, there is a neighborhood W ( y ) of y such that G(y’) E 0 whenever y’ E W o ) . In particular, W ( y ) meets only finitely many of the sets V ( U ) , U E U, showing that this cover of Y is locally finite. For each U E U we take a closed discrete set S(U)E V(U) which is &-close to V ( U ) . As Y has no isolated points and as the open sets V(U) constitute a locally finite collection, care can be taken that S(U)n S(U‘)= 0 for U # U‘. The set A = ug u S ( U ) yields a closed and discrete subspace of Y, and a continuous partial selection g:A+X
of G is obtained as follows. For a E A, say: a E S ( U ) , choose g ( a ) E G ( a ) n U. Any extension of g to a full continuous selection of G is &-close to the graph of G. We finally arrive at the following generalization of Beer’s Approximation Theorem.
53: C o n t i n u o u s S e l e c t i o n
445
3.13. Theorem. Let X be a metric S4 convex structure with connected convex sets and with compact polytopes. Let Y be a metric space without isolated points, and let F : Y +X be a USC, compact convex-valued function. Then for each E > 0 there is a map Y + X the graph of which is E-close to F.
Proof. According to 11153.14, X extends to a complete metric convex structure X*. The discussion in 3.10 shows that the completion inherits all properties ofXcurrently considered. Moreover, Xis a dense convex subspace of X*.Enlarge F to a continuous multiwhich is &/3-close to F (Lemma 3.11). Next, select a map function G : Y+X* g : Y +X from G having its graph at a distance less than ~ / away 3 from G (Lemma 3.12). Finally, a simple application of the Selection Theorem yields a map f : Y +X G X* which is &/3-close to g (even in the sup-metric). The mapping f is the desired approximaw tion to F . We next concentrate on continuous selection in spaces of arcs. As before, we begin with collecting the prerequisites.
3.14. Spaces of arcs. Let S be a connected Lawson join semilattice. Eking a compact space, S has a largest element 1 and it has minimal elements, but there is not necessarily a smallest one. The space of all arcs (totally ordered subcontinua) of S is denoted by T(S); its subspace of all maximal arcs by A@). The first space is compact. If S has a smallest element 0, then A(S) consists precisely of all arcs joining 0 with 1. The resulting space is compact and S4, and it has connected convex sets (cf. Topic 11153.32). A uniform convex system on T(S) has been constructed in 11193.20. Its subspace A(S) is a genuine convex structure provided S has a lower bound. Theorem 11153.24 states that T(S) extends to a uniform convex structure of type A ( T ) (where T is a bounded and connected Lawson join semilattice) in such a way that convex sets of r(S) are also convex in A(T). Its uniformity is metric provided the topology of the original semilattice S is metric. The following is a generalization of the Curtis Selection Theorem. 3.15. Theorem. Let S be a connected Lawson semilattice with a continuous interval operator. Then each LSC multifunction of a paracompact space into T(S) admits a w continuous selection provided its value sets are convex and closed. For the remainder of this section, we will consider some applications of continuous selections to the structure of the underlying space. For applications to (semi)lattices we refer to the Topics Section. If U is a cover of a set X , then two functions f , g : Y -+X are U-dose provided for each y E Y there is a U E U with f (y), g ( y ) E U .
3.16. Theorem. Let X be a metrizable S4 convex structure with compact polytopes and with connected convex sets, let D be a dense convex subset of X , and let U be an open cover of X Then there is a mapping f:X -+D which is U-close to identiv and such that f maps each compact set into a polytope.
446
Chap. IV: Miscellaneous
Proof. Let 19 be a convex open cover refining U , and let W be a locally finite open cover which is a star refinement of V. For each set W E W we select a point x E W nD . This yields a polytope-valued function F : X ++ X, defined by the prescription P ( x ) = co{xw I x E W } . It is easily verified that F is LSC and that F maps each compact set into a polytope included in D. Take a continuous selection fof F. Then f ( x ) F~ ( x ) ~ c {star({xw o I x E w),W) and the last set is included in some member of V . Clearly, f i s as desired. We recall that a metric space X is an absolute reffacf provided X is a retract of each metric space in which it is embedded as a closed subspace. Equivalently(9) X i s an absolute extensor, that is, for each metric space Y, for each closed subspace A Y, and for each mapping f:A +X there is a continuous extension of fover Y.
3.17. Theorem. Let X be a metrizable S4 convex structure with compact polytopes and with connected convex sets. Then each non-empty convex set in X is an absolute retract. Proof. Observe that the assumptions on X are inherited by a convex subspace of X. We just show that X is an absolute extensor. Let A be a closed subset of a metric space Y and let g : A +X be a mapping. Let p(y,A) denote the distance of y to A . The covering L3 = {BCy,P(YA)/2) I Y E Y l A 1 of Y \ A admits a locally finite open refinement U. For each U E aU E A such that
U take pu E U and
P(PUIW) < 2 * P @ U , A ) .
Fig. 1: Extending g Consider a multifunction F : Y ++Xdefined as follows. {gb)), i f y E A ; c o { a u I Y E U E U},otherwise. If y 9.
Fb)=i
E
YIA, then V = n{ U I y Hanner [1952].
E
U E U } is a neighborhood of y and F(y’) 2 F (y) for
447
S3: Continuous S e l e c t i o n
each y' E V. Consequently, F is LSC. To see that F is LSC (in fact, continuous) at a E A, consider a convex neighborhood N of g ( y ) in X and let 6 > 0 be such that the BA(a,96)is included in g-'(N) (the subscript A refers to the metric subspace A). We verify that FCy) E N for each y E D(a,6). For y E A this is evident. Let y E YIA. As U cB(yoo,p(y0,A)/2)for some point y o , we can see that 6 > p(y,A) > p(yo,A)/2. Therefore, p@u,au) < ~ . P @ u , A5) ~ - ( P @ u , Y o+) INYo,A))< 2.(6 + 26) = 66. On the other hand,
p @ u , a ) l p ( p u , ~ ) + p ( y , a< ) 26+6=36. We conclude that aU E BA(a,96) c g-'(N) for each U E U with y E U,and FCy) N follows directly. By Theorem 3.5, F has a continuous selection, which necessarily extends the mapping g over Y.
3.18. Theorem. Let X be a (locally) compact metrizable S4 convex structure with connected convex sets and with compact polytopes. If every pair of polytopes of X can be approximated by a pair of disjoint polytopes -- in particular, if there is a pair of disjoint, dense, and convex subsets in X -- then X i s a Hilbert cube (manifold). Proof. Throughout, Q denotes the Hilbert cube. We rely on the following result.(lO)
Torunczyk Theorem. Let X be a locally compact AR, such that each pair of mappings f,g:Q+x can be approximated with mappings hawing disjoint images. Then X is a Hilbert cube manifold, and even a Hilbert cube ifX is compact. The space X is an A R by Theorem 3.17. Let 8 be a convex open cover of X , and consider a barycentric refinement V of some star refinement of 8. Furthermore, let W be a finite open cover of Q refining both f ' ( V ) and g-'(V). Choose a point WE W for each W E W and consider the following polytopes.
P c f ) = c o { f ( t w )I W E W l ;
P ( g )= co{g(tw) I w E W l . By assumption, we obtain a pair of disjoint polytopes P'cf), P'(g) which are V-close to P c f ) , P ( g ) , respectively. For each W E W we take two points as follows: yw E Pcf)is , zWE P'(g) is Wclose to g(tw). This leads to the following LSC V-close to f ( t ~ )and polytope-valued multifunctions.
F : Q - c w X : F ( t ) = c ~ { y wI C G:Q+X:G(t)=co{zw
E
W};
I t E W}.
Take two continuous selections f' and g' of F and G, respectively. If t 10.
Torunczyk [1980, p.361.
E
Q then each
448
Chap. IV: Miscellaneous
point yw with t E W is in the set star( star (f (t),V)V ), which in turn is included in some 0 E 0 . As 0 is convex, we find that F ( t ) c 0 and, consequently, that f ( t ) and f'(t) are &-close. Similarly, g ( t ) is &-close to g'(t). The images off', g' are evidently disjoint.
3.19. Examples 3.19.1. Standard compact convex sets. The simplest case where the previous result applies is the following. Let C be a compact infinite-dimensional convex set of a topological vector space. It is clear that every pair of polytopes in C can be approximated with a pair of disjoint polytopes. Hence, if C is metrizable and locally convex, then C is homeomorphic to the Hilbert cube. This result is known as Keler's Theorem. of a non-trivial metric 3.19.2. Superextensions. Consider the superextension continuum X. This topological convex structure is compact by construction, connected, and (topologically) rnetrizable (cf. 11184.32). Its convex sets are connected (cf. II1$1.29.5), and here is a method to produce two disjoint dense convex subsets. Elernentary topological considerations yield two disjoint dense subsets A 1, A 2 of the original space X. Then the desired convex sets are Ci = u {F'
I F c A i , F finite}
( i = 1, 2).
The fact that L(x> is homeomorphic to the Hilbert cube is van Mil's Theorem.
3.193. Proposition. Let S be an arc-wise connected metric Lawson semilattice with a top element. If S is not reduced to an arc, then h ( S ) is homeomorphic to the Hilbert cube. Proof. If S is not an arc, then there is a point of S each neighborhood of which has incomparable elements. There clearly is a largest point x o with this property. Note that each arc joining the bottom element 0 with the top element 1 passes through X O , and that the upper set ?(xo) is a (possibly degenerate) arc KO. See Fig. 2.
Fig. 2: Arc modification in A@)
S3: Continuous Selection
449
Let 6 > 0 and take p > 0 such that p-close pairs of points have &close infima. Consider two incomparable points a, b in some order-convex neighborhood N of x o of diameter c 6. Let ~ , qbe,two arcs joining x g with a, b, respectively. Being included in N,these arcs have diameter < 6. If y is an arc joining 0 to 1,then define
u G u 16. This yields a new arc joining 0 to 1. As a and x o are p-close, the sets a A y and x o A ? are &close. Note that the second arc is the part of y from 0 up to x o . Furthermore, y and yo share the arc 16. As diam q < 6, we conclude that y and ya are &close. In a similar way, we can modify y into an arc Ya = ( a AY)
Yb=(bAy)uKb
u16
joining 0, 1,and which is &close to y. This is used to approximate two polytopes
P = co{a1,..,an1; Q = CO{PI,..,P,,, 1 in A(S) with disjoint polytopes as follows. Let E > 0 and let 6 > 0 be such that &lose sets in h ( S ) have &-closehulls. The above procedure yields two polytopes of type
P o = c ~ { c z ~ , . . , c x ~Q} ;b = c o { P f , . . , ~ ~ } , which are &-close to the respective originals. Each member of the first polytope is an arc through a, whereas each member of the second polytope passes through b. Therefore, the approximating polytopes are disjoint.
Further topics 3.20. Usc functions in Lawson semilattices (van de Vel [1993]). According to a result of Lawson [1973b, Cor. 161, a semilattice admits at most one compatible, compact Hausdorff topology. For a continuous join semilattice S, this topology is generated by the open sets of type (1)
A ( x ) = { y I y > > x ) , x E S;
(2) Slr.(x)={y I y 4 x 1 , X E S , where >> is the way-above relation of S (this corresponds to the way-below relation for meet semilattices). If Y is a space and if S is a continuous semilattice, then a function Y +S is /SC (resp. USC) provided it inverts the sets of type (1) (resp., (2)) into open sets of Y. It is easily verified that f : Y + S is Isc (usc) iff its lower graph (upper graph)
{OlJ) I s SfOl)) (resp. {OJ)I IfCv))) is closed. Throughout, S is an arc-wise connected metrizable Lawson join semilattice, the intervals of which depend continuously on their end points. We consider the space [ Y J ] of usc functions of a locally compact space Y into S. This is known to be a continuous
450
Chap. IV: Miscellaneous
semilattice with the following way-above relation. Let fo, f l E [Y,S]. Then fo < f l iff there exist open sets Ui,Vi c Y such that c & and uF=lUi = Y, together with points si < ti of S,such that for all i, Y E F*ffo(y)lsi; Y E u;*ti
3.20.1. Let Y be a locally compact space and let fo, f l : Y + S be usc functions such that fo < fl. Show that there exists a continuous function f : Y + S with fo < f < f l . Hint. With the above notation, consider a multifunction F : Y ++S, defined by ~ ( y ) = [inf {si l
y U~i } , inf {ti l y e
Vi}]
3.20.2. Show that each usc function Y + S is the infimum of a down-directed family of continuous functions Y + S. 3.203. In addition, let Y be separable and metrizable. Conclude that each usc function Y + S is the infimum of an decreasing sequence of continuous functions Y + S. Hint ([1980, p. 1721). The topological weight of the space [Y,S]is the maximum of weight(Y) and weight@). 3.21. Extension in lattices (van de Vel [1993]). Let L be a compact, connected, metrizable topological lattice with small meet-semilattices, let Y be a T4 space, and let fo, f l : Y +L be such that fo is usc, f l is Isc, and fo If l . Let A cL be closed and let f ’ : A + L be a continuous function such that f o IA < f ‘ < f lIA Prove that there is a continuous function f : Y +L extending f’,and such that fo If 2 f l . Hint. L can be seen as a continuous (join-) semilattice. Hence, its topology must be the “intrinsic” one. This topology also makes the meet-operation continuous. Note that ifA Y is closed, then the function f : Y + [0,1], defined by f (y) = 0 for y E A and f (y) = 1 for y c$ A , is usc and the function 1-f is USC. With these examples in mind, the previous result can be seen to include the classical theorems of Urysohn and Tietze in topology. 3.22. Extending functions that are close. Let X be a metrizable S4 convex structure with connected convex sets and with compact polytopes. Let Y be a paracompact space. Show that for each open cover U of X there is an open refinement V with the following property. If A Y is closed, i f f , g is a pair of V -close continuous functions on A and iff’ is a continuous extension of fover Y, then g has a continuous extension g‘ over Y such that f’ and g’ are U-close. 3.23. Another selection theorem. Let X be a metrizable S4 convex structure with connected convex sets and with compact polytopes. Let Y be a paracompact space and let F : Y -o+X be a multifunction such that the set F - ’ ( x ) Y is open for each x E X . Show that the multifunction y H coF(y) has a continuous selection (this result is sometimes called the Browder Selecfion Theorem).
451
s3: Continuous Selection
Hint. Consider a locally finite open cover U refining the cover of sets F-’(x), E U assign a point x E X such that U c F-’(x). Use this prescription to define a suitable convex closed-valued and LSC multifunction of Y into X.
x E X. To each U
3.24. Compressibility (Wieczorek [1991]). Let X be a tcs and let Y be a topological space. Then Y is compressible in X provided for each indexed open cover { 0 1,..,O, } of Y and for each n -tuple (x 1,..,x,) of points in X there is a mapping f i Y +Xsuch that
f b ) co{xi ~ IY
E
Oil.
3.24.1. Let X be an S4 tcs with connected convex sets and with compact polytopes, such that the convex closure operator is continuous on each subspace which is a polytope. Verify that each normal space is compressible into X. 3.24.2. Rederive the Browder Selection Theorem (cf. Topic 3.23) with the following changes: Xis a tcs and Y is a compact space compressible in X . 3.25. Possible sharpenings the selection theorem. First, we remind the reader of some problems concerning uniform convex structures, proposed in Topic IlIs3.33. Solution of some of these may be of help to reformulate the selection theorem in more convenient terms. Next, note that the axiom S4 is involved in the selection theorem only with reference to Theorem 3.2 on contractible covers. Is it possible to remove the Kakutani separation property from the hypotheses? In a different direction, one may ask if the result still valid provided uniform continuity of the hull operator is weakened to continuity on the hyperspace of all compact resp., of all finite sets. In proving a selection theorem for certain parameterized convexities, both Bielawski [1987] and Pasicki [1987] use some sort of “pre-hull” operator, which is required to be uniformly continous. In the present setting, the following may be the appropriate counterpart. By a pre-hull operator of a convex structure Xis meant a set operator p : p + p such that (i) A c p ( A ) ; (ii) A B implies p ( A ) c p ( B ) ; and (iii) a set C E X is convex iff p ( F ) G C for each finite set F E C. Compare with Wieczorek’s [1989] “spot functions”. Note that co ( A ) = uy=p=1 p ” ( A ) for each A E X provided p is a pre-hull operator. For instance, if the convexity of Xis obtained from an interval operator I , then the prescription p ( A ) = u { Z ( u , v ) 1 u, V E A } determines a pre-hull operator. Can the selection theorem be proved under the modified assumption that some pre-hull operator is uniformly continuous? The result is unlikely to hold without further assumptions since the interval operator of any topological vector space yields a uniformly continuous pre-hull operator with respect to the canonical translation-invariant uniformity.
452
Chap. IV: Miscellaneous
3.26. Convex systems. Problem. Let X be a metrizable S4 convex system with connected convex sets and with compact polytopes, and let F: Y -c+X be an LSC multifunction with convex closed value sets, defined on a paracompact space Y. Does F admit a continuous selection? The answer is affirmative if the answer to the last problem in 11183.33 is. Does the Selection Theorem hold if, in addition, each point of the convex system X has a convex neighborhood (a “local convex system”)?
Notes on Section 3 Continuous selection in “abstract” convex structures has first been considered by Michael in [1959]. His result involves a rather different concept of convexity, based on the ability to take convex combinations of points. Modifications of the Michael axioms have been studied more recently by Curtis [1985], Pasicki [1987], and Bielawski [1987]. A somewhat different approach involving a concept of compressibility has been taken by Wieczorek [1987] (cf. Topic 3.24). The Selection Theorem in 3.5 was obtained by the author in [1993] (first manuscript dated 1980). The subsequent corollaries refer to a selection theorem of Michael [1956] in FrCchet spaces (cf. 3.7), one of Nadler [1978] in trees (cf. 3.9), and a result of Beer [1983] on approximation of USC multifunctions (cf. 3.13). The (dis)similarities of convexity with Michael’s notion of [1959] have been discussed in our paper [1993]. Aside of the fact that convex combinations are used by Michael as the primary concept, the resulting structure is some sort of “convex system” in the sense that not every set has a convex hull. Although we spent some efforts trying to obtain a counterpart in the present theory, we only managed to produce such a result on spaces of arcs, leading to Curtis’ [1985] result, Theorem 3.15. See the problem description in Topic 3.26. Theorem 3.16 should be compared with Nee’s concepts of admissible vector spaces and approachable mappings, Kiee [1960, p. 2931. Theorem 3.18 and Proposition 3.19.3 on Hilbert cube manifolds, as well as the topics 3.20 and 3.21 on approximation in (semi) lattices, are all taken from the author’s paper [1993]. Approximation of usc functions into the (extended) real line has been considered by Gierz et a1 [1980] and by Tong [1952]. Constructing functions in between an Isc and a usc real function has been considered by Tong op. cit. and by Dowker [1951]. The quoted results on IR are at the roots of continuous selection theory. See the introductory section of Michael [1956].
S4:
Dimension Theory
453
4. Dimension Theory A topological convex structure (tcs) is subject to a theory of topological dimension, applied to its underlying topological space. In this section, we describe a “convexity” model of dimension, called the convex (small inductive) dimension, cind.(’) For a tcs X with connected convex sets, compact polytopes, and with at least the separation property FS3, cind appears to be well-behaved. For instance, cind(X) I n iff cind (H)I n -1 for all hyperplanes of X,and cind(X) 2 n iff there is a surjective CP mapping of X to the standard median n -cube. This leads to a “Countable Sum Theorem” for cind,and to the fact that cind is determined by the dimension of the polytopes. For separable metrizable spaces, or for compact (not necessarily metrizable) spaces all topological dimension functions coincide with cind. In contrast, there is a zero-dimensional topological space with a natural infinite dimensional convexity. In this section, all spacesme assumed S,.
-+
Throughout, the term number refers to a member of the set {-l,O,l,..,-}. agreed that 1 = -.
It is
4.1. Convex closed screening. We recall that a convex dosed screening of two sets A , B is a pair ( C , D ) of convex closed sets such that A E C 1 D , B c D 1 C, and C u D = X. If the phrase “of A, B” is omitted, we mean that (C,D) screens at least some pair of singletons. A set C c X is a separator of two non-empty sets A, B E X provided there exist disjoint open sets 0 2 A and P a B such that XI C = 0 u P. Note that a separator is closed.
4.2. Convex dimension. The convex (small inductive) dimension of a topological convex structure X is the number cind(X) satisfying the following rules. (CIND-1) cind(X) = -1 iff X = 0. (CIND-2) cind(X) 5 n + 1 (where n < -) iff each pair, consisting of a convex closed set C and a pointp E XI C, has a convex closed screening (A,@ such that cind(A nB ) 5 n.
Observe that (in the terminology of Topic 11154.28) a space of finite convex dimension at least has the separation property CCS3, and that cind can’t see the difference between the original and the weak topology of X . Clearly, 4.2.1. cind(C)5 cind(x)for each convex subset C ofa tcsX
w
Since convex subsets of a product with finitely many factors are products of convex sets, Proposition 151.10.2, the following is evident. 1.
Other convex models are described in the topics section.
454
Chap. IV: Miscellaneous
4.2.2. Additive Law of cind: If X and Y a r e tcs’s, then
cind (X x Y)= cind ( X ) + cind (Y).
We begin with comparing cind to the small inductive dimension function of the underlying topological space.
43. Proposition. Let X be a metrizable. Then ind(X,) 5 cind(X).
tcs
of which the weak topology is separable and
Proof. We may assume that cind(X) < M and that X carries a weak topology. The n, where n < -, and let the proposition result is valid if cind(X) = -1. Assume cind(X) I be valid if cind < n. Consider a closed set A cX and a point p 4 A. As we are dealing with a weak topology of X , there exist convex closed sets C1,..,Cmsuch that A UY=~ Ci and p 4 uy=lCi. For each i = l,..,m there is a convex closed screening Di,Ei of p , Ci such that cind(Di nEi) 5 n -1. Then D = nY=lDi is a closed neighborhood of p disjoint fromA and rn
Bd(D) G ,u(Di nEi). 1 =1
The induction hypothesis yields that ind(Di n E i ) 5 n-1. Since we are dealing with a separable metric space, the “Sum Theorem” holds for ind.(2) This yields m
ind(Bd(D))5 ind( ,u(Din E i ) ) 5 n-1. I
=1
Therefore, ind(X) I n. 4.4. Example. There exists an infinite-dimensional closure stable @dimensional separable metric weak topology.
FS3
space with a
Proof. First, let X be the square of the irrationals, regarded as a subspace of the standard plane. The fact that for each a, b E X the relative segment ab is dense in the plane segment ab yields that (1) CZp (C) is a planar convex set for each relatively convex set C G X . (2) Xis FS3 and closure stable. Consider the relatively convex closed set
A = {(x,Y) I x I Y 1n X with the point p = (7c,7c/2) E XIA. Let C1, C2 be relatively convex closed sets of X screening A, p . The plane closure Di of Ci is convex by (1) and Di nX = Ci. In particular, D and D are a screening of CI(A) and p in the plane. As D and D are closed half-spaces of the plane, there exist minimal closed half-spaces Ei c D; covering IR2. Then E nE2 is a line parallel to the diagonal, whence 2.
Engelking [1977, Chapter 71, or van Mill [1988, Thm. 4.3.71.
S4:
Dimension Theory
455
O # E l n E 2 n X c D l n D 2 = C 1n C 2 . It follows that cind ( X ) = 1. Let Y be the product of countably many copies of X. Then Y is a O-dimensional separable metric space (in fact, it is homeomorphic to the irrational line), Y is FS3 by (2) and 11154.9.4, and Y is closure stable by (2) and Theorem 111~1.10. Finally, the product topology of Y is a weak topology (cf. 11181.17.3). The Additive Law of cind yields that Y has convex sets of arbitrary high cind, and it follows that cind(Y)= 00. 4.5. Lemma. Let X be a tcs.
(1) (2)
If(C 1.C2) be a screening pair of convex closed sets, then there is a minimal convex closed screening pair (D 1,D2) with Di E Ci for i = 1, 2. Let X be closure stable, FS3, and let all convex sets be connected. If (C 1,C2) is a minimal convex closed screening pair and ifC = C1 nC2, then for each dense convex set B X the set B nC is dense in C.
=
Proof. The first part is a simple application of Zorn's Lemma. As to (2), suppose p E C I Cl(B nC). By FS3, there is an open half-space H G X with p E H and H nB n C = 0. If H meets both the open sets XI C1 and XI C2, then there exist points bi E B nH 1 Ci(i = 1, 2). As convex sets are connected, there is a point b E b 1 b2 n C. But then bE b l b z n C c H n B n C , a contradiction. So assume H E C 2 . We obtain a convex closed set C'1 = C1 I H with p E C1 1 C'l and C', u C2 = X . This contradicts the minimality of the given screening w pair. 4.6. Proposition. Let X be a non-empty, closure stable, and FS3 space with connected convex sets. If H L X is a halfspace, then
cind (i1 H ) 5 cind ( X ) - 1.
Proof. We may assume that cind ( X ) c 0.The implication cind(X)
+ cind(C\H)Sn
is valid for n = -1. Suppose it is valid for m c n, where n 10. If cind (X) I n +1 then by 4.2.1, cind(G) I n + l . Let C c H \H be a relatively convex closed set and let p E H 1 (H u C). Then there is a convex closed screening A , B of 5 and p in fi such that cind(A nB ) I n. By Lemma 4.5,we may assume that (A,B) a minimal screening pair, and by part (2) of this lemma, we conclude that H n A nB is a dense subset of A nB. In particular,
( f i l H ) n A n B = ( A n B ) \ H = C l ( H n An B ) \ ( H n A n B ) . As H n A nB is a relative half-space of A nB, the induction hypothesis yields that cind( (HIH ) n A nB ) In-1. This shows that each relatively convex closed set C of 61H and each point p q! C of HIH can be screened with relatively convex closed sets
456
Chap. IV: Miscellaneous
meeting in a set of dimension In -1. Therefore, c i n d ( i 1 H ) 5 n . A set of type the tcs X.
\ H , with H
5; X
an open half-space, will be called a hyperplane of
4.7. Corollary. In a closure stable FS3 space X with connected convex sets the following statements are equivalent for each number n. (1) (2)
cind(X) I n + 1; cind(H) In for each hyperplane H of X .
Proof. The implication (1) 3 (2) is given by the previous result. Conversely, sup pose each hyperplane of X is at most n-dimensional. By FS3, a convex closed set C and a
point p 4 C can be separated with a continuous functional f: X -+ R,say: f (C) (-, 01 and f (p) > 0. Let H =TI(-, f (p)/2). Then CI(H) and CI(X\ H ) yield a convex closed screening of C andp. The intersection of the screening sets is equal to the boundary of H, and hence it is of dimension In. H A direct application of this result is, that cind(lR") = n with respect to any pointconvex, symmetric H-convexity on IR".
4.8. Corollary. In a closure stable FS3 space with connected convex sets, a convex set and its closure have the same convex dimension.
Proof. Let X be a s announced and let C E X be convex. Without loss of generality, C is dense. We have cind(C) Icind(X). The implication cind(C) I n a cind(X) In is valid if n = -1. Suppose it is valid for m < n, where n 2 0. Let cind(C) In and consider a convex closed set D c X , together with a point p E X \ D. By FS3, there is an open half-space 0 with D G 0 and p # 6. Consider a minimal convex closed screening D1, D z of D, p with D1 L 0, D 2 XI 0. In particular, D nD 2 G B d ( 0 ) . As C is dense, topological considerations yield that 6 n C = Clc(O n C). Hence, B d ( 0 ) n C is the relative boundary of 0 n C in C. By Proposition 4.6,
cind(D nD 2 n C ) Icind(Bd(0) n C ) In-I. As C is dense and convex, we infer from 4.5 that D n 0 2 n C is a dense subset of
D 1 nD 2 . By induction,
cind(D1 n D 2 n C ) = c i n d ( D 1n D 2 ) . It follows that cind(X) In.
H
The following is an application involving some special properties of interval operators (cf. 157).
4.9. Corollary. Let X be a closure stable FS3 space with connected convex sets. If X has the Ramification Property, then each segment is I-dimensional.
S4:
457
Dimension Theory
Proof. Let a, b E X . As the segment operator of an S3 space is geornehic, we obtain a partial order Ibby the prescription u
Ib V U
bu
G bv
(this is the base-point order of b; cf. 135). If x E ab 1 { b } and if u, v > b x then the Ramification Property implies that u and v are comparable in the base-point order of b. Therefore, the convex set c=U{?b(X)
I X E
ablb}
is a chain containing a. Convex sets being connected, some decreasing net of points x E ab 1 { b } converges to b. By closure stability, we conclude that = ab. Observe that cind(C) I1, whence by Corollary 4.8,the segment ab is one-dimensional. rn
c
4.10. Corollary. In a closure stable FS3 space with connected convex sets and of jinite dimension, each dense half-space has a non-empv interior. In fact, its interior meets every non-empty convex open set of the space.
Proof. Let X be as announced, let H X be a dense half-space, and let 0 # 0 be convex open. Then H n 0 is a relatively dense half-space of 0, whence cind(0 1 H ) < cind(0) by Proposition 4.6. By Corollary 4.8,the set 0 1 H i s not dense in 0, showing that
0 # Into(0 nH )
Int (H).
rn
For properly locally convex spaces, with further conditions as in Corollary 4.10, each dense half-space has a dense interior. We now switch to a series of results involving CP maps.
4.11. Lemma. Let X, Y be closure stable FS3 spaces with connected convex sets, and let f : X+ Y be a closed, continuous and CP function of X onto Y. Then cind(X) 2 cind(Y).
Proof. We verify that cind(Y)>n
3
cind(X)>n
for each n < -. The case n =-1 being trivial, assume the statement is valid for m c n, where n 2 0. I f cind(Y) 2 n, then by Corollary 4.7 there is an open half-space 0 Y with c i n d ( B d ( 0 ) ) r n - 1 . The set P =f'(O) is an open half-space of X and f (Bd(P))= Bd ( 0 )since f is closed and surjective. The result follows from an applicam tion of the inductive assumption to the restricted mapping Bd (P)+ Bd (0). We will extend this result to not necessarily closed CP maps. Some preparatory work on maps into cubes is needed first.
4.12. Lemma. Let X be a closure stable FS3 space with connected convex sets, let the n -cube [-1,1]" (where 0 5 n < -) be equipped with the standard median convexity, and let d be the Euclidean metric of [-1,1]". Iff :X + [-1,1]" is a CP map such that the
458
Chap. IV: Miscellaneous
(a
distance of each corner point to f is less than 1, then the image off includes a closed n -cube. Moreover, iff includes all corner points of [-1, l]", then it is a surjection.
Proof. We consider n > 0. Let V be the set of corner points of our cube Q, labeled as v; for i = l,..,2n.For each i we fix a point xi E Xwith dcf (x;),v;) < 1, and we let r=max{dcf(xi),vi)
I
i=1,..,2"}.
Define W O= (1-r)aV; in other words, W O is the set of corner points of the subcube C = [-l+r, 1-r]". Let p : Q + C be the gate map; in particular, p is continuous and CP. Observe that if wi = (l-r).v;, then v;w; n C = { w;} and f (xi) E viw; (Fig. 1). This shows that pf (xi) = w; for all i.
Q
Vi
Fig. 1: Mapping into a cube.
For O I k 5 n let Wk be the union of all k-faces of C. We have just shown that W Ocpf (9.Assume wk Gpf (X) and let y E W k + l . Then there exist u1, u 2 E wk such
and all but one coordinate of u 1 , u 2 agree. By assumption, there exist x 1, x 2 E X such that pf (xi) = uj for j = 1, 2. As POf is CP, we have pf (x 1 x 2 ) E u u 2 . NOW u 1 u2 equals the standard line segment joining u 1, u 2. Therefore, the last inclusion is equality by the connectedness of convex sets in X. We conclude that y E pf (9, showI (9. ing that W ~ + cpf The inductive argument shows that C cpf (X).It is easily seen that p maps points of Q \ C into the boundary of C. Therefore, if D s Z n t ( C ) is another n-cube, then D E f (X). Note that i f f (X) includes all vertices of Q, then C could have been taken rn equal to Q andpf (X) = f (X) = Q in this case. that y E
u1u2
This leads us to another major result. 4.13. Theorem. Let X be a closure stable FS3 space with connected convex sets, and let 0 5 n c -. If C E X is a convex set with cind(C) 2 n, then there is a continuous CPfincfionf :X+ [0,1]" with f ( C ) = [0,1]". Ifallpolytopes ofXare compact, then the converse is also true.
Proof. The case n = 0 being trivial, let n > 0 and assume the result is valid for convex sets of dimension c n. By FS3, the family of all CP maps X + [0,1]separates relatively convex closed sets of C from points in C. Hence by definition, there is a CP map h: X + [0,1] such that the boundary of the relative half-space 0 = C nh-'(O, 11 is of
459
S 4 : Dimension Theory
dimension 2 n -1. By inductive assumption, there is a CP map g:X
4 [0,1
with
[0,1l"-'x{t} [0,1]"-' x { 0 ) Fig. 2: Finding a cube in the image. Let { v i
xi E
1 i = 1,..,2"-' }
be the set of vertices of [O,lJ"-' x ( 0 ) . For each i let Vi B (vi,%) be a convex neighborhood of vi in is a convex neighborhood of xi and there is a point
-=
X be such that f (xi) = vi, and let
[0,1]". Then Vi =f'(VJ x': E 0 n U i . Let
t = %. rnin {f(x':)
I
i = 1,..,2"-'
Then t > 0 and if 0, = f ' ( t , 11 we have xi X:
1.
4 O,,x':
E 0,.
Consequently, there is a point
E xix'; nBdc(O,).
Observe that x: E xix': E U ; . Let v: from v i . Then
E
[O,l]"-l x { t } be the corner point at distance t
d(v:,f(X:))5d(v;,vi)+d(vi,f( x : ) S t + % S % . By Lemma 4.12, f ( B d c ( 0 , ) ) includes an (n-l)-cube Q, = 0 5 ak c bk 5 1 for all k. Let
ni,: [ak,bk]x {f},
where
niz:
Q O = I-Iii; [ak,bk]x (0); Q = [ak,bk]x[O,t]. Now Q o r f ( B d c ( 0 ) )E f (C). For each point y E Q there exist u o E Qo and ut E Q,, such that y E uOutrand u o , ut differ in only one coordinate. As in the proof of 4.12, we conclude that y E f (C). This shows that f ( C ) includes an n-cube. After composing f with the gate map onto this cube, we obtain a continuous CP function of X mapping C
onto an n -cube. If all polytopes of X are compact, then the converse obtains as follows. Let f:X 3 [0,1]"be a CP map with g (C) = [0,1]" for some convex set C. For each vertex of the cube we take one pre-image in C, and we let F E C be the resulting set. By Lemma 4.12, f m a p s co(F) onto [0,1]" as well. By Lemma 4.11, cind(co(F))1 n, yielding the result. This result has several consequences.
4.14. Corollary. Let X, Y be closure stable F S 3 spaces with connected convex sets, and such that all polytopes of X are compact. Iff :X -+ Y is a CP map with a dense
460
Chap. IV: Miscellaneous
image, then cind(X) 2 cind(Y).
Proof. We verify that cind(Y)2n + cind(X)>n for each n < m. The case n =-1 being trivial, assume the statement is valid for m < n, where n 2 0, and let cind (Y) 2 n. By Theorem 4.13, there is a CP map g : Y -+ [0,1]" of Y onto the n -cube. The composed map go f: X + [0,1]" is CP and has a dense image which, by Lemma 4.12, includes a closed n-cube Q. The composition of gof with the gate map of Q is a CP surjection of X onto a cube, and another application of Theorem 4.13 yields the desired result.
4.15. Corollary. Let X be a closure stable FS3 space with connected convex sets and with compact polytopes. Let n < 0. Then cind(X) 2 n iff cind(P) 2 n for for some polytope P of X. Proof. If cind(P) 2 n for some polytope P c X then, of course, cind (X) 2 n. Conversely, if cind (X) 2 n, then consider a CP map onto an n -cube and take one pre-image of each corner point. The resulting polytope maps to a subset of the cube including the vertex set. Application of Lemma 4.12 yields the result. 4.16. Corollary (Countable Sum Theorem for cind). Let X be a closure stable FS3 space with connected convex sets and with compact polytopes. Let n < m. If ( c k ) F = l is a sequence of convex subsets with cind(Ck) 5 n for all k, and if C is a convex set with C E UF=~c k , then cind(C) 5 n.
Proof. As cind ( C )2 n, there is a polytope P C with cind(P)2 n, together with a CP map f of P onto an n-cube Q. For each k E N the set Dk = CknP is compact and convex. Then f (Dk)is a compact subset of Q and uTZlf (Dk) = Q. By the Baire Category Theorem,(3) some set f (Dk) includes an n-dimensional subcube Q'. In a by now routine manner, this leads to the conclusion that the convex set Dk has at least n dimensions. The following application relates with the theory of pseudo-interior (cf. Section 2).
4.17. Theorem. Let X be a closure stable FS3 space with connected convex sets. If C is a non-empty convex subset of X of finite dimension, then the intersection of all relatively dense convex subsets of C is relatively dense in C.
Proof. The result is obviously valid for convex sets C of dimension 5 0. Proceeding by induction, let cind(C) 5 n > 0. Let E be the set of points common to all dense convex subsets of C. Consider two distinct points of C and a minimal convex screening between them with intersection D. We can take care that cind(D)In-I. By Lemma 4.5, each dense convex subset of C induces a dense convex subset of D. By the inductive 3.
Engelking [1977, p. 2531
S 4 : Dimension Theory
461
assumption D n E # 0. If p E C \ 2, then consider a minimal convex screening between E n C and p with intersection D of dimension I n - 1 . The previous argument provides us with a point of D rn which is in E , a contradiction. We next consider a characterization of cind in terms of simultaneous separation. We require the following auxiliary result. 4.18. Lemma. Let X be a tcs with connected convex sets, let n 2 1, and let surjective CP map. For each i = l,..,n, let (Ai,Bi) be the pair of inverse images of the ithpair of opposite faces, and let Mi be a convex closed separator of Ai and Bi. Then n;=)Mi # 0.
f:X
+ [0,1]" be a
Proof by induction on n. The statement holds for n = 1 since, by the connectedness of X,each separator between Ai and Bi is non-empty. Suppose the statement to be valid for n, and consider a surjective CP map f : X -+ [O,l]n+l. With Ai and Bi defined as above, observe that the restrictions An+) -+[0,1]"X{O) and Bn+1 + [ O , 1 I n X { l ) are surjective CP maps, and Mi n A , + * is a convex separator of Ai n A n + l and Bi n A , + l for each i = l,..,n. By assumption, nyZl(Mi n A , + ] )# 0. In a similar way, we find that n;=,(Mi n B,,+') # 0. As n;=lMi is a connected set meeting A,+) and B,+1 , it meets Mn+ltoo. rn 4.19. Theorem. Let X be a closure stable FS3 space with connected convex sets and with compact polytopes. For each finite n > 0 the following assertions are equivalent.
(1) (2)
cind(X) < n. For each collection (A;,Bi)Y$l ofpairs of convex closed sets that can be separated by a CP map into R,there is a sequence (Ci)?:; of convex closed sets, such that for each i, the set C; is a separator of the ithpair (Ai,Bi)and such that n::: Ci = 0.
Proof. (1) a (2). For each i = l,..,n+l, let fi: X +IR be a CP map separating the ith pair of convex closed sets (A&). We may assume that Ai maps to 0, that Bi maps to 1, and that f(X) G [0,1]. Let f = cfl,.., f n + l ) . If the open cube (0,l)"" is included in f (X), then cind(X) > n + l by virtue of 4.13. Let p i : [O,l]n+' + [0,1] denote the i* projection. Consider a pointy E (0, \ f ($, and let Pi =p;' [O,pib)). Then n+l
n Bd(Pi)n f ( X ) = {y } n f (X)=0.
i=l
Now f'(Pi)is an open half-space of X and f maps its boundary into Bd(Pi). Therefore, n +1
n B d c f ' (Pi)) = 0.
i=l
Observe that S d ( f ' ( P i ) ) is a hyperplane separating the pair (Ai,Bi). We verify (2) a (1) by contraposition. If cind ($ > n, then by Theorem 4.13 there is a surjective CP map f :X -+ [0,11"''. With the ith projection pi defined as above, let
462
Chap. IV: Miscellaneous
Ai =f'pF'(O) and Bi = f ' p T ' ( l ) for i = l , . . , n + l . By Lemma 4.18, any set of n+l convex separators, one for each pair (AiJi), has a non-empty intersection.
We have two major results on equality of dimension functions. The first one involves the so-called cohomological dimensiod4) cdc relative to an abelian coefficient group G # 0. 4.20. Theorem. Let X be a compact closure stable FS3+space with connected convex sets. Then for each non-trivial abelian group G,
cdc(X) = dim(- = ind(X) = Ind(X) = cind(X).
Proof. The following @)equalities are valid.(5) cdc[O,11" = n ; cdc(X)I dim(- Iind(X) I Ind(X). In addition, we verify that cind(X) is both a lower and an upper bound of the sequence of inequalities. To see that cind(X) I cdc(X), let n < m and n Icind(X). By Theorem 4.13, there is a surjective CP map f: X + [0,1]" (standard median cube). The fibers of fare convex. If C is a non-empty compact convex set of X , and if U is an open cover of C then, as X is properly locally convex, there is a convex open cover of C refining U. This refinement has a contractible nerve by Theorem 3.2(1). Therefore, C has trivial cech cohomology. We are now in a position to apply the Vietoris-Begle Theorem for t e c h cohomology with general coefficientd6). For each closed set A E [0,l]", the map f induces an isomorphism of cohomology groups,
fi*([O,l]",A;C)+ fi'(X,f'(A); G). It follows from the definition of cohomological dimension that cdc(X) Z cdGIO,11". We next verify that Ind(X) S cind(X), completing the proof of the theorem. To this end, we consider the statement
Q(n) The union of finitely many convex closed sets having cind In has Ind 5 n. For n = -1 this easy. For n = 0, all non-empty convex sets in consideration are singletons, and the statement is elementary. For n > 0, we proceed by induction. Let C1,..,Cpbe convex closed sets satisfying cind(Ck) I n for k = l , . . , p . Let Y = u{=l ck, let A E Y be closed, and let U aA be a relatively open set of Y. By FS2 and compactness of X , the open half-spaces of X constitute an open subbase for X. This yields a finite number of open half-spaces Oij (i = 1 ,..,q, j = 1,..,r), such that 4. 5.
6.
The reader is referred to Cohen [1954] for further information on cohomological dimension. For the equality and the first inequality. see Cohen [1954]. For the second and third inequality, see Engelking [1977,7.1.2,7.2.7]. See Lawson [1973, 5.11. This result is an extension of the classical Vietoris-Begle Mapping Theorem.
463
S4: Dimension Theory 4
r
i f O = u n O i j n Y then A G O ~ C Z ( O ) ~ U . i = l j=1
We let Bdk denote the boundary operator of ck (k = I,..,p). By Proposition 4.6, cind(Bdk(0ij nCk))In-1. Furthermore, we have 4
r
B d y ( 0 ) c .u .nBdY(0ij nY); r=l]=l
Bdy(0ij n y> E
P U Bdk(0ij k =1
n ck).
This yields P 4 '
Ind(BdY(0))IInd( u u ,nBdk(0ij nC k ) ) In-1, k = l i=l j=1
showing that Ind(Y) I n . Having completed the inductive proof of the statements Q(n), we conclude at once that Ind (X) I cind (X). 4.21. Theorem. Let X be a separable, metrizable nected convex sets and with compact polytopes. Then
S4
convex structure with con-
dim(X) = ind(X) = Ind(X) = cind(X).
Proof. There is a countable dense subset { x , struct the following convex sets.
D, = c o { x I , ..,x,};
D
=co{x,
I n E IN} of X , which we use to con-
I n E IN}.
By the Countable Sum Theorem in topology(3, we have ind(D) = sup { ind(D,)
I n E IN},
whereas by the Countable Sum Theorem for cind, Corollary 4.16, cind(D) = sup { cind(D,)
I n E N}.
Polytopes being compact and NS3, each D, has the weak topology. Combining the previous equalities with the inequality of Proposition 4.3 yields
ind(D) Icind (0). On the other hand, if cind(D) 2 n, then cind(Dk) 2 n for some k (Countable Sum Theorem for cind). Hence ind(D)2 ind(D,,) 2 n, where the last inequality follows from Theorem 4.20. This shows that ind(D) = cind(D). We now extend this result to the space X . First, cind(D)=cind(X) by Corollary 4.8. By the (elementary) Subspace Theorem in topology, we have ind(0) Iind(X). We complete our proof by showing that ind(D) I n implies ind(X) In for all n. We use the result(8) that for a separable metric space X, the inequality ind(X) 5 n holds iff each Engelking [1977,7.2.1]; van Mill [1988, Thm.4.3.71. I. 8.
Engelking [1977,7.4.13]; van Mill [1988, Thm. 4.6.41.
464
Chap. IV: Miscellaneous
function f:A + S", defined on a closed subset A of X and ranging into the unit n-sphere S", can be extended over X. .As the image space is an absolute neighborhood retract (ANR), there is an extension f' off to a closed neighborhood A' of A. Let U be an open cover of X such that f ( U ) is included in an open hemisphere of S" for each U E U, and such that star (A, U) LA'. Theorem 3.16 provides us with a mapping g: X +D E X which is U-close to identity. As ind(D) 5 n, the restriction of f' to A' nD extends to a map f ":D += S". If x E A' then f " maps x and g ( x ) into an open hemisphere. Hence the IA are homotopic. As one of them extends over X,so does the mappings f and f " ~ g other.
Further Topics 422. Dimension functions (van de Vel [1982]). Let A be a hereditary class of topological convex structures ("hereditary" means that the class A contains all convex subspaces of its members). We consider a (class) function P,defined on A and assigning to X E A a collection P ( X ) of subset pairs of X,such that the following conditions are fulfilled. If (A,B) E P(X), then A, B are disjoint convex closed sets which can be separated by a hyperplane of X. (2) If n # b E Xcan be separated by a hyperplane, then ({ n }, ( b }) E P(X). For instance, consider the class A0 of all FS2 spaces, and let Po (X)be the set of all pairs of disjoint singletons. Alternatively, consider the class A1 of all topological convex structures, and let PI ( X ) denote the class of all pairs of convex closed sets in X which can be separated by a hyperplane. For a class function P as above, defined on a hereditary class A , the corresponding dimension function cindp is defined as follows. (1)
(1)
(2)
cindp =-1 i f f X = 0 . cindp I n + l iff each pair (A,B)E P(X) can be screened with a pair of convex closed sets A', B', such that
cind p (A' nB') In Prove that if P and 9 are class functions of the above type, and if X is a closure stable FS3 convex structure with connected convex sets, occurring in the domain of P and 9 , then cindp(X) = cindg (X).
Hint. Some of the arguments at the beginning of this section can be adapted to the general situation. 4.23. Trees. Show that the following are equivalent for a locally connected tcs X.
(i)
(ii)
Xis a connected tree. Xis a closure stable FS3 space with connected convex sets and of dimension I1.
465
S 4 : Dimension Theory
4.24. Gg-half-spaces. Let X be a closure stable finite-dimensional FSJ space with connected convex sets. If every convex closed set is a Gg-set in X, then each half-space ofX is both a Gg-set and an F,- set. 425. Mapping onto cubes (van de Vel [1982]). Consider the following subset of the Hilbert cube: X = xk, where XO= { 0) and
ur=o
I 2 - k ~ ~ n ~ 2 - k + ' ( n <X k, =)Z;- ~ + ' ( ~
~k={(xn)~=l
>k))
The Hilbert cube is equipped with the standard median convexity. Show that the subspace X is compact, connected, and median stable, and that it is an infinite-dimensional tcs without surjective CP maps onto the the Hilbert cube. 4.26. Weak continuity in median spaces (van de Vel [1984b]) 4.26.1. Let X be a weakly locally convex, connected median space with compact segments of finite dimension. Show that each half-space of X is either open or closed. Hint. By Theorem 4.17, the intersection of all dense convex subsets of a segment is a dense subset. 4.26.2. Deduce that if X, Yare as in the first part, then each surjective CP function
X
+ Y is weakly continuous.
4.27. Dimension of median spaces (van de Vel [1984c]). Almost all results of this section require a tcs with connected convex sets. In this and the next topic, we outline a theory that works for median spaces without connectedness. Throughout, X represents a weakly locally convex median space with compact segments. 4.27.1. Show that c, d sets C,D gXwith
E
X are in different components iff there exist convex closed
CEC; dED; CvD=X; C n D = 0 . Conclude that cind ( X ) I 0 iff all components of X are singletons. 4.27.2. Show that a convex set and its closure have the same convex dimension. 4.273. Show that a convex set D satisfies cind(D) 5 n+l iff for each open halfspace 0 rX, such that some component of X meets both 0 and XIO, we have cind (Bd (0)nD ) 5 n. 4.27.4. Use the previous results to show that cind(X) I n iff some component C of X satisfies cind(C) 5 n and that
cdG(X)= ind(X) = Ind(X) = dim(X) = cind(X) (cdc is the cohomological dimension with coefficient group G). Hint: Adapt the proof of 4.20.
466
Chap. IV: Miscellaneous
4.28. Embedding of median compacta (van de Vel [1984c]). Let n < m and let X be a compact n-dimensional median algebra. Note that X is locally convex. 4.28.1. Show that the prescription u
I
w
v
u,
v belong to the same component
is a congruence relation on X . Relative to the quotient topology and quotient convexity, the space &of components of X is a compact median algebra. Let d : X -+ & be the quotient map. 4.28.2. Prove that there is an n-dimensional connected quotient space qX of X with a quotient map q: X -+ qX, such that (q,d): X + qX x dx is an embedding of median algebras. Hint: Let Ci for i E I be the family of all components of X. For each i E Z let pi: X -+ Ci be the gate map. Take q equal to the function (PJi E
1:
x + ni E I Cia
4.283. Let X be a compact distributive lattice of dimension n c lowing inequalities for the breadth:
00.
Derive the fol-
n S b ( X ) < n +b(dX). Give examples illustrating the sharpness of these bounds. 4.29. Some problems in dimension theory. The condition that all convex sets be connected is a rather heavy one. Use of the free convexity of a topological space makes it clear, however, that some assumptions are necessary to develop an acceptable theory of convex dimension. 4.29.1. Develop a theory under the assumption of the Continuous Positions Property (CPP). This condition is suggested by the results on median spaces in Topic 4.27. 4.29.2. Can the results of this section be extended to spaces which are not necessarily closure stable? The motivation for this problem is, that Lawson semilattices need not have that property, whereas some excellent results have been developed on the relation between breadth and (cohomological) dimension; cf. Lawson [1970] and [1971]. 4.293. Develop a theory of convex dimension based on a definition in the style of the Lebesgue covering dimension.
Notes on Section 4 The first attempt to develop a theory of dimension in convex structures goes back to Bryant and Webster [1977]. Here, dimension is simply the affine dimension of the matroid, associated to a BW space (see 152 and 157). The concept of convex small
S4:
Dimension Theory
467
inductive dimension, cind, was introduced in the author's paper [1983d] (VU report(9) dated 1979) in the context of a theory of support points. A first systematic study of cind was undertaken in our paper [1982] (VU report 1980). This paper contains the characterization of cind in terms of hyperplanes (Theorem 4.7) and in terms of mappings onto cubes (Theorem 4.13), together with the Corollaries in 4.14 (on images under CP maps), 4.15 (on dimension of polytopes), and 4.16 (Countable Sum Theorem). Corollary 4.17 (on dense intersections of convex sets) was obtained by the author in [1983d]. Theorem 4.19, on characterizing dimension in terms of sequences of screening pairs, is new. It is close in style to the treatment of dimension in topology. Equality of topological and convex dimension was first studied in our paper [1982], where Example 4.4 was given (an infinite-dimensional convexity on a zero-dimensional topological space), together with a predecessor of Theorem 4.21. This result was phrased in terms of LC" and C" convex sets. The present result is in terms of uniform convex structures, where connectedness of convex sets leads to higher forms of connectedness as cited above. See Section 3. Theorem 4.20 (on equality of some dimension functions on compact tcs's) was obtained by van Mill and van de Vel [1986] (VU report 1981) for uniform convexity; the weakening of the assumptions to the current ones, and the part of the result involving cohomological dimension were achieved later by the author in [1984e] (VU report 1982).
9.
Internal report series of the V e e Universiteif Amfenfm. We exceptionally give the manuscript data because the original chronology has been somewhat disturbed.
This page intentionally left blank
S5: Dimension and Convex Invariants
469
5. Dimension and Convex Invariants The classical results of Helly, Carathedory and Radon on IR" can be interpreted as relations between certain combinatorial invariants and the topological dimension n of lR". This viewpoint is explored in a wider class of spaces, satisfying conditions as in the previous section. The Caratheodory and Exchange numbers are most tightly connected with dimension, the Radon number tends to infinity if the dimension does, and the Helly number is almost unconnected with the dimension. The Radon number of an n-dimensional median space equals the Radon number of the standard median n-cube, or is one larger. T h e latter phenomenon can occur only in restricted dimensions and cubical polyhedra are used to prove the sharpness of this result. Join-hull Commutativity holds in spaces with c S 3 and e 13. The dimension of a convex hyperspace equals the rank of the basic topological space. In this section, all spaces are assumed S,.
As before, the term number refers to a member of the set {-l,O,l,..,-}. We begin with an auxiliary result which is independent of dimension theory. It involves conditions that are almost standard throughout this section.
5.1. Lemma. Let X be a closure stable FSh space with compact polytopes and (n 2 2) be closed convex sets in X such that with connected convex sets. Let C 1 ,.,en ubl Ci is convex and n{ Ci I i # j } f 0 f o r each j = l,..,n. Then nbl Ci z 0.
Proof. For n = 2 the statement follows from the connectedness of convex sets. Suppose n > 2 and let the result be valid for m < n sets. Consider n sets C ,..,C,, meeting n-1 by n-1, such that nbl Ci = 0. For each i = l,..,n we take a point x; E njtiCj and we let
Di= C; n co { x ,..,xn}. By Corollary 111s4.12, the compact space c o { x l , . . , x n } is FS4. Hence there is a convex closed separator D of n7Z1Di and D,. For each i = l,..,n-1 the-set n j f i , n D j meets D i (say, in u;) as well as D, (say, in vi). As uivi is connected, it meets D in some point w;. Now wi E nje;,n Dj nD, and we have shown that the sets D; n D ,
for
i = l,..,n-l,
meet n -2 by n -2. The union of these sets is convex. The inductive assumption yields that n y ;: D; nD # 0, a contradiction. w This leads to an additional relation between the invariants h and c.
5.2. Theorem. Let X be a closure stable FS3, space with compact polytopes and with connected convex sets. Then h (X ) 5 c (X).
410
Chap. IV: Miscellaneous
Proof. We verify that c (X) 5 n implies h (X) I n for 0 I n < -. The case n = 0 being trivial, we assume n 2 I . Let F c X and #F = m > n. The sets C, = co (F I{ a }) for a E F meet m -1 by m -1. As F is C-dependent, we have u, F C, = co ( F ) . Lemma 5.1 implies that n, F C, # 0,which shows that F is H-dependent. w We now investigate the relations between the classical invariants and cind.
53. Theorem. Let X be a closure stable FS3, space with compact polytopes and with connected convex sets. Then h (X) I cind (X) + 1. Proof. We may assume that cind(X) = n < -. It is easy to see that h ( X ) = 0 iff X = 0 (i.e., iff cind(X) =-l), and that h ( X ) = 1 iff X is a one-point set (i.e., iff cind (X) = 0). We proceed by induction, assuming the result to hold in dimensions < n, where 1 5 n < -. Suppose F is an H-independent set with m > n + 1 points, say: F = { X ~ , . . , X , }. By FS3+, there is a hyperplane(') H separating between the sets m-1
C = n c o ( F \ { x i } ) and D = c o ( F \ { x , , , } ) . i=l
For each i = l,..,m-1, the set
n{ c o ( F 1 { x i } ) 1 j = I,..,m -1; j # i } meets C (in x,,,, for instance) and D (in x i , for instance). By the connectedness of convex
sets, it meets H. This shows that the sets
(*I
co(F\ { x i } ) n H
(i = l , . . , m - l )
meet m-2 by m-2. By Proposition 4.6, we have cind(H) S cind ( X ) - 1, whereas h (H) I n by inductive assumption. Therefore, the convex sets in (*) have a non-empty intersection, contradicting that C nH = 0. In the next results, r,, denotes the largest integer m such that
[ FF~J] 1 2 n (nota-
tion of 1182).
5.4. Theorem. Let X be a closure stable FS3, space with compact polytopes and with connected convex sets. Let cind ( X ) 2 n 5 0, where n c -. Then r (X) 2 r,,. In addition, r (X) = m iff cind (X) = 00.
Proof. By Theorem 4.13, there is a surjective CP map X + [0,1]" of X to the standard median n -cube. The Radon number of the cube equals r,,; cf. IIs2.17. The first part of the result follows from Theorem 1101 .lo. As to the second part, let cind(X)= -. Clearly, limn+ r,, = -, and the previous argument yields r ( X ) = -. Conversely, if cind(X) < then r ( X ) < -. In fact, for each finite number n,
-
1.
Recall that a hyperplane is the boundary of an open half-space.
471
S 5 : Dimension and Convex Invariants
cind(X) I n
3
r ( X ) < 2".
This is certainly true in dimensions 20. We proceed by induction. If cind(X) = n +1 (where n 2 0) and yet r ( X ) 2 2"+l, then consider a Radon independent set with 2"" points and divide it into two sets F 1 ,F2, each with 2" points. Enumerate their elements in an arbitrary order. As co (F 1) nco ( F 2 ) = 0,there is a convex set C of dimension -< n separating F 1 and F z . Letxi E Cbe a point of the segment connecting the i* point o f F l with the ith point of F z . It is easy to see that the collection { x ; I i = 1,..,2"} is Radon 8 independent, a contradiction. Note that the Helly number of an infinite-dimensional space (with further properties as in the last theorem) can be finite. For example, consider the Hilbert cube with its standard median convexity. Theorem 5.4 can be considerably improved for median spaces, as the next two results may show.
x+l]
5.5. Theorem. Let X be a connected median space with compact polytopes, and let cind (X) = n, where 0 I n < -. Then r ( X ) = r,, or r (X) = r,, + 1. The second equality can
[
occur only in those dimensions n where r, is even and %
-
2 n.
Proof. As X , inherits the assumptions made on X,we may assume that X has the weak topology. First, cind < implies that distinct points ofXcan be screened with convex closed sets. By Theorem IIIs4.16, this implies thatX is FS4 and (weakly) locally convex. Hence, by Proposition 2.24, X has the Continuous Positions Property (CPP). Finally, all gate maps of X are (weakly) continuous by Corollary IIIs5.20, whence all convex sets of X are (weakly) connected. We assume n > 0 and consider two possibilities for r = r(X). (i). r is even. Let F C X be an R-independent set with r points. For each Radon partition { F 1 , F 2 }with #F1=#F2, we fix a preference "Fl above F2" and and we let P denote the set of all pairs ( F l , F 2 ) obtained this way. Note that r 2 rl = 2, so ff # 0. For each ( F l r F 2 )E P we consider an open half-space 0 = O ( F I , F 2 )with
F~ G O ; O n c 0 ( ~ 2 ) = 0 . Let H ( F 1 , F z ) be the corresponding boundary hyperplane. The convex sets O ( F l , F 2 ) a n d X \ O ( F l , F 2 ) for (F1 , F 2 ) E P meet two by two. Indeed, the two sets corresponding to a single pair ( F 1 , F 2 ) meet in H ( F 1 , F Z ) ,whereas for distinct pairs ( F 1 , F 2 ) and ( G 1 , G 2 )the sets Fi and G j intersect for all combinations of i, j. As h(X) 5 2, we conclude that for each collection P' E P and for each pair (F1, F 2 ) E P \ P', n ( H ( G l 7 G 2 ) I {GlrGZ}E P ' } n W l , F z ) * a where P ( F , , F 2 ) denotes any one of ~ ( F I , F z X) \, O ( F l , F 2 ) . By CPP, if O ( F I , F ~ ) meets a convex set C then its relative boundary in C equals H(F1 , F z ) n C. Repeated use of this fact, in combination with Proposition 4.6, yields that
472
Chap. IV: Miscellaneous
0 S cind( n{ H ( F 1,F 2 ) I (F , F 2 ) E
P } ) 6 n - #Pa
Consequently,
showing that r 5 r,,. Combining this with Theorem 5.4, we find that r = r,.
(ii). r is odd, say: r = 2p + 1 (where p 2 1). Consider an R-independent set F = { x , x I , . . , x z ~ } . This time, P denotes the collection of all pairs ( F l , F 2 ) , where #F1 = p , #F2 = p + l , and x E F1. For each pair ( F l , F 2 )E P,we also consider an open set 0 = O ( F 1 , F 2 )with F1 G O ; 0 n c o ( F 2 ) = 0 .
If (F1, F 2 ) and (G l r G 2 ) are distinct members of P,then each of the sets Fi and Cj meet for each combination of i, j . Arguing as before, we find
0 Icind( n { H ( F 1 , F z ) 1 { F l , F 2 } E P 1 ) < n
-#P,
showing that
Hence r-1 I r,,, whereas r,, < r by Theorem 5.4. A comparable (a-topological) result has been described in Theorem 1104.21. The slight ambiguity in the formula determining r cannot be eliminated. We will construct an example of an n-dimensional median continuum of Radon number r, + 1 in each predicted dimension n.
[
5.6. Proposition. Let n > 0 be such that r,, is even and ,+% :
] < n. Then there
exists a median continuum of dimension n and of Radon number equal to r,
+ 1.
Proof. The superextension X(r) of the free r-point space { l,..,r} is a finite median graph of Radon number r. Its realization Ih(r)I as a cubical polyhedron is given the unique median convexity extending the graphic convexity, and such that each cube of the complex is a standard median cube. See Theorem IIs3.16. As observed in 1184.22.2, the Radon number of the realized complex Ih(r) I equals r. Its dimension equals the maximum dimension of a solid cube, which is determined by the maximum (combinatorial) dimension of a graphic cube. This maximum is one less than the exchange number of h(r) by Theorem 1114.19. Hence, by formula (1) in 1184.20.2, we obtain Let s 2 2 be even and
PI
n ( s ) = vs+l
; E,={n
I r,,=s;n(s)Sn}.
The members of E,$ are the exceptional dimensions corresponding with the Radon number
473
S5: Dimension and Convex Invariants Tnble 5.1: Exceptional dimensions
4 6 8 10
12
4 15,16,17 56,57,..,62 210,211, ,230 192,793,.. ,857
..
r,, = s (cf. Table 5.1). Let n E E,, let k = n - n (s), and consider the space
x = Ih(s+l)I X[O,I]k.
The dimension of I h(s+1) I equals
showing that X is n-dimensional. In regard to the first factor, the Radon number of X is at w least s +1. By Theorem 5.5,r ( X ) cannot be strictly larger. The determination of the invariants of Carathtodory and Sierksma in terms of dimension is not so easy; additional assumptions seem to be necessary. One of them is Join-hull Commutativity; the next result (which is independent of dimension theory) partially justifies the use of it.
5.7. Proposition. Let X be an S2 and NS3 space with connected convex sets and with compact polytopes. If e ( X ) I3 and c (X) I3, then X i s JHC. Proof. Let P ~ X b aepolytope and a E X \ P . We verify that if x E co({ a } UP), then x E up for some p E P. The collection of all compact convex sets D cP with x E co ({ a } u 0)is not empty. If (Di)i I is a chain of such sets with intersection D,and if x F/ co({ a } u D ) , then by NS3 there is a closed convex neighborhood N of co({ a } u 0)with x 4 N. However, Di E N for some N, whence x E co({ a } u D) N . With the aid of Zorn’s Lemma, this shows that there is a minimal compact convex set D P with x E co({ a } u D). Domain finiteness yields that D is a polytope, say: D = co(F), where F = { bl,..,b,, }. We consider F to be minimal as well. As c(x> 5 3, there is a 3-point set G E F u { a } with x E co ( G ) . Note that a E G since x F/ D. So n I2. If n = 1 we are done; assume n = 2. As b 1 b z is connected, there is a point b E b 1 b2 1 { b , , b z } . As e ( X ) 1 3 , we find that co { b I ,b2,a } E co { b I ,b,a } u co{ bz,b,a } uco { b 1 ,bz,b }. The third summand is in D and hence it does not contain x . We have, for instance, x E c o { b l , b , a } . By Sz, the segment b l b is properly smaller than b l b 2 , acontradiction.
Two auxiliary results are needed to obtain an upper bound for c and e.
474
Chap. IV: Miscellaneous
5.8. Lemma. Let X be a closure stable FS3 space with connected convex sets. If S E X is a convex closed separator of the sets A, B, then there is a convex closed screening (C,D) of (A$) with C nD = s.
Proof. Let 0, P c X be open sets such that AEO,
BEP,
OuP=X\S.
If x E P,then there is a half-space H, with S E H, and x 4 H,. If X 1 H, meets 0, then it meets S by the connectedness of convex sets. It follows that
0uS=n(H,
Ix
E
P}.
showing that 0 u S is a convex set. It is also a closed set, being the complement of P. A similar argument works for P u S. The sets 0 u S and P u S yield the desired screening. rn
5.9. Lemma. Let X be a tcs with connected convex sets, let n 2 2, and for each i = l,..,n let (Ci,D,) be a pair of convex closed sets such that Ci u D i = X If nyz1 (Ci nDi) = 0, then there is a choice Ei E { Ci,Di} for i = l,..,n such that nbl Ei = 0.
Proof. Let Mi = Ci nDi for i = l,..,n. We operate by induction on n 2 2. If n = 2, we have M z c_ D 11 C1 or M 2 E C 1\ D l since M z is connected. In the first case, either Cz E D 1 I C1 or D2 c C1 1 D 1. If not, then D2 and C2 would each have a point in C1. As C1 is connected, it should contain a point of MZ.The second case is
handled similarly. As to the induction step, we have (nblMi) nM,,+l = 0, and hence there is a choice of Ei among Ci and Di for each i = l,..,n, such that (nblEi) n = 0. Hence n%lEi E Cn+l or nyz1 Ei L Dn+l\ Cn+l since n:=l Ei is connected. In the first case, take En+l = D n + l ,and in the second case, take En+l = Cn+, . rn 5.10. Theorem. Let X be a closure stable FS3 space with connected convex sets and with compact polytopes. If X is JHC, then
c ( X ) Icind(X) + 1; e ( X ) 5 cind(X)+ 1.
Proof. We treat the exchange number first. For all finite numbers n 2 -1, cind(X)ln
3
e(X)ln+l.
This is evident for n 20; we assume n 2 1. Let F be a finite set with more than n + l points, and assume F is E-independent. In particular, any (n+2)-point subset { X ~ , X I , . . , X , + I } of F is E-independent since X has the CUP (cf. II§1.16.1). In the sequel, adding one or more subscripts to F refers to removing the points with exposed labels from F. By E-independence, mme “face” of co ( F ) is not covered by the other ones, say, n+l
p E co (FO) I u co (Fi). i=l
By Theorem 4.1 9, there exist n +1 convex closed sets Mi ( i = 1, ..,n +1) such that
(1)
Mi separates between p and co (Fi) in co (F).
S5: Dimension and Convex Invariants
(2)
47s
ny$’M~ = 0.
Fig. 1: Construction of the pointsp, By Lemma 5.8, there exist convex closed screenings (Ci,Di) of ( { p } , c a ( F i ) ) with Ci nDi = M i . By Lemma 5.9, there is a choice
with ny?:
Ei E { C i , D i } (i = l , . . , t ~ + l ) E; = 0. Define I={i
As n ?:; Ci and
I Ei=Ci};
J={j
I Ej=Dj}.
nFz/ Di are non-empty (consider the respective points p and X O ) , we see
that I and J are non-empty. Furthermore, I U J = { l , . . , n + l } and I n J = 0. Let J = { l,..,k} for convenience of notation. By JHC, there is a sequence of points
Xj+@j+]
o’=O,l,..,k-l).
Pj E CO(Fo,1,2,..,j) 0’=0>17.-,k). Observe that pk E c o ( F o , ~ , . , , k ) ~ n j ~On ~D thej . other hand, we have P O d u i E 1 D i . Proceeding by induction, assume j < k and p j 4 ui I Di.Observe that E Di since j +1 f i. If pj+l E D; for some i E I , then pi E xj+lpj+l E Di,contradiction. We conclude that
pkE C O ( F ) I ( U D i ) Ln C i . icl
iEI
But thenpk is common to all Ei, contradiction. Only minor modifications of the above argument are required to obtain the result on W the Carathkodory number. It is possible to obtain the conclusion of the previous result without JHC in special circumstances, as the next result illustrates. It involves the Continuous Positions Property (CPP), studied in Section 2.21.
476
Chap. IV: Miscellaneous
5.11. Theorem. Let X be a closure stable FS3 space with compact polytopes and with the Continuous Positions Property (CPP). If C c X ki a connected convex set of dimension I2, then c ( C ) I 3 and e ( C ) I3. Proof. By Theorem 2.23, each compact subset of C in continuous position within X is connected. As polytopes are compact, we conclude that all convex subsets of C are connected. Let F = { a,a ~ , . . , a , }be a subset of C with n + 1 > 3 elements. We will show that (1)
3
co ( F ) c u co(F I { a ; }), i=l
to the effect that both point
cI 3
and e 5 3 . To this end, assume (1) is false and consider a
3
X E
P=co(F)\uco(F\{n;}). i =1
Consider an open half-space
01 ofX, maximal
with the properties
FI(a1)cO; x 4 0 1 .
In particular, a 1 4 0 1. Note that x E Bd (01 ) by virtue of the fact that X is connected. By CPP, we even have x' E Bd ( 0 1 n co(F)). By Theorem 4.17, the intersection of all dense convex subsets of Bd (0 n co (F)) is a dense subset. As P is a neighborhood of x, we can replace x by a point which, moreover, belongs to each dense convex subset of B d ( 0 1 nco(F)). Next, we operate with a2 and a3 in about the same way: there exist open half-spaces 02,O 3 ofXsuch that FI { U i } E O i ; x E B d ( 0 ; )
ai
4 oi.
for i = 2, 3 (and for i = 1). We define
Ei= B d ( 0 ; ) n co ( F ) (i = 1, 2, 3). Note that #El > 1. Indeed, as a 2 E O l and a q' O1 there is a point u in n B d ( O 1 ) . Then u E E l and u is distinct from x since u is in co(F\ ( 1 1 3 ) ) andx is not. Now E; is a relative hyperplane of co ( F ) and as such,
ala2
cind (EJ c cind (co( F ) ) 5 2
Hence h (Ei) I 2 by Theorem 5.3, and Ei is JHC by Proposition 1181.15. Its exchange number is is at most cind(E;)+ 1 by Theorem 5.10. Consequently, Ei is a tree (see the characterization in Topic 1151.27.1). We conclude from Proposition 2.13.1 that the convex subsets of E; are precisely the connected subsets and that x (being in each dense convex subset of E is not an end point of E We have two relative hyperplanes B d ( 0 2 ) nE 1 and B d ( 0 3 ) nE 1 of E 1 . Hence both consist of one point -- necessarily x. On the other hand, as a E 0 1 and a 1 4 0 1 , we have
0 # aa nBd(Ol) n c o ( F ) L O 2 n O 3 n E l .
So, the connected sets O 2 n E l and O 3 n E l intersect and have x as their common
477
S5: Dimension and Convex Invariants
boundary. This yields
O 2 n E l = 0 3n E l . By CPP,
E ICZ(02) = E l I CZ(02 n E l ) = E l ICZ(03 n E l ) = E l ICZ(O3), and this set is non-empty since x is not an end point. We conclude that
I n t ( X \ 0 2 ) n I n t ( X \ 0 3 ) n E E#1 0 . As E is the boundary of 0 1 n co ( F ) ,there is a point (Fig. 2)
y E h t ( X I0 2) nInt (XI 0 3) n 0 n co (F).
Fig. 2. Location of the various points We have
c (XI 0 3 ) n 01n co(F); y 4 0 2 ; a3 E 0 2 ; a2ac03nOlnco(F); a2402; ~ € 0 ~ .
ya3
Hence there exist points
v
E
W E
(XI 0
3 ) n O1
n B d ( 0 2 ) n co ( F ) ;
0 3 n 0 1n B d ( 0 2 ) n c o ( F ) .
Consequently, the segment vw is included in 0 nE2 and it meets E3. We conclude that there is a point z E O 1 n E 2 n E 3 . Note that z f x sincex 4 0 1 . This leads to a contradiction as follows. As a E O 3 n c o ( F ) and a 3 4 O 3 n c o ( F ) , the segment aa3 meets E 3 . As uu3 c 0 2 we , see that 0 2 meets E 3 . Then the relative hyperplane
Bd(O 2) nE 3 = B d ( 0 2) n co ( F ) nE = E 2 nE3 of E 3 is zero-dimensional -- hence a singleton -- whereas x, This forces us to conclude that formula (1) is correct.
L
are both in E 2 nE 3 . 8
478
Chap. I V :
Miscellaneous
5.12. Examples
5.12.1. Consider a symmetric H-convexity in the plane. Its CarathCodory and exchange number are at most three by Theorem 5.11. Therefore, a planar symmetric Hconvexity is JHC by Theorem 5.7. 5.12.2. Theorems 5.10, resp., 5.11, are not valid without the assumption of JHC resp., CPP, as the following example shows. Let the 3-cube [0, lI3 be equipped with the standard median convexity, and consider the subspace X of all points on a proper face through the origin. Then Xis a compact, two-dimensional FS3 space with connected convex sets, and c 5 3 as a subspace of the standard median 3xube. On the other hand, e = 4 (see Topic 1103.19.3). Apparently, Xsatisfies neither JHC nor CPP. 5.13. Corollary. Let X be a closure stable, JHC and FS3, space with connected convex sets and with compact polytopes. If cind (X) < 00, then
h(X)=cind(X)+l w c(X)=cind(X)+l.
Proof. Let n = cind(X). Then h ( X ) 5 c ( X ) 5 n +1 by Theorems 5.2 and 5.10, establishing the implication from left to right. Conversely, if c ( X ) = n +1, then Sierksma's inequality c Imax{ h,e-1 } yields that either h (X) 2 n +1 (which settles the result), or e(X)-l 2 n + l , contradicting that e ( X ) In + l ; cf. Theorem 5.10. The (standard median) Hilbert cube illustrates that this result does not hold in infinite dimensions. In the course of proving Theorem 5.4, we obtained an upper bound of r (X) of type 2c'"d(q - 1. The following provides a much better upper bound. 5.14. Corollary. Let X be a closure stable, JHC and FS3, space with connected convex sets and with compact polytopes. Then r ( X ) 5 cind (X).(h(X) - 1)+ 1, if h (X) Icind (X); r ( X ) 5 cind(X)-(h(X)- 1) + 2, if h ( X ) = cind(X) + I .
Proof. If cind(X) = then r ( X ) = 00 and h ( X ) 2 2, so both formulas are valid. Assume cind(X) < m. I f h (X) 5 cind(X), then c ( X ) = cind(X), and the first formula is a consequence of the Eckhoff-Jamison Inequality (cf. Theorem 11§1.9(3)). If h ( X) = cind (X) + 1 then c (X ) = cind (X), and the second formula is a consequence of the special Eckhoff-Jamison Inequality. 03,
5.15. Proposition. Let X be a closure stable, JHC, and FS3, space with connected convex sets. If X has the Ramification Property, then
h (X) = r ( X ) = c ( X ) = e (X) = cind(X) + 1.
Proof. By Corollary 4.9, all segments of X are one-dimensional. It easily follows from this fact that all segments are decomposable: 'd c Eab: ab = ac u cb; { c } = ac n cb
(cf. Section 107). Then, by Proposition 1131.3 and Theorem 5.2, all four classical
479
S5: Dimension and Convex Invariants
invariants are equal. We know already that the Helly number is at most cind(X) + 1. So it suffices to show that
(1)
C i n d ( x ) + l
We may assume c ( X ) c -. Then r(X) c and by Theorem 5.4, we find cind(X) c -. The case cind(X) I 0 being easy, let (1) be valid in dimensions c n and consider cind(C) = n. Let 0 be an open half-space with cind(Bd(0))= n-1 and let F B d ( 0 ) be a C-independent set with n points, say: F = { a l , , . , a n } . We let Fi = F \{ a i } . There is a point u E c o ( F ) which is in no proper face co(Fi) of the polytope. For each i = l,..,n there is a convex open set Oiwith u E Oi; Oi nco (Fi) = 0.
Then nF=,Oiis a neighborhood of u and we find a point t F u { t } is C-independent.
E nF=1 Oi
n0. We verify that
t’
Jv Fig. 3: Invariants under the Ramification Property Suppose first that u E co ({ t } u Fi) for some i. by JHC, there is a point x E co (Fi) such that u E xf. By the Subdivision Property 1151.2, we have c o ( F ) = u?=~ c o ( { x } u Fj). So there is an index j and a point s E co (Fj) with u E xs. Observe that s d ut since ut E nL1Oi and the latter is disjoint from co (Fj). Also, s 4 xu since u E xs and segments are geometric. Therefore, s 4 xt = x u uut.
On the other hand, t showing that (2)
u
4
c$ XF
since t
4 Bd(0).
This contradicts the Ramification Property,
n
u c o ( { t } UFi).
i=l
Consider a point v
E
ut 1 { u,t }. We show that n
v
E
co(Fu{t})\(,u co(Fiu{t})uco(F)), 1=l
to the effect that F u { t } is C-independent. Clearly, v E co (F u { t }) and v 4 co (F). If v E co({ t } u F k ) for some k, then there is a point w E co(Fk)with v E wt. However,
480
w
Chap. IV: Miscellaneous
4 ut and u q' wt by (2), contradicting the Ramification Property.
We next concentrate on finding a lower bound for c and e in terms of cind. This will be done under the additional assumption of the Continuous Positions Property. 5.16. Lemma. Let X be a space with connected convex sets and with the Continuous Positions Property. Let C E X be convex and let 0 l,..,On be open half-spaces of X , such that for ench i = l,..,n, the set nj
nO i n nBd(Oj)nC#O.
isF
(*,)
jcC
Proof. We first show by induction onp S n that For all i S p , the set n{ Bd(Oj) I j S p , j # i } n Oin C i s not empty.
For i = p this is an assumed property. so we only have to consider the case i < p . For p = 1 there is nothing left to be proved. Supposep > 1 and let (*J be valid for q < p . By (1) and (2) there exist points Let i < p , By inductive assumption, Oi meets the convex set D=n{Bd(Oj) IjSp-1, j # i } .
By CPP, this yields n B d ( O j ) n C = B d ( O i ) nD = CID(OinD ) \ Oi.
j
Note that x and y are in the left hand set. Since O,, resp., X \ G,, is a neighborhood of x , resp., y , we obtain two points X'E
O,nOinD; y'EX\iipnOinD.
Since x ' y ' c 0, nD and since the segment x'y' is connected, there is a point E xi)' nBd (O,), as required in {*,). Having completed the induction, we conclude that (*,) holds, which is the conclusion of the lemma in case #F = 1. Let #F = p > 1 and suppose the conclusion holds for sets with less than p points. Take k E F and consider the sets
z
F=F\{k}; C'=Cu{k}. By assumption, there are points X E
n O i n n B d ( O j ) and y E Ok n nBd (01) n c.
iEF'
jcG
l#k
6
Then the segment xy is included in nj G Bd (Oj), whereas x E and y E CPP, x E Clx(xy n 0,). As ni F' Oi is a neighborhood of x, we find
0 # n Oi nxy n Okc n Oin n B d ( O j ) . is F'
icF
jcC
ok. Hence by
481
S5: Dimension and Convex Invariants
5.17. Theorem. Let X be a closure stable FS3 space with compact polytopes and with the Continuous Positions Property. Let Y E X be a connected convex subset. Then
cind(Y)
Proof. We will verify the following statements. nlcind(Y)
nlc(Y);
nlcind(Y)
n+lle(Y).
Both are clear if n I1;we assume n > 1. Let 8 denote the collection of all half-spaces 0 E X such that 0 nY # 0 and Y go. As a consequence of CPP, a set of type B d ( 0 ) n Y,where 0 E 8, is the relative boundary of 0 n Y in Y. As X is F S 3 , the collection of such boundaries separates relatively convex closed sets from points in Y. As cind(Y) 2 n, there is 0 1 E 8 such that cind(Bd(O1)nY)2n-l 20. If n-1 > 0, then this procedure can be repeated on the connected convex subspace Y l = Bd (0 n Y. This leads to a sequence 0 1,..,On of open half-spaces in X, such that for each i I n,
nBd(Oj) n Y n Oi # O ; n Bd(Oj)n Y doi;
j ci
j
cind(n B d ( 0 j ) n Y) 2 n-i 2 0. jSi
In particular, there is a point u in nT=lBd(Oi)n Y. By Lemma 5.16, there exists a point xi in njziBd (Oj) nY n Oi for each i = 1,..,n. Consider the sets F = xi,..,^,}; Fi = F \ { x i } . We have F E Y and co (FJ E co ({ u } uFi) Bd(0i) for each i. As Oi meets co ( F ) (e.g., in xi), CPP yields that
=
co ( F ) = Oi nco ( F ) = cl(oinco (~1). Consequently, co(Fi) is a closed and nowhere dense subset of co(F). It follows that u;=,co (Fi) is a proper subset of co (F): the set F is C-independent. On the other hand, nbl Oi n co(F) is a dense subset of co(F) disjoint from c o ( { u } uFi). It follows that co (F) ubl co ({ u } uFi): the set { u } u F is E-independent. Summarizing, we have 8 c(Y) 2 n and e (Y) 2 n+l. In Section IIQ4 we considered a few other invariants. One of them is the rank, which is loosely connected with the dimension of a space. Instead, it is closely connected with the dimension of the convex hyperspace. Let us verify these facts. 5.18. Proposition. For a closure stable FS3 space X with connected convex sets,
d (X) 2 24nd (X).
Proof. If cind(X) 2 n 2 0, then by Theorem 4.13 there is a CP map of X onto [0,1]”. The rank of the n-cube equals 2n (cf. II§4.14.5), and surjective CP functions do not raise 8 rank (cf. 1104.34).
Chap. I V : Miscellaneous
482
5.19. Theorem. Let X be a uniform S4 space with connected convex sets and with compact polytopes. Then
cind(7Ccm,,(X)) = d (X).
Proof. We first verify that cind ( Z C m p ( X ) )I d (X). We may assume that d ( X ) < -. Then the convex closure of the union of two compact
convex sets is compact (cf. Topic 5.22.1), which is a necessary condition in the discussion of hyperspace properties presented in 3.10. We will show for each n (-1 I n < -) that (*)
n Icind (3Ccmp(X)) implies n Id (X).
This is clear if n 5 0. Let n > 0 and n Icind(7Ccmp(X)). There is a CP map f of cind(Xcmp(X)) onto [0,1]". For each i = l,..,n we have two closed half-spaces of ~~COmP(X).
x i = f ' { y I7r;h)=O};x : = f ' { y
I n;i(V)=l},
where xi denotes the ith coordinate projection. By Lemma 2.25.2, each closed half-space of T ~ c o m p ( X ) >is of type (i) n,7ecmp(X)for some closed half-space Hi of X; we will no longer make use of the other half-space X:. As f i s surjective, for each i = l,..,n there is a compact convex set Di such that
n;f (Di)= 1 ; njf (0;) = 0 (j+ i). Consequently, D;c nj,;Hi and Di Hi. Choosing xi E D;\ Hi for i = l,..,n yields an independent n -point set, showing that n I d ( X ) , establishing (*). To prove the remaining inequality d (X) I cind WCmp(X)), we verify for each n (-1 In < -) that (**)
d (X) 2 n implies cind (3Tcomp(X)) 2 n.
We argue as follows (n > 0). Consider a polytope of X , spanned by n independent points. This yields a compact convex set C L X with d ( C ) 2 n and cind(3Ccmp(X)) is at least equal to cind(3CCmp(C)). So, we only have to check that n I cind(3Ccm,,(C)): for the remainder of the proof, we assume that X is a non-empty compact space of rank 2 n. The result is evident if X is a one-point space. Let cind(X) 2 1; in particular, d ( X ) 2 2 by Proposition 5.18. So, we may assume n 2 2. Let XI,..,^,, be n independent points ofX. For each i = l,..,n there is a closed half-space HiEXsuch that xi 4 Hi; co{xj I j f i} ~ ; l n t ( H i ) . There is a convex neighborhood Oi of x i , included in n+Int(Hj) I Hi. For each
483
S5: Dimension and Convex Invariants
i = l,..,n, we consider a CP map fi: X
+ [0,1] such that
fi(xi)= 0; fi(Hi) = { 1}* We can take care that sup fi(0i) = 1. Consider the mapping
f:3ecmp(X)+ [O, ll", f ( C ) ( inf fl(C),.., inf fn(C)>. Each component mapping C inf fi(C) is continuous and CP (cf. 11194.21.3). Hence the mapping f i s CP. If ( t l , . . , t n ) E [0, l)", then for each i we can find a point ui E Oi such that f i ( u i ) =ti. For each j # i we have ui E Znt(Hj) and hence b(ui) = 1. Therefore, f maps the "element" c o ( { u ~ , . . , u , } ) to ( t l , . . , t n ) . This shows that f is surjective. By Theorem 4.13, we conclude that cind(3eCmp(X)) 2 n, completing the proof. w Under the assumptions of the last theorem, we can conclude that the dimension of a convex hyperspace is at least twice the dimension of the basic space.
Further Topics 5.20. A counterexample (van de Vel [1983g]). The next example illustrates the sharpness of Proposition 5.7. Consider the plane with an H-convexity which is symmetrically generated by the two coordinate projections f l and f 2 , together with their sum fo. Let 0 0
=fi'(%,-);
0 i =f;'(O,-)
(i = 1, 2).
For each i = 0, 1, 2 this gives an open half-space
oi=