- Research
- Open access
- Published:
Fixed points of set-valued maps in locally complete spaces
Fixed Point Theory and Applications volume 2017, Article number: 13 (2017)
Abstract
We prove an extension of the Pareto optimization criterion to locally complete locally convex vector spaces to guarantee the existence of fixed points of set-valued maps.
1 Introduction
Ekeland’s variational principle, a milestone in the theory of nonlinear optimization, focuses on solving an optimization problem via a perturbed optimization problem. Since its appearance many extensions and equivalent formulations have been shown. Some of them, related to our discussion below, are contained in [1–8]. In [9] Azé and Corvellec generalized, in the setting of metric spaces, a result due to Lim ([10]) on the existence of fixed points for weakly inward multivalued contractions, defined on a nonempty closed subset of a Banach space. Their argument is remarkably simple: on the one hand, it avoids the use of transfinite induction (as in Lim’s paper) and, on the other hand, it uses Ekeland’s variational principle as a main tool to guarantee the existence of fixed points. Ekeland’s principle has been shown equivalent to other optimization statements, in particular, and of interest in this paper, is the equivalence to an optimization criterion of Pareto (see [11]) for which the existence of optima (critical points for dynamical systems) has been shown in complete metric spaces (see [12]). Our main result (Theorem 3.2) is a modification of that optimization criterion of Pareto, which shows how the existence of fixed points for set-valued maps can be extended to the setting of locally complete spaces. Among the consequences of Theorem 3.2, we provide a simple argument of Azé and Corvellec’s theorem ([9], Theorem 2.3). Although our results are set in the context of locally complete spaces, let us say that related to Ekeland’s type variational principles, some other forms of completeness have been use in the literature (e.g., quasi-metric spaces with Q-functions, fuzzy metric spaces, or sequentially lower complete spaces). Some of these include equivalences to Ekeland’s variational principle, for instance, to Caristi fixed point theorem or Takahashi minimization theorem, all of them with their natural connection to solution to equilibrium or fixed point theorems for set-valued maps (see, for instance [11, 13–19]).
2 Preliminaries
Throughout this paper \((X, \tau )\) will denote a Hausdorff locally convex space where the topology τ is generated by a saturated family of seminorms \(\{\rho _{j}\}_{j \in J}\). If B is a subset of X which is balanced and convex, we will call B a disk. Let \(X_{B}\) be the linear span of B, endowed with the topology generated by the Minkowski gauge of B, \(\rho _{B}\). When B is bounded \(\rho _{B}\) is a norm, and the norm topology is finer than the topology inherited from X. If \((X_{B}, \rho _{B})\) is a Banach space we say that B is a Banach disk. We say that X is a locally complete space if each closed, bounded disk is a Banach disk. Local complete spaces are also known as \(c^{\infty }\) or convenient spaces. The notion of local completeness has become important in all sorts of applications, for instance, in nonlinear distribution theory (see [1, 20] and the references therein), or as a context where existence and uniqueness for nonlinear integro-differential equations can be shown (see [21]). By lsc we refer to a lower semicontinuous functions, \(f \colon X \to \mathbb{R}\cup \{\infty \}\), which are proper, that is, their effective domain, \(\operatorname{dom}(f) := \{x : f(x) < \infty \}\), is nonempty.
For a closed subset \(A\subset X\) we will consider set-valued maps \(T \colon A \rightarrow 2^{A}\). Such maps T are known in the literature as dynamical systems and, in our discussion, points of interest are \(x^{\ast } \in A\) such that \(x^{\ast } \in Tx^{\ast }\) (known as fixed points of T) and, especially, critical points of T (points \(x^{\ast } \in A\) such that \(Tx^{\ast } =\{x^{\ast }\}\)). Let us start with the definition and properties of some functions that will be used in the sequel. For each \(j \in J\), \(\phi _{1j}, \phi _{2j} \colon X \rightarrow [0, \infty )\) will be the functions defined by
and
Also, for each \(j \in J\), and for every pair of subsets \(A, B \subset X\), we define
where \(\rho _{j}(x - B) = \inf \{\rho _{j}(x - b) : b \in B\}\), is the \(\rho _{j}\)-distance from x to B. In general, we define
where \(\rho _{j}(a - B)\) denotes the \(\inf \{\rho _{j}(a - b) : b\in B\}\) and \(\rho _{j}(b - A) = \inf \{\rho _{j}(b-a) : a\in A\}\).
It is important to note that, in general, \(e_{j}(Tx,Tz)\neq e_{j}(Tz,Tx)\). For instance, take \(X = \mathbb{R}^{2}\) equipped with the usual Euclidean norm d and consider the subsets \(A = \{(a,2) : -1 \leq a \leq 1\}\) and \(B = \{(x,y) : x^{2} + y^{2}\leq 1\}\). An easy computation shows that \(e_{d}(A, B) = \sqrt{5} - 1\) while \(e_{d}(B, A) = 3\).
Now we provide sufficient conditions on the functions \(e_{j}\) to get lower semicontinuity and continuity properties for the functions \(\phi _{1j}\) and \(\phi _{2j}\). We start with the following.
Proposition 2.1
If \(M_{j}\in \mathbb{R}^{+}\) is such that \(e_{j}(Tx, Tz) \leq M_{j}\rho _{j}(x - z)\) for every \(x, z \in X\) then \(\phi _{1j}(x)\leq \phi _{1j}(z) + 2M_{j}\rho _{j}(x - z)\). Hence, \(\phi _{1j}\) is \(\rho _{j}\)-continuous. In particular since τ is a uniformity we see that \(\phi _{1j}\) is τ-uniformly continuous.
Proof
Let \(x, z\in X\) and \(y, y^{\prime } \in Tx\). Then, for each \(n \in \mathbb{N}\) choose \(w_{n} \in Tz\) such that
and similarly for \(y^{\prime }\) choose the corresponding \(w_{n}^{\prime } \in Tz\). Then
Thus, \(\rho _{j}(y - y^{\prime }) \leq \phi _{1j}(z) + 2e_{j}(Tx, Tz)\). By taking the supremum over all y, \(y^{\prime }\), we obtain
A similar argument shows that
also holds. Hence \(\phi _{1j}\) is \(\rho _{j}\)-uniformly continuous. □
For the function \(\phi _{2j}\), the result corresponding to Proposition 2.1 is as follows.
Proposition 2.2
If \(M_{j} \in \mathbb{R}^{+}\) is such that \(e_{j}(Tx, Tz)\leq M_{j}\rho _{j}(x - z)\) for all \(x, z\in X\) then \(\phi _{2j}\) is \(\rho _{j}\)-continuous hence τ-continuous.
Proof
Let \(x \in X\) and \(\{x_{\lambda }\}\) be a net such that \(x_{\lambda }\stackrel{\rho _{j}}{\rightarrow } x\). For \(z\in Tx_{\lambda }\) we have
By taking the infimum with respect to \(z\in Tx_{\lambda }\) we get
Thus
Similarly,
and \(\phi _{2j}\) is \(\rho _{j}\)-continuous. □
Definition 2.3
For \(j\in J\), \(\phi _{j} \colon X \rightarrow [0, \infty )\) will be the function defined by \(\phi _{j}(x) = \phi _{1j}(x) + \phi _{2j}(x)\).
Lemma 2.4
Let \(A\subset X\) be any closed subset, and suppose that \(\phi _{1j}\) and \(\phi _{2j}\) are \(\rho _{j}\)-lsc. Suppose that \(T \colon A \rightarrow 2^{A}\) is such that Tx is \(\rho _{j}\)-sequentially compact and for each \(x\in A\) and each \(n \in \mathbb{N}\) there exists \(y_{n}\in Tx\) with the following properties: \(\phi _{j}(y_{n})\leq \phi _{1j}(x) + \frac{1}{n}\) and \(\rho _{j}(x-y_{n}) < \phi _{2j}(x)+\frac{1}{n}\). Then there exists \(y\in Tx\) such that \(\phi _{j}(y) + \rho _{j}(x - y)\leq \phi _{j}(x)\).
Proof
Let \(\{y_{n}\}\subset Tx\) be a sequence such that each \(y_{n}\) satisfies the conditions as in the statement of Lemma 2.4. Since Tx is \(\rho _{j}\)-sequentially compact, there is a subsequence \(\{y_{n_{k}}\}_{k\in \mathbb{N}}\), \(\rho _{j}\)-convergent to some, not necessarily unique, \(y\in Tx\). Then
By taking lim inf over k on both sides of the inequality we have
as desired. □
To close this section we define the sets that we will consider as target values for the dynamical systems in Theorem 3.2. Note that Lemma 2.4 is tailored to provide conditions for these sets to be nonempty.
Definition 2.5
For each \(x\in X\) and each index \(j\in J\) let
Lemma 2.6
If \(\phi _{j}\) is lsc then the set \(C_{x}^{j}\) is \(\rho _{j}\)-closed.
Proof
Let \((y_{n})\) be a sequence in \(C_{x}^{j}\) such that \(y_{n} \stackrel{\rho _{j}}{\rightarrow } y\in X\).
Note that \(\phi _{j}(y_{n}) + \rho _{j}(x - y_{n})\leq \phi _{j}(x)\) implies that
Hence \(y\in C_{x}^{j}\). □
Corollary 2.7
If \(\phi _{j}\) is lsc and for each \(y \in C_{x}^{j}\) and \(y + Z_{\rho _{j}}\subset C_{x}^{j}\), where \(Z_{\rho _{j}} = \{x\in X : \rho _{j}(x) = 0\}\) is the zero set of \(\rho _{j}\), then \(C_{x}^{j}\) is a \(\rho _{j}\)-closed linear subspace of X.
Definition 2.8
Let \(A\subset X\) be any closed subset. If \(T \colon A \rightarrow 2^{A}\) is a dynamical system and \(\rho _{j}\) is one of the seminorms defining the topology τ, \(x^{\ast }\in A\) is a \(\rho _{j}\)-critical point of T if \(Tx^{\ast }\subset x^{\ast } + Z_{\rho _{j}}\).
Note that when \(\rho _{j}\) is a norm, to be a \(\rho _{j}\)-critical point means that \(Tx^{\ast } = \{x^{\ast }\}\).
3 Modified Pareto case
Recall that the topology τ in the lcs X is generated by a saturated family of seminorms \(\{\rho _{j} : j \in J\}\). Theorem 1 of [11] provides with sufficient conditions for a given dynamical system \(T \colon A \to 2^{A}\), over a locally complete subset A of X, to have critical points. In [11], Theorem 1, one essentially sees that if for every \(x \in A\) and every \(u \in Tx\), \(c_{j}\rho _{j}(x - u) \le \Phi (x) - \Phi (u)\) for every \(j \in J\) and for some function \(\Phi \colon A \to \mathbb{R}\) lsc and bounded below (\(c_{j}\) are positive scalars such that \(\bigcap_{j \in J}\{x \in X : c_{j}\rho _{j}(x) \le 1\}\) is a nonzero Banach disk) then T has a critical point. In our setting, if we suppose that, for a fixed \(j \in J\), A is \(\rho _{j}\)-complete and \(\Phi \colon A \to \mathbb{R}\) is \(\rho _{j}\)-lsc, that is, \(\rho _{j}(x_{n} - x) \rightarrow 0\) implies \(\Phi (x)\leq \liminf_{n} \Phi (x_{n})\) (which in turn implies τ-lsc of Φ) then we have the following proposition.
Proposition 3.1
If for each \(x\in A\) and each \(u \in Tx\) we have \(\rho _{j}(x - u)\leq \Phi (x) - \Phi (u)\), then T has a \(\rho _{j}\)-critical point, \(x_{j}^{\ast }\in A\).
The proof goes along the same lines as that of Theorem 1 in [11] and we omit it.
Theorem 3.2
Main Result
Let \(T \colon A \to 2^{A}\) be a dynamical system and for each \(j\in J\) let \(T_{j} \colon A\rightarrow 2^{A}\) be the dynamical system defined by \(T_{j}(x) = C_{x}^{j}\). Suppose that the following conditions are satisfied:
-
1.
The seminorm \(\rho _{j}\), from the family of seminorms defining the topology τ, is such that the subset A is \(\rho _{j}\)-sequentially complete.
-
2.
The function \(\phi _{j}\) (see definition 2.3) satisfies the condition \(\phi _{j}(x)\leq \liminf \phi _{j}(x_{n})\) whenever \(\rho _{j}(x - x_{n}) \to 0\).
-
3.
\(C_{x}^{j}\neq \emptyset \) for all \(x\in A\).
Then there exists \(x_{j}^{*}\in A\) such that \(T_{j}x_{j}^{*}\subset x_{j}^{*}+Z_{\rho _{j}}\), that is, \(x_{j}^{*}\) is a \(\rho _{j}\)-critical point of the function \(T_{j}\).
Proof
The hypotheses of this theorem are essentially the same as those of Proposition 3.1, with \(T = T_{j}\). The fact that the function \(\phi _{j}\) is \(\rho _{j}\)-lsc implies that the set \(T_{j}x = C_{x}^{j}\) is \(\rho _{j}\)-closed for each vector \(x\in A\). Then, for all \(y\in T_{j}x = C_{x}^{j}\),
On the other hand, the fact that A is \(\rho _{j}\)-sequentially complete implies that the set \(T_{j}x=C_{x}^{j}\) is also \(\rho _{j}\)-sequentially complete. Hence, by Proposition 3.1, we see that there exists \(x_{j}^{*}\in A\) such that
as desired. □
Corollary 3.3
If \(x_{j}^{*}\in T_{j}x_{j}^{*}\) then \(T_{j}x_{j}^{*} = x_{j}^{*} + Z_{\rho _{j}}\).
A weak version (in the sense of weak topology) of Theorem 3.2 can be obtained as follows. Consider \(X^{\prime } = (X,\tau )^{\prime }\), the topological dual of X, and the saturated family of seminorms \(\{\rho _{f} : f\in X^{\prime }\}\), where \(\rho _{f}(x) = \vert f(x) \vert \) and \(Z_{f} = \operatorname{ker}(f)\). Assume as before that \(A \subset X\) is \(\rho _{f}\)-complete for some fixed, but arbitrary, \(f \in X^{\prime }\), and let \(\Phi \colon A \to \mathbb{R}\) be a lsc function. Then we have the following.
Proposition 3.4
If each \(x\in A\) and each \(u\in Tx\) satisfies \(\vert f(x - u) \vert \leq \Phi (x) - \Phi (u)\), then the dynamical system T has a \(\rho _{f}\)-critical point \(x_{f}^{\ast }\in A\), that is,
We also have the following restatement of Theorem 3.2, where the continuous linear functions \(f\in X^{\prime }\) take the place of the indices \(j\in J\).
Theorem 3.5
For each \(f\in X^{\prime }\), let \(T^{\prime }_{f} \colon A \rightarrow 2^{A}\) denote the function given by \(T^{\prime }_{f}(x) = C_{x}^{f}\). Suppose there exists a seminorm, \(\rho _{f}(x) = \vert f(x) \vert \) with \(f\in X^{\prime }\), such that:
-
1.
The function \(\phi _{f} = \vert f \vert \) satifies \(\phi _{f}(x)\leq \liminf \phi _{f}(x_{n})=\liminf_{n} \vert f(x_{n}) \vert \) (lower semicontinuity).
-
2.
\(C_{x}^{f}\neq \emptyset\) for all \(x\in A\).
Then there exists \(x_{f}^{\ast }\in A\) such that \(T^{\prime }_{f}x_{j}^{\ast }\subset x_{f}^{\ast } + Z_{f}\).
Proof
Just notice that if we consider the weak topology in place of τ on X, then we have the same hypotheses as in Theorem 3.2 above. □
4 Applications to fixed point theory
With the tools we have developed so far we can present a couple of interesting applications to fixed point theory. Let \((X, \tau )\) be a complete locally convex topological vector space and take \(f\in X^{\prime }\), \(A\subset X\) a τ-closed subset, and \(0 < M < 1\). Let \(h \colon A \rightarrow A\) be any function such that
Theorem 4.1
Under the above assumptions there exists \(x^{\ast }\in A\) such that, for all \(k\in \mathbb{N}\),
Equivalently, for all \(k\in \mathbb{N}\), \(\rho _{f}(x^{\ast } - h^{k}(x^{\ast })) = 0\). Moreover, if \(x^{\ast \ast }\in A\) also satisfies (5) then \(f(x^{\ast }) = f(x^{\ast \ast })\).
First note that Theorem 4.1 fails for \(M = 1\). Indeed, in [22] Khamsi provides an example [22], Example 1, to answer Kirk’s problem (in the negative) on the existence of fixed points for a map \(T \colon X \to X\) such that, for all \(x \in X\) and for some positive function η, \(\eta (d(x, Tx)) \le \phi (x) - T(\phi (x))\) (ϕ is a non-negative lsc function). Here we see that for \(M = 1\) and \(A = \{x_{1},x_{2},\ldots\} \subset X = \mathbb{R}\) with \(x_{n} = 1 + \frac{1}{2} + \cdots + \frac{1}{n}\); if we take \(f = I \in (\mathbb{R})^{\prime }\) we have the inequality
and then the function \(h(x_{n}) = x_{n+1}\) does not have a fixed point. Note that the set A is closed but it is not bounded.
Also note that if \(A = X\) then as a consequence of inequality (4) we see that \(\hat{h} \colon X/Z_{f} \rightarrow X/Z_{f}\), such that \(\hat{h}([x])=[h(x)]\) is a function. Furthermore, if \(A = X\) and the identities in (5) hold, then the function ĥ has a unique fixed point.
Proof of Theorem 4.1.
Let \(T \colon A \rightarrow 2^{A}\) defined by \(Tx = \{x, h(x), h^{2}(x), \ldots \}\). Then we have
for every \(x, z\in A\).
Consider \(e_{f} \colon \{Tx \colon x \in X\}\times \{Tz \colon z \in X\} \to [0, \infty )\) given by
Observe that since \(Tx\supset Th(x)\supset Th^{2}(x)\supset \cdots \) we have \(e_{f}(Th^{k + m}(x), Th^{k}(x))=0\) for all \(k, m\in \mathbb{N}\). Now Tx is not necessarily closed or bounded, however, if \(k\leq m\),
Thus,
As a consequence we see that the function \(e_{f}\) satisfies \(e_{f}(Tx, Tz) \le M\vert f(x - z) \vert \) for all \(x, z \in A\).
Note that for the given function h and the seminorm \(\rho _{f}\) we can use Proposition 2.1 to see that the function \(\phi _{1f}(x) = \operatorname{diam}_{f} Tx\) is Lipschitz and thus \(\rho _{f}\)-uniformly continuous. Also, since \(x \in Tx\), \(\phi _{2f}(x) = 0\) and \(\phi _{f}(x) = \phi _{1f}(x)\). Therefore \(\phi _{f}\) is \(\rho _{f}\) uniformly continuous and satisfies condition \((2)\) in Theorem 3.2. Observe that since \(x \in Tx\) we have trivially from Lemma 2.4 that \(\phi _{f}(x) + \rho _{f}(x - x) = \phi _{f}(x)\). Also \(x\in C_{x}^{f} = \{y\in Tx \mid \phi _{f}(y) + \rho _{f}(x - y)\leq \phi _{f}(x)\}\), that is, \(C_{x}^{f}\neq \emptyset \), which is condition \((3)\) in Theorem 3.2.
By Lemma 2.6, and since \(\rho _{f}\) is continuous, we see that \(C_{x}^{f}\) is \(\rho _{f}\)-closed, thus \(\rho _{f}\)-sequentially complete since X is \(\rho _{f}\)-sequentially complete. By Theorem 3.2 we conclude that, for the map \(T_{f}\colon A \rightarrow 2^{A}\), defined via \(T_{f}(x) = C_{x}^{f}\), there exists \(x^{*}\in A\) such that \(T_{f}(x^{*})\subset x^{*} + Z_{f}\).
Now, since \(x^{*}\in T_{f}(x^{*})\), by Corollary 3.3 we see that \(T_{f}(x^{*}) = x^{*} + Z_{f}\). Hence, for each \(y\in Tx^{*}\) there exists \(z\in Z_{f}\) (\(f(z)=0\)) such that \(y = x^{*} + z\). From which we obtain \(\operatorname{diam}_{f}Tx^{*} = 0\). That is, \(f(x^{*}) = f(h^{k}(x^{*}))\) for all \(k\in \mathbb{N}\). Equivalently \(\rho _{f}(x^{*} - h^{k}(x^{*})) = 0\) for all \(k\in \mathbb{N}\).
As for the uniqueness, if \(x^{\ast \ast }\in X\) is such that \(f(x^{\ast \ast }) = f(h^{k}(x^{\ast \ast }))\) for all \(k\in \mathbb{N}\), we would have
Thus \(1 \leq M\), which contradicts our hypothesis. This concludes Theorem 4.1. □
There is an interesting connection with the condition of metrical inwardness and the corresponding fixed point theorem in Caristi [23], p.247. Metrical inwardness hold in our setting if we take a fixed function \(f\in X^{\prime }\) such that for each \(x\in A\) there exists \(u\in A\) such that \(f(x - u)\) and \(f(u - hx)\) are both positive numbers (or both negative) where h is a function satisfying the conditions of Theorem 4.1.
All we did in the previous paragraphs can be repeated if we change the weak topology for a generic Hausdorff topology for a lcs \((X, \tau )\). Indeed, if we use a fixed seminorm \(\rho _{j}\) among those that generate the topology τ, then we have the following result corresponding to Proposition 4.1.
Proposition 4.2
Let \((X, \tau )\) be a complete locally convex topological vector space, take \(\rho _{j}\) a seminorm, from those that generate the topology τ. Let \(A\subset X\) a closed subset and let \(0 < M < 1\). Take \(h \colon A \rightarrow A\) defined as a function not necessarily linear or continuous and such that for \(\rho _{j}\) we have
Then there exists \(x^{\ast }\in A\) such that
Equivalently
If \(x^{\ast \ast }\in A\) also satisfies (7) we have, \(\rho _{j}(x^{\ast } - x^{\ast \ast }) = 0\).
A consequence of (6) for \(A = X\) is that the relation \(\hat{h}\colon X/Z_{\rho _{j}} \rightarrow X/Z_{\rho _{j}}\) defined by \(\hat{h}([x]) = [h(x)]\) is a function. A consequence of (7) for \(A = X\), is that the function ĥ has a unique fixed point.
Proof of Proposition 4.2
To prove Proposition 4.2 let us define the function \(T \colon X \rightarrow 2^{X}\) via \(Tx = \{x, h(x), h^{2}(x),\ldots \}\).
Then we have \(\rho _{j}(h(x) - h(z))\leq M \rho _{j}(x - z)\) for all \(x, z\in A\). Note that \(Tx\supset Th(x)\supset Th^{2}(x)\supset \cdots \) , which means that \(e_{f}(Th^{k + m}(x), Th^{k}(x)) = 0\) for all \(k, m\in \mathbb{N}\). Recall that Tx is not necessarily closed but it is bounded. Furthermore, if \(k \leq m\),
and then
The trick now is to follow the argument in Theorem 4.1 but replacing the seminorm \(\rho _{f}\) by the seminorm \(\rho _{j}\) in order to get \(x^{\ast }\in X\) such that, by Theorems 2.4, 3.2, and Corollary 3.3, \(\overline{Tx^{\ast }}^{\rho _{j}} = x^{\ast } + Z_{\rho _{j}}\). Finally, since \(\hat{0}\in Z_{\rho _{j}}\) we obtain \(x^{\ast }\in Tx^{\ast }\). Uniqueness is proved in the same way as in Theorem 4.1. □
Note that in Theorem 4.1 if we had \(x^{\ast }\in Tx^{\ast }\) and \(x^{\ast \ast }\in Tx^{\ast \ast }\), that is, \(x^{\ast } = h^{k}(x^{\ast })\) and \(x^{\ast \ast } = h^{j}(x^{\ast \ast })\), where \(k, j\in \mathbb{N}\) are the minimum values that satisfy these equalities, then we would have, for each \(n\in \mathbb{N}\), \(x^{\ast } = h^{nk}(x^{\ast })\), and \(x^{\ast \ast } = h^{nj}(x^{\ast \ast })\). Thus, for \(j\leq k\),
Since \(\{h^{n(k - j)}(x^{\ast })\vert n\in \mathbb{N}\}\) is bounded, since it is finite with at most k points, and \(0 < M < 1\), the sequence \(\{M^{nj} \vert f(h^{n(k - j)}(x^{\ast }) - x^{\ast \ast })\vert \}\) converges to 0 as \(n \rightarrow \infty \); in other words, \(\vert f(x^{\ast } - x^{\ast \ast })\vert = 0\) hence \(\vert f(h((x^{\ast })) - h(x^{\ast \ast }))\vert = 0\). We conclude that \(\rho _{f}(x^{\ast } - x^{\ast \ast }) = 0 = \rho _{f}(h(x^{\ast }) - h(x^{\ast \ast }))\). In general, \(\vert f(h^{nj}(x^{\ast }) - h^{nj}(x^{\ast \ast })) \vert = 0 = \vert f(h^{nk}(x^{\ast }) - h^{nk}(x^{\ast \ast })) \vert \).
As another application of our results, we show how the Azé and Corvellec theorem ([9], Theorem 2.3) follows easily from Theorem 3.5. Azé and Corvellec defined the set of fixed points for T as \(F_{T} = \{x\in X : x\in Tx\}\). For the seminorms \(\rho _{j}\) the set of fixed points of T is described as \(F_{T}^{j} = \{x\in X\mid\rho _{j}(x - Tx) = 0\}\) or in the case of \(\rho _{f}\), the set of fixed point for T is \(F_{T}^{f} = \{x\in X\mid \vert f(x - Tx) \vert = 0\}\). Note that this sets are \(\rho _{j}\)-closed (respectively, \(\rho _{f}\)-closed). In [9], Azé and Corvellec proved that for all \(x\in X\), \(\rho _{j}(x - F_{T}^{j}) \leq \rho _{j}(x - Tx)\) (\(\vert f(x-F_{T}^{f}) \vert \leq \vert f(x - Tx) \vert \)). We discuss the case for \(\rho _{f}\) (the case for \(\rho _{j}\) is analogous). Let
We can prove, under the conditions of Propositions 2.1 and 2.2, which we assume, that \(A_{f} = \emptyset \). Indeed, define the function \(\psi _{f} \colon (X,d) \rightarrow \mathbb{R}\) by
Then we have
Thus if the function \(\psi _{f}\) is lsc then \(A_{f}\) is an open set, and \(A_{f}\cap F_{T}^{f} = \emptyset \). Consider the function \(\gamma _{f}(x) = \vert f(x - F_{T}^{f}) \vert = \inf \{\vert f(x - z) \vert : z\in F_{T}^{f}\}\), which is always continuous. Then, under the conditions of Propositions 2.1 and 2.2, the function \(\phi _{2f}\) is continuous. Thus, we see that the function \(\psi _{f}(x) = \gamma _{f}(x) - \phi _{2f}(x)\) is continuous, giving us that \(A_{f}\) is open. If \(A_{f} \neq \emptyset \), take \(x\in A_{f}\) and \(r > 0\) such that
Note that \(D_{r}^{f}(x)\) is \(\rho _{f}\)-closed and \(\rho _{f}\)-bounded.
If we define \(T^{\prime \prime }\colon D_{r}^{f}(x) \rightarrow 2^{X}\) to be \(T^{\prime \prime }x=T_{f}^{\prime }x\), \(T^{\prime \prime } = T_{f}^{\prime }|_{D_{r}^{f}(x)}\), then \(T_{f}^{\prime }\) satisfies the hypotheses of Theorem 3.5. Thus, there exists \(z^{\ast }\in D_{r}^{f}(x)\subset A_{f}\) such that \(z^{\ast }\in T^{\prime \prime }z^{\ast }\), in other words, \(z^{\ast }\in A_{f}\cap F_{T}^{f} = \emptyset \) and the set \(A_{f}\) must be empty.
As as additional consequence (and easy example) of Proposition 3.1 one can get well known results such as the contraction mapping theorem. Indeed, if \((X, \rho )\) is a normed space and A is a nonempty compact subset of X then any contraction \(f \colon A \to A\) has a fixed point. This follows from Proposition 3.1 by letting \(T \colon A \to 2^{A}\) as \(Tx = \{f(x)\}\) and
where \(0 < c < 1\) is the contraction constant for f. It is easy to show that Φ is lsc (in fact continuous) and that \(\rho (x - f(x)) = \Phi (x) - \Phi (f(x))\). Hence T must have critical points which are, by definition of T, fixed points for f.
5 Conclusions
The paper can be considered as an extension of the Pareto optimization criterion to locally complete locally convex vector spaces [11] with some applications to fixed points. Local completeness is a very weak completeness property. This type of spaces is becoming the convenient setting for several applications. Here in this setting we get a fixed point theorem and as an application we obtain the results of Azé and Corvellec’s [9].
References
Al-Homidan, S, Ansari, QH, Yao, J-C: Some generalizations of Ekeland-type variational principle with applications to equilibrium problems and fixed point theory. Nonlinear Anal. 69(1), 126-139 (2008)
Bianchi, M, Kassay, G, Pini, R: Existence of equilibria via Ekeland’s principle. J. Math. Anal. Appl. 305(2), 502-512 (2005)
Bianchi, M, Kassay, G, Pini, R: Ekeland’s principle for vector equilibrium problems. Nonlinear Anal. 66(7), 1454-1464 (2007)
Bosch, C, Garcia, A, Garcia, CL: An extension of Ekeland’s variational principle to locally complete spaces. J. Math. Anal. Appl. 328(1), 106-108 (2007)
Hamel, AH: Equivalents to Ekeland’s variational principle in uniform spaces. Nonlinear Anal. 62(5), 913-924 (2005)
Hamel, AH: Phelps’ lemma, Daneš’ drop theorem and Ekeland’s principle in locally convex spaces. Proc. Am. Math. Soc. 131(10), 3025-3038 (2003)
Qiu, J: A pre-order principle and set-valued Ekeland variational principle. J. Math. Anal. Appl. 419(2), 904-937 (2014)
Qiu, J: An equilibrium version of set-valued Ekeland variational principle and its applications to set-valued vector equilibrium problems. Acta Math. Sin. Engl. Ser. 33(2), 210-234 (2017)
Azé, D, Corvellec, JN: A variational method in fixed point results with inwardness conditions. Proc. Am. Math. Soc. 134(12), 3577-3583 (2006)
Lim, TC: A fixed point theorem for weakly inward multivalued contractions. J. Math. Anal. Appl. 243, 323-327 (2000)
Bosch, C, Garcia, A: Local completeness and Pareto Optimization. Nonlinear Anal. 73(4), 1098-1100 (2010)
Isac, G: Sur l’existence de l’optimum de Pareto. Riv. Mat. Univ. Parma (4) 9, 303-325 (1983) (in French)
Abdou, AAN, Khamsi, MA: Fixed points of multivalued contraction mappings in modular metric spaces. Fixed Point Theory Appl. 2014, Article ID 249 (2014)
Alzorba, S, Günther, C, Popovici, N, Tammer, C: A new algorithm for solving planar multiobjective location problems involving the Manhattan norm. Eur. J. Oper. Res. 258(1), 35-46 (2017)
Castellani, M, Giuli, M: Ekeland’s principle for cyclically antimonotone equilibrium problems. Nonlinear Anal., Real World Appl. 32, 213-228 (2016)
Zhao, F, Yang, L: Hybrid projection methods for equilibrium problems and fixed point problems of infinite family of multivalued asymptotically nonexpansive mappings. J. Nonlinear Funct. Anal. 2016, Article ID 22 (2016)
He, F, Qiu, J: Sequentially lower complete spaces and Ekeland’s variational principle. Acta Math. Sin. Engl. Ser. 31(8), 1289-1302 (2015)
Qiu, J: Set-valued Ekeland variational principles in fuzzy metric spaces. Fuzzy Sets Syst. 245, 43-62 (2014)
Salahuddin, J: General set valued vector variational inequality problems. Commun. Optim. Theory 2017, Article ID 13 (2017)
Kriegl, A, Michor, PW: The Convenient Setting: Global Analysis. Amer. Math. Soc., Surveys and Monographs, vol. 53 (1973)
Gilsdorf, T, Khavanin, M: Existence and uniqueness for nonlinear integro-differential equations in real locally complete spaces. Sci. Math. Jpn. 76(3), 395-400 (2013)
Khamsi, MA: Remarks on Caristi fixed point theorem. Nonlinear Anal. 71(1-2), 227-231 (2009)
Caristi, J: Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 215, 241-251 (1976)
Acknowledgements
The authors were partially supported by the Asociación Mexicana de Cultura, A.C. Research by T. Gilsdorf was done while on the faculty at the ITAM. The authors gratefully acknowledge all the remarks and suggestions made by the anonymous referees.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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 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
Bosch, C., García, C.L., Gilsdorf, T. et al. Fixed points of set-valued maps in locally complete spaces. Fixed Point Theory Appl 2017, 13 (2017). https://doi.org/10.1186/s13663-017-0607-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-017-0607-y