Abstract
In an Archimedean directed partially ordered vector space X, one can define the concept of a band in terms of disjointness. Bands can be studied by using a vector lattice cover Y of X. If X has an order unit, Y can be represented as a subspace of \(C(\Omega )\), where \(\Omega \) is a compact Hausdorff space. We characterize bands in X, and their disjoint complements, in terms of subsets of \(\Omega \). We also analyze two methods to extend bands in X to \(C(\Omega )\) and show how the carriers of a band and its extensions are related. We use the results to show that in each ndimensional partially ordered vector space with a closed generating cone, the number of bands is bounded by \(\frac{1}{4}2^{2^n}\) for \(n\ge 2\). We also construct examples of \((n+1)\)dimensional partially ordered vector spaces with \(\left( {\begin{array}{c}2n\\ n\end{array}}\right) +2\) bands. This shows that there are ndimensional partially ordered vector spaces that have more bands than an ndimensional Archimedean vector lattice when \(n\ge 4\).
1 Introduction
Bands play an important role in the theory of vector lattices. Together with concepts such as ideals and disjointness they are widely used to study the structure of vector lattices. Bands and disjointness are closely related, as in Archimedean vector lattices bands are exactly those subspaces that coincide with their double disjoint complements. In the study of operators on vector lattices there is a particular interest in operators preserving certain structures of the lattice. Especially the study of band preserving and disjointness preserving operators is an active field of research, see e.g. [1–3, 11].
If one considers vector lattices, one naturally encounters ordered spaces that are not lattices. For instance, linear subspaces of vector lattices and spaces of operators between vector lattices are partially ordered vector spaces, but not lattices, in general. It is therefore of interest to extend the theory of vector lattices and operators on them to partially ordered vector spaces.
The notion of a band is defined in partially ordered vector spaces by means of disjointness in [5]. Fundamental properties of bands in partially ordered vector spaces are shown in [6] with the aid of vector lattice covers. In [9] a functional representation method provides a vector lattice cover of an Archimedean partially ordered vector space X with unit by embedding X into a space of continuous functions \(C(\Omega )\), where \(\Omega \) is a compact Hausdorff space. This raises the question whether the bands in X can be identified in terms of subsets of \(\Omega \). In Sect. 2 we establish a onetoone correspondence between the bands in X and socalled ‘bisaturated’ subsets of \(\Omega \).
It has been shown in [6] that bands in X can be extended to bands in a vector lattice cover of X. In Sect. 3 we consider two different extension methods using disjoint complements, for which we establish the relations between the ‘carrier’ of a band in X and the carrier of the extension of the band in \(C(\Omega )\).
In Sect. 4 we use the results of Sect. 2 to investigate bands in finite dimensional spaces. We show that the results provide a method to list all bands in spaces with polyhedral cones. Further, we prove that the number of bands in a space with a polyhedral cone is bounded by a constant only depending on the dimension of the space. By a plastering approximation we extend this result to arbitrary generating closed cones.
In the remainder of this section we fix our notation.
Let X be a real vector space and let K be a cone in X, i.e., K is a wedge (\(x,y\in K, \,\lambda ,\mu \ge 0\) imply \(\lambda x+\mu y\in K\)) and \(K\cap (K)=\{0\}\). In X a partial order is introduced by defining \(y\ge x\) if and only if \(yx\in K\). In this case X is called a partially ordered vector space. The space X is called directed if \(X=KK\); in this case K is called generating. The space X is Archimedean if for any \(x,y\in X\) with \(nx\le y\) for all \(n\in \mathbb {N}\) we have \(x\le 0\).
For a subset M of X the set of all upper bounds of M is denoted by \(M^u\). As in [4, Definition 2.1], we call \(M\subseteq X\) solid if from \(x\in X\), \(y\in M\) and \(\{x,x\}^u\supseteq \{y,y\}^u\) it follows that \(x\in M\). A solid linear subspace of X is called an ideal. According to [5], \(x,y\in X\) are called disjoint, in symbols \(x\perp y\), if
The disjoint complement of a subset M of X is the set
A linear subspace B of X is called a band if \((B^d)^d=B\). If X is an Archimedean vector lattice, these notions coincide with the usual ones. In a directed Archimedean partially ordered vector space X every band is an ideal [6, Theorem 5.14], and for a subset \(B\subseteq X\) the set \(B^d\) is a band [5, Proposition 5.5 (ii)].
Throughout the exposition we assume that X is an Archimedean partially ordered vector space and has an order unit \(u\in K\), i.e., for each \(x\in X\) there exists \(\alpha \ge 0 \) such that
Then X is directed. As usual, an order unit \(u\in K\) gives rise to a norm \(\left\ \cdot \right\ _u\) on X by
With respect to this norm each positive linear functional \(\varphi :X\rightarrow \mathbb {R}\) is continuous, as \(\varphi (x)\le \varphi (u)\) for all \(x\in X\) with \(\Vert x\Vert _u\le 1\). In the norm dual \(X'\) the set
is a cone.
Next we recall the functional representation of X. Denote
By the Banach–Alaoglu theorem the closed unit ball \(B'\) of \(X'\) is w*compact. \(\Sigma \) is a w*closed subset of \(B'\), and hence w*compact. Let
Recall that \(\varphi \in \Sigma \) is extreme if \(\varphi \) is not in the (relative) interior of a linesegment in \(\Sigma \), and that \(\Lambda \ne \emptyset \) by the Krein–Milman theorem. In general, \(\Lambda \) need not be w*closed, not even if X is finite dimensional. For \(M\subseteq X'\) the w*closure of M is denoted by \(\overline{M}\). Thus \(\overline{\Lambda }\) is a compact Hausdorff space.
In the sequel we write \(\Phi :X\rightarrow C(\overline{\Lambda })\) to denote the linear map
\((\Phi ,\overline{\Lambda })\) is a functional representation of X, which means that \(\Phi \) is linear, bipositive, maps u to the constant 1 function (which implies isometry with respect to the unorm) and the image of \(\Phi \) separates the points of \(\overline{\Lambda }\). Recall that a linear map \(\Psi :U\rightarrow V\), where U and V are partially ordered vector spaces, is called bipositive if for every \(x\in U\) one has \(x\ge 0\) if and only if \(\Psi (x)\ge 0\).
We proceed by recalling the vector lattice cover. A linear subspace D of a partially ordered vector space Y is order dense if every \(h\in Y\) is the greatest lower bound of the set \(\{g\in D:\, g\ge h\}\). A vector lattice cover of a partially ordered vector space X is a vector lattice Y for which there exists a bipositive linear map \(i:X\rightarrow Y\) such that i(X) is order dense in Y. If in addition there is no proper vector sublattice of Y containing i(X), then (Y, i) is called a Riesz completion [7]. A Riesz completion Y is unique up to isomorphism [7, Remark 3.2], and hence we may speak of the Riesz completion of X. The partially ordered vector spaces that have a Riesz completion are called preRiesz spaces. It is shown in [7, Theorems 1.7, 3.5, 3.7, 4.13 and Corollaries 4.9–4.11] that, among other spaces, every directed Archimedean partially ordered vector space X has a Riesz completion. If, in addition, there is an order unit in X, the Riesz completion can be obtained by means of \(\Phi \).
Theorem 1
[9, Theorem 10] Let X be an Archimedean partially ordered vector space with order unit u. Then \(C(\overline{\Lambda })\) is a vector lattice cover of X. Moreover, the Riesz subspace of \(C(\overline{\Lambda })\) generated by \(\Phi (X)\) is the Riesz completion of X.
If (Y, i) is a vector lattice cover of X, then \(x\perp y\) if and only if \(i(x)\perp i(y)\) [5, Theorem 4.1]. In this setting, the extension property for bands is shown in [6, Proposition 5.12], namely, if B is a band in X, then there is a band \(\widehat{B}\) in Y such that \(i(B)=\widehat{B}\cap i(X)\). To describe B by means of the functional representation, we first recall wellknown results concerning ideals and bands in \(C(\Omega )\), where \(\Omega \) is a compact Hausdorff space, cf. e.g. [12, Example 9.4]. For a set \(S\subseteq C(\Omega )\) the carrier of S is defined by
The carrier of an ideal in \(C(\Omega )\) is an open subset of \(\Omega \). Different ideals in \(C(\Omega )\) may have the same carrier. For an open subset O of \(\Omega \) the set \(I_O:=\{s\in C(\Omega ):\forall \omega \in \Omega {\setminus } O \text{ one } \text{ has } s(\omega )=0 \}\) is the largest ideal having O as its carrier. If P is an open subset of \(\Omega \) as well, then \(I_O=I_P\) if and only if \(O=P\).
Recall that \(f,g\in C(\Omega )\) are disjoint if and only if for every \(\omega \in \Omega \) one has \(f(\omega )=0\) or \(g(\omega )=0\). For every band B in \(C(\Omega )\) there is an open subset O of \(\Omega \) such that \(B=I_O\), so a band is determined whenever its carrier is known. On the other hand, for an open subset O of \(\Omega \) the set \(I_O\) is not a band, in general. An open subset O of \(\Omega \) is called regularly open if it equals the interior of its closure, i.e. \(O={\text {int}}(\overline{O})\). Bands in \(C(\Omega )\) are characterized as follows (see for instance [8, 12.7–12.9] or [12, Example 9.4]).
Proposition 2
For an open subset O of \(\Omega \) the ideal \(I_O\) is a band if and only if O is regularly open.
We combine properties of disjointness in vector lattice covers and in \(C(\Omega )\). If X is an Archimedean partially ordered vector space with unit and \(\Phi \) is its embedding into \(C(\overline{\Lambda })\) as given above, then Theorem 1 yields that for \(x,y\in X\)
Moreover, if B is a band in X, then there exists a regularly open set \(O\subseteq \overline{\Lambda }\) such that
2 Characterization of bands
We consider an Archimedean partially ordered vector space X with order unit and its embedding \(\Phi \) into \(C(\overline{\Lambda })\) as given in Sect. 1. For \(B\subseteq X\) we will deal with \({\text {car}}(\Phi (B))\), which we abbreviate by \({\text {car}}(B)\).
Remark 3
If \(X=C(\Omega )\), where \(\Omega \) is a compact Hausdorff space, then \(\Lambda =\overline{\Lambda }\) and \(\Omega \) are homeomorphic, such that the carrier of \(B\subseteq C(\Omega )\) defined as a subset of \(\overline{\Lambda }\) corresponds to the carrier of B seen as a subset of \(\Omega \). In that sense the definition of the carrier in X is compatible with the definition of the carrier in Sect. 1.
We denote
For a set \(M\subseteq \overline{\Lambda }\) we also use the notation \(M^c:=\overline{\Lambda }{\setminus } M\). \(\mathrm {span}\,(M)\) denotes the linear subspace of \(X'\) spanned by M and the affine hull of M is given by
For \(M\subseteq \overline{\Lambda }\) denote the zero set induced by M by
In the present section, we will characterize those sets \(M\subseteq \overline{\Lambda }\) that belong to a band B in X in the sense that \(B=Z(M)\) and \(M=N(B)\). We need the following notion.
Definition 4
For \(M\subseteq \overline{\Lambda }\) we define the saturation of M by
A set \(M\subseteq \overline{\Lambda }\) is called saturated if \(M=\mathrm {sat}\,(M)\).
Instead of the linear span one could also use the affine hull in the definition of saturation, see Corollary 7 below.
It is straightforward that for \(B\subseteq X\) the set N(B) is saturated. In the subsequent proposition we characterize the saturation by means of zero sets. Let us first state two properties.
Lemma 5
Let \(M\subseteq \overline{\Lambda }\). Then the following holds :

(i)
\(\mathrm {sat}\,(\mathrm {sat}\,(M))=\mathrm {sat}\,(M)\);

(ii)
\(Z(\mathrm {sat}\,(M))=Z(M)\).
Proof
(i) Clearly, \(M\subseteq \mathrm {sat}\,(M)\) and if \(N\subseteq \overline{\Lambda }\) is such that \(M\subseteq N\) then \(\mathrm {sat}\,(M)\subseteq \mathrm {sat}\,(N)\). Since \(\mathrm {sat}\,(M)\subseteq \overline{\mathrm {span}\,(M)}\) it follows that
so that \(\mathrm {sat}\,(\mathrm {sat}\,(M))\subseteq \mathrm {sat}\,(M)\). Hence \(\mathrm {sat}\,(\mathrm {sat}\,(M))=\mathrm {sat}\,(M)\).
(ii) \(\mathrm {sat}\,(M)\supseteq M\), so \(Z(\mathrm {sat}\,(M))\subseteq Z(M)\). If \(x\in Z(M)\), then \(\varphi (x)=0\) for all \(\varphi \in M\), so \(\varphi (x)=0\) for all \(\varphi \in \overline{\mathrm {span}\,(M)}\). Hence \(x\in Z(\mathrm {sat}\,(M))\). \(\square \)
The definitions of N(B) and Z(M), where \(B\subseteq X\) and \(M\subseteq \overline{\Lambda }\), are closely related to the notion of annihilator. Indeed, \(N(B)=\overline{\Lambda }\cap B^\perp \) and \(Z(M)={}^\perp M\), where \(B^\perp \) denotes the annihilator of B in \(X'\) and \({}^\perp M\) the annihilator of M in X (see [10, Definition 1.10.14]). The next proposition is a variant of [10, Proposition 2.6.6(b)].
Proposition 6
Let \(M\subseteq \overline{\Lambda }\). Then
Proof
If \(\varphi \in \overline{\Lambda }\cap \mathrm {span}\,(M)\) and \(x\in Z(M)\), then \(\varphi (x)=0\), so
Since the right hand side of the equality is a w*closed set, it follows that
Vice versa, let
By the HahnBanach theorem, there is \(x\in X\) such that \(\psi (x)\ne 0\) and for all \(\varphi \in \overline{\mathrm {span}\,(M)}\) one has \(\varphi (x)=0\). In particular, \(x\in Z(M)\). So,
\(\square \)
It can be observed that the saturation of \(M\subseteq \overline{\Lambda }\) is the largest subset N of \(\overline{\Lambda }\) such that \(Z(N)=Z(M)\).
In the considerations below it appears more natural to use the affine hull instead of the linear span in describing saturations. It is a consequence of Proposition 6 that the same sets are obtained.
Corollary 7
Let \(M\subseteq \overline{\Lambda }\). Then \(\mathrm {sat}\,(M)=\overline{\Lambda }\cap \overline{\mathrm{aff}(M)}\).
Proof
Since \(\overline{\mathrm{aff}(M)}\subseteq \overline{\mathrm {span}\,(M)}\) one has \(\overline{\Lambda }\cap \overline{\mathrm{aff}(M)}\subseteq \overline{\Lambda }\cap \overline{\mathrm {span}\,(M)}=\mathrm {sat}\,(M)\). It remains to show that \(\overline{\Lambda }\cap \overline{{\text {aff}}(M)}\supseteq \mathrm {sat}\,(M)\). This is clear if \(M=\emptyset \), so we may assume that M is nonempty.
Let \(\psi \in \overline{\Lambda }{\setminus } \overline{{\text {aff}}(M)}\). By the HahnBanach theorem, there exist \(x\in X\) and \(\gamma \in \mathbb {R}\) such that \(\psi (x)>\gamma \) and \(\varphi (x)\le \gamma \) for all \(\varphi \in \overline{{\text {aff}}(M)}\). If \(\varphi _1,\varphi _2\in {\text {aff}}(M)\), then \(\varphi _1+\alpha (\varphi _2\varphi _1)\in \mathrm{aff}(M)\) for all \(\alpha \in \mathbb {R}\), hence \(\varphi _1(x)=\varphi _2(x)\), as \(\varphi (x)\le \gamma \) for all \(\varphi \in {\text {aff}}(M)\). Take \(\varphi _0\in M\) and \(z:=x\varphi _0(x)u\). Then for every \(\varphi \in {\text {aff}}(M)\) we have \(\varphi (x)=\varphi _0(x)\), so \(\varphi (z)=\varphi (x)\varphi _0(x)\varphi (u)=0\), since \({\text {aff}}(M)\subseteq \Sigma \). In particular, \(z\in Z(M)\). Also, \(\psi (z)=\psi (x)\varphi _0(x)\psi (u)=\psi (x)\varphi _0(x)>\gamma \gamma =0\), so that \(\psi \not \in N(Z(M))\). Hence \(\overline{\Lambda }\cap \overline{{\text {aff}}(M)}\supseteq N(Z(M))=\mathrm {sat}\,(M)\), according to Proposition 6.
\(\square \)
As a preparation for the main result concerning the characterization of bands by means of subsets of \(\overline{\Lambda }\), we provide some lemmas.
Lemma 8
Let \(B\subseteq X\). Then \(Z({\text {car}}(B))=B^d\).
Proof
Let \(x\in Z({\text {car}}(B))\), then for all \(\varphi \in {\text {car}}(B)\) one has \(\varphi (x)=0\), which implies \(\Phi (x)(\varphi )=0\). Let \(b\in B\). Then for all \(\varphi \in \overline{\Lambda }{\setminus } {\text {car}}(B)\) it holds that \(\varphi (b)=0\), so \(\Phi (b)(\varphi )=0\). Hence \(\Phi (b)\perp \Phi (x)\), so \(b\perp x\). Consequently, \(x\in B^d\).
Conversely, let \(x\in B^d\), i.e., for all \(b\in B\) one has \(\Phi (b)\perp \Phi (x)\). Let \(\varphi \in {\text {car}}(B)\), then there is \(b\in B\) such that \(\varphi (b)\ne 0\). This implies \(\Phi (b)(\varphi )\ne 0\), so \(\Phi (x)(\varphi )=\varphi (x)=0\). Consequently, \(x\in Z({\text {car}}(B))\). \(\square \)
Lemma 9
Let \(B\subseteq X\). Then \(B\subseteq Z(N(B))\subseteq B^{dd}\).
Proof
If \(x\in B\), then for all \(\varphi \in N(B)\) it holds that \(\varphi (x)=0\), hence \(x\in Z(N(B))\).
Let \(x\in Z(N(B))\) and \(y\in B^d\). If \(\varphi \in \overline{\Lambda }{\setminus } N(B)\), then there is \(b\in B\) such that \(\varphi (b)\ne 0\), consequently \(\Phi (b)(\varphi )\ne 0\), hence \(\varphi (y)=\Phi (y)(\varphi )=0\). Thus, for each \(\varphi \in \overline{\Lambda }\) we have \(\Phi (x)(\varphi )=\varphi (x)=0\) or \(\Phi (y)(\varphi )=\varphi (y)=0\), therefore \(x\perp y\). Hence \(x\in B^{dd}\). \(\square \)
As a direct consequence of Lemma 9, we obtain the following result.
Proposition 10
Let B be a band in X. Then \(B=Z(N(B))\).
Therefore, in analogy to bands in \(C(\Omega )\) (which were discussed in Sect. 1), a band in X is determined whenever its carrier is known.
Lemma 11
Let \(B\subseteq X\) be such that \(B=Z(N(B))\). Then
Proof
Due to Lemma 8, one has
Let \(x\in X\) be such that for all \(\varphi \in (N(B))^c\) one has \(\varphi (x)=0\), and let \(\psi \in \mathrm {sat}\,((N(B))^c)=\overline{\Lambda }\cap \overline{\mathrm {span}\,((N(B))^c)}\). Then it is straightforward that \(\psi (x)=0\), hence the assertion is proved. \(\square \)
The next definition introduces those saturated subsets of \(\overline{\Lambda }\) the zero sets of which turn out to be bands. Just as a band and its disjoint complement, also such saturated subsets appear in pairs. The ensuing definition makes sense in the more general setting of a topological vector space E (instead of \(X'\)) and a subset V of E (instead of \(\overline{\Lambda }\)). With hindsight and in view of Corollary 7, we call a subset M of V saturated (in V) if
Definition 12
Let E be a topological vector space and let V be a subset of E. A subset M of V is called bisaturated (in V) if
For two subsets \(M_1\) and \(M_2\) of V the set \(\{M_1,M_2\}\) is called a bisaturated pair (in V) if
For a subset M of V we abbreviate \(M^c:=V{\setminus } M\). Note that a set \(M\subseteq V\) is bisaturated if and only if
and for two subsets \(M_1,M_2\subseteq V\) the set \(\{M_1,M_2\}\) is a bisaturated pair if and only if \(M_1=\mathrm {sat}\,({M_2}^c)\) and \(M_2=\mathrm {sat}\,({M_1}^c)\).
Clearly, every bisaturated subset of V is saturated. For an example of a saturated set which is not bisaturated see Example 36 below. Next we give an example of a bisaturated set.
Example 13
Consider \(X=C[0,1]\) (so \(\overline{\Lambda }\) consists of the point evaluations and can be identified with [0, 1]), and
We claim that the set \(N(B)=\left[ \textstyle \frac{1}{2},1\right] \) is bisaturated. Indeed,
so
Observe that \((N(B))^c=[0,\textstyle \frac{1}{2})\) is not saturated, since every saturated set is closed.
The next lemma relates bisaturated sets and bisaturated pairs in V, where V is a subset of a topological vector space E, and provides a geometric description of bisaturated sets. Observe that for a bisaturated pair \(\{M_1,M_2\}\) in V we have
since \(M_1\cup M_2= M_1\cup \mathrm {sat}\,(M_1^c)\supseteq M_1\cup {M_1}^c=V\).
Lemma 14
For two saturated sets \(M_1,M_2\subseteq V\) the following four statements are equivalent.

(a)
\(M_1\) is bisaturated and \(M_2=\mathrm {sat}\,({M_1}^c)\);

(b)
\(\{M_1, M_2\}\) is a bisaturated pair;

(c)
\(\overline{\mathrm{aff}(M_1)}=\overline{\mathrm{aff}(V{\setminus } M_2)}\) and \(\overline{\mathrm{aff}(M_2)}=\overline{\mathrm{aff}(V{\setminus } M_1)}\);

(d)
there exist affine subspaces \(S_1\) and \(S_2\) of E such that
$$\begin{aligned} V\subseteq S_1\cup S_2,\ S_1=\overline{\mathrm{aff}(V{\setminus } S_2)}, \ S_2=\overline{\mathrm{aff}(V{\setminus } S_1)},\ M_i=V\cap S_i,\ i=1,2. \end{aligned}$$
Proof
(a)\(\Rightarrow \)(b): \(M_1\) is bisaturated, so \(M_1=\mathrm {sat}\,((\mathrm {sat}\,({M_1}^c))^c)=\mathrm {sat}\,({M_2}^c)\).
(b)\(\Rightarrow \)(c): We have
so \(\overline{\mathrm{aff}(M_2)}\subseteq \overline{\mathrm{aff}({M_1}^c)}\). Also,
so \(\overline{\mathrm{aff}(M_2)}\supseteq \overline{\mathrm{aff}({M_1}^c)}\). Hence \(\overline{\mathrm{aff}(M_2)}=\overline{\mathrm{aff}({M_1}^c)}\). Similarly, \(\overline{\mathrm{aff}(M_1)}=\overline{\mathrm{aff}({M_2}^c)}\).
(c)\(\Rightarrow \)(d): Choose \(S_i=\overline{\mathrm{aff}(M_i)}\), \(i=1,2\). Since \(M_i\) is saturated, \(M_i=V\cap \overline{\mathrm{aff}(M_i)}=V\cap S_i\). Hence
and, similarly, \(S_2=\overline{\mathrm{aff}(V{\setminus } S_1)}\).
(d)\(\Rightarrow \)(a): Since \(V{\setminus } M_1=V{\setminus } (V\cap S_1)=V{\setminus } S_1\), we have
thus \(M_1\) is bisaturated. \(\square \)
For \(E=X'\) and \(V=\overline{\Lambda }\), we relate bisaturated pairs in \(\overline{\Lambda }\) to disjoint complements in X.
Proposition 15
Let \(M_1,M_2\subseteq \overline{\Lambda }\) be saturated sets and \(B_1=Z(M_1)\) and \(B_2=Z(M_2)\). Then \(\{M_1,M_2\}\) is a bisaturated pair if and only if \(B_1={B_2}^d\) and \(B_2={B_1}^d\).
Proof
Let \(\{M_1,M_2\}\) be a bisaturated pair. To show that \(B_2\subseteq {B_1}^d\), let \(x_1\in B_1\), \(x_2\in B_2\). For all \(\varphi \in M_1\) one has \(\Phi (x_1)(\varphi )=0\) and for all \(\varphi \in M_2\) one has \(\Phi (x_2)(\varphi )=0\). Since \(M_1\cup M_2\supseteq \overline{\Lambda }\), it follows that \(\Phi (x_1)\perp \Phi (x_2)\), which implies \(x_1\perp x_2\). Hence \(B_2\subseteq {B_1}^d\).
Vice versa, let \(x\in {B_1}^d\). Then for every \(y\in B_1\) we have \(x\perp y\) and hence \(\Phi (x)\perp \Phi (y)\). Therefore, \(\Phi (x)(\varphi )=0\) for every
due to Proposition 6. Thus, \(\Phi (x)(\varphi )=\varphi (x)=0\) for every
Hence \(x\in Z(M_2)=B_2\). Therefore \({B_1}^d=B_2\) and, by symmetry, \({B_2}^d=B_1\).
If \(B_2={B_1}^d\), then due to Proposition 6,
so, by Lemma 8,
Again by Proposition 6,
By symmetry, \(\{M_1,M_2\}\) is a bisaturated pair. \(\square \)
We arrive at the main result in this section. The assumption in the theorem is natural due to Proposition 10.
Theorem 16
Let \(B\subseteq X\) be such that \(B=Z(N(B))\). Then B is a band if and only if N(B) is bisaturated.
Proof
Suppose that \(B_1:=B=Z(N(B))\) is a band. Define \(M_1:=N(B)\) and \(M_2:=\mathrm {sat}\,({M_1}^c)\). Then by Lemma 11, \(B_2:={B_1}^d=Z(M_2)\). Hence by Proposition 15, \(\{M_1,M_2\}\) is a bisaturated pair. So N(B) is a bisaturated set, according to Lemma 14.
Conversely, let \(M_1:= N(B)\) be bisaturated and let \(B_1:=B=Z(N(B))\). Let \(M_2:=\mathrm {sat}\,({M_1}^c)\). Then, by Lemma 14, \(\{M_1,M_2\}\) is a bisaturated pair. Let \(B_2:= Z(M_2)\). Proposition 15 yields that \(B_1={B_2}^d={B_1}^{dd}\), hence \(B=B_1\) is a band. \(\square \)
In Sect. 4 we will use Theorem 16 to bound the number of bands in finite dimensional partially ordered vector spaces.
3 Extension of bands
Let X be a preRiesz space and let (Y, i) be a vector lattice cover of X, for instance its Riesz completion. Recall that \(u\perp v\) in X is equivalent to \(i(u)\perp i(v)\) in Y, such that for \(M\subseteq X\) we have \(i(M^d)=i(M)^d\cap i(X)\).
If B is a band in X, then there are two natural procedures to construct a band \(\widehat{B}\) in Y such that
They are as follows:

(I)
\(\widehat{B}:=(i(B^d))^d\). In [6, Proof of Proposition 5.12] it is shown that (3) is satisfied.

(II)
\(\widehat{B}:=(i(B))^{dd}\). In this case, the subsequent statement shows (3).
Proposition 17

(a)
If \(B\subseteq X\), then \(i(B)^{dd}\cap i(X)\subseteq i(B^{dd})\).

(b)
If B is a band in X, then \(i(B)^{dd}\cap i(X) = i(B)\).
Proof

(a)
Let \(x\in i(B)^{dd}\cap i(X)\). For \(y\in i(B^d)=i(B)^d\cap i(X)\) we have \(x\perp y\), so \(x\in i(B^d)^d\cap i(X)=i(B^{dd})\).

(b)
Clearly, \(i(B)\subseteq i(B)^{dd}\cap i(X)\). As \(B=B^{dd}\), (a) completes the proof.\(\square \)
The band \(\widehat{B}\) in (II) is the smallest band in Y extending B in the sense of (3). Indeed, if F is a band in Y with \(F\cap i(X)= i(B)\), then \(F^d\subseteq i(B)^d\), so \(F=F^{dd}\supseteq i(B)^{dd}=\widehat{B}\).
We further analyze procedures (I) and (II) in the case that Y is given by the functional representation as a subspace of \(C(\overline{\Lambda })\). B and \(\widehat{B}\) are determined by means of their carriers, so it is natural to ask how \({\text {car}}(B)\) and \({\text {car}}(\widehat{B})\) are related and how to determine \({\text {car}}(\widehat{B})\) if \({\text {car}}(B)\) is known.
For every band F in \(C(\overline{\Lambda })\) extending B one has
since \(\Phi (B)^{dd}\) corresponding to (II) is the smallest band extending B. In general, \({\text {car}}(B)\) and \({\text {car}}(\Phi (B)^{dd})\) may differ, as the next example shows.
Example 18
Let
The function \(u=1\) is an order unit in X, so \(\Lambda \) can be identified with \([1,0)\cup (0,1]\), and \(\overline{\Lambda }\) with \([1,1]\). Let
Then
Furthermore, \(B=B^{dd}\), so B is a band in X with \({\text {car}}(B)=(0,1)\). In \(C(\overline{\Lambda })\), we obtain
and
so \({\text {car}}(\Phi (B)^{dd})=(0,1]\ne {\text {car}}(B)\).
Let us investigate procedure (I) in more detail. To determine \({\text {car}}(\Phi (B^d)^d)\) by means of \({\text {car}}(B)\), we need the following identity.
Lemma 19
For a subset \(M\subseteq X\) one has \({\text {car}}(\Phi (M)^d)=\overline{{\text {car}}(M)}^c\).
Proof
For \(s\in C(\overline{\Lambda })\) one has \(s\in \Phi (M)^d\) if and only if \(s(\varphi )=0\) for all \(\varphi \in {\text {car}}(M)\), which is equivalent to \(s(\varphi )=0\) for all \(\varphi \in \overline{{\text {car}}(M)}\). Hence \({\text {car}}(\Phi (M)^d)\subseteq \overline{{\text {car}}(M)}^c\). If \(\psi \in \overline{{\text {car}}(M)}^c\), then by Urysohn’s lemma there exists \(s\in C(\overline{\Lambda })\) such that \(s(\psi )\ne 0\) and \(s(\varphi )=0\) for all \(\varphi \in \overline{{\text {car}}(M)}\), so \(s\in \Phi (M)^d\). Therefore \({\text {car}}(\Phi (M)^d)\supseteq \overline{{\text {car}}(M)}^c\). \(\square \)
Theorem 20
For a band B in X, the carrier of \(\Phi (B^d)^d\) is given by
and \(\Phi (B^d)^d\) is the largest ideal with carrier \(\left( \overline{(\mathrm {sat}\,({\text {car}}(B)))^c}\right) ^c\).
Proof
Due to Lemmas 11 and 5 (ii), we have
Then Proposition 6 implies
hence \({\text {car}}(B^d)=(\mathrm {sat}\,({\text {car}}(B)))^c\). Applying Lemma 19 with \(M=B^d\) completes the proof. \(\square \)
We proceed by discussing procedure (II). First we show that the carrier of B and the carrier of \(\widehat{B}\) have the same closure (in other words, the supports of B and \(\widehat{B}\) are the same).
Proposition 21
For a band B in X one has \(\overline{{\text {car}}(B)}=\overline{{\text {car}}(\Phi (B)^{dd})}\).
Proof
We know that \({\text {car}}(B)\subseteq {\text {car}}(\Phi (B)^{dd})\), so \(\overline{{\text {car}}(B)}\subseteq \overline{{\text {car}}(\Phi (B)^{dd})}\).
Vice versa, suppose there is \(\varphi _0\in \overline{{\text {car}}(\Phi (B)^{dd})}{\setminus } \overline{{\text {car}}(B)}\). By Urysohn’s lemma, there is \(x\in C(\overline{\Lambda })\) such that \(x(\varphi _0)\ne 0\) and \(x(\varphi )=0\) for all \(\varphi \in \overline{{\text {car}}(B)}\). If \(b\in B\), then \(\Phi (b)(\varphi )=\varphi (b)=0\) for all \(\varphi \in \overline{\Lambda }{\setminus } {\text {car}}(B)\), so \(x\perp \Phi (b)\) for all \(b\in B\). Hence \(x\in \Phi (B)^d\). Since \(\varphi _0\in \overline{{\text {car}}(\Phi (B)^{dd})}\) and \(x(\varphi _0)\ne 0\), there exists \(\varphi _1\in {\text {car}}(\Phi (B)^{dd})\) such that \(x(\varphi _1)\ne 0\). Moreover, there is \(y\in \Phi (B)^{dd}\) such that \(y(\varphi _1)\ne 0\). This implies \(x\not \perp y\), which contradicts \(x\in \Phi (B)^d\), \(y\in \Phi (B)^{dd}\). Thus \(\overline{{\text {car}}(B)}= \overline{{\text {car}}(\Phi (B)^{dd})}\). \(\square \)
Since \(\Phi (B)^{dd}\) is a band in \(C(\overline{\Lambda })\), the set \({\text {car}}(\Phi (B)^{dd})\) is regularly open, i.e. \({\text {car}}(\Phi (B)^{dd})={\text {int}}(\overline{{\text {car}}(\Phi (B)^{dd})})\). Now apply Proposition 21 to obtain the following result.
Theorem 22
For a band B in X, the carrier of \(\Phi (B)^{dd}\) is given by
and \(\Phi (B)^{dd}\) is the largest ideal with carrier \({\text {int}}(\overline{{\text {car}}(B)})\).
Remark 23
\({\text {car}}(\Phi (B)^{dd})\) is the smallest regularly open set containing \({\text {car}}(B)\). Indeed, \({\text {int}}(\overline{{\text {car}}(B)})\) is a regularly open set, \({\text {car}}(B)\subseteq \overline{{\text {car}}(B)}\) and \({\text {car}}(B)\) is open, so \({\text {car}}(B)\subseteq {\text {int}}(\overline{{\text {car}}(B)})\). Hence \({\text {int}}(\overline{{\text {car}}(B)})\) is a regularly open set containing \({\text {car}}(B)\). Let O be any regularly open set with \(O\supseteq {\text {car}}(B)\). Then \(\overline{O}\supseteq \overline{{\text {car}}(B)}\), so \(O={\text {int}}( \overline{O}) \supseteq {\text {int}}(\overline{{\text {car}}(B)})\). So \({\text {car}}(\Phi (B)^{dd})={\text {int}}(\overline{{\text {car}}(B)})\) is the smallest regularly open set containing \({\text {car}}(B)\).
In Example 18, \({\text {car}}(\Phi (B)^{dd})=(0,1]\) is indeed the smallest regularly open set in \(\overline{\Lambda }=[1,1]\) containing \({\text {car}}(B)=(0,1)\).
For a band B in X, we address the question whether the carrier of B can be recovered if the carrier of \(\Phi (B)^{dd}\) is known.
Observe that every saturated subset of \(\overline{\Lambda }\) is w*closed. On the contrary, a w*closed subset of \(\overline{\Lambda }\) is not saturated, in general (note that in Example 36 the set \(\{f_1,f_2,f_3\}\) is w*closed but not saturated). Nevertheless, a statement similar to Proposition 21 is true, concerning the saturations of \({\text {car}}(B)\) and \({\text {car}}(\Phi (B)^{dd})\).
Proposition 24
For a band B in X, one has
Proof
First observe that for sets \(M,N\subseteq \overline{\Lambda }\) with \(\overline{M}=\overline{N}\) it follows that \(\mathrm {sat}\,(M)=\mathrm {sat}\,(N)\). Indeed, the continuity of the vector space operations yields \({\text {span}}\left( \overline{M}\right) \subseteq \overline{{\text {span}}(M)}\), hence \(\overline{{\text {span}}\left( \overline{M}\right) }=\overline{{\text {span}}(M)}\), which implies \(\overline{{\text {span}}(M)}=\overline{{\text {span}}(N)}\).
Now the statement follows immediately from Proposition 21. \(\square \)
Next we reconstruct \({\text {car}}(B)\) provided \({\text {car}}(\Phi (B)^{dd})\) is known.
Proposition 25
For a band B in X, one has
Proof
Due to Theorem 16, \(({\text {car}}(B))^c\) is bisaturated. By Proposition 24 we obtain
which implies the assertion. \(\square \)
Summing up the above results, the extension method (II) is such that \({\text {car}}(B)\) and \({\text {car}}(\Phi (B)^{dd})\) have the same closure and the same saturation, and if one of the two sets is known then the other one is determined.
Where procedure (II) yields the smallest band \(\widehat{B}\) in Y extending a band B in X, there is no largest one, in general, as the next example shows.
Example 26
Let S be the unit circle in \(\mathbb {R}^2\) and let X be the space of restrictions to S of affine functions from \(\mathbb {R}^2\) to \(\mathbb {R}\) with pointwise order on S. C(S) is a vector lattice cover of X [4, Example 2.8]. Let \(O_1:=\{(a,b)\in S :a>0, \, b>0\}\) and \(O_2:=\{(a,b)\in S :a<0, \, b<0\}\). Then \(O_1\) and \(O_2\) are regularly open subsets of S, therefore \(I_{O_1}\) and \(I_{O_2}\) are bands in C(S) by Proposition 2. Affine functions in \(I_{O_1}\) or \(I_{O_2}\) are identically zero, hence both \(I_{O_1}\) and \(I_{O_2}\) extend the band \(\{0\}\) in X. The only band in C(S) larger than \(I_{O_1}\) and \(I_{O_2}\) is C(S), which does not extend \(\{0\}\subseteq X\).
4 Bands in finite dimensional spaces
In this section we shall see how to use the characterization of bands in terms of bisaturated sets of \(\overline{\Lambda }\), given in Theorem 16, to analyze the following question.
Question 27
Does there exist an apriori upper bound for the number of bands in a finite dimensional partially ordered vector space X with a closed and generating cone K in terms of the dimension of X? If so, what is the optimal upper bound?
Clearly the number of bands in ndimensional partially ordered vector space is 2 if \(n=1\). For \(n\ge 2\) we have the following result.
Theorem 28
The number of bands in an ndimensional partially ordered vector space (X, K), where is K is a closed generating cone and \(n\ge 2\), does not exceed
The proof of this result consists of two parts. First it will be shown that the upper bound holds for partially ordered vector spaces with polyhedral cones. Subsequently we use the Plastering Lemma 34 to show that the same upper bound holds for general cones.
Let X be a finite dimensional vector space. For a subset \(M\subseteq X\) we mean by \(\dim M\) the dimension of \(\mathrm{aff} M\). Recall that a closed cone K in X is polyhedral if it is the intersection of finitely many closed halfspaces. We use basic results in polyhedral geometry, which can be found, e.g., in [13]. If K is a closed polyhedral cone in X with nonempty interior, then each u in the interior of K is an order unit. Fix such a u. Then there exist \(m\ge \dim X\) functionals, \(\varphi _1,\ldots , \varphi _m\in X'\) with \(\varphi _i(u)=1\) for all i, so that
The functionals \(\varphi _i\) define the facets of K. Recall that a facet of a polyhedral cone K is an (exposed) face \(F=\{x\in K:\psi (x)=0\}\), where \(\psi \in K'\), such that \(\dim F =\dim K1=\dim X1\). Observe that
Indeed, \(\{\sum _i \alpha _i\varphi _i:\alpha _i\ge 0 \text{ for } \text{ all } i\}\subseteq K'\). Now if there exists \(\psi \in K'\) with \(\psi \not \in \{\sum _i \alpha _i\varphi _i:\alpha _i\ge 0 \text{ for } \text{ all } i\}\), then we can use the HahnBanach separation theorem to find \(z\in X''=X\) such that \(\psi (z)<0\) and \(\varphi _i(z)\ge 0\) for all i. As \(K=\{x\in X:\varphi _i(x)\ge 0 \text{ for } \text{ all } i\}\), we see that \(z\in K\), which is impossible, as \(\psi \in K'\) and \(\psi (z)<0\).
Let \(\Lambda \) be the set of extreme points of \(\Sigma :=\{\varphi \in K':\varphi (u)=1\}\). We claim that \(\Lambda =\{\varphi _1,\ldots ,\varphi _m\}\), which is a closed set. Indeed, if there exist \(\sigma \) and \(\rho \) in \(\Sigma \) such that \(\lambda \sigma +(1\lambda )\rho = \varphi _i\) for \(0<\lambda <1\) and some i, then \(F=\{x\in K:\varphi _i(x)=0\}\) is contained in \(\ker \sigma \cap \ker \rho \). As \(\dim F = \dim X1\), we find that \(\sigma =\alpha \varphi _i\) and \(\rho =\beta \varphi _i\) for some \(\alpha ,\beta \in \mathbb {R}\). It now follows that \(\sigma =\varphi _i=\rho \), as \(\sigma (u)=\varphi _i(u)=\rho (u)\).
The space X with polyhedral cone K as defined above fits in the setting of the functional representation given in Sect. 1. As K is closed, X is Archimedean. By Theorem 1,
is bipositive and \(\Phi (\mathbb {R}^n)\) is order dense in \(C(\Lambda )\), where \(C({\Lambda })\) is identified with \(\mathbb {R}^m\) ordered by the standard cone \(\mathbb {R}^m_+\). By [9, Proposition 13], \((\mathbb {R}^m,\Phi )\) is even the Riesz completion of X.
Observe that for a set \(M\subseteq \Lambda \)
Remark 29
Since every subset of \(\Lambda \) is regularly open, we know that \(\widehat{B}\) is a band in the vector lattice \(\mathbb {R}^m\) ordered by the standard cone if and only if there exists \(N\subseteq \{1,\ldots ,m\}\) such that
Moreover, by Theorem 22, a band B in X satisfies \({\text {car}}(B)={\text {car}}(\Phi (B)^{dd})\).
Next we state our main result on the number of bands in spaces with polyhedral cones.
Theorem 30
The number of bands in an ndimensional partially ordered vector space X ordered by a generating polyhedral cone K does not exceed \(\frac{1}{4}2^{2^{n}}\), provided \(n\ge 2\).
By using Theorem 16, the proof of Theorem 30 reduces to a purely combinatorial problem concerning polytopes. Indeed, note that in the setting above, the set \(\Sigma \) is a closed convex polytope in the \((n1)\)dimensional affine hyperplane \(H=\{\varphi \in X':\varphi (u)=1\}\) with vertex set \(V=\{\varphi _1,\ldots ,\varphi _m\}\). From Theorem 16 we know that B is a band in X if and only if N(B) is a bisaturated set in \(\Lambda \). Therefore the number of bands equals the number of bisaturated sets.
Given a finite set V in X, Definition 12 entails that a set \(S\subseteq V\) is bisaturated in V if and only if
and \(\{S,T\}\) is a bisaturated pair in V if and only if
Thus, to prove Theorem 30 it suffices to show the following combinatorial statement.
Theorem 31
In a vertex set V of a polytope P in \(\mathbb {R}^{n1}\), with \(n\ge 2\), there are at most \(\frac{1}{4}2^{2^{n}}\) bisaturated sets.
Proof
Suppose that there exists a polytope P in \(\mathbb {R}^{n1}\) with q bisaturated sets in the vertex set V of P. We wish to show that \(q\le \frac{1}{4}2^{2^n}\). Without loss of generality we may assume that P is chosen such that the number of its vertices is minimal among the cardinalities of the vertex sets of polytopes in \(\mathbb {R}^{n1}\) with at least q bisaturated sets.
Claim 1 For each kdimensional affine subspace U in \(\mathbb {R}^{n1}\), with \(1\le k\le n1\), we have that
Assuming the claim for the moment, we see that V has at most \(2^{n}2\) points, so the number of bisaturated sets of P cannot exceed \(2^{2^{n}2}\). So, it remains to prove the claim. Obviously, the claim is true for \(k=1\), as no three vertices of P lie on a line.
For the sake of contradiction, assume that there exists a kdimensional affine subspace U, with \(k\ge 2\), such that
Now take \(k\ge 2\) as small as possible.
Claim 2 For each \(W\subseteq V\) with \(W\cap U> 2^k 2\), we have that \(U\subseteq \mathrm{aff} W\).
For a proof of Claim 2, observe that \(U\not \subseteq \mathrm{aff} W\) implies that \(U':=U\cap \mathrm{aff} W\) has dimension \(l< k\) and \(U'\cap V> 2^{k}2\ge 2^{l+1}2\), which would mean that k is not minimal.
We continue the proof of Claim 1 and fix \(u\in V\cap U\). To arrive at a contradiction we show that the polytope \(P'\) with vertex set \(V'=V{\setminus }\{u\}\) has the property that if S is a bisaturated set in V, then \(S'=S{\setminus }\{u\}\) is a bisaturated set in \(V'\). Moreover, \(V'\) contains at least as many bisaturated sets as V. The last statement contradicts the minimality assumption on the number of vertices of P.
Let \(\{S,T\}\) be a bisaturated pair of V, and write \(S'=S{\setminus }\{u\}\) and \(T'=T{\setminus }\{u\}\). Then since \(S\cup T=V\), either \(S\cap U>2^k 1\) or \(T\cap U>2^k1\). Without loss of generality we may assume that \(S\cap U> 2^k1\). Then \(U\cap V\subseteq S\), as \(U\subseteq \mathrm{aff} S\) (by Claim 2) and \(V\cap \mathrm{aff} S=S\), and hence \(u\in S\). This implies that \(V{\setminus } S=V'{\setminus } S'\); so,
To show that \(S' = V'\cap \mathrm{aff} (V'{\setminus } T')\) we distinguish two cases: \( u\in T\) and \(u\not \in T\). If \(u\in T\), then
On the other hand, if \(u\not \in T\), then \(T\cap U\le 2^k 2\). Indeed, \(T\cap U>2^k 2\) by means of Claim 2 implies \(U\subseteq \mathrm{aff} T\), so that \(U\cap V\subseteq V\cap \mathrm{aff} T=T\), which shows that \(u\in T\). Thus \((V{\setminus } T)\cap U\ge 2^k\), which implies that \((V'{\setminus } T')\cap U > 2^k2\). Again by Claim 2, it follows that \(U\subseteq \mathrm{aff} (V'{\setminus } T')\); in particular, \(u\in \mathrm{aff} (V'{\setminus } T')\). So,
We conclude that \(\{S',T'\}\) is a bisaturated pair of \(P'\).
It remains to show that \(P'\) has at least as many bisaturated sets as P. Recall that for each bisaturated set S of P, \(S'=S{\setminus } \{u\}\) is a bisaturated set of \(P'\). So, it suffices to show that if S is a bisaturated set of P and \(u\in S\), then \(S'\) is not a bisaturated set of P. Assume that both S and \(S'\) are bisaturated sets of P. Note that if \(S\cap U>2^k1\), then \(S'\cap U> 2^k2\). But this implies (by Claim 2) that \(U\subseteq \mathrm{aff}(S')\), so \(V\cap U\subseteq V\cap \mathrm{aff} S'=S'\), which is impossible, as \(u\not \in S'\). Now assume that \(S\cap U\le 2^k1\); so \((V{\setminus } S)\cap U\ge 2^k> 2^k1\) and then (by Claim 2 for the last time) \(U \subseteq \mathrm{aff}(V{\setminus } S)\). Let \(T = V\cap \mathrm{aff} (V{\setminus } S)\) and \(R =V\cap \mathrm{aff} (V{\setminus } S')\). Obviously, if we can show that \(T=R\), then it follows that \(S =S'\) and we are done. Note that, as \(u\in \mathrm{aff}(V{\setminus } S)\), \(\mathrm{aff}(V{\setminus } S) = \mathrm{aff}(V{\setminus } S')\), and hence \(T=R\). \(\square \)
We next generalize the upper bound in Theorem 30 for the polyhedral case to the general finite dimensional case. Let X be a finite dimensional vector space and K a generating closed cone in X. We denote by (X, K) the partially ordered vector space X ordered by K. We fix an interior point u of K and consider the corresponding functional representation \((\Phi ,\overline{\Lambda })\) as in Sect. 1. Given bands \(B_1,B_2,\ldots ,B_q\) in (X, K), the idea now is to construct a polyhedral cone L in X containing K such that each \(B_i\) is a band in (X, L). The construction uses the characterisation of bands by means of bisaturated sets of \(\overline{\Lambda }\) and the following two technical lemmas.
If \(\{M_1,M_2\}\) is a bisaturated pair in \(\overline{\Lambda }\) and we replace \(M_1\) and \(M_2\) by smaller closed sets \(W_1\) and \(W_2\) that have the same affine hulls as \(M_1\) and \(M_2\), respectively, then the next lemma says that the pair of their saturations in \(W=W_1\cup W_2\) is a bisaturated pair in W.
Lemma 32
Let \(\{M_1,M_2\}\) be a bisaturated pair in \( \overline{\Lambda }\). If \(W_1\subseteq \overline{\Lambda }{\setminus } M_2\) and \(W_2\subseteq \overline{\Lambda }{\setminus } M_1\) are such that
and if F is a closed subset of \(\overline{\Lambda }\) with \(W_1\cup W_2\subseteq F\), then for the sets
the pair \((N_1, N_2)\) is bisaturated in F.
Proof
We have
as \(M_1\) is saturated in \(\overline{\Lambda }\), so
On the one hand, \(F{\setminus } M_1\subseteq \overline{\Lambda }{\setminus } M_1\); so,
by Lemma 14. On the other hand,
so that \(\overline{\mathrm{aff}(F{\setminus } M_1)}\supseteq \overline{\mathrm{aff}(W_2)}\). Thus
and therefore
Similarly, \(F\cap \overline{\mathrm{aff}(F{\setminus } N_2)}=N_1\). \(\square \)
Lemma 33
If B is a subspace of a finite dimensional vector space, then
Proof
Denote \(C=\mathrm{aff}\{\varphi \in \Lambda :\varphi (x)\ne 0 \text{ for } \text{ some } x\in B\}\). Since \(\Lambda \subseteq \overline{\Lambda }\), \(\mathrm{aff}(C)\subseteq \mathrm{aff}({\text {car}}(B))\). The affine subspace \(\mathrm{aff}(C)\) is finite dimensional, hence closed, so it contains the closure of C. It remains to show that \({\text {car}}(B)\subseteq \overline{C}\).
If \(\varphi \in \overline{\Lambda }\) and \(x\in B\) are such that \(\varphi (x)\ne 0\), then there are \((\varphi _\alpha )_\alpha \) in \(\Lambda \) with \(\varphi _\alpha \rightarrow \varphi \) (in weak* topology) and then \(\varphi _\alpha (x)\ne 0\) for \(\alpha \) large. Therefore \(\varphi _\alpha \in C\) for \(\alpha \) large, so \(\varphi \in \overline{C}\). Thus \(\mathrm{aff}({\text {car}}(B))\subseteq \mathrm{aff}(\overline{C})=\mathrm{aff}(C)\). \(\square \)
Now we are in a position to present the plastering lemma.
Lemma 34
Let (X, K) be a finite dimensional partially ordered vector space with a closed generating cone K. For any choice of bands \(B_1,\ldots ,B_q\) in (X, K), there exists a closed generating polyhedral cone L in X with \(K\subseteq L\) such that \(B_i\) is a band in (X, L) for all \(i=1,\ldots ,q\).
Proof
Due to Proposition 10, \(B_i=Z(N(B_i))\) and \({B_i}^d=Z(N({B_i}^d))\) and then according to Proposition 6 the sets \(N(B_i)\) and \(N({B_i}^d)\) are saturated. By Proposition 15, it follows that \(\{N(B_i),N({B_i}^d)\}\) is a bisaturated pair in \(\overline{\Lambda }\). By definition,
Choose, with the aid of Lemma 33, finite sets
such that \(\mathrm{aff}(U_i)=\mathrm{aff}({\text {car}}(B_i))\) and \(\mathrm{aff}(V_i)=\mathrm{aff}({\text {car}}({B_i}^d))\). Define
and \(L:=\{x\in X:\, \varphi (x)\ge 0 \text{ for } \text{ every } \varphi \in F\}\). Since for each i, \(\{N(B_i),N({B_i}^d)\}\) is a bisaturated pair, we obtain
and, similarly, \(\overline{\Lambda }\cap \mathrm{aff}(U_i\cup V_i)\supseteq N(B_i)\), which implies
due to (2). Hence \(\overline{\Lambda }\subseteq \mathrm{aff}(F)\), so that L is a cone. Also, since \(F\subseteq \Lambda \), we have \(L\supseteq K\), so that L is generating. Moreover, the order unit u of (X, K) is an interior point of K, hence an interior point of L and therefore an order unit in (X, L).
Every element of F is an extreme point of
Indeed, if \(\varphi \in F\), \(0<\lambda <1\), and \(\varphi _1,\varphi _2\in \Sigma _L\) are such that \(\varphi =\lambda \varphi _1+(1\lambda )\varphi _2\), then \(\varphi \in \Lambda \) and \(\varphi _1,\varphi _2\in \Sigma \), so \(\varphi _1=\varphi _2=\varphi \), as \(\Lambda \) consists of extreme points of \(\Sigma \). In conclusion, L is a generating polyhedral cone in X, u is an order unit in (X, L), and F is the set of extreme points of \(\Sigma _L\).
It remains to show that for each i the subspace \(B_i\) is a band in (X, L). For \(1\le i\le N\) we have
and, since \(\{N({B_i}^d),N(B_i)\}\) is a bisaturated pair in \(\overline{\Lambda }\),
According to Lemma 32, the saturations in F of the sets \(U_i\) and \(V_i\) constitute a bisaturated pair in F, so that, according to Proposition 15, \(Z(U_i)\) and \(Z(V_i)\) are bands in (X, L) and \(Z(U_i)^d=Z(V_i)\).
Finally, by Lemma 5(ii),
hence \(Z(U_i)={B_i}^d\) by Lemma 11. Similarly, \(Z(V_i)=B_i\). It follows that every \(B_i\) is a band in (X, L). \(\square \)
A combination of Theorem 30 and Lemma 34 yields Theorem 28. We believe that the upper bound in Theorem 28 is far from optimal. The following example shows that there exist \((n+1)\)dimensional partially ordered vector spaces with \(\left( {\begin{array}{c}2n\\ n\end{array}}\right) +2\) bands. In particular, it follows that there exist partially ordered vector spaces with dimension \(n\ge 4\) that have more bands than an ndimensional Archimedean vector lattice, which has \(2^n\) bands.
Example 35
Let P be a polytope in \(\mathbb {R}^n\) with vertex set \(V=\{v_1,\ldots ,v_{2n}\}\) that is in general linear position, i.e., for each affine subspace \(U\subset \mathbb {R}^n\) with \(\dim U<n\) we have that \(V\cap U\le \dim U +1\). In other words, there are no 3 points in V on a line, no 4 points in V in a plane, etc. To show existence of such a set V, let \(n\ge 1\) and \(S_{n1}\) be the unit sphere in \(\mathbb {R}^n\). Choose uniformly at random \(v_1,\ldots ,v_{2n}\) from \(S_{n1}\). Then the convex hull of \(\{v_1,\ldots ,v_{2n}\}\) is, with probability 1, a polytope, P, with nonempty interior. If necessary apply a translation, so that 0 is in the interior of P. By construction, the vertex set \(V= \{v_1,\ldots ,v_{2n}\}\) of P is in general linear position.
For \(i=1,\ldots ,2n\) let \(w_i=(v_i,1)\in \mathbb {R}^n\times \mathbb {R}=\mathbb {R}^{n+1}\) and define
Here \(\langle \cdot ,\cdot \rangle \) denotes the usual innerproduct on \(\mathbb {R}^{n+1}\). As \(w_1,\ldots ,w_{2n}\) span \(\mathbb {R}^{n+1}\), \(K_V\) is a closed generating polyhedral cone in \(\mathbb {R}^{n+1}\) with \(u=(0,1)\in \mathbb {R}^n\times \mathbb {R}\) in its interior. Now note that
and \(\Lambda =\{w_1,\ldots ,w_{2n}\}\), as V is in general linear position. Moreover, if U is an affine subspace of \(\mathbb {R}^{n+1}\) contained in \(\Sigma \) with \(\dim U<n\), then \(\Lambda \cap U\le \dim U+1\).
Next we prove that \((\mathbb {R}^{n+1},K_V)\) has \(\left( {\begin{array}{c}2n\\ n\end{array}}\right) +2\) bands by showing that \(S\subseteq \Lambda \) is bisaturated if and only if \(S=\emptyset \), \(S=\Lambda \), or \(S=n\). Clearly, if S is a bisaturated set in \(\Lambda \) and \(S>n\), then \(\dim S >n1\), as V is in general linear position. So, \(S=\Lambda \cap \mathrm{aff} S=\Lambda \). Likewise, if S is bisaturated in \(\Lambda \) and \(S<n\), then \(\Lambda {\setminus } S>n\), and hence \(S=\emptyset \).
On the other hand, if \(S=n\), then \(\dim (S)=n1\) and \(\dim (\Lambda {\setminus } S)=n1\), as V is in general linear position. This implies that
and since \(\Lambda \cap \mathrm{aff} S\supseteq S\) it follows that \(\Lambda \cap \mathrm{aff} S=S\). Similarly \(\Lambda \cap \mathrm{aff}(\Lambda {\setminus } S)=\Lambda {\setminus } S\). Thus, \(\{S,\Lambda {\setminus } S\}\) is a bisaturated pair in \(\Lambda \). It follows that \((\mathbb {R}^{n+1},K_V)\) has \(\left( {\begin{array}{c}2n\\ n\end{array}}\right) +2\) bands.
We conjecture that the optimal upper bound for the number of bands in an \((n+1)\)dimensional partially ordered vector space (X, K) with closed generating cone K, is \(\left( {\begin{array}{c}2n\\ n\end{array}}\right) +2\).
If the functionals \(\{\varphi _1,\ldots ,\varphi _m\}\) determining a polyhedral cone K in \(\mathbb {R}^n\) according to (4) are explicitly given, Theorem 16 can be used to list all bands in \((\mathbb {R}^n,K)\). Namely, after determining the linear dependence of \(\varphi _1,\ldots ,\varphi _m\), the saturation of every subset M of \(\{\varphi _1,\ldots ,\varphi _m\}\) is known, and one can check whether M is bisaturated.
Example 36
Let \(X=\mathbb {R}^4\), define
and consider \(K=\{x\in \mathbb {R}^4:\varphi _i(x)\ge 0 \text{ for } \text{ all } i\in \{1,\ldots ,5\}\}\). Since \(\varphi _1\), \(\varphi _2\), \(\varphi _3\), \(\varphi _5\) are linearly independent, K is a cone in \(\mathbb {R}^4\). For \(u=\frac{1}{4}(1,1,1,1)^T\) we have \(\varphi _i(u)=1\) for all \(i\in \{1,\ldots ,5\}\), thus u is an interior point of K, and we set \(\Sigma :=\left\{ \varphi \in K':\varphi (u)=1\right\} \). A straightforward calculation shows that \(\varphi _i\) is an extreme point of \(\Sigma \) for all i, hence
Observe that \(\mathrm {span}\,\{\varphi _1,\varphi _2,\varphi _3,\varphi _4\}\) has dimension 3. Indeed,
and \(\varphi _1,\varphi _2,\varphi _3\) are linearly independent. We embed \((\mathbb {R}^4,K)\) into \((\mathbb {R}^5,\mathbb {R}^5_+)\) under \(\Phi \). We want to determine all bands in \((\mathbb {R}^4,K)\). Due to Proposition 10 every band equals Z(M) for some saturated set \(M\subseteq \{\varphi _1,\ldots ,\varphi _5\}\). Theorem 16 implies that for a saturated set \(M\subseteq \{\varphi _1,\ldots ,\varphi _5\}\) one has that Z(M) is a band if and only if M is bisaturated. We list the sets \(N\subseteq \{1,\ldots ,5\}\) for which \(\{\varphi _i:\, i\in N\}\) is bisaturated: \(\emptyset \), \(\{5\}\), \(\{1,2\}\), \(\{1,3\}\), \(\{1,4\}\), \(\{2,3\}\), \(\{2,4\}\), \(\{3,4\}\), \(\{1,2,5\}\), \(\{1,3,5\}\), \(\{1,4,5\}\), \(\{2,3,5\}\), \(\{2,4,5\}\), \(\{3,4,5\}\), \(\{1,2,3,4\}\), \(\{1,2,3,4,5\}\). So, we obtain 16 bands in \((\mathbb {R}^4,K)\).
Recall that a band B in a partially ordered vector space is directed if for each \(x,y\in B\) there exists \(z\in B\) such that \(x\le z\) and \(y\le z\). In the examples above the partially ordered vector spaces have directed and nondirected bands, whereas in vector lattices all bands are directed. The next example shows that there exists a partially ordered vector space whose nontrivial bands are all nondirected. Here it turns out that the carriers of \(\widehat{B}\) in the extension procedures (I) and (II) (see Sect. 3) differ, in contrast to the situation in Example 18.
Example 37
Let P be the polytope, with vertex set \(v_1,\ldots ,v_9\), depicted in Fig. 1.
The space \(\mathbb {R}^4\) equipped with the polyhedral cone,
has two nontrivial bands corresponding to the bisaturated sets
Both these bands are nondirected. Also observe that \({\text {car}}(B_1)=\{v_2,v_4,v_6,v_8\}={\text {car}}(\Phi (B_1)^{dd})\) by Remark 29, whereas \({\text {car}}(\Phi (B_1^d)^d)=\{v_2,v_4,v_6,v_8,v_9\}\) by Theorem 20.
It is interesting to analyze the number of directed bands in an ndimensional partially ordered vector space (X, K). In particular, it would be nice to know the answers to following questions. Is the number of bands B such that both B and \(B^d\) are directed in an ndimensional partially ordered vector space (X, K), with generating closed cone K, bounded by \(2^n\)? If so, is the upper bound attained if and only if (X, K) is an ndimensional Archimedean vector lattice?
References
Abramovich, Y.A., Kitover, A.K.: Inverses of disjointness preserving operators. Mem. Am. Math. Soc. 679, 143 (2000)
Abramovich, Y.A., Kitover, A.K.: Inverses and regularity of band preserving operators. Indag. Math. N. S. 13(2), 143–167 (2002)
Boulabiar, K.: Recent trends on order bounded disjointness preserving operators. Irish Math. Soc. Bull. 62, 43–69 (2008)
van Gaans, O.: Seminorms on ordered vector spaces that extend to Riesz seminorms on larger Riesz spaces. Indag. Math. N. S. 14, 15–30 (2003)
van Gaans, O., Kalauch, A.: Disjointness in partially ordered vector spaces. Positivity 10(3), 573–589 (2006)
van Gaans, O., Kalauch, A.: Ideals and bands in preRiesz spaces. Positivity 12(4), 591–611 (2008)
van Haandel, M.: Completions in Riesz space theory, Ph.D. thesis, University of Nijmegen (1993)
de Jonge, E., van Rooij, A.C.M.: Introduction to Riesz Spaces. Mathematical Centre Tracts 78. Mathematisch Centrum, Amsterdam (1977)
Kalauch, A., Lemmens, B., van Gaans, O.: Riesz completions, functional representations, and antilattices. Positivity 18(1), 201–218 (2014)
Megginson, R.E.: An Introduction to Banach Space Theory. Springer, New York (1998)
Randrianantoanina, B.: A disjointness type property of conditional expectation operators. Colloq. Math. 102(1), 9–20 (2005)
Zaanen, A.C.: Introduction to Operator Theory in Riesz Spaces. Springer, Berlin (1997)
Ziegler, G.M.: Lectures on Polytopes. Graduate Texts in Mathematics. Springer, New York (1995)
Acknowledgments
The authors thank Werner Timmermann for his helpful questions and comments. Daniel Krähmann has given a first example of a space with a polyhedral cone with more bands than in the lattice case. The authors are grateful for that challenge. Marc Landgraf is acknowledged for contributing to the idea of Example 35. A. Kalauch thanks Ulrich Brehm for an inspiring discussion concerning a geometrical characterization of bisaturated sets in spaces with polyhedral cones, which contributed to the observation in Lemma 14.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kalauch, A., Lemmens, B. & van Gaans, O. Bands in partially ordered vector spaces with order unit. Positivity 19, 489–511 (2015). https://doi.org/10.1007/s1111701403117
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1111701403117
Keywords
 Band
 Disjointness
 Functional representation
 Order unit
 Partially ordered vector space
 Polyhedral cone
 Riesz completion
Mathematics Subject Classification
 46A40
 06F20