Abstract
If L and M are partially ordered vector spaces, then one can consider regular linear maps from L to M, i.e. linear maps which can be written as the difference of two positive linear maps. If the space L is directed, then the space \(L^r(L,M)\) of all regular linear operators becomes a partially ordered vector space itself. We will mainly concern ourselves with the questions when the space \(L^r(L,M)\) is itself a Riesz space and how, even if it is not a Riesz space, its lattice operations work. The so-called Riesz–Kantorovich theorem gives sufficient conditions for which \(L^r(L,M)\) is a Riesz space and it also specifies the lattice operations by means of the Riesz–Kantorovich formula: if \(S,T\in L^r(L,M)\) and \(x\in L\) with \(x\ge 0\) then the supremum \(S\vee T\) in the point x is given by
It is still an open problem if whenever in a more general setting the supremum of two regular operators exists in \(L^r(L,M)\), it automatically is given by the Riesz–Kantorovich formula. Our main result concerns the special case where L is a partially ordered vector space with a strong order unit and M is a (possibly infinite) product of copies of the real line, equipped with the lexicographic ordering. It will turn out that under some mild continuity and regularity conditions the lattice operations on \(L^r(L,M)\) are indeed given by the Riesz–Kantorovich formula, even though the space \(L^r(L,M)\) is not necessarily a Riesz space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this section we will define the necessary terminology and we will formulate the Riesz–Kantorovich theorem. More general theory on this subject can be found for instance in [4, 7, 9].
First we define the spaces we will be working with. Let V be a real vector space and \(\le \) a partial order on V. Then \((V,\le )\) is called a partially ordered vector space if for all \(x,y,z\in V\) and \(\lambda \in \mathbb {R}_{\ge 0}\) the inequality \(x\le y\) implies \(x+z\le y+z\) and \(x\le y\) implies \(\lambda x\le \lambda y\). If \(x\in V\) satisfies \(x\ge 0\), then we say that x is positive and we introduce \(V_+\) for the set of positive vectors, called the positive cone of V.
Any convex subset of a vector space V which satisfies the properties (1), (2) and (3) above is called a convex cone in V. Instead of defining partially ordered vector spaces as a vector space with a suitable partial order one can also define it in terms of a convex cone: if L is a convex cone in a real vector space V then we define the order \(\le \) on V by saying that \(x\le y\) if and only if \(y-x\in L\). Then \((V,\le )\) is a partially ordered vector space in the sense of the previous definition. This means that a partially ordered vector space is in fact completely characterized by its positive cone.
The partially ordered vector space V is said to be directed if every element of V can be written as the difference of two positive vectors. If V is a partially ordered vector space and U is a linear subspace of V then we will view U as a partially ordered vector space with the ordering inherited from V.
Given a subset W of V we say that a vector \(x\in V\) is an upper (lower) bound for W if x majorizes (minorizes) all vectors in W. The vector \(x\in V\) is called the supremum (infimum) of W if it is the smallest upper (largest lower) bound of W and is denoted by \(\sup W\) (\(\inf W\)). A subset which has both an upper bound and a lower bound is called order-bounded. A partially ordered vector space V for which \(\sup \{x,y\}\) exists in V for all \(x,y\in V\) is called a Riesz space or vector lattice. We will use the following notation for the suprema and infima of finite sets
for \(x_1,\ldots ,x_n\in V\).
A partially ordered vector space V is said to be Archimedean if for elements \(u,v\in V\) with \(nv\le u\) for all \(n\in \mathbb {Z}_{>0}\) we must have that \(v\le 0\). A partially ordered vector space V is called Dedekind complete if every subset of V which has an upper bound also has a supremum. A partially ordered vector space V is said to have the Riesz decomposition property if for any \(x_1,x_2,y\in V_+\) with \(y\le x_1+x_2\) there exist \(y_1,y_2\in V\) with \(0\le y_1\le x_1,0\le y_2\le x_2\) and \(y_1+y_2=y\). Note that any Riesz space has the Riesz decomposition property.
Let V and W be two partially ordered vector spaces. A linear map \(f:V\rightarrow W\) is called positive if \(f(x)\in W_+\) for all \(x\in V_+\). The map f is called order-bounded if f carries order-bounded subsets of V into order-bounded subsets of W. Finally, f is called regular if it can be written as the difference of two positive linear maps. If the space V is directed then we can define the ordering \(\le \) on the space of linear operators from V to W, which we denote by L(V, W), by saying that \(f\le g\) if and only if \(g-f\) is positive. Then L(V, W) with this ordering becomes a partially ordered vector space itself. Similarly, this ordering turns the space of all order-bounded operators and the space of all regular operators into partially ordered vector spaces, which we will denote by \(L^\sim (V,W)\) and \(L^r(V,W)\) respectively. We always have the following sequence of inclusions
Let V be a partially ordered vector space. For any pair of vectors \(x,y\in V\) we introduce the order interval [x, y] as
An element \(e\in V_+\) is a strong order unit if for any \(x\in V\) there exists a \(\lambda \in \mathbb {R}_{>0}\) in such a way \(x\le \lambda e\). If V has a strong order unit, then V is also directed. Let V be a partially ordered vector space and let \(x\in V_+\). Then we define the ideal generated by the element x to be the linear subspace \(\bigcup \nolimits _{n=1}^\infty [-nx,nx]\) and we denote this subspace by \(V_x\). Note that x is always a strong order unit in the space \(V_x\). An order interval in V is a subset of V of the form \(\{x\in V:a\le x\le b\}\) for some \(a,b\in V\). If X is a vector space over \(\mathbb {R}\) and A is a subset of X, then a vector \(a\in A\) is called an internal point of A if for each \(x\in X\) there exists a \(\lambda _0\in \mathbb {R}_{>0}\) such that \(a+\lambda x \in A\) for each \(-\lambda _0\le \lambda \le \lambda _0\).
Having introduced all the necessary preparations, we are ready to formulate the Riesz–Kantorovich theorem.
Theorem 1.1
(The Riesz–Kantorovich theorem) Let L, M be partially ordered vector spaces. Assume that L has the Riesz decomposition property, that L is directed and Archimedean and that M is a Dedekind complete Riesz space. Then \(L^r(L,M)\) is a Riesz space and for \(T_1,\ldots ,T_n\in L^r(L,M)\) and \(x\in L_+\) the lattice operations are given by the so-called Riesz–Kantorovich formula
This theorem was established in the late 1930s independently by Riesz [10] and Kantorovich [8]. Our main object of interest is the following long-standing open problem.
If for some partially ordered vector spaces L, M with L directed and regular operators \(T_1,\ldots ,T_n:L\rightarrow M\) the supremum \(\bigvee \nolimits _{i=1}^n T_i\) exists in the space \(L^r(L,M)\), does it necessarily satisfy the Riesz–Kantorovich formula?
There have been many results, which give sufficient conditions for this question to be answered positively, for example the Riesz–Kantorovich theorem itself or the results from [5]. One of these results, proved by Aliprantis et al. [6, Theorem 3.3], forms the basis for the main theorem we prove in this paper.
Theorem 1.2
([6, Theorem 3.3]) Let L be an ordered vector space with an order unit and a Hausdorff linear topology such that all order intervals are compact. If for some linear continuous functionals \(f_1,\ldots ,f_m\in L^\sim (L,\mathbb {R})\) the supremum \(g=\bigvee \nolimits _{i=1}^m f_i\) exists in \(L^\sim (L,\mathbb {R})\) then g satisfies the Riesz–Kantorovich formula.
An open problem closely related to the one we are considering, is the question under what conditions for the partially ordered vector spaces L and M the space \(L^r(L,M)\) is itself a Riesz space. This problem has been studied more than the one on the Riesz–Kantorovich formula and a few results can be found for example in [1, 2, 12].
To conclude this section we want to give an example of a partially ordered vector space L, which does not have the Riesz decomposition property, so for which we cannot apply the Riesz–Kantorovich theorem, but which does satisfy all conditions of Theorem 1.2 and therefore also of our main theorem. It is based on [6, Example 2.3].
Example 1.3
Consider the vector space \(\mathbb {R}^3\) with the following ’ice cream’ cone:
Since C is a convex cone, it induces a partial order on \(\mathbb {R}^3\), which we will denote by \(\le _C\), by \(x\le _C y\) if and only if \(y-x\in C\). We equip the space with the Euclidean topology. Then we obtain the following properties:
-
1.
C is a closed cone.
-
2.
The space \((\mathbb {R}^3,\le _C)\) is finite dimensional and the cone is generating. Therefore it necessarily has a strong order unit.
-
3.
The order intervals of \((\mathbb {R}^3,\le _C)\) are closed bounded subsets of \(\mathbb {R}^3\) and thus they are compact.
-
4.
\((\mathbb {R}^3,\le _C)\) does not have the Riesz decomposition property and is thus in particular is not a Riesz space (see [6, Example 2.3] for a proof).
2 The lexicographic ordering
In this section we give a definition of the lexicographic ordering on a product of copies of the real line and we will prove the basic results needed for the proof of our main theorem. In this formulation we will use the notion of an ordinal number, which is a concept from set theory. Our main result is already interesting for natural numbers, which are examples of ordinal numbers. Readers not interested in ordinal numbers may read the text with natural numbers in mind.
Let \(\alpha \ne 0\) be an ordinal number and set \(M=\prod _{1\le j\le \alpha }\mathbb {R}\). If \(x\in M\) and \(\beta \le \alpha \) then we let \(x^{(\beta )}\) denote the \(\beta \mathrm {th}\) coordinate of x and \(x^{(1),\ldots ,(\beta )}\) the vector consisting of the first \(\beta \) coordinates of x. We equip M with the lexicographic ordering by saying that \(x\le y\) if and only if either \(x=y\) or there exists some \(\beta \le \alpha \) in such a way that for all \(\gamma <\beta \) we have \(x^{(\gamma )}=y^{(\gamma )}\) and \(x^{(\beta )}<y^{(\beta )}\). Note that in this way M becomes a Riesz space as it is totally ordered. If \(\alpha >1\) then M is not Archimedean and therefore not Dedekind complete. The following key result is what distinguishes the lexicographic ordering from the standard componentwise ordering and turns out to be essential for the proof of our main theorem.
Lemma 2.1
Let \(\alpha \ne 0\) be an ordinal number. Let \(M=\prod _{1\le j\le \alpha }\mathbb {R}\) with the lexicographic ordering. We give M the product topology. Let \(K\subset M\) be non-empty and compact. Then K has an order-maximum, i.e. there exists \(x\in K\) such that \(x\ge y\) for all \(y\in K\).
Proof
We show this by transfinite induction to \(\alpha \). For \(\alpha =1\) the result is well-known. Now let \(\alpha \ge 1\) and assume each non-empty compact set in \(\prod _{1\le j\le \alpha }\mathbb {R}\) has an order-maximum. Let \(M=\prod _{1\le j\le \alpha +1}\mathbb {R}\) and let \(K\subset M\) be compact. Let \(\pi _\alpha \) be the projection from M onto its first \(\alpha \) coordinates. Then we know that \(\pi _\alpha \) is continuous. Hence \(\pi _\alpha (K)\) is compact in \(\prod _{1\le j\le \alpha }\mathbb {R}\) and thus has an order-maximum, say x. Then \(\{y^{(\alpha +1)}:y\in K,\pi _\alpha (y)=x\}\) is a compact and non-empty subset of \(\mathbb {R}\) and thus has an order-maximum y. Then \((x,y)\in K\) and if \(z\in K\) then \(\pi _\alpha z\le x\) and if \(\pi _\alpha z=x\) then \(z^{(\alpha +1)}\le y\). Hence \(z\le (x,y)\). So K has an order-maximum. Finally let \(\alpha \) be a limit ordinal and assume that for each \(\beta <\alpha \) we have that every non-empty compact subset of \(\prod _{1\le j\le \beta }\mathbb {R}\) has an order-maximum. Let \(K\subset M\) be compact. Let \(\beta <\alpha \) and let \(\pi _\beta \) be the projection from M on the first \(\beta \) coordinates. As before we can let \(x_\beta \in \pi _\beta (K)\) be the order-maximum. If \(\gamma <\beta \) then clearly the first \(\gamma \) coordinates of \(x_\beta \) must be \(x_\gamma \) since we use the lexicographic ordering. Hence we can let \(x\in K\) be defined by \(x^{(\beta )}=x_\beta ^{(\beta )}\) and by construction we indeed have \(x\in K\). Now if \(z\in K\) with \(z\ne x\) then we let \(\beta <\alpha \) be minimal such that \(z^{(\beta )}\ne x^{(\beta )}\) and thus we must have that \(\pi _\beta z< x_\beta =\pi _\beta x\). Hence also \(z<x\). So indeed x is an order-maximum of K. So we get that for all \(\alpha \ge 1\) and all compact K in \(\prod _{1\le j\le \alpha }\mathbb {R}\) we must have that K has an order-maximum. \(\square \)
Notation 2.2
Let L be an ordered vector space. For any integer \(m>0\) and \(x\in L_+\) we define the following non-empty convex sets
and
If \(x\in \prod _{j\in J}\mathbb {R}\) for some index set J then we write \(x^{(j)}\) for the j-th component of x and similarly if \(f:L\rightarrow \prod _{j\in J}\mathbb {R}\) is any map then we write \(f^{(j)}\) for the map \(f^{(j)}:L\rightarrow \mathbb {R},x\mapsto (f(x))^{(j)}\). Similarly, if \(\alpha \) is an ordinal, then for \(x\in \prod _{1\le \beta \le \alpha }\mathbb {R}\) and \(\gamma <\alpha \) we mean by \(x^{(1),\ldots ,(\gamma )}\) the vector in \(\prod _{1\le \beta \le \gamma }\mathbb {R}\) which corresponds to the first \(\gamma \) coordinates of x and if \(f:L\rightarrow \prod _{1\le \beta \le \alpha }\mathbb {R}\) is any map and \(\gamma <\alpha \) then we mean by \(f^{(1),\ldots ,(\gamma )}\) the map \(f^{(1),\ldots ,(\gamma )}:L\rightarrow \prod _{1\le \beta \le \gamma }\mathbb {R},x\mapsto (f(x))^{(1),\ldots ,(\gamma )}\).
We have to prove one more lemma, which gives another essential property of the lexicographic ordering.
Lemma 2.3
Let L be a directed partially ordered vector space. Let \(\alpha \ge 1\) be an ordinal number and let \(M=\prod _{1\le j\le \alpha }\mathbb {R}\) with the lexicographic ordering. Let \(f_1,\ldots ,f_m\in L^\sim (L,M)\) such that \(f_i^{(j)}\) is regular for all \(i\in \{1,\ldots ,m\}\) and all \(1\le j\le \alpha \) and such that \(g=f_1\vee \cdots \vee f_m\) exists in \(L^\sim (L,M)\). Let \(\beta <\alpha \). Then \(f_1^{(1),\ldots ,(\beta )}\vee \cdots \vee f_m^{(1),\ldots ,(\beta )}\) exists and equals \(g^{(1),\ldots ,(\beta )}\).
Proof
Suppose this is not the case. Then we can let \(h:L\rightarrow \prod _{1\le j\le \beta }\mathbb {R}\) be order-bounded and \(x\in L_+\) such that \(h\ge f_i^{(1),\ldots ,(\beta )}\) for all \(1\le i\le m\) and \(h(x)<g^{(1),\ldots ,(\beta )}(x)\). By regularity we can write
where \(g_i^{(j)}\ge 0,h_i^{(j)}\ge 0\) for \(1\le i\le m\) and \(1\le j\le \alpha \). Upon defining
we note that \(h'\in L^\sim (L,M)\) and we see that \(h'\ge f_i\) for all \(i\in \{1,\ldots ,m\}\) since we use the lexicographic ordering on M and since \(h\ge f_i^{(1),\ldots ,(\beta )}\) for all \(1\le i\le m\). Furthermore we see that
since \(h(x)<g^{(1),\ldots ,(\beta )}(x)\) and we use the lexicographic ordering on M. Hence \(h'\not \ge g\) and that gives a contradiction with the definition of g. \(\square \)
3 Main theorem
We are ready to state and prove our main theorem, which is an improved version of Theorem 1.2. In their paper, Aliprantis, Tourky and Yannelis divide up the proof over two lemmas, Lemmas 3.1 and 3.2 and use these lemmas to prove the theorem. For our theorem, we use transfinite induction, starting with Theorem 1.2. In the successor ordinal case, we largely follow the steps Aliprantis, Tourky and Yannelis used: the proof is divided up in three parts. The proofs of the second and third part are almost identical to the proofs of [6, Lemma 3.2] and [6, Theorem 3.3] respectively. The first part is quite different and substantially more difficult; the first half is new and necessary to show something which is almost trivial in [6, Lemma 3.1] (namely that the intersection of the sets Y and Z defined below is empty), but certainly not so in this setting. To prove this, we need the full Riesz–Kantorovich formula for the smaller image space, not just the special case we are looking at in the first part. This is also the reason why we cannot separate this theorem into two lemmas and a theorem, just like Aliprantis, Tourky and Yannelis did. The second half is roughly the same as the proof of [6, Lemma 3.1]. The limit ordinal case is of course new, but is much easier than the successor ordinal case.
We remark that an example of a space which satisfies the properties of the space L in Theorem 3.1, but not of the domain space in the Riesz–Kantorovich theorem, can be found in Example 1.3. Other examples of spaces which satisfy the properties of the space L in Theorem 3.1 include any finite dimensional ordered vector space with a closed generating cone and bounded order intervals or any C(K)-space, for K compact, Hausdorff and hyperstonean, which guarantees that C(K) is a dual space, equipped with the weak*-topology and the pointwise ordering.
This theorem was first proven in the autor’s Master Thesis, see [11].
Theorem 3.1
(Main theorem) Let L be an ordered vector space with an order unit e and a Hausdorff linear topology in such a way that all order intervals are compact. Let \(\alpha \) be an ordinal number with \(\alpha \ge 1\) and let \(M=\prod _{1\le j\le \alpha }\mathbb {R}\) with the lexicographic ordering and the product topology. Assume we have \(f_1,f_2,\ldots ,f_m\) continuous, linear maps from L to M such that \(f_i^{(j)}\) is regular for all \(i\in \{1,\ldots ,m\}\) and all ordinals j with \(1\le j\le \alpha \) and such that the supremum \(g=\bigvee \nolimits _{i=1}^mf_i\) exists in \(L^\sim (L,M)\). Then g satisfies the Riesz–Kantorovich formula.
Proof
We will prove the theorem by transfinite induction on \(\alpha \). The case \(\alpha =1\) follows directly from Theorem 1.2. So we fix \(\alpha \ge 1\) and assume the statement of the theorem is true for image spaces \(\mathbb {R}^1,\ldots ,\prod _{1\le j\le \alpha }\mathbb {R}\). Set \(M=\prod _{1\le j\le \alpha +1}\mathbb {R}\). The induction step for successor ordinals will consist of proving the following three statements:
-
(i)
Assume we have \(f_1,f_2,\ldots ,f_m\) continuous, linear maps from L to M in such a way that \(f_i^{(j)}\) is regular for all \(i\in \{1,\ldots ,m\}\) and all ordinals j with \(1\le j\le \alpha \) and such that the supremum \((\bigvee \nolimits _{i=1}^mf_i)^+\) exists in \(L^\sim (L,M)\). Then there exists some \((x_1^*,x_2^*,\ldots ,x_m^*)\in \mathcal {A}_e^m\) satisfying
$$\begin{aligned} \begin{array}{lcl}\sum \limits _{i=1}^mf_i\left( x_i^*\right)\ge & {} \sum \limits _{i=1}^mf_i(x_i)\end{array} \end{aligned}$$(3.1)for each \((x_1,x_2,\ldots ,x_m)\in \mathcal {A}_e^m\), together with the identity
$$\begin{aligned} \begin{array}{lcl}\left( \bigvee \limits _{i=1}^mf_i\right) ^+(e)= & {} \sum \limits _{i=1}^mf_i\left( x_i^*\right) .\end{array} \end{aligned}$$(3.2) -
(ii)
Assume we have \(f_1,f_2,\ldots ,f_m\) continuous, linear maps from L to M such that \(f_i^{(j)}\) is regular for all \(i\in \{1,\ldots ,m\}\) and all ordinals j with \(1\le j\le \alpha \) and such that the supremum \(\bigvee \nolimits _{i=1}^mf_i\) exists in \(L^\sim (L,M)\). Then there exists some \((x_1^*,x_2^*,\ldots ,x_m^*)\in \mathcal {F}_e^m\) satisfying
$$\begin{aligned} \begin{array}{lcl}\sum \limits _{i=1}^mf_i\left( x_i^*\right)\ge & {} \sum \limits _{i=1}^mf_i(x_i)\end{array} \end{aligned}$$(3.3)for each \((x_1,x_2,\ldots ,x_m)\in \mathcal {F}_e^m\), together with the identity
$$\begin{aligned} \begin{array}{lcl}\left( \bigvee \limits _{i=1}^mf_i\right) (e)= & {} \sum \limits _{i=1}^mf_i\left( x_i^*\right) .\end{array} \end{aligned}$$(3.4) -
(iii)
Assume we have \(f_1,f_2,\ldots ,f_m\) continuous, linear maps from L to M such that \(f_i^{(j)}\) is regular for all \(i\in \{1,\ldots ,m\}\) and all ordinals j with \(1\le j\le \alpha \) and such that the supremum \(\bigvee \nolimits _{i=1}^mf_i\) exists in \(L^\sim (L,M)\). Then the Riesz–Kantorovich formula holds.
\(\square \)
Proof of (i)
Since all \(f_i\) are continuous and all order intervals in L are compact, we see that \(K=\{\sum \nolimits _{i=1}^m f_i(x_i):(x_1,\ldots ,x_m)\in \mathcal {A}_e^m\}\) is compact. Lemma 2.1 implies that K contains an order-maximum with respect to the lexicographic ordering on M, which yields the first statement in (i).
We pick \((x_1^*,\ldots ,x_m^*)\in \mathcal {A}_e^m\) in such a way that
for all \((x_1,\ldots ,x_m)\in \mathcal {A}_e^m\).
Writing \(g=(f_1\vee \cdots \vee f_m)^+\), the positivity of this function yields the estimate
Hence it remains to show that the reverse inequality holds.
First we assume that \(f_i^{(\alpha +1)}\ge 0\) for all \(i\in \{1,\ldots ,m\}\). Lemma 2.3 implies that
since we use the lexicographic ordering on \(\prod _{1\le j\le \alpha }\mathbb {R}\). Upon writing
the induction hypothesis yields that h is positive, linear and satisfies for \(x\in L^+\) the identity
Here the usual supremum is replaced by a maximum on account of the continuity of the functionals \(f_i^{(1),\ldots ,(\alpha )}\) and the compactness of order intervals. Then our choice of \(x_1^*,\ldots ,x_m^*\) yields the identity
To aid us in our calculations, we start by looking at the case where \(\sum \nolimits _{i=1}^m f_i\left( x_i^*\right) ^{(\alpha +1)}=0\). Seeking a contradiction, we pick \(j\in \{1,\ldots ,m\}\) and \(y\ge 0\) and we suppose that they satisfy the identities
Since the defining property (3.9) of the function h is given by a maximum, we can pick \(z_1,\ldots ,z_m\in L_+\) in such a way that we have the identities
This yields that \(y+\sum \nolimits _{i=1}^m z_i\le e\), \(y+z_j\ge 0,z_i\ge 0\) for all \(i\in \{1,\ldots ,m\}\), which allows us to compute
In addition, the positivity of the functions \(f_i^{(\alpha +1)}\) for \(i\in \{1,\ldots ,m\}\) yields
So we obtain \(\sum \nolimits _{i=1,i\ne j}^m f_i(z_i)+f_j(y+z_j)>\sum \nolimits _{i=1}^m f_i\left( x_i^*\right) \), which gives a contradiction with the defining property (3.5) of \((x_1^*,\ldots ,x_m^*)\). Therefore for all \(j\in \{1,\ldots ,m\}\) and \(y\in L_+\) with \(h(y)=f_j(y)^{(1),\ldots ,(\alpha )}\) we have \(f_j(y)^{(\alpha +1)}=0\). Clearly we also have for all \(j\in \{1,\ldots ,m\}\) and \(y\in L_+\) that \(h(y)\ge f_j(y)^{(1),\ldots ,(\alpha )}\) by our definition of h. Hence we see that for all \(j\in \{1,\ldots ,m\}\) and all \(y\in L_+\) we have
which yields
This implies that \(g\le (h,0)\). In particular, we can estimate
Therefore we obtain
It remains to consider the case where \(\sum \nolimits _{i=1}^m f_i\left( x_i^*\right) ^{(\alpha +1)}>0\). We introduce the set
This set is clearly convex and non-empty, as it contains \(t(x_1^*,\ldots ,x_m^*)\) for all \(t>1\). In addition, we introduce the set
which is also non-empty and convex. Our goal is to that Y and Z are disjoint. Seeking a contradiction, we suppose that \(Y\cap Z\ne \emptyset \) and pick any \((y_1,\ldots ,y_m)\in Y\cap Z\). Since the defining property (3.9) of the function h is given by a maximum and \(e-\sum \nolimits _{i=1}^m y_i\ge 0\), we can pick \(z_1,\ldots ,z_m\in L_+\) in such a way that
This yields \(\sum \nolimits _{i=1}^m (y_i+z_i)\le e\), \(y_i+z_i\ge 0\) for all \(i\in \{1,\ldots ,m\}\), which allows us to compute
In addition, the positivity of \(f_i^{(\alpha +1)}\) for \(i\in \{1,\ldots ,m\}\) also yields
So we obtain that \(\sum \nolimits _{i=1}^m f_i(y_i+z_i)>\sum \nolimits _{i=1}^m f_i\left( x_i^*\right) \), which gives a contradiction with the defining property (3.5) of \((x_1^*,\ldots ,x_m^*)\). So we must have that \(Y\cap Z=\emptyset \).
The set Z has an internal point in \(L^m\) by [6, Lemma 2.1]. On account of the separation theorem [3, Theorem 5.61], we pick a non-zero linear functional \((h_1^{(\alpha +1)},\ldots ,h_m^{(\alpha +1)})\in (L^*)^m\) that separates Z and Y, i.e.
Since \((x_1^*,\ldots ,x_m^*)\in Z\) the bound (3.24) yields
together with
Next, we show that \(h_1^{(\alpha +1)}=\cdots =h_m^{(\alpha +1)}:=h^{(\alpha +1)}\). Suppose, by way of contradiction, that there exists some \(z\in L\) such that \(h_1^{(\alpha +1)}(z)>h_2^{(\alpha +1)}(z)\). Then for some \(\beta >1\) we must have
However, we see that \((\beta x_1^*,\ldots ,\beta x_m^*)\in Y\) since \(\beta >1\) and \((x_1^*+z,x_2^*-z,x_3^*,\ldots ,x_m^*)\in Z\), which contradicts (3.24). By the symmetry of the situation we see that \(h_1^{(\alpha +1)}=h_2^{(\alpha +1)}=\cdots =h_m^{(\alpha +1)}:=h^{(\alpha +1)}\).
Now we show that \(h^{(\alpha +1)}\ge 0\). Fix \(x\in L^+\). Note that \((e-\beta x,0,0,\ldots )\in Z\) for all \(\beta >0\). Therefore, (3.26) yields
which can be rewritten to obtain the bound
for each \(\beta >0\). Letting \(\beta \rightarrow \infty \) yields \(h^{(\alpha +1)}(x)\ge 0\). Hence \(h^{(\alpha +1)}\ge 0\) and thus \(h^{(\alpha +1)}\in L^\sim \).
Since \((e,0,\ldots ,0)\in Z\) and \(\sum \nolimits _{i=1}^m x_i^*\le e\) we see from Eq. (3.26) that
and thus we obtain the identity
Furthermore, since \(h^{(\alpha +1)}\ne 0\) and e is an order unit, it follows that \(h^{(\alpha +1)}(e)>0\). Since \((e,0,\ldots ,0)\in Z\) the bound (3.26) yields that \(\sum \nolimits _{i=1}^mh^{(\alpha +1)}\left( x_i^*\right) >0\). These considerations allow us to define
We claim that \(\delta ^{(\alpha +1)}h^{(\alpha +1)}(x)\ge f_i^{(\alpha +1)}(x)\) for each \(i\in \{1,\ldots ,m\}\) and \(x\in L^+\) that have \(h(x)=f_i(x)^{(1),\ldots ,(\alpha )}\). To see this, fix \(i\in \{1,\ldots ,m\}\) and \(x\in L_+\) in such a way that \(h(x)=f_i(x)^{(1),\ldots ,(\alpha )}\). If \(f_i(x)^{(\alpha +1)}\le 0\) then \(\delta ^{(\alpha +1)}h^{(\alpha +1)}(x)\ge 0\ge f_i(x)^{(\alpha +1)}\) is trivially true. Assume, therefore, that \(f_i(x)^{(\alpha +1)}>0\) and define
For \(\beta >1\) we can compute
since we assumed that \(\sum \nolimits _{i=1}^mf_i(x^*)^{(\alpha +1)}>0\). Hence the linearity of h and \(f_i^{(1),\ldots ,(\alpha )}\) yields that \((0,\ldots ,0,\beta \gamma ^{(\alpha +1)}x,0,\ldots ,0)\in Y\), where \(\beta \gamma ^{(\alpha +1)}x\) takes the i-th position of this vector. Hence with Eq. (3.25) we get
Therefore \(\delta ^{(\alpha +1)}h^{(\alpha +1)}(x)\ge f_i(x)^{(\alpha +1)}\) for all \(x\in L_+\) with \(h(x)=f_i(x)^{(1),\ldots ,(\alpha )}\). Thus, due to the lexicographic ordering on M, we have for all \(x\ge 0\) that
Since this bound holds for all \(i\in \{1,\ldots ,m\}\), we get that
for all \(x\ge 0\). In particular, we get
since \(h(e)=h(\sum \nolimits _{i=1}^m x_i^*)\) and \(h^{(\alpha +1)}(e)=h^{(\alpha +1)}(\sum \nolimits _{i=1}^m x_i^*)\). Therefore we conclude that
From now on, we do not assume that \(f_i^{(\alpha +1)}\ge 0\) for \(i\in \{1,\ldots ,m\}\). Since the \(f_i^{(\alpha +1)}\) are all regular for \(i\in \{1,\ldots ,m\}\), we can let \(g_i,h\) be positive linear functionals so that for \(i\in \{1,\ldots , m\}\) we have
Due to compactness of the set \(\mathcal {A}_e^{m+1}\) we can pick \((y_1^*,\ldots ,y_{m+1}^*)\in \mathcal {A}_e^m\) in such a way that the bound
holds for each \((x_1,x_2,\ldots ,x_{m+1})\in \mathcal {A}_e^{m+1}\). By positivity of \((0,\ldots ,0,h)\) we can assume without loss of generality that \(\sum \nolimits _{j=1}^{m+1} y_j^*=e\) so that \(y_{m+1}^*=e-\sum \nolimits _{j=1}^my_j^*\). Then we obtain that the set of functions \(\{(f_i^{(1)},\ldots ,f_i^{(\alpha )},g_i):i\in \{1,\ldots ,m\}\}\cup \{(0,\ldots ,0,h)\}\) satisfies the assumptions we made in the first half of this proof. Hence we get by our previous results
by our choice of \(x_1^*,\ldots ,x_m^*\). Since in the very first part of the proof we saw that \(g(e)\ge \sum \nolimits _{i=1}^m f_i\left( x_i^*\right) \) we must have \(g(e)=\sum \nolimits _{i=1}^m f_i\left( x_i^*\right) \) and that finishes the proof of part (i). \(\square \)
Proof of (ii)
The first statement follows for the same reason as in part (i). So pick \((x_1^*,\ldots ,x_m^*)\in \mathcal {F}^m_e\) such that \(\sum \nolimits _{i=1}^mf_i\left( x_i^*\right) \ge \sum \nolimits _{i=1}^mf_i(x_i)\) for each \((x_1,x_2,\ldots ,x_m)\in \mathcal {F}_e^m\). First note since \((x_1^*,\ldots ,x_m^*)\in \mathcal {F}_e^m\) that in fact \(x_1^*=e-\sum \nolimits _{i=2}^mx_i^*\). Upon introducing \(g=\bigvee \nolimits _{i=1}^m f_i\), we start by observing that \(g-f_1=[\bigvee \nolimits _{i=2}^m (f_i-f_1)]^+\), together with the estimate
for any \((x_2,\ldots ,x_m)\in \mathcal {A}_e^{m-1}\), since if \((x_2,\ldots ,x_m)\in \mathcal {A}_e^{m-1}\) then \((e-\sum \nolimits _{i=2}^m x_i,x_2,\ldots ,x_m)\in \mathcal {F}_e^m\). Therefore by part (i) we have that
In particular, we obtain
which is the desired formula. \(\square \)
Proof of (iii)
Now fix an arbitrary \(x\in L^+\) and then select an order unit \(e\in L\) which has \(x\le e\).
For each \(0<\beta <1\), set \(x_\beta =\beta x+(1-\beta )e\). Clearly, each \(x_\beta \) is an order unit and \(0\le x_\beta \le e\) holds for each \(0<\beta <1\). We consider the index set (0, 1) directed by the increasing order relation \(\succeq \), i.e. \(\beta \succeq \gamma \) in (0, 1) if and only if \(\beta \ge \gamma \). It is clear that we have the limit \(x_\beta \rightarrow x\). Since the set \(\mathcal {F}_e^m\) is compact, the continuous function \(\mathcal {F}_e^m\rightarrow M,(x_1,\ldots ,x_m)\mapsto \sum \nolimits _{i=1}^mf_i(x_i)\) attains its maximum. By part (ii), we know that g satisfies the Riesz–Kantorovich formula for each order unit. Therefore, by our assumption on the space M and the compactness of \(\mathcal {F}_{e_\beta }^m\), for each \(0<\beta <1\) there exists some \((z_1^\beta ,\ldots ,z_m^\beta )\in L_+^m\) such that \(\sum \nolimits _{i=1}^m z_i^\beta =x_\beta \) and
Since \(z_i^\beta \in [0,e]\) for each \(\beta \in (0,1)\) and each \(i\in \{1,\ldots ,m\}\) and the order interval [0, e] is compact, there exists a subnet of \(\{(z_1^\beta ,\ldots ,z_m^\beta )\}\) (which without loss of generality we also denote by \(\{(z_1^\beta ,\ldots ,z_m^\beta )\}\)) in such a way that \(z_i^\beta \rightarrow z_i\) for some \(z_i\in [0,e]\). From \(x_\beta -z_i^\beta \in [0,e]\) for each \(\beta \) and the closedness of [0, e], we see that \(0\le x-z_i\le e\). So \(0\le z_i\le x\) and \(\sum \nolimits _{i=1}^mz_i=x\). Finally, letting \(\beta \rightarrow 1\) in Eq. (3.46) it follows from the continuity of each \(f_i\) that
Since we already know that \(g(x)\ge \sum \nolimits _{i=1}^m f_i(y_i)\) for all \((y_1,\ldots ,y_m)\in \mathcal {F}_x^m\), it follows that \(\sup \{\sum \nolimits _{i=1}^mf_i(y_i):(y_1,\ldots ,y_m)\in \mathcal {F}_x^m\}=g(x)\). So the proof of this induction step is finished. \(\square \)
Finally, let \(\alpha \) be a limit ordinal and assume that the theorem holds for all image spaces \(\prod _{1\le j\le \beta }\) for \(\beta <\alpha \). Set \(M=\prod _{1\le j\le \alpha } \mathbb {R}\) and let \(f_1,f_2,\ldots ,f_m\) be continuous, linear maps from L to M such that \(f_i^{(j)}\) is regular for all \(i\in \{1,\ldots ,m\}\) and all ordinals j with \(1\le j\le \alpha \) and such that the supremum \(g:=\bigvee \nolimits _{i=1}^mf_i\) exists in \(L^\sim (L,M)\). Let \(x\in L_+\). Let \(\beta <\alpha \). Since we know from Lemma 2.3 that \(\bigvee \nolimits _{i=1}^m(f_i^{(1),\ldots ,(\beta )})=\bigvee \nolimits _{i=1}^mf_i^{(1),\ldots ,(\beta )}\) we can use the induction hypothesis to obtain that
Since we use the lexicographic ordering on M, we know that \(\sup \{\sum \nolimits _{i=1}^m f_i(x_i):(x_1,\ldots ,x_m)\in \mathcal {F}^m_x\}\) exists in M and that we have the identity
Since this identity holds for all \(\beta <\alpha \), we immediately obtain
and the proof is finished. \(\square \)
Remark 3.2
From the proof of this theorem it becomes clear why we used the lexicographic ordering instead of the componentwise ordering. One of the key properties of the lexicographic ordering is that each compact set has an order-maximum, which we use extensively. This is not true for the componentwise ordering as can be seen from the following example. Let \(f:\mathbb {R}\rightarrow \mathbb {R}^2,\lambda \mapsto \lambda (-\,1,1)\) and \(g:\mathbb {R}\rightarrow \mathbb {R}^2,\lambda \mapsto 0\). Then we see that \(\{f(1-y)+g(y):0\le y\le 1\}=\{\lambda (-\,1,1):0\le \lambda \le 1\}\). This set does not have an order-maximum, since its order-supremum equals (0, 1), which is not an element of this set. Since sets of the form \(\{f(1-y)+g(y):0\le y\le 1\}\) are precisely the sets for which we need an order-maximum to exist, there is no hope to prove a similar statement for the componentwise ordering in the same way we did for the lexicographic ordering. Note, however, that [6, Lemma 3.1] and [6, Lemma 3.2], which form the base for steps (i) and (ii) in the proof above, can easily be proven for the componentwise ordering.
The following corollary might give a more general solution to the Riesz–Kantorovich problem than before. It is concerned with the situation of Theorem 3.1, but then for spaces without a strong order unit. It is based on [6, Lemma 3.6].
Corollary 3.3
Let L be a partially ordered vector spaces with a Hausdorff topology for which the order-intervals are compact. Let \(\alpha \ge 1\) be an ordinal number and let \(M=\prod _{1\le j\le \alpha }\mathbb {R}\) equipped with the lexicographic ordering. Then the following statements are equivalent.
-
1.
There is a pair \(f,g\in L^r(L,M)\) of continuous maps such that \(f^{(j)}\) and \(g^{(j)}\) are regular for all \(1\le j\le \alpha \), such that \(f\vee g\) exists in \(L^\sim (L,M)\), but does not satisfy the Riesz–Kantorovich formula for all \(x\in L_+\).
-
2.
There is a pair \(f,g\in L^r(L,M)\) of continuous maps and a point \(x\in L_+\) such that \(f^{(j)}\) and \(g^{(j)}\) are regular for all \(1\le j\le \alpha \), such that \(f\vee g\) exists in \(L^\sim (L,M)\), but the restriction \((f\vee g)|_{L_x}\) is not the supremum of \(f|_{L_x}\) and \(g|_{L_x}\) in \(L^\sim (L_x,M)\).
Proof
Assume that (1) holds and let \(f,g\in L^r(L,M)\) be a pair of continuous maps such that \(f^{(j)}\) and \(g^{(j)}\) are regular for all \(1\le j\le \alpha \), such that \(f\vee g\) exists in \(L^\sim (L,M)\), but does not satisfy the Riesz–Kantorovich formula. Then we can let \(x\in L_+\) such that
Consider the space \(L_x\). As mentioned earlier we get that x is a strong order unit for \(L_x\). Seeking a contradiction, we assume that \(f|_{L_x}\vee g|_{L_x}\) exists in \(L^\sim (L_x,M)\) and that
Then by Theorem 3.1, which we can apply since \(f|_{L_x}\) and \(g|_{L_x}\) satisfy the conditions of Theorem 3.1 and the space \(L_x\) has a strong order unit, we obtain that
where we used the definition of \(L_x\) and the assumptions. This yields a contradiction. Therefore (2) holds and we obtain the implication \((1)\Rightarrow (2)\).
Conversely, suppose that (2) is true. Let \(f,g\in L^r(L,M)\) be a pair of continuous maps and pick \(x\in L_+\) in such a way that \(f^{(j)}\) and \(g^{(j)}\) are regular for all \(1\le j\le \alpha \), such that \(f\vee g\) exists in \(L^\sim (L,M)\), but the restriction \((f\vee g)|_{L_x}\) is not the supremum of \(f|_{L_x}\) and \(g|_{L_x}\) in \(L^\sim (L_x,V)\). Again we argue by contradiction. Assume that \(f\vee g\) satisfies the Riesz–Kantorovich formula for all \(z\in L_+\). Pick \(h\in L^\sim (L_x,M)\) such that \(h\ge f|_{L_x}\) and \(h\ge g|_{L_x}\) and fix \(z\in L_x^+\) and \(0\le y\le z\). Then we obtain since \(y,z-y\in L_x\) that
Therefore we must have that
since \(f\vee g\) satisfies the Riesz–Kantorovich formula. Therefore we see that \(h\ge (f\vee g)|_{L_x}\). Furthermore we obtain for \(z\in L_+\) that
and similarly \((f\vee g)|_{L_x}(z)\ge g|_{L_x}(z)\). This yields \((f\vee g)|_{L_x}\ge f|_{L_x}\vee g|_{L_x}\). Combining these two statements gives that \((f\vee g)|_{L_x}=f|_{L_x}\vee g|_{L_x}\) which gives a contradiction to our assumption. Therefore (1) must hold and we obtain \((2)\Rightarrow (1)\). \(\square \)
Since the componentwise ordering on products of \(\mathbb {R}\) is used more often than the lexicographic ordering, it is of course of much interest to prove a statement similar to Theorem 3.1 for the componentwise ordering. As stated before it is not difficult to show an equivalent for [6, Lemma 3.1] and [6, Lemma 3.2] for this case, but the problem lies in the fact that a compact set no longer needs to have an order-maximum, so the proof of [6, Theorem 3.3] cannot be adapted easily.
It is remarkable to note the following: since a product of at least two times the real line with the lexicographic ordering is not even Archimedean, it is as a Riesz space in some sense as far away as possible from being Dedekind complete, since Dedekind completeness implies that a space is Archimedean. So in fact, we now know that the Riesz–Kantorovich formula holds for the most ’extreme’ image spaces: the Dedekind complete ones on one hand and the ones with the lexicographic ordering on the other hand. So even though one likes to think of the Dedekind complete spaces as ’better’ spaces than other Riesz spaces, in this case that is not entirely justified, especially since the conditions on the domain space are a lot weaker for the lexicographic ordering than for the Dedekind complete case. So in proving the Riesz–Kantorovich formula for the general case, it turns out that the more extreme special cases are in fact the easiest to consider.
References
Abramovich, Y.A., Wickstead, A.W.: Regular operators from and into small Riesz spaces. Indag. Math. N.S. 2, 257–274 (1991)
Abramovich, Y.A., Wickstead, A.W.: The regularity of order bounded operators into \(C(K)\), II. Q. J. Math. Oxf. Ser (2) 44, 257–270 (1993)
Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis: A Hitchhikers Guide, 3rd edn. Springer, New York (1999)
Aliprantis, C.D., Burkinshaw, O.: Positive Operators, 119th edn. Springer Science & Business Media, Berlin (2006)
Aliprantis, C.D., Tourky, R.: The super order dual of an ordered vector space and the Riesz–Kantorovich formula. Trans. Am. Math. Soc. 354, 2055–2077 (2002)
Aliprantis, C.D., Tourky, R., Yannelis, N.C.: The Riesz–Kantorovich formula and general equilibrium theory. J. Math. Econ. 34, 55–76 (2000)
De Jonge, E., Van Rooij, A.C.M.: Introduction to Riesz Spaces. Mathematical Centre, Amsterdam (1977)
Kantorovich, L.V.: Concerning the general theory of operations in partially ordered spaces. Dokl. Akad. Nauk SSSR 1, 271–274 (1936) (in Russian)
Luxemburg, W.A.J., Zaanen, A.C.: Riesz Spaces, vol. I. North-Holland Publishing Company, Amsterdam (1971)
Riesz, M.: Sur quelques notions fondamentals dans la theorie générale des opérations linéaires. Ann. Math. 41, 174–206 (1940)
Schouten, W.M.: The Riesz–Kantorovich formula for lexicographically ordered spaces. Master Thesis, Leiden University (2016). http://www.math.leidenuniv.nl/scripties/MasterSchouten.pdf
van Rooij, A.C.M.: When do the regular operators between two Riesz spaces form a vector lattice? Indag. Math. 47, 95–98 (1985)
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
Schouten, W.M. The Riesz–Kantorovich formula for lexicographically ordered spaces. Positivity 22, 609–627 (2018). https://doi.org/10.1007/s11117-017-0531-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11117-017-0531-8