Abstract
In the paper, we will present some important results from the theory of vector-valued invariant means. Discussing the results contained in the author’s paper Badora (Ann Pol Math 58:147–159, 1993), we will add new facts that were previously not published.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Invariant means, closely related to the concept of finitely additive invariant measures, have been studied since the beginning of the last century. At present, we encounter one of the following two equivalent definitions of an invariant mean.
Definition 1.1
A linear functional \(m:B(S,{\mathbb {R}})\rightarrow {\mathbb {R}}\) defined on the space \(B(S,{\mathbb {R}})\) of all real bounded functions on a semigroup \((S,\cdot )\) is called a left [right] invariant mean, if
and
for all \(f\in B(S,{\mathbb {R}})\) and \(y\in S\), where by \(_{y}f\) [\(f_{y}\)] we denote the shift of the function f by y, hence the function defined by the formula
Definition 1.2
A left [right] invariant mean is a linear functional \(m:B(S,{\mathbb {R}})\rightarrow {\mathbb {R}}\) satisfying the following conditions
and
for all \(f\in B(S,{\mathbb {R}})\) and \(y\in S\), where \(\textbf{1}_{S}\) denotes the constant function equal to 1 on a semigroup S.
To prove the equivalence of these definitions, note that any linear functional m that satisfies condition (1.1) automatically satisfies conditions (1.3) and (1.4). Conversely, if a linear functional \(m:B(S,{\mathbb {R}})\rightarrow {\mathbb {R}}\) satisfies (1.3) and (1.4), then for \(f\in B(S,{\mathbb {R}})\) we have
So, from the linearity of m and conditions (1.3) and (1.4) we get
and
So, m satisfies (1.1), which shows that indeed the two definitions of an invariant mean are equivalent.
A semigroup S which admits a left (right) invariant mean on the space \(B(S,{\mathbb {R}})\) will be termed left [right] amenable.
More on invariant means and amenable semigroups can be found in the monograph Paterson [15]. Here we only stress that every commutative semigroup is amenable (left and right amenable).
In 1985 L. Székelyhidi (see [19]) for the first time used the invariant mean method in the theory of the stability of functional equations. Since then, invariant means have also been used extensively in the theory of functional equations. For many of these applications, it was necessary to extend the concept of invariant means to the case of function spaces of vector-valued mappings.
In the paper, we will present some important results from the theory of vector-valued invariant means, which we will supplement with new facts previously unpublished.
The formulations of the facts as well as their proofs in the case of right-hand invariance are completely analogous to the case of left-hand invariance. Therefore, in the following, in most cases, we limit ourselves to considering left-hand invariance.
2 Linear lattices
The generalization of invariant means to the case of mappings with values in linear lattices is very natural. Transferring the first definition to this case, we must ensure the existence of an infimum and a supremum. So it makes sense to consider mappings with values in a boundedly complete linear lattice. Recall that a boundedly complete linear lattice is an ordered linear space Y with the property that every non-empty upper bounded subset of Y has in Y a supremum, i.e. a least upper bound (which, in fact, is uniquely determined). We obtain an equivalent property if we replace the upper bounded subset of Y by lower bounded ones and the supremum by infimum.
This type of research was initiated by Ramabhadra Sarma in [18] and continued in Rao Chivukula and Ramabhadra Sarma [17]. The final version of the theorem presented below can be found in the paper of Gajda [6] (as a consequence of the more general theorems proved there).
Theorem 2.1
Let S be a left amenable semigroup and let Y be a boundedly complete linear lattice with the order \(\preceq \). Then there exists a linear operator \(M:B^{\preceq }(S,Y)\rightarrow Y\) on the space \(B^{\preceq }(S,Y)\) of all ordered bounded functions from S into Y such that
and
for all \(f\in B^{\preceq }(S,Y)\) and \(y\in S\).
As a corollary of Theorem 5.7 proved in Sect. 5 of this paper, we will get a result of this type for boundedly complete locally convex vector lattices.
3 Linear-topological spaces
In the case of linear-topological spaces, the condition of the mean being (1.1) is replaced by the condition that the value of the invariant mean belongs to the closure of the convex hull of the set of function values. This approach to transferring the concept of invariant mean to the case of functions with vector values can be found in Dixmier [5]. These studies were further continued by Husain et al. [8,9,10], Bombal and Vera [3], Gajda [6] and other mathematicians. Ultimately, we can conclude that
Theorem 3.1
Let S be a left amenable semigroup and let Y be a semi-reflexive locally convex linear-topological space. Then there exists a linear operator \(M:B(S,Y)\rightarrow Y\) on the space B(S, Y) of all bounded functions from S into Y satisfying
and
for all \(f\in B(S,Y)\) and \(y\in S\), where \(\text{ clconv }\, f(S)\) denotes the closure of the convex hull of the set of values of the function f.
To provide the necessary terminology we recall that a locally convex linear-topological space Y is termed semi-reflexive if and only if the natural embedding of Y into its second conjugate \(Y^{**}\) is surjective (but not necessarily homeomorphic).
On the other hand, independently, Bombal and Vera [3] and Tabor [20] proved the following theorem.
Theorem 3.2
Let S be a left amenable semigroup and let Y be a Banach space. Then there exists a linear operator \(M:B(S,Y)\rightarrow Y\) fulfilling (3.1) and (3.2) if and only if the space Y is reflexive.
These types of invariant means were investigated further. As an example we will present the theorem from the paper of R. Badora, R. Ger, Zs. Páles [2].
Theorem 3.3
Let S be a left amenable semigroup and let Y be a Hausdorff locally convex linear space. Then there exists a linear operator \(M:{{\mathcal {C}}}_{w}(S,Y)\rightarrow Y\) on the space \({{\mathcal {C}}}_{w}(S,Y)\) of all Y-valued functions on S whose range has a weakly compact closed convex hull satisfying
and
for all \(f\in {{\mathcal {C}}}_{w}(S,Y)\) and \(y\in S\), where \({\overline{co}}\; f(S)\) denotes the weakly closed convex hull of the range of f.
For example, from this theorem, the existence of an invariant mean on the space of all bounded functions on an amenable semigroup and with values in a semi-reflexive locally convex linear-topological space is obvious.
4 Normed spaces
Transferring the concept of invariant mean to the case of function spaces with values in normed spaces, we can use the second definition, Definition 1.2. Such research can be found in the paper by A. Pełczyński [16], and in the paper by R. Ger [7] where we find the following definition.
Definition 4.1
Let \((S, \cdot )\) be a semigroup and let \((Y,\Vert \cdot \Vert )\) be a Banach space. Then a continuous linear operator \(M:B(S,Y)\rightarrow Y\) defined on the space B(S, Y) of all bounded functions from S into Y is called a left [right] generalized invariant mean if
and
for all \(f\in B(S,Y)\) and \(y\in S\).
R. Ger in [7] proved that for a left [right] amenable semigroup there exists a left [right] generalized invariant mean when Y is reflexive or Y has the Hahn–Banach extension property or Y forms a boundedly complete Banach lattice with a strong unit.
In the paper H. Bustos Domecq [4] we find the following facts.
Theorem 4.2
Let S be a left amenable semigroup and Y be a Banach space. Suppose Y is complemented in its second dual by a projection \(\pi \). Then B(S, Y) admits a left generalized invariant mean of the norm at most \(\Vert \pi \Vert \).
Theorem 4.3
Let Y a Banach space and let \(K\ge 1\). Suppose that for every commutative semigroup S there is a generalized invariant mean M on the space B(S, Y) with \(\Vert M\Vert \le K\). Then Y is complemented in its bidual by a projection of norm at most K.
However, as observed by Z. Lipecki in his Mathematical Review of the paper H. Bustos Domecq [4] (MR1943762), the proof of Theorem 4.3 contains a gap.
For many years, the problem of presenting a correct proof of Theorem 4.3 remained open. At that time R. Łukasik’s paper [13] appeared in which the author proved the following theorem.
Theorem 4.4
Let S be a left amenable semigroup and let \((Y,\Vert \cdot \Vert )\) be a Banach space. If there exists a linear, continuous operator \(\vartheta :Y^{**}\rightarrow Y\) such that
then there exists a generalized left invariant mean on the space B(S, Y).
From this theorem, as conclusions, we obtain many of the previously proven facts.
Finally, Kania in [12] corrected the gap in the paper Bustos Domecq [4] providing the correct proof of Theorem 4.3.
5 Invariant means as selections of multifunctions
In this part of the paper, we will look at invariant means as selections of multifunctions. This idea for the generalization of invariant means was proposed by Badora in [1].
Definition 5.1
Let \({\mathcal {F}}\) be a left [right] invariant linear space of functions mapping a semigroup S into a linear space Y (that is \(_{y}f\in {\mathcal {F}}\) [\(f_{y}\in {\mathcal {F}}\)] if \(f\in {\mathcal {F}}\) and \(y\in S\)), \({\mathcal {C}}\) be a family of subsets of Y and let \(F:{\mathcal {F}}\rightarrow {\mathcal {C}}\). Then a linear operator \(M: {\mathcal {F}}\rightarrow Y\) will be called a left [right] invariant F-mean if and only if
and
In the remainder of the paper, one of the families of sets important for us will be families having the binary intersection property. Let us recall that a collection \({\mathcal {C}}\) of sets is said to have the binary intersection property if and only if every subcollection of \({\mathcal {C}}\), any two members of which intersect, has a non-empty intersection. For example, the collection of bounded order intervals in a boundedly complete linear lattice has the binary intersection property (see Ioffe [11]) and the collection of closed balls in a normed space with the Hahn–Banach extension property has the binary intersection property (see Nachbin [14]).
In [1] R. Badora proved the following version of Dixmier’s theorem from the paper [5].
Theorem 5.2
Let \({\mathcal {F}}\) be a left invariant linear space of functions defined on a semigroup S with values in a real linear space Y. Let \({\mathcal {C}}\) be a translation invariant family of subsets of Y having the binary intersection property and let \(F: {\mathcal {F}}\rightarrow {\mathcal {C}}\) satisfy
Then there exists a left invariant F-mean on \({\mathcal {F}}\) if and only if
for all h of the form \(h=\sum _{k=1}^{n}\left( f_{k}-_{y_{k}}f_{k}\right) \), where \(f_{1},\ldots ,f_{n}\in {\mathcal {F}}\) and \(y_{1},\ldots ,y_{n}\in S\).
As a consequence of this theorem, Badora [1] obtained the following.
Theorem 5.3
Let \((S,\cdot )\) be a left amenable semigroup, and let Y be a real locally convex space. Let \({\mathcal {F}}\) be a left invariant linear subspace of B(S, Y). Let \({\mathcal {C}}\) be a translation invariant collection of closed convex sets in Y having the binary intersection property. Assume that the map \(F:{\mathcal {F}}\rightarrow {\mathcal {C}}\) satisfies (5.3), (5.4) and
for all h of the form \(h=\sum _{k=1}^{n}\left( f_{k}-_{y_{k}}f_{k}\right) \), where \(f_{1},\ldots ,f_{n}\in {\mathcal {F}}\), \(y_{1},\ldots ,y_{n}\in S\). Then there exists a left invariant F-mean on the space \({\mathcal {F}}\).
In Badora’s paper [1] we also find the following two facts.
Lemma 5.4
If the family of sets \({\mathcal {C}}\) has the binary intersection property, then the family \({\mathop {{\mathcal {C}}}\limits ^{\frown }}\) of all non-empty intersections of subfamilies of \({\mathcal {C}}\) also has the binary intersection property.
Lemma 5.5
Let \({\mathcal {C}}\) be a translation invariant family of subsets of a real linear space Y having the binary intersection property and satisfying the condition that \(-C\in {\mathcal {C}}\) if \(C\in {\mathcal {C}}\). Then, for every two subfamilies \(\{ A_{i}\;:\;i\in I\}\) and \(\{ B_{j}\;:\; j\in J\}\) of \({\mathcal {C}}\) such that
we have
We say that the family \({\mathcal {C}}\) of subsets of a real linear space is linearly-invariant if \({\mathcal {C}}\) is translation invariant and satisfies
Note
Lemma 5.6
If a collection \({\mathcal {C}}\) of subsets of a real linear space Y is linearly-invariant and has the binary intersection property, then the family \({\mathop {{\mathcal {C}}}\limits ^{\frown }}\) of all non-empty intersections of subfamilies of \({\mathcal {C}}\) is also linearly-invariant and has the binary intersection property.
Proof
By Lemma 5.4 the collection \({\mathop {{\mathcal {C}}}\limits ^{\frown }}\) has the binary intersection property. The condition that \(tA\in {\mathop {{\mathcal {C}}}\limits ^{\frown }}\) if \(A\in {\mathop {{\mathcal {C}}}\limits ^{\frown }}\) and \(t\in {\mathbb {R}}\) is easy to show. However, to conclude that \(A+B\in {\mathop {{\mathcal {C}}}\limits ^{\frown }}\) for \(A,B\in {\mathop {{\mathcal {C}}}\limits ^{\frown }}\) we will use Lemma 5.5. Indeed, if \(A,B\in {\mathop {{\mathcal {C}}}\limits ^{\frown }}\), then
for some subfamilies \(\{ A_{i}\;:\; i\in I\}\) and \(\{ B_{j}\;:\; j\in J\}\) of \({\mathcal {C}}\). Next, by Lemma 5.5
which means that \(A+B\) is a non-empty intersection of some subfamily of \({\mathcal {C}}\). So, \(A+B\in {\mathop {{\mathcal {C}}}\limits ^{\frown }}\). \(\square \)
Let \((S, \cdot )\) be a semigroup and let \({\mathcal {C}}\) be a linearly-invariant family having the binary intersection property of non-empty, closed, bounded, and convex subsets of a real, locally convex linear-topological space Y. For a function \(f:S\rightarrow Y\), the symbol C(f) denotes the set of sets A from the family \({\mathcal {C}}\) such that \(f(S)\subset A\). Hence
The space of all functions \(f:S\rightarrow Y\) for which the family C(f) is non-empty is denoted by \(B^{{\mathcal {C}}}(S, Y)\). Therefore
The space \(B^{{\mathcal {C}}}(S, Y)\) is a real linear subspace of B(S, Y). Moreover, this space is both left and right invariant. Indeed, if for a function \(f:S\rightarrow Y\) there exists some set \(A\in {\mathcal {C}}\) such that \(f(S)\subset A\), then for every \(y\in S\) we get
which means that \(_{y}f\in B^{{\mathcal {C}}}(S,Y)\).
As a consequence of Theorem 5.3 we obtain the following generalization of Theorem 4 of [1].
Theorem 5.7
Let \((S,\cdot )\) be a left amenable semigroup and let \({\mathcal {C}}\) be a linearly-invariant family having the binary intersection property of non-empty, closed, bounded and convex subsets of a real, locally convex linear-topological space Y. Then there exists a linear operator \(M:B^{{\mathcal {C}}}(S,Y)\rightarrow Y\) such that
and
for all \(f\in B^{{\mathcal {C}}}(S,Y)\) and \(y\in S\).
Proof
To prove this theorem, it is sufficient to show that the multifunction \(F:B^{{\mathcal {C}}}(S, Y)\rightarrow {\mathop {{\mathcal {C}}}\limits ^{\frown }}\) given by the formula
satisfies conditions (5.3), (5.4) and (5.6) of Theorem 5.3. For the proof of condition (5.3), let us establish \(f,g\in B^{{\mathcal {C}}}(S, Y)\) and sets \(A\in C(f)\), \(B\in C(g)\). Then
which allows us to conclude that
By Lemma 5.5 we get
what needed to be shown. Further, for \(f\in B^{{\mathcal {C}}}(S, Y)\) and \(t\in {\mathbb {R}}\) we have
hence condition (5.4) is proved. Moreover, condition (5.6) is a direct consequence of the definition of the multifunction F and the proof of the theorem is complete. \(\square \)
Observe that if Y is a boundedly complete locally convex vector lattice (a topological boundedly complete vector lattice that is also a locally convex space) and \({\mathcal {C}}\) is the collection of all bounded order intervals in Y then Theorem 5.7 reduces to Theorem 2.1 (with the space Y being a boundedly complete locally convex vector lattice).
Theorems presented here show that the binary intersection property is a sufficient property for the existence of a generalized invariant mean. However, looking at Theorem 3.3 (the family of compact sets has the finite intersection property but does not have to have the binary intersection property) the binary intersection property is a sufficient property for the existence of a generalized invariant mean, but it is not a necessary condition.
Theorem 5.8
Let \({\mathcal {C}}\) be a family of subsets of a real linear space Y. For a semigroup \((S,\cdot )\) by \(B^{{\mathcal {C}}}(S,Y)\), as before, we denote the space of all functions \(f:S\rightarrow Y\) such that \(f(S)\subset A\) for some \(A\in {\mathcal {C}}\). Then the space \(B^{{\mathcal {C}}}(S,Y)\) is translation invariant.
Moreover, if for every Abelian semigroup \((S,+)\) there exists a map \(\mu :B^{{\mathcal {C}}}(S,Y)\rightarrow Y\) on the space \(B^{{\mathcal {C}}}(S,Y)\) satisfying for every \(f\in B^{{\mathcal {C}}}(S,Y)\) and every \(A\in {\mathcal {C}}\)
and for every \(f\in B^{{\mathcal {C}}}(S,Y)\) and every \(y\in S\)
then the family \({\mathcal {C}}\) has the finite intersection property.
Proof
First let us note that if \(f\in B^{{\mathcal {C}}}(S,Y)\), then \(f(S)\subset A\) for some \(A\in {\mathcal {C}}\) and for every \(y\in S\) we get
So, \(_{y}f\in B^{{\mathcal {C}}}(S,Y)\) and the space \(B^{{\mathcal {C}}}(S,Y)\) is translation invariant.
To show that the family \({\mathcal {C}}\) has the finite intersection property we set such a subfamily \(\{ C_{i}\in {{\mathcal {C}}}\;:\;i\in I\}\) that for every \(n\in {\mathbb {N}}\) and any \(i_{1},\ldots ,i_{n}\in I\)
We will prove that \(\bigcap _{i\in I} C_{i}\not =\emptyset \).
We fix \(i_{0}\in I\) and consider a semigroup
with the operation defined as follows: for \(x,y\in S\) let \(x+y\) be a map defined by
Then S with this operation is an Abelian semigroup.
For a non-empty and finite subset J of the set \(I{\setminus } \{i_{0}\}\) we choose
(this intersection is non-empty by the assumption on the family \(\{ C_{i}\in {{\mathcal {C}}}\;:\;i\in I\}\) - we have an intersection of its finite subfamily).
Define the function \(f:S\rightarrow Y\) as follows
Because each \(c_{J}\in C_{i_{0}}\), we have \(f(S)\subset C_{i_{0}}\), which means, that \(f\in B^{{\mathcal {C}}}(S,Y)\) and, by the assumption, \(\mu (f)\in C_{i_{0}}\).
Now we will show that \(\mu (f)\in C_{k}\), for \(k\in I\). Let \(k\in I\) be fixed.
If \(k=i_{0}\), then \(\mu (f)\in C_{i_{0}}=C_{k}\).
If \(k\not = i_{0}\), then let \(y:I\rightarrow [0,+\infty )\) be defined as follows
Then \(y\in S\) and moreover, for every \(x\in S\),
Therefore, for every \(x\in S\)
which leads to
Whence
and, by our assumption, \(\mu (_{y}f)\in C_{k}\). But we also assume that \(\mu (_{y}f)=\mu (f)\), \(y\in S\). So, \(\mu (f)\in C_{k}\).
We have shown that for every \(k\in I\) \(\mu (f)\in C_{k}\) holds. Therefore
which ends the proof. \(\square \)
Thus the finite intersection property is a necessary condition for the existence of the generalized invariant mean proposed above.
Data availability
Not applicable.
References
Badora, R.: On some generalized invariant means and their application to the stability of the Hyers–Ulam type. Ann. Pol. Math. 58, 147–159 (1993)
Badora, R., Ger, R., Páles, Z.: Additive selections and the stability of the Cauchy functional equation. ANZIAM J. 44, 323–337 (2003)
Bombal, F., Vera, G.: Means in locally convex spaces and semireflexivity (Spanish). Collect. Math. 24, 267–295 (1973)
Bustos Domecq, H.: Vector-valued invariant means revisited. J. Math. Anal. Appl. 275, 512–520 (2002)
Dixmier, J.: Les moyennes invariantes dans les semi-groupes et leur applications. Acta Sci. Math. (Szeged) 12, 213–227 (1950)
Gajda Z.: Invariant means and representations of semigroups in the theory of functional equations. Prace Naukowe Uniwersytetu Śla̧skiego w Katowicach, nr 1273, Katowice (1992)
Ger, R.: The singular case in the stability behaviour of linear mappings. Grazer Math. Ber. 316, 59–70 (1992)
Husain, T.: Amenability of locally compact groups and vector-valued function spaces. Symposia Mathematica, vol. XVI (Convegno sui Gruppi Topologici a Gruppi di Lie, INDAM, Rome,: pp. 417–431, 1975. Academic Press, London (1974)
Husain, T., James, C.S.: Wong: invariant means on vector valued functions, I. Ann. Scuola Norm. Super. Pisa 3(27), 717–727 (1973)
Husain, T., James, C.S.: Wong: invariant means on vector valued functions II. Ann. Scuola Norm. Super. Pisa 3(27), 729–742 (1974)
Ioffe, A.D.: A new proof of the equivalence of the Hahn–Banach extension and the least upper bound properties. Proc. Am. Math. Soc. 82, 385–389 (1981)
Kania, T.: Vector-valued invariant means revisited once again. J. Math. Anal. Appl. 445, 797–802 (2017)
Łukasik, R.: Invariant means on Banach spaces. Ann. Math. Sil. 31, 127–140 (2017)
Nachbin, L.: A theorem of the Hahn–Banach type for linear transformations. Trans. Am. Math. Soc. 68, 28–46 (1950)
Paterson, A.L.T.: Amenability. Mathematical Surveys and Monographs, vol. 29. American Mathematical Society, Providence (1988)
Pełczyński, A.: Linear extensions, linear averagings, and their applications to linear topological classification of spaces of continuous functions. Dissertationes Math. (Rozprawy Mat.) 58, 92 (1968)
Rao Chivukula, R., Ramabhadra Sarma, I.: Means with values in a Banach lattice. Int. J. Math. Math. Sci. 10, 295–302 (1987)
Ramabhadra Sarma, I.: Means with values in a Banach lattice and some results of tensor products. Thesis (Ph.D.), The University of Nebraska, Lincoln (1977)
Székelyhidi, L.: Remark 17, Report of Meeting. Aequationes Math. 29, 95–96 (1985)
Tabor, J.: Note on reflexivity and invariant means. Univ. Iagel. Acta Math. 43, 99–102 (2005)
Funding
There were no fundings.
Author information
Authors and Affiliations
Contributions
Not applicable.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Ethical approval
Not applicable.
Additional information
Dedicated to Professor Maciej Sablik and Professor László Székelyhidi on the occasion of their 70th birthday.
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
Badora, R. Vector-valued invariant means. Aequat. Math. 97, 951–962 (2023). https://doi.org/10.1007/s00010-023-00951-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-023-00951-4