- Research
- Open Access
Ray’s theorem revisited: a fixed point free firmly nonexpansive mapping in Hilbert spaces
- Fumiaki Kohsaka^{1}Email author
https://doi.org/10.1186/s13660-015-0606-7
© Kohsaka; licensee Springer. 2015
- Received: 30 October 2014
- Accepted: 23 February 2015
- Published: 6 March 2015
Abstract
We give another proof of a strong version of Ray’s theorem ensuring that every unbounded closed convex subset of a Hilbert space admits a fixed point free firmly nonexpansive mapping.
Keywords
- firmly nonexpansive mapping
- fixed point
- Hilbert space
- Ray’s theorem
- unbounded set
MSC
- 47H09
- 47H10
- 46C05
1 Ray’s theorem and its strong version
In 1965, Browder [1] showed the following fixed point theorem for nonexpansive mappings in Hilbert spaces.
Theorem 1.1
(Browder’s theorem [1])
Let C be a nonempty closed convex subset of a Hilbert space H. If C is bounded, then every nonexpansive self-mapping on C has a fixed point.
Ray [2] showed that the converse of Browder’s theorem holds.
Theorem 1.2
(Ray’s theorem [2])
Let C be a nonempty closed convex subset of a Hilbert space H. If every nonexpansive self-mapping on C has a fixed point, then C is bounded.
Later, Sine [3] gave a simple proof of Theorem 1.2 by applying a version of the uniform boundedness principle and the convex combination of a sequence of metric projections onto closed and convex sets.
Recently, Aoyama et al. [4], obtained a counterpart of Theorem 1.2 for λ-hybrid mappings in Hilbert spaces by using the following strong version of Ray’s theorem.
Theorem 1.3
(A strong version of Ray’s theorem [4])
Let C be a nonempty closed convex subset of a Hilbert space H. If every firmly nonexpansive self-mapping on C has a fixed point, then C is bounded.
It should be noted that Theorem 1.3 was actually shown by using Theorem 1.2 in [4]. See also [5, 6] on generalizations of Theorem 1.3 for firmly nonexpansive type mappings in Banach spaces.
In this paper, motivated by the papers mentioned above, we give another proof of Theorem 1.3 by using a version of the uniform boundedness principle and a single metric projection onto a closed and convex set. Since every firmly nonexpansive mapping is nonexpansive, Theorem 1.3 immediately implies Theorem 1.2.
2 A fixed point free firmly nonexpansive mapping
Throughout this paper, every linear space is real. The inner product and the induced norm of a Hilbert space H are denoted by \(\langle \cdot , \cdot \rangle\) and \(\Vert \cdot \Vert \), respectively. The dual space of a Banach space X is denoted by \(X^{*}\). The following is a version of the uniform boundedness principle.
Theorem 2.1
(see, for instance, [7])
If C is a nonempty subset of a Banach space X such that \(x^{*}(C)\) is bounded for each \(x^{*}\in X^{*}\), then C is bounded.
We first show the following lemma.
Lemma 2.2
Proof
Using Theorem 2.1 and Lemma 2.2, we give another proof of Theorem 1.3.
Proof of Theorem 1.3
If C is unbounded, then Theorem 2.1 implies that \(x^{*}(C)\) is unbounded for some \(x^{*}\in H^{*}\). Since H is a real Hilbert space, we have \(a\in H\) such that \(\sup_{y\in C} \langle y, a \rangle=\infty\). By Lemma 2.2 and the choice of a, the mapping T defined as in Lemma 2.2 is a fixed point free firmly nonexpansive self-mapping on C. □
Declarations
Acknowledgements
The author would like to thank the anonymous referees for carefully reading the original version of the manuscript. The author is supported by Grant-in-Aid for Young Scientists No. 25800094 from the Japan Society for the Promotion of Science.
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.
Authors’ Affiliations
References
- Browder, FE: Fixed-point theorems for noncompact mappings in Hilbert space. Proc. Natl. Acad. Sci. USA 53, 1272-1276 (1965) View ArticleMATHMathSciNetGoogle Scholar
- Ray, WO: The fixed point property and unbounded sets in Hilbert space. Trans. Am. Math. Soc. 258, 531-537 (1980) View ArticleMATHGoogle Scholar
- Sine, R: On the converse of the nonexpansive map fixed point theorem for Hilbert space. Proc. Am. Math. Soc. 100, 489-490 (1987) View ArticleMATHMathSciNetGoogle Scholar
- Aoyama, K, Iemoto, S, Kohsaka, F, Takahashi, W: Fixed point and ergodic theorems for λ-hybrid mappings in Hilbert spaces. J. Nonlinear Convex Anal. 11, 335-343 (2010) MATHMathSciNetGoogle Scholar
- Takahashi, W, Yao, J-C, Kohsaka, F: The fixed point property and unbounded sets in Banach spaces. Taiwan. J. Math. 14, 733-742 (2010) MATHMathSciNetGoogle Scholar
- Kohsaka, F: Existence of fixed points of nonspreading mappings with Bregman distances. In: Nonlinear Mathematics for Uncertainty and Its Applications, pp. 403-410. Springer, Berlin (2011) View ArticleGoogle Scholar
- Brezis, H: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, Berlin (2011) MATHGoogle Scholar
- Browder, FE: Convergence theorems for sequences of nonlinear operators in Banach spaces. Math. Z. 100, 201-225 (1967) View ArticleMATHMathSciNetGoogle Scholar
- Bruck, RE Jr: Nonexpansive projections on subsets of Banach spaces. Pac. J. Math. 47, 341-355 (1973) View ArticleMATHMathSciNetGoogle Scholar
- Goebel, K, Kirk, WA: Topics in Metric Fixed Point Theory. Cambridge University Press, Cambridge (1990) View ArticleMATHGoogle Scholar
- Goebel, K, Reich, S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York (1984) MATHGoogle Scholar
- Takahashi, W: Nonlinear Functional Analysis. Yokohama Publishers, Yokohama (2000) MATHGoogle Scholar