Abstract
Given any finite subset A of order n of a distributive lattice and \(k\in \{1,\ldots ,n\}\), there is a natural extension of the median operation to n variables which generalizes the notion of the kth smallest element of A. By applying each of these operations to A, a totally ordered set to(A) is obtained. We refer to to(A) as the total orderization of A. After developing a brief theory of total orderization invariant maps on distributive lattices, it is shown in this paper how these functions generalize and provide new characterizations for symmetric continuous positively homogeneous functions, bounded orthosymmetric multilinear maps, and certain power sum polynomials on vector lattices. These theorems generalize several results by Bernau, Huijsmans, Kusraev, Azouzi, Boulabiar, Buskes, Boyd, Ryan, and Snigireva and in turn reveal novel properties of the various maps studied in this paper.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a nonempty set X, the space \({\mathbb {R}}^X\) of real-valued functions on X is a distributive lattice under the pointwise ordering. For \(n\in {\mathbb {N}}\) and \(f_1,\ldots ,f_n\in {\mathbb {R}}^X\), we know that \(\bigwedge _{k=1}^nf_k\) is given by the pointwise minimum, and \(\bigvee _{k=1}^nf_k\) is specified by the pointwise maximum. More generally, for any \(k\in {\mathbb {N}}\) with \(k\le n\), the function
is also element of \({\mathbb {R}}^X\). We can naturally refer to the totally ordered subset of \({\mathbb {R}}^X\)
as the total orderization of \(\{f_1,\ldots ,f_n\}\).
In [7, Section 2], Boyd, Ryan, and Snigireva provide natural extensions of the median operation on a distributive lattice to expand the notion of these \({\mathcal {M}}_k\) functions, and hence the concept of total orderizations, to Banach lattices. Though they use a different notation than this paper, they essentially define for \(k\le n\), a Banach lattice E, and \(f_1,\ldots ,f_n\in E\)
For \(n=2\) however, the situation is more simple, and the median operation need not be considered. Given a distributive lattice L and \(x,y\in L\), the total orderization of \(\{x,y\}\) is simply \(\{x\wedge y,x\vee y\}\). Perusing through the literature on vector lattices, one can observe that these total orderizations of order two possess some intriguing invariance properties.
The most elementary of these occurrences is that the sum of two elements remains invariant under total orderizations. Specifically, for a vector lattice E and \(f,g\in E\), we know that \(f+g=(f\wedge g)+(f\vee g)\).
Interestingly, Bernau and Huijsmans showed in [4, Proposition 1.13] that if A is an Archimedean almost f-algebra, then the multiplication on A is invariant under total orderizations, that is
More generally, Kusraev proved in [12, Proposition 1] that a positive bilinear map \(T:E\times E\rightarrow F\), with E and F Archimedean vector lattices, is orthosymmetric if and only if
Later, Azouzi, Boulabiar, and Buskes showed that the geometric mean, a symmetric continuous positively homogeneous function, is also invariant under total orderizations. Indeed, if E is an Archimedean geometric mean closed vector lattice and
then it is proven in [2, Lemma 4.1] that
Extending beyond \(n=2\), Boyd, Ryan, and Snigireva recently extended Kusraev’s result above to several variables in [7, Proposition 2] for regular n-linear forms on a Banach lattice. Specifically, they show that if E is a Banach lattice and \(A:E^n\rightarrow {\mathbb {R}}\) is a regular n-linear form, then A is orthosymmetric if and only if
for every \(f_1,\ldots ,f_n\in E\). Using the terminology of this paper, Boyd, Ryan, and Snigireva prove here that A is orthosymmetric if and only if A is total orderization invariant.
In this manuscript we further investigate the common thread of invariance under total orderizations in these results. We begin by introducing a brief theory for maps on distributive lattices that are total orderization invariant in Sect. 2. Specifically, we show in Proposition 2.9 that every map defined on a distributive lattice that is total orderization invariant is symmetric (though the converse does not hold) and provide in Theorems 2.11 and 2.12 two characterizations for total orderization invariant maps defined on a distributive lattice with a smallest element.
In Sect. 3 we then illustrate that total orderization invariant maps generalize the notions of symmetric continuous positively homogeneous functions (Theorem 3.5), bounded orthosymmetric multilinear maps between a uniformly complete vector lattice and a separated bornological space (Theorem 3.14), and the related and to-be-introduced bounded orthogonally generated power sum polynomials on vector lattices (Theorem 3.17). In the same breath, characterizations for each of these types of maps in terms of total orderizations are provided. We achieve these results by exploiting not only the theory developed in Sect. 2 of this paper but also the theory of functional calculus given in [8, 11] as well as some results on bounded orthosymmetric maps and orthogonally additive polynomials found in [3, 13].
The main theorems in this paper generalize the results by Bernau, Huijsmans, Kusraev, Azouzi, Boulabiar, Buskes, Boyd, Ryan, and Snigireva outlined previously in this section. The utility of the theory outlined in this paper can be further seen in Corollaries 3.6, 3.15, and 3.18, where novel properties of these maps under consideration are given.
We assume the reader is familiar with the basics of lattice and vector lattice theory, but the reader is referred to [1, 5, 14, 17] for any unexplained terminology or basic facts if necessary. In this paper \({\mathbb {N}}\) stands for the set of strictly positive integers, while \({\mathbb {R}}\) denotes the ordered field of real numbers.
2 Total Orderization Invariant Maps
We begin this section with some convenient notation.
Notation 2.1
Let L denote a nonempty distributive lattice throughout this section.
Notation 2.2
Given \(n\in {\mathbb {N}}\), we write \([n]:=\{1,\ldots ,n\}\) for short in this paper.
The median operation on L (see e.g. [5, Chapter II, Section 6]) is defined for \(x_1,x_2,x_3\in L\) by
Defining for \(x_1,x_2,x_3\in L\), and \(k\in [3]\)
and simplifying these expressions, we get
Remark 2.3
It is readily checked that
-
(i)
\({\mathcal {M}}_k\) is symmetric for each \(k\in [3]\),
-
(ii)
if \(x_1,x_2,x_3\in L\) and \(x_1\le x_2\le x_3\), then \({\mathcal {M}}_k=x_k\) for every \(k\in [3]\), and
-
(iii)
\({\mathcal {M}}_1(x_1,x_2,x_3)\le {\mathcal {M}}_2(x_1,x_2,x_3)\le {\mathcal {M}}_3(x_1,x_2,x_3)\) for all \(x_1,x_2,x_3\in L\).
These \({\mathcal {M}}_k\) operations naturally extend to any finite number of variables. As mentioned in the introduction, they appear in [7, Section 2] under a slightly different notation.
Definition 2.4
For \(n\in {\mathbb {N}}\), \(x_1,\ldots ,x_n\in L\), and \(k\in [n]\) let
In Proposition 2.5 we show that the contents of Remark 2.3 extend to any finite number of variables. The author suspects this result is possibly known but was unable to locate a reference.
Proposition 2.5
Let \(n\in {\mathbb {N}}\). Then
-
(i)
\({\mathcal {M}}_k:L^n\rightarrow L\) is a symmetric function for all \(k\in [n]\),
-
(ii)
if \(x_1,x_2,\ldots ,x_n\in L\) satisfy \(x_1\le x_2\le \cdots \le x_n\), then \({\mathcal {M}}_k(x_1,\ldots ,x_n)=x_k\) for all \(k\in [n]\), and
-
(iii)
\({\mathcal {M}}_1(x_1,\ldots ,x_n)\le {\mathcal {M}}_2(x_1,\ldots ,x_n)\le \cdots \le {\mathcal {M}}_n(x_1,\ldots ,x_n)\) for all \(x_1,x_2,\ldots ,x_n\in L\).
Proof
(i) Fix \(k\in [n]\), and let \(x_1,x_2,\ldots ,x_n\in L\) be arbitrary. It suffices to show that for any \(i,j\in [n]\) with \(i<j\) we have
In order to minimize cumbersome notation, we will show that
noting that the more general proof is similar. For \(n=1\) the result is trivial, and for \(n=2\) the result is known since \({\mathcal {M}}_1(x_1,x_2)=x_1\wedge x_2\) and \({\mathcal {M}}_2(x_1,x_2)=x_1\vee x_2\). Assuming that \(n\ge 3\), observe that
where
and
and
Clearly, we see that \(R(x_1,x_2,\ldots ,x_n)=R(x_2,x_1,\ldots ,x_n),\quad S(x_1,x_2,\ldots ,x_n)=S(x_2,x_1,\ldots ,x_n)\), and \(T(x_1,x_2,\ldots ,x_n)=T(x_2,x_1,\ldots ,x_n)\). It follows that
We conclude that \({\mathcal {M}}_k\) is symmetric.
(ii) Suppose \(x_1,x_2,\ldots ,x_n\in L\) satisfy \(x_1\le x_2\le \cdots \le x_n\), and let \(k\in [n]\) be arbitrary. Then we obtain
(iii) For \(n=1\), the result is trivial. Suppose \(n\ge 2\) and fix \(k\in [n-1]\). We prove that \({\mathcal {M}}_k(x_1,\ldots ,x_n)\le {\mathcal {M}}_{k+1}(x_1,\ldots ,x_n)\), that is, that
To this end, let \(i_1,i_2,\ldots ,i_{n+1-k}\in [n]\) with \(i_1<i_2<\cdots <i_{n+1-k}\) arbitrary. Clearly, there exist \(t_1,t_2,\ldots ,t_{n-k}\in [n]\) with \(t_1<t_2<\cdots <t_{n-k}\) for which
By the monotonicity of infima, we obtain
Since the inequality
holds for all \(i_1,i_2,\ldots ,i_{n+1-k}\in [n]\) with \(i_1<i_2<\cdots <i_{n+1-k}\), we conclude that
It follows that
\(\square \)
The following terminology is motivated by Proposition 2.5(iii) above.
Definition 2.6
Given \(n\in {\mathbb {N}}\) and \(x_1,\ldots ,x_n\in L\), we write
and call the totally ordered set \(to(\{x_1,\ldots ,x_n\})\) the total orderization of \(\{x_1,\ldots ,x_n\}\).
Remark 2.7
It is an immediate consequence of Proposition 2.5 that if \(\{x_1,\ldots ,x_n\}\subseteq L\), then \(\{x_1,\ldots ,x_n\}\) is totally ordered if and only if
We next provide a formal definition of maps on distributive lattices that are invariant under total orderizations. These functions constitute our primary focus throughout the rest of the paper.
Definition 2.8
Let \(n\in {\mathbb {N}}\), and suppose A is a nonempty set. A map \(T:L^n\rightarrow A\) is said to be total orderization invariant if
holds for every \(x_1,\ldots ,x_n\in L\).
Our first result regarding these maps is useful despite its simplicity.
Proposition 2.9
Fix \(n\in {\mathbb {N}}\). Let A be a nonempty set. If a map \(T:L^n\rightarrow A\) is total orderization invariant, then T is symmetric.
Proof
Suppose \(T:L^n\rightarrow A\) is total orderization invariant. Let \(x_1,\ldots ,x_n\in L\). By assumption we have
Also, \({\mathcal {M}}_k\) is symmetric for each \(k\in [n]\) by Proposition 2.5(i). Thus for any permutation \(\sigma \) on [n] we obtain
This concludes the proof. \(\square \)
The converse of Proposition 2.9 does not hold, as the following counterexample illustrates.
Example 2.10
Consider the Banach lattice C[0, 1] under the supremum norm. Define \(T:C[0,1]\rightarrow {\mathbb {R}}\) by \(T(f,g)=\Vert f\Vert +\Vert g\Vert \). Clearly, T is symmetric. However, for \(f,g\in C[0,1]\) defined by \(f(x)=1-x\) and \(g(x)=x\), we have \(T(f,g)=2\) and \(T(f\wedge g,f\vee g)=\frac{3}{2}\). Thus T is not total orderization invariant.
We next proceed to the main results of this section. Theorem 2.11 below will be employed in Theorem 3.14 to obtain a characterization of bounded orthosymmetric multilinear maps on vector lattices.
Theorem 2.11
Fix \(n\in {\mathbb {N}}\). Suppose L possesses a smallest element \(\theta \), and let A be a nonempty set. Put \(a\in A\), and assume \(T:L^n\rightarrow A\) is total orderization invariant. The following are equivalent.
-
(i)
\(T(x_1,\ldots ,x_n)=a\) whenever \(x_1,\ldots ,x_n\in L\) and \(x_i\wedge x_j=\theta \) for some \(i,j\in [n]\), and
-
(ii)
\(T(\theta ,x_1,\ldots ,x_{n-1})=a\) holds for all \(x_1,\ldots ,x_{n-1}\in L\).
Proof
The implication \(\mathrm{(i)}\implies \mathrm{(ii)}\) is evident since \(\theta \) is the smallest element of L. In order to prove \(\mathrm{(ii)}\implies \mathrm{(i)}\), suppose that \(T(\theta ,x_1,\ldots ,x_{n-1})=a\) for every \(x_1,\ldots ,x_{n-1}\in L\). To show that (i) holds, let \(x_1,\ldots ,x_n\in L\) be such that \(x_i\wedge x_j=\theta \) for some \(i,j\in [n]\). Then we have
Hence from assumption (ii) we obtain
\(\square \)
We conclude this section with the following essential tool for the proof of Theorem 3.17.
Theorem 2.12
Fix \(n\in {\mathbb {N}}\). Suppose L possesses a smallest element \(\theta \), and let A be a nonempty set. Let \(\phi :L\rightarrow A\) be an arbitrary function, and assume \(T:L^n\rightarrow A\) is total orderization invariant. The following are equivalent.
-
(i)
\(T(x_1,\ldots ,x_n)=\phi \left( \bigvee _{k=1}^nx_k\right) \) whenever \(x_1,\ldots ,x_n\in L\) satisfy \(x_i\wedge x_j=\theta \) for all \(i,j\in [n]\) with \(i\ne j\), and
-
(ii)
\(T(\underbrace{\theta ,\dots ,\theta }_{n-1\ \text {copies}},x)=\phi (x)\) holds for all \(x\in L\).
Proof
The implication \(\mathrm{(i)}\implies \mathrm{(ii)}\) is trivial. In order to verify \(\mathrm{(ii)}\implies \mathrm{(i)}\), assume that \(T(\underbrace{\theta ,\dots ,\theta }_{n-1\ \text {copies}},x)=\phi (x)\) holds for each \(x\in L\). Let \(x_1,\ldots ,x_n\in L\) satisfy \(x_i\wedge x_j=\theta \) for all \(i,j\in [n]\) with \(i\ne j\). Then
It then follows from Proposition 2.5(iii) that \({\mathcal {M}}_{k}(x_1,\ldots ,x_n)=\theta \) for all \(k\in [n-1]\). Thus we attain
\(\square \)
3 Total Orderization Invariant Maps on Vector Lattices
In this final section of the paper, we consider Archimedean real vector lattices instead of the more general distributive lattices. The primary aim of this section is to illustrate that symmetric continuous positively homogeneous functions, bounded orthosymmetric multilinear maps, and what we call bounded orthogonally generated power sum polynomials are all total orderization invariant. In fact, we prove that invariance under total orderizations actually characterizes these maps and reveal some new properties of these functions along the way.
Notation 3.1
Throughout the remainder of this paper, E denotes an Archimedean real vector lattice that is nontrivial; i.e. \(E\ne \{0\}\).
We extensively utilize the Archimedean vector lattice functional calculus introduced by Buskes, de Pagter, and van Rooij in [8, Section 3]. Using the notation in [8], we denote by \({\mathcal {H}}({\mathbb {R}}^{n})\) the space of all continuous, real-valued functions h on \({\mathbb {R}}^{n}\) that are positively homogeneous, i.e. \(h(\lambda x)=\lambda h(x)\) for every \(\lambda \in {\mathbb {R}}^{+}\) and all \(x\in {\mathbb {R}}^{n}\).
Definition 3.2
[8, Definition 3.1] Given \(f_{1},\ldots ,f_{n},g\in E\) and \(h\in {\mathcal {H}}({\mathbb {R}}^{n})\), we write \(h(f_{1},\ldots ,f_{n})=g\) when
holds for every nonzero real-valued vector lattice homomorphism \(\omega \) defined on the vector sublattice of E generated by \(\{f_{1},\ldots ,f_{n},g\}\).
This functional calculus cannot always be defined in certain vector lattices however. For example, if \(h(x,y)=\sqrt{x^2+y^2}\), then there exists f and g in the Fremlin tensor product \(C[0,1]{\bar{\otimes }}C[0,1]\) such that h(f, g) is undefined (see [10, Theorem 4.10]). We thus turn to the notion of h-completeness, as introduced in [11].
Definition 3.3
[11, Definition 3.2] For \(h\in {\mathcal {H}}({\mathbb {R}}^{n})\), we say that E is h-complete if for every \(f_{1},\ldots ,f_{n}\in E\) there exists a unique \(g\in E\) such that \(h(f_{1},\ldots ,f_{n})=g\).
Remark 3.4
By [8, Theorem 3.7], if E is uniformly complete, then E is h-complete for every \(h\in \bigcup _{n\in {\mathbb {N}}}{\mathcal {H}}({\mathbb {R}}^n)\).
We next show that symmetric continuous positively homogeneous functions \(h:E^n\rightarrow E\) defined via the Archimedean functional calculus are total orderization invariant. As a matter of fact we prove that invariance under total orderizations characterizes the symmetry of these maps. This result is required for our proof of Theorem 3.17.
Theorem 3.5
Fix \(n\in {\mathbb {N}}\). Let \(h\in {\mathcal {H}}({\mathbb {R}}^n)\), and assume that E is h-complete. The following are equivalent.
-
(i)
\(h:{\mathbb {R}}^n\rightarrow {\mathbb {R}}\) is symmetric.
-
(ii)
The function \(h:E^n\rightarrow E\) defined via the Archimedean functional calculus is symmetric.
-
(iii)
The function \(h:E^n\rightarrow E\) defined via the Archimedean functional calculus is total orderization invariant.
Proof
We first prove that \(\mathrm{(ii)}\implies \mathrm{(i)}\). To this end, suppose that h is symmetric on E, and consider a permutation \(\sigma \) on [n]. We have that
holds for all \(f_1,\ldots ,f_n\in E\). Fix \(f\in E{\setminus }\{0\}\), and let A be the vector sublattice of E generated by \(\{f\}\). Also let \(\omega \) be a nonzero real-valued vector lattice homomorphism on A. Adjusting by a scalar multiple if necessary, we can assume that \(\omega (f)=1\). Next let \(x_1,\ldots ,x_n\in {\mathbb {R}}\). Invoking [11, Theorem 3.11] and our assumption (ii), we get
Hence \(h:{\mathbb {R}}^n\rightarrow {\mathbb {R}}\) is symmetric.
We next show that \(\mathrm{(i)}\implies \mathrm{(iii)}\). To this end, assume that \(h:{\mathbb {R}}^n\rightarrow {\mathbb {R}}\) is symmetric. Let \(f_1,\ldots ,f_n\in E\), and let A be the vector sublattice of E generated by
Suppose that \(\omega :A\rightarrow {\mathbb {R}}\) is a non-zero vector lattice homomorphism. Using [11, Theorem 3.11], the fact that \(\{\omega (f_1),\ldots ,\omega (f_n)\}\) is a totally ordered set of real numbers along with Remark 2.7, and the assumption that \(h:{\mathbb {R}}^n\rightarrow {\mathbb {R}}\) is symmetric, we have
Since the set of all nonzero vector lattice homomorphisms \(\omega :A\rightarrow {\mathbb {R}}\) separate the points of A, we obtain
Finally note that the implication \(\mathrm{(iii)}\implies \mathrm{(ii)}\) follows from Proposition 2.9. This concludes the proof. \(\square \)
By applying Theorem 3.5 in the uniform completion of E, we obtain the following corollary providing a sufficient condition for h-completeness for symmetric \(h\in \bigcup _{n\in {\mathbb {N}}}{\mathcal {H}}({\mathbb {R}}^n)\).
Corollary 3.6
Let \(n\in {\mathbb {N}}\), and suppose \(h\in {\mathcal {H}}({\mathbb {R}}^n)\) is symmetric. If for every \(f_{1},\ldots ,f_{n}\in E\) with \(f_1\le f_2\le \cdots \le f_n\) there exists a unique \(g\in E\) such that \(h(f_{1},\ldots ,f_{n})=g\), then E is h-complete.
Next we shift our focus to orthosymmetric multilinear maps, orthogonally additive polynomials, and orthogonally generated power sum polynomials on vector lattices.
Definition 3.7
Given \(n\in {\mathbb {N}}\) and a vector space V, we call an n-linear map \(T:E^n\rightarrow V\) orthosymmetric if \(T(f_1,\ldots ,f_n)=0\) holds whenever \(f_1,\ldots ,f_n\in E\) and \(|f_i|\wedge |f_j|=0\) for some \(i,j\in [n]\). An n-homogeneous polynomial \(P:E\rightarrow V\) is said to be orthogonally additive if \(P(f+g)=P(f)+P(g)\) holds for all \(f,g\in E\) with \(|f|\wedge |g|=0\). If \(P(f+g)=P(f)+P(g)\) holds for all \(f,g\in E^+\) with \(f\wedge g=0\), then we say that P is positively orthogonally additive. Likewise, we call a map \(T:E^n\rightarrow V\) positively total orderization invariant if the restriction of T to \((E^+)^n\) is total orderization invariant.
Fix \(n,r\in {\mathbb {N}}\). Classically, a power sum symmetric polynomial of degree n in r variables is a map \(S:{\mathbb {R}}^r\rightarrow {\mathbb {R}}\) of the form
We naturally extend this notion to more general settings as follows.
Definition 3.8
Let \(n,r\in {\mathbb {N}}\). For real vector spaces U and V and an n-homogeneous polynomial \(P:U\rightarrow V\), define a symmetric map \(S:U^r\rightarrow V\) by
We call maps of this form power sum symmetric polynomials of degree n in r variables or simply power sum polynomials for short. The polynomial P will be refereed to as the generating polynomial for S. We call a power sum polynomial \(S:E^r\rightarrow V\) orthogonally generated if its generating polynomial is orthogonally additive.
In this section we reference the vector lattice n-power (for \(n\in {\mathbb {N}}\)) of an Archimedean vector lattice E, see [6].
Notation 3.9
For \(n\in {\mathbb {N}}\), the vector lattice n-power of E will be denoted by \((E^{\textcircled {n}},{\textcircled {n}})\).
We in particular study bounded orthosymmetric n-linear maps \(T:E^n\rightarrow Y\) and bounded orthogonally generated power sum polynomials of degree n in r variables \(S:E^r\rightarrow Y\), where E is a uniformly complete Archimedean vector lattice and Y is a real separated bornological space. This setup is of profound interest to us because the theory of total orderization-invariance alone does not appear to be sufficient for achieving all of our desired results. We will thus receive aid from the following results by F. Ben Amor and Kusraeva as well some techniques used in the proofs of the latter theorem.
Theorem 3.10
[3, Theorem 18] Let E be uniformly complete, and let Y be a real separated bornological space. If \(n\in {\mathbb {N}}\) and \(T:E^n\rightarrow Y\) is a bounded n-linear map, then the following are equivalent.
-
1.
T is orthosymmetric.
-
2.
T is symmetric and its associated n-homogeneous polynomial \(P_T\) is orthogonally additive.
-
3.
There exists a linear operator \(S:E^{\textcircled {n}}\rightarrow Y\) such that
$$\begin{aligned} T(f_1,\ldots ,f_n)=S\circ {\textcircled {n}}(f_1,\dots ,f_n)\quad (f_1,\ldots ,f_n\in E). \end{aligned}$$
In particular, we have
The following portion of the main result from [13] by Kusraeva is stated for separated convex bornological spaces and for positive \(f_{1},\dots ,f_{r}\in E\), yet the result actually holds for all \(f_{1},\dots ,f_{r}\in E\) and for separated bornological spaces that are not necessarily convex. For the reader’s convenience, we give an outline of the proof with some slight modifications.
Theorem 3.11
[13] Fix \(n,r\in {\mathbb {N}}\). Let E be uniformly complete, suppose Y is a real separated bornological space, and let \(P:E\rightarrow Y\) be a bounded orthogonally additive n-homogeneous polynomial. Define
Then
holds for all \(f_{1},\dots ,f_{r}\in E\), where the expression \({\mathfrak {S}}(f_{1},\dots ,f_{r})\) in (1) is defined via the Archimedean vector lattice functional calculus.
Proof
Suppose that P is orthogonally additive. Let \(E^u\) denote the universal completion of E, which is well-known to be a semiprime f-algebra. Fix \(f_1,\dots f_r\in E\). Let C be the Archimedean f-subalgebra of \(E^u\) generated by
Let \(\omega :C\rightarrow {\mathbb {R}}\) be a nonzero multiplicative vector lattice homomorphism. Using [11, Theorem 3.11] in the second equality below, we obtain
Since the set of all nonzero multiplicative vector lattice homomorphisms \(\omega :C\rightarrow {\mathbb {R}}\) separates the points of C (see [8, Corollary 2.7]), we have
By [6, Theorem 4.1], there exists a uniformly complete vector sublattice F of \(E^u\) and a vector lattice isomorphism \(i:E^{{\textcircled {n}} }\rightarrow F\) such that both
and
hold for all \(x_1,\dots ,x_n\in E\). It then follows from (2) and the identity
that
The result then follows from Theorem 3.10, as there exists a linear operator \(S:E^{{\textcircled {n}} }\rightarrow Y\) for which
holds for every \(x\in E\). \(\square \)
We additionally require the following lemma, which is analogous to [4, Proposition 1.13] by Bernau and Huijsmans, mentioned in the introduction. The omitted proof consists of a familiar point-separating argument, similar to what was presented in the proofs of Theorems 3.5 and 3.11. A more general result is later proved in Theorem 3.14.
Lemma 3.12
Let \(n\in {\mathbb {N}}\), and let A be an Archimedean semiprime f-algebra. Then
holds for all \(a_1,\ldots ,a_n\in A\).
We will use the following notation throughout the remainder of the paper.
Notation 3.13
For \(m,n\in {\mathbb {N}}\) with \(m\le n\), E uniformly complete, Y a real separated bornological space, a map \(T:E^n\rightarrow Y\), \(f_1,\ldots ,f_m\in E\), and \(k_1,\ldots ,k_m\in \{0,1,2,\ldots ,n\}\) for which \(\sum _{i=1}^{m}k_i=n\), we write
Using the technique employed in the proof of Kusraeva’s Theorem 3.11 along with Theorem 2.11, we show that a bounded multilinear map is orthosymmetric if and only if it is total orderization invariant. As mentioned in the introduction, the equivalence \(\mathrm{(i)}\iff \mathrm{(ii)}\) in Theorem 3.14 below is known for the special case when E is a Banach lattice and \(Y={\mathbb {R}}\) (see [7, Proposition 2]).
Theorem 3.14
Fix \(n\in {\mathbb {N}}\). Let E be uniformly complete and Y a real separated bornological space. Suppose \(T:E^n\rightarrow Y\) is a bounded n-linear map. The following are equivalent.
-
(i)
T is orthosymmetric,
-
(ii)
T is total orderization invariant, and
-
(iii)
T is positively total orderization invariant.
Proof
\(\mathrm{(i)}\implies \mathrm{(ii)}\) As previously, let \(E^u\) denote the universal completion of E, and recall that \(E^u\) is a semiprime f-algebra. Suppose that \(f_1,\dots f_n\in E\). We claim that
Indeed, by [6, Theorem 4.1], there exists a uniformly complete vector sublattice F of \(E^u\) and a vector lattice isomorphism \(i:E^{{\textcircled {n}} }\rightarrow F\) such that both
and
hold for all \(x_1,\dots ,x_n\in E\).
It follows from this fact and Lemma 3.12 that
By Theorem 3.10, there exists a linear operator \(S:E^{{\textcircled {n}} }\rightarrow Y\) for which
holds for every \(x_1,\dots ,x_n\in E\). It thus follows that
\(\mathrm{(ii)}\implies \mathrm{(iii)}\) Trivial.
\(\mathrm{(iii)}\implies \mathrm{(i)}\) Suppose that
holds for all \(f_1,\ldots ,f_n\in E^+\). Note that the n-linearity of T implies that \(T(0,f_1,\ldots ,f_{n-1})=0\) holds for all \(f_1,\ldots ,f_{n-1}\in E^+\). Therefore, it follows from Theorem 2.11 (with \(L=E^+, \theta =0\), and \(a=0\)) that
Next we claim that T is symmetric. Indeed, given a permutation \(\sigma \) on [n], for all \(f_1,\ldots ,f_n\in E^+\) we have from Proposition 2.9 that
Then using the n-linearity of T, we have for each \(f_1,\ldots ,f_n\in E\) that
Thus the map
is an n-homogeneous polynomial with generating symmetric n-linear map T. It follows from the boundedness of T that \(P_T\) is bounded. For \(f,g\in E^+\) with \(f\wedge g=0\), the binomial theorem together with (3) yield
Thus \(P_T\) is positively orthogonally additive. Then \(P_T\) is orthogonally additive by [16, Lemma 2.1]. By [3, Theorem 18], T is orthosymmetric. \(\square \)
As a corollary, we obtain the following characterizations of bounded orthosymmetric multilinear maps.
Corollary 3.15
Let E be uniformly complete, assume Y is a real separated bornological space, and suppose \(T:E^n\rightarrow Y\) is a bounded n-linear map. The following are equivalent.
-
(i)
T is orthosymmetric,
-
(ii)
\(T(f_1,\ldots ,f_n)=0\) whenever \(f_1,\ldots ,f_n\in E\) satisfy \(\bigwedge _{k=1}^n |f_{k}|=0\), and
-
(iii)
\(T(f_1,\ldots ,f_n)=0\) whenever \(f_1,\ldots ,f_n\in E^+\) satisfy \(\bigwedge _{k=1}^nf_{k}=0\).
Proof
We first prove \(\mathrm{(i)}\implies \mathrm{(iii)}\). To this end, assume T is orthosymmetric and let \(f_1,\ldots ,f_n\in E^+\) be such that \({\mathcal {M}}_1(f_1,\ldots ,f_n)=\bigwedge _{k=1}^nf_{k}=0\). From Theorem 3.14 we obtain
Next we verify \(\mathrm{(iii)}\implies \mathrm{(ii)}\). For this task assume (iii) holds, and suppose \(f_1,\ldots ,f_n\in E\) satisfy \(\bigwedge _{k=1}^n|f_k|=0\). Recall that \(0\le f_k^+,f_k^-\le |f_k|\) holds for each \(k\in [n]\). It then follows from assumption (iii) that for any \(k_1,\ldots ,k_n\in \{0,1\}\) we have
We thus obtain
We conclude the proof by noting the implication \(\mathrm{(ii)}\implies \mathrm{(i)}\) is evident. \(\square \)
Remark 3.16
The logical equivalence \(\mathrm{(i)}\iff \mathrm{(ii)}\) in Corollary 3.15 is contained in [15, Proposition 3.38] by Roberts via a different proof. Maps that satisfy the conditions of Corollary 3.15(ii) are referred to in [15] as jointly orthosymmetric.
Next we turn our focus to orthogonally generated power sum polynomials. We obtain the following characterization of bounded orthogonally generated power sum polynomials using Theorems 2.12, 3.5, and 3.11. For E a Banach lattice and \(Y={\mathbb {R}}\), the equivalence \(\mathrm{(i)}\iff \mathrm{(ii)}\) in Theorem 3.17 is known and stated in terms of orthogonally additive polynomials in [7, Remark (7) following Proposition 4].
Theorem 3.17
Fix \(n,r\in {\mathbb {N}}\) with \(r\ge 2\). Let E be uniformly complete, and let Y be a real separated bornological space. Suppose \(S:E^r\rightarrow Y\) is a bounded power sum polynomial of degree n in r variables. The following are equivalent.
-
(i)
S is orthogonally generated,
-
(ii)
S is total orderization invariant, and
-
(iii)
S is positively total orderization invariant.
Proof
\(\mathrm{(i)}\implies \mathrm{(ii)}\) Suppose that S is orthogonally generated. As in Theorem 3.11, let \({\mathfrak {S}}\) be defined on E by functional calculus. Let \(f_1,\ldots ,f_r\in E\). Denote by P the generating n-homogeneous polynomial for S, which by assumption is orthogonally additive. Moreover, it follows from the identity
and the boundedness of S that P is bounded. Thus by Theorem 3.11, we have
From this result and Theorem 3.5 we get
\(\mathrm{(ii)}\implies \mathrm{(iii)}\) Trivial.
\(\mathrm{(iii)}\implies \mathrm{(i)}\) Assume \(S(f_1,\ldots ,f_r)=S\Bigl ({\mathcal {M}}_1(f_1,\ldots ,f_r),\ldots ,{\mathcal {M}}_r(f_1,\ldots ,f_r)\Bigr )\) holds for all \(f_1,\ldots ,f_r\in E^+\). Since
holds for every \(f\in E^+\), it follows from Theorem 2.12 that
whenever \(f_1,\ldots ,f_r\in E^+\) satisfy \(f_i\wedge f_j=0\) for all \(i,j\in [r]\) with \(i\ne j\).
Consider \(f_1,f_2\in E^+\) with \(f_1\wedge f_2=0\). If \(r\ge 3\), then additionally set \(f_k=0\) for all integers \(3\le k\le r\). Since \(\{f_1,\ldots ,f_r\}\) is a pairwise disjoint subset of \(E^+\), we get
Thus P is positively orthogonally additive. Hence P is orthogonally additive by [16, Lemma 2.1], and so S is orthogonally generated. \(\square \)
As an immediate corollary, we attain the following characterization for bounded orthogonally additive polynomials which generalizes [7, Remark (7) following Proposition 4], a result which extends the notion of n-homogeneous polynomial valuations (see [9, Section 2]) to any finite number of summands. A map \(P:E\rightarrow V\), with V a real vector space, is called a polynomial valuation if P is an n-homogeneous polynomial for some \(n\in {\mathbb {N}}\) and a valuation, meaning that \(P(f)+P(g)=P(f\wedge g)+P(f\vee g)\) holds for every \(f,g\in E\).
Corollary 3.18
Fix \(n,r\in {\mathbb {N}}\) with \(r\ge 2\). Let E be uniformly complete, and let Y be a real separated bornological space. Suppose \(P:E\rightarrow Y\) is a bounded n-homogeneous polynomial. The following are equivalent.
-
(i)
P is orthogonally additive,
-
(ii)
\(\sum _{k=1}^{r}P(f_k)=\sum _{k=1}^{r}P\Bigl ({\mathcal {M}}_k(f_1,\ldots ,f_r)\Bigr )\) holds for every \(f_1,\ldots ,f_r\in E\), and
-
(iii)
\(\sum _{k=1}^{r}P(f_k)=\sum _{k=1}^{r}P\Bigl ({\mathcal {M}}_k(f_1,\ldots ,f_r)\Bigr )\) holds for every \(f_1,\ldots ,f_r\in E^+\).
References
Aliprantis, C.D., Burkinshaw, O.: Positive Operators. Academic Press, Orlando (1985)
Azzouzi, Y., Boulabiar, K., Buskes, G.: The de Schipper formula and squares of Riesz spaces. Indag. Math. (N.S.) 17(4), 479–496 (2006)
Ben Amor, F.: Orthogonally additive homogenous polynomials on vector lattices. Commun. Algebra 43(3), 1118–1134 (2015)
Bernau, S.J., Huijsmans, C.B.: Almost \(f\)-algebras and \(d\)-algebras. Math. Proc. Camb. Philos. Soc. 107(2), 287–308 (1990)
Birkhoff, G.: Lattice Theory. American Mathematical Society Colloquium Publications, vol. 25, 3rd edn. American Mathematical Society, Providence (1979)
Boulabiar, K., Buskes, G.: Vector lattice powers: \(f\)-algebras and functional calculus. Commun. Algebra 34(4), 1435–1442 (2006)
Boyd, C., Ryan, R., Snigireva, N.: A Nakano carrier theorem for polynomials. arXiv (2021)
Buskes, G., de Pagter, B., van Rooij, A.: Functional calculus on Riesz spaces. Indag. Math. (N.S.) 2(4), 423–436 (1991)
Buskes, G., Roberts, S.: Valuations: from orthogonal additivity to orthosymmetry. Indag. Math. (N.S.) 31(5), 758–766 (2020)
Buskes, G., Schwanke, C.: Complex vector lattices via functional completions. J. Math. Anal. Appl. 434(2), 1762–1778 (2016)
Buskes, G., Schwanke, C.: Functional completions of Archimedean vector lattices. Algebra Univ. 76(1), 53–69 (2016)
Kusraev, A.G.: On some properties of orthosymmetric bilinear operators. Vladikavkaz Mat. Zh. 10(3), 29–33 (2008)
Kusraeva, Z.A.: Homogeneous polynomials, power means and geometric means in vector lattices. Vladikavkaz Mat. Zh. 16(4), 49–53 (2014)
Luxemburg, W.A.J., Zaanen, A.C.: Riesz Spaces, vol. I. North-Holland Publishing Co., Amsterdam (1971)
Roberts, S.C.: Orthosymmetric Maps and Polynomial Valuations. ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.)-The University of Mississippi (2017)
Schwanke, C.: Some notes on orthogonally additive polynomials. Quaest. Math. (2021). https://doi.org/10.2989/16073606.2021.1953631
Zaanen, A.C.: Riesz Spaces II. North-Holland Mathematical Library, vol. 30. North-Holland Publishing Co., Amsterdam (1983)
Funding
Open access funding provided by University of Pretoria.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Yoshihiro Sawano.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Schwanke, C.M. Total Orderization Invariant Maps on Distributive Lattices. Bull. Malays. Math. Sci. Soc. 46, 118 (2023). https://doi.org/10.1007/s40840-023-01510-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40840-023-01510-5
Keywords
- Distributive lattice
- Vector lattice
- Positively homogeneous function
- Orthosymmetric map
- Orthogonally additive polynomial
- Total orderization