Abstract
In this paper, we present a new proof of the Mazur-Orlicz theorem, which uses the Markov-Kakutani common fixed point theorem, and a new proof of the Markov-Kakutani common fixed point theorem, which uses the Mazur-Orlicz theorem.
Similar content being viewed by others
1 Introduction
The aim of this paper is to present new proofs of the well-known Mazur-Orlicz theorem and Markov-Kakutani theorem. The proof of the former is based on the latter and vice versa.
We present here the two main theorems under consideration.
Theorem 1.1
(Markov-Kakutani common fixed point theorem; see [1] and [2])
Let X be a (locally convex) linear topological space, \(\mathcal{C}\) a nonempty convex compact subset of X, ℱ a commuting family of continuous affine selfmappings of \(\mathcal{C}\). Then there is an \(x\in\mathcal{C}\) such that \(f(x)=x\) for every \(f\in\mathcal{F}\).
Theorem 1.2
(Mazur-Orlicz theorem; see [3])
Let X be a linear space, T a nonempty set of indices, \(\{x_{t},t\in T\}\subset X\), \(\{\beta_{t},t\in T\}\subset\mathbb{R}\), \(p\colon X\to \mathbb{R}\) a sublinear functional. Then the following conditions are equivalent:
-
(i)
there is a linear functional \(a\colon X\to\mathbb{R}\) such that
$$\begin{aligned}& a(x)\leq p(x),\quad x\in X, \\& \beta_{t}\leq a(x_{t}),\quad t\in T; \end{aligned}$$ -
(ii)
for every \(n\in\mathbb{N}\), \(t_{1},\ldots,t_{n}\in T\) and \(\lambda _{1},\ldots,\lambda_{n}\in(0,\infty)\),
$$ \sum_{i=1}^{n} \lambda_{i}\beta_{t_{i}}\leq p\Biggl(\sum _{i=1}^{n} \lambda_{i} x_{t_{i}} \Biggr). $$
We also recall a counterpart of the Mazur-Orlicz theorem for abelian groups.
Theorem 1.3
Let G be an abelian group, T a nonempty set of indices, \(\{x_{t},t\in T\}\subset G\), \(\{\beta_{t},t\in T\}\subset\mathbb{R}\), \(p\colon G\to \mathbb{R}\) subadditive. Then the following conditions are equivalent:
-
(i)
there is an additive function \(a\colon G\to\mathbb{R}\) such that
$$\begin{aligned}& a(x)\leq p(x),\quad x\in G, \\& \beta_{t}\leq a(x_{t}),\quad t\in T; \end{aligned}$$ -
(ii)
for every \(n\in\mathbb{N}\) and \(t_{1},\ldots,t_{n}\in T\),
$$ \sum_{i=1}^{n} \beta_{t_{i}}\leq p\Biggl(\sum_{i=1}^{n} x_{t_{i}}\Biggr). $$
In both versions the implication (i) ⇒ (ii) is obvious. Moreover, in the condition (ii) of Theorem 1.2, we can as well demand that \(\sum\lambda_{i}=1\).
There are many different proofs of the Mazur-Orlicz theorem and its generalizations in the literature. See for example [4–12] (from which the most elementary and elegant is [10]). It seems to us that the approach via the Markov-Kakutani fixed point theorem is new and interesting. Moreover, this approach enables us to prove Theorems 1.2 and 1.3 analogously. Let us emphasize that already in [2], a corollary of the Markov-Kakutani fixed point theorem was used to prove the Hahn-Banach theorem. This approach was simplified in [13, Lemma 4.5.1]. However, to prove the Mazur-Orlicz theorem, the authors of [13] employ a lemma on supporting at a point of sublinear functionals by functionals, and an important result in the theory of infinite systems of inequalities [13, Theorem 3.2.2].
It is well known that from the Mazur-Orlicz theorem follows immediately the Hahn-Banach theorem. Furthermore, in [14], the Markov-Kakutani common fixed point theorem was proven via the separation theorem (in locally convex spaces compact convex nonvoid disjoint sets can be strictly separated) which is a consequence of the Hahn-Banach theorem (not directly from the Hahn-Banach theorem, as the title of that paper suggests). Also from the separation theorem (a locally convex space separates points) as well as the already mentioned [13, Theorem 3.2.2], the Markov-Kakutani theorem is proved in [13]. Another proof of the Markov-Kakutani theorem, based also on the separation theorem, can be found in [15].
Our proof of the Markov-Kakutani common fixed point theorem uses directly the Mazur-Orlicz theorem and is valid, as in [1, 13–15], for locally convex spaces.
Let us mention that the proof of the Markov-Kakutani theorem from [2] can be found in [16], and that probably the most elementary and elegant proof of this theorem can be found in [17].
2 Proof of the Mazur-Orlicz theorem
In the proofs of Theorems 1.2 and 1.3 we use some standard argumentation, which we formulate here as lemmas. We are unable to indicate where these reasonings appeared for the first time.
Lemma 2.1
Let G be a group. Suppose that \(a\colon G\to \mathbb{R}\) is an additive function, \(p\colon G\to\mathbb{R}\) subadditive, \(s\in\mathbb{R}\). Moreover, assume that \(a(x)\leq p(x)+s\) for \(x\in G\). Then \(a(x)\leq p(x)\), \(x\in G\).
Proof
By simple induction we infer that
which gives
Letting \(n\to\infty\) we obtain
□
Lemma 2.2
Let X be a linear topological space. Suppose that \(a\colon X\to\mathbb {R}\) is an additive function, \(p\colon X\to\mathbb{R}\) a sublinear functional such that \(a(x)\leq p(x)\), \(x\in X\). Then a is linear.
Proof
As every additive function, a is ℚ-linear. To see that a is linear fix \(x\in X\). We may proceed as follows. The mapping \(\mathbb {R}\ni t\stackrel{\alpha}{\mapsto} a(tx)\in\mathbb{R}\) is additive and dominated from above by \(\mathbb{R}_{+}\ni t\mapsto tp(x)\in\mathbb{R}\) on \(\mathbb{R}_{+}\). Hence α is bounded from above on some interval. Therefore, α is continuous (see for example [18, Theorem 12.1.2]). This, together with ℚ-linearity gives \(a(tx)=ta(x)\) for every \(t\in\mathbb{R}\).
Or we may proceed in another way (see [13, p.71]), as follows. Notice that
Hence
Fix a \(t\in\mathbb{R}\) and a sequence \((t_{n})_{n\in\mathbb{N}}\) of rationals tending to t from below. We have
Therefore,
Letting \(n\to\infty\), we get
□
Proof of the implication (ii) ⇒ (i) of Theorem 1.3
Let us consider the mappings \(F_{y}\colon\mathbb{R}^{G}\to\mathbb{R}^{G}\), \(y\in G\), defined by the formula
We consider \(\mathbb{R}^{G}\) with the Tichonoff topology. Notice that the mappings \(F_{y}\) are continuous and affine. Moreover,
hence the family \(\{F_{y};y\in G\}\) is commuting. Let us choose \(t_{0}\in T\) and put \(s:=p(x_{t_{0}})-\beta_{t_{0}}\). Put
By (2.1) we see that \(F_{y}(\mathcal{C})\subset\mathcal{C}\), \(y\in G\). It is easy to notice that \(\mathcal{C}\) is convex, since \(F_{y}\) are affine. Moreover, \(\mathcal{C}\) is compact as closed subset of the compact set \(\{f\in\mathbb{R}^{G};-p(-x)\leq f(x)\leq p(x)+s, x\in G\}\). Now we will show that \(\mathcal{C}\) is nonempty. Let us define \(r\colon G\to\mathbb{R}\) by
where the infimum is taken over all sequences \((t_{1},\ldots,t_{n})\in T^{n}\), \(n\in\mathbb{N}\). It can easily be checked that \(r\in\mathcal {C}\):
• Fix \(x\in G\). We have
• Fix \(x\in G\). For an arbitrary \(n\in\mathbb{N}\) and \(t_{1},\ldots,t_{n}\in T\) we have
hence
therefore
• Fix \(x,y\in G\). For an arbitrary \(n\in\mathbb{N}\) and \(t_{1},\ldots,t_{n}\in T\) we have
Thereby
which means
• Fix \(x,y\in G\). For an arbitrary \(n\in\mathbb{N}\) and \(t_{1},\ldots,t_{n}\in T\) we have
Thereby
which means
• Fix \(t\in T\). For an arbitrary \(n\in\mathbb{N}\) and \(t_{1},\ldots, t_{n}\in T\) we have
Hence
which implies
• Fix \(t\in T\) and \(y\in G\). For an arbitrary \(n\in\mathbb{N}\) and \(t_{1},\ldots,t_{n}\in T\) we have
whence
Therefore
which means
This completes the proof that \(r\in\mathcal{C}\).
By the Markov-Kakutani theorem we infer that there is an \(a\in\mathcal {C}\) which is a fixed point of every \(F_{y}\), \(y\in G\). This implies that
and
From the last inequality, according to Lemma 2.1, we infer that
The proof is completed. □
Proof of the implication (ii) ⇒ (i) of Theorem 1.2
We proceed as in the proof of Theorem 1.3. The obtained additive function a, due to Lemma 2.2, is linear. The proof is completed. □
3 Proof of the Markov-Kakutani common fixed point theorem
Theorem 3.1
Let X be a locally convex linear topological space, \(\mathcal{C}\subset X\) nonempty convex and compact, \(F\colon\mathcal{C}\to\mathcal{C}\) continuous and affine. Then F has a fixed point.
In the proof we will use Theorem 1.2, however, we could also use Theorem 1.3, as well.
Proof
Put
Assume on the contrary that \(0\notin B\). Of course, the set B is nonempty. Since F is affine, it is convex. Moreover, \(B=(F-\mathrm{id})(\mathcal{C})\) is the continuous image of the compact set \(\mathcal{C}\), hence B is compact. Let \(U\subset X\setminus B\) be a convex, balanced neighborhood of 0. Then U is also absorbing. Let \(p\colon X\to\mathbb{R}\) be the Minkowski functional of U, i.e.,
We know that p is sublinear and \(\{x\in X; p(x)<1\}\subset U\). Thus
Moreover, since \(\mathcal{C}\) is compact, from the inclusion \(\mathcal {C}\subset X= \bigcup_{n=1}^{\infty}nU\) we infer that there is an \(N\in \mathbb{N}\) such that \(\mathcal{C}\subset NU\), hence
Put \(T=\mathcal{C}\) and \(\beta_{t}=1\), \(x_{t}=F(t)-t\) for \(t\in T\). Notice that \(x_{t}\in B\) for \(t\in T\). For an arbitrary \(n\in\mathbb{N}\), \(t_{1},\ldots,t_{n}\in T\), \(\lambda_{1},\ldots,\lambda_{n}\in(0,\infty)\), the convexity of B implies
Therefore, by (3.1),
We obtain
but
hence the condition (ii) of the Mazur-Orlicz theorem is satisfied. We infer that there is a linear functional \(a\colon X\to\mathbb{R}\) with
and
For \(x\in\mathcal{C}\) and \(n\in\mathbb{N}\) we obtain
Therefore
But according to (3.2) we get
which is a contradiction. □
The Markov-Kakutani theorem follows easily from Theorem 3.1. For convenience of the reader we repeat the argumentation from [13, 15, 17] or [14].
Proof of Theorem 1.1
From Theorem 3.1 we infer that the sets
are nonempty. Moreover, the sets \(A_{F}\) are convex and compact. To prove that
it is enough to show that for every \(n\in\mathbb{N}\) and \(F_{1},\ldots ,F_{n}\in\mathcal{F}\) the intersection
is nonempty. We will show it by induction. Assume that
For every \(x\in A\) and \(k\in\{1,\ldots,n\}\) we have
which means that \(F_{n+1}(x)\in A\). We have shown that \(F_{n+1}(A)\subset A\). Notice also that A is nonempty convex compact. Therefore, we can apply Theorem 3.1 for \(F=F_{n+1}|_{A}\colon A\to A\). We infer that there is a fixed point of F, which means \(A_{F_{n+1}}\cap A\neq\varnothing\). This ends the induction and the whole proof. □
References
Markov, A: Quelques théorèmes sur les ensembles abéliens. C. R. (Dokl.) Acad. Sci. URSS 1, 311-313 (1936)
Kakutani, S: Two fixed-point theorems concerning bicompact convex sets. Proc. Imp. Acad. (Tokyo) 14, 242-245 (1938)
Mazur, S, Orlicz, W: Sur les espaces métriques linéaires (II). Stud. Math. 13, 137-179 (1953)
Chojnacki, W: Sur un théorème de Day, un théorème de Mazur-Orlicz et une généralisation de quelques théorèmes de Silverman. Colloq. Math. 50(2), 257-262 (1986)
Chojnacki, W: Erratum: ‘On a theorem of Day, a Mazur-Orlicz theorem and a generalization of some theorems of Silverman’. Colloq. Math. 63(1), 139 (1992)
Dăneţ, N, Dăneţ, R-M: Existence and extensions of positive linear operators. Positivity 13, 89-106 (2009)
Kaufmann, R: Interpolation by additive functions. Stud. Math. 27, 269-272 (1966)
Landsberg, M, Schirotzek, W: Mazur-Orlicz type theorems with some applications. Math. Nachr. 79, 331-341 (1977)
Nikodem, K, Páles, Z, Wąsowicz, S: Abstract separation theorems of Rodé type and their applications. Ann. Pol. Math. 72(3), 207-217 (1999)
Ptak, V: On a theorem of Mazur and Orlicz. Stud. Math. 15, 365-366 (1956)
Sikorski, R: On a theorem of Mazur and Orlicz. Stud. Math. 13, 180-182 (1953)
Simons, S: Extended and sandwich versions of the Hahn-Banach theorem. J. Math. Anal. Appl. 21, 112-122 (1968)
Granas, A, Dugundji, J: Fixed Point Theory. Springer Monographs in Mathematics. Springer, New York (2003)
Werner, D: A proof of the Markov-Kakutani fixed point theorem via the Hahn-Banach theorem. Extr. Math. 8(1), 37-38 (1993)
Reed, M, Simon, B: Methods of Modern Mathematical Physics I: Functional Analysis Academic Press, New York (1972)
Rudin, W: Functional Analysis, 2nd edn. International Series in Pure and Applied Mathematics. McGraw-Hill, New York (1991)
Jachymski, J: Another proof of the Markov-Kakutani theorem, and an extension. Math. Jpn. 47(1), 19-20 (1998)
Kuczma, M: An Introduction to the Theory of Functional Equations and Inequalities: Cauchy’s Equation and Jensen’s Inequality (edited by Attila Gilányi), 2nd edn. Birkhäuser, Basel (2009)
Acknowledgements
This research was supported by the Institute of Mathematics, University of Silesia, Katowice, Poland (Real Analysis and Iterative Functional Equations program). I gratefully acknowledge the referees’ helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Przebieracz, B. A proof of the Mazur-Orlicz theorem via the Markov-Kakutani common fixed point theorem, and vice versa . Fixed Point Theory Appl 2015, 10 (2015). https://doi.org/10.1186/s13663-014-0257-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-014-0257-2