Invariant Points and ε-Simultaneous Approximation
Abstract
We generalize and extend Brosowski-Meinardus type results on invariant points from the set of best approximation to the set of ε-simultaneous approximation. As a consequence some results on ε-approximation and best approximation are also deduced. The results proved in this paper generalize and extend some of the known results on the subject.
1. Introduction and Preliminaries
Fixed point theory has gained impetus, due to its wide range of applicability, to resolve diverse problems emanating from the theory of nonlinear differential equations, theory of nonlinear integral equations, game theory, mathematical economics, control theory, and so forth. For example, in theoretical economics, such as general equilibrium theory, a situation arises where one needs to know whether the solution to a system of equations necessarily exists; or, more specifically, under what conditions will a solution necessarily exist. The mathematical analysis of this question usually relies on fixed point theorems. Hence finding necessary and sufficient conditions for the existence of fixed points is an interesting aspect.
Fixed point theorems have been used in many instances in best approximation theory. It is pertinent to say that in best approximation theory, it is viable, meaningful, and potentially productive to know whether some useful properties of the function being approximated is inherited by the approximating function. The idea of applying fixed point theorems to approximation theory was initiated by Meinardus [1]. Meinardus introduced the notion of invariant approximation in normed linear spaces. Brosowski [2] proved the following theorem on invariant approximation using fixed point theory by generalizing the result of Meinardus [1].
Theorem 1.1. Let T be a linear and nonexpansive operator on a normed linear space E. Let C be a T-invariant subset of E and x a T-invariant point. If the set PC(x) of best C-approximants to x is nonempty, compact, and convex, then it contains a T-invariant point.
Subsequently, various generalizations of Brosowski′s results appeared in the literature. Singh [3] observed that the linearity of the operator T and convexity of the set PC(x) in Theorem 1.1 can be relaxed and proved the following.
Theorem 1.2. Let T : E → E be a nonexpansive self-mapping on a normed linear space E. Let C be a T-invariant subset of E and x a T-invariant point. If the set PC(x) is nonempty, compact, and star shaped, then it contains a T-invariant point.
Singh [4] further showed that Theorem 1.2 remains valid if T is assumed to be nonexpansive only on PC(x)∪{x}. Since then, many results have been obtained in this direction (see Chandok and Narang [5, 6], Mukherjee and Som [7], Mukherjee and Verma [8], Narang and Chandok [9–11], Rao and Mariadoss [12], and references cited therein).
In this paper we prove some similar types of results on T-invariant points for the set of ɛ-simultaneous approximation in a metric space (X, d). Some results on T-invariant points for the set of ɛ-approximation and best approximation are also deduced. The results proved in the paper generalize and extend some of the results of [6, 8–13] and of few others.
Let G be a nonempty subset of a metric space (X, d) and let F be a nonempty bounded subset of X. For x ∈ X, let dF(x) = sup {d(y, x) : y ∈ F}, D(F, G) = inf {dF(x) : x ∈ G} and PG(F) = {g0 ∈ G : dF(g0) = D(F, G)}. An element g0 ∈ PG(F) is said to be a best simultaneous approximation of F with respect to G.
For ɛ > 0, we define PG(ɛ)(F) = {g0 ∈ G : dF(g0) ≤ D(F, G) + ɛ} = {g0 ∈ G : sup y∈Fd(y, g0) ≤ inf g∈Gsup y∈Fd(y, g) + ɛ}. An element g0 ∈ PG(ɛ)(F) is said to be a ɛ-simultaneous approximation of F with respect to G.
It can be easily seen that for ɛ > 0, the set PG(ɛ)(F) is always a nonempty bounded set and is closed if G is closed.
In case F = {p}, p ∈ X, then elements of PG(p) are called best approximations to p in G and of PG(ɛ)(p) are called ɛ-approximation to p in G.
A sequence 〈yn〉 in G is called a ɛ-minimizing sequence for F, if lim sup x∈Fd(x, yn) ≤ D(F, G) + ɛ. The set G is said to be ɛ-simultaneous approximatively compact with respect to F if for every x ∈ F, each ɛ-minimizing sequence 〈yn〉 in G has a subsequence converging to an element of G.
A normed linear space and each of its convex subset are simple examples of convex metric spaces with W given by W(x, y, λ) = λx + (1 − λ)y for x, y ∈ X and 0 ≤ λ ≤ 1. There are many convex metric spaces which are not normed linear spaces (see [14]). Property (I) is always satisfied in a normed linear space.
Clearly, each convex set is star shaped but not conversely.
- (i)
contraction if there exists k, 0 ≤ k < 1 such that d(Tx, Ty) ≤ kd(x, y) for all x, y ∈ X;
- (ii)
nonexpansive if d(Tx, Ty) ≤ d(x, y) for all x, y ∈ X;
- (iii)
quasi-nonexpansive if the set F(T) of fixed points of T is nonempty and d(Tx, p) ≤ d(x, p) for all x ∈ X and p ∈ F(T).
A nonexpansive mapping T on X with F(T) ≠ ∅ is quasi-nonexpansive, but not conversely. A linear quasi-nonexpansive mapping on a Banach space is nonexpansive. But there exist continuous and discontinuous nonlinear quasi-nonexpansive mappings that are not nonexpansive.
2. Main Results
To start with, we prove the following proposition on ɛ-simultaneous approximation which will be used in the sequel.
Proposition 2.1. Let F be a nonempty bounded subset of a metric space (X, d), and let C be a non-empty subset of X. If C is ɛ-simultaneous approximatively compact with respect to F, then the set PC(ɛ)(F) is a nonempty compact subset of C.
Proof. Since ɛ > 0, PC(ɛ)(F) is nonempty. We now show that PC(ɛ)(F) is compact. Let 〈yn〉 be a sequence in PC(ɛ)(F). Then lim sup x∈Fd(x, yn) ≤ D(F, C) + ɛ, that is, 〈yn〉 is an ɛ-minimizing sequence for C. Since C is ɛ-simultaneous approximatively compact with respect to F, there is a subsequence such that . Consider
For F = {x}, we have the following result on the set of ɛ-approximation.
Corollary 2.2 (see [9].)If C is an ɛ-approximatively compact set in a metric space (X, d) then PC(ɛ)(x) is a nonempty compact set.
For F = {x} and ɛ = 0, we have the following result on the set of best approximation.
Corollary 2.3 (see [10].)Let C be a nonempty approximatively compact subset of a metric space (X, d), x ∈ X, and PC be the metric projection of X onto C defined by PC(x) = {y ∈ C : d(x, y)} ≡ d(x, C). Then PC(x) is a nonempty compact subset of C.
We will be using the following result of Hardy and Rogers [17] in proving our first theorem.
Lemma 2.4. Let T be a mapping from a complete metric space (X, d) into itself satisfying
Theorem 2.5. Let T be a continuous self-map on a complete convex metric space (X, d) with Property (I) and satisfying inequality (2.2), let C be a T-invariant subset of X, and let F be a nonempty bounded subset of X such that Tx = x for all x ∈ F. If PC(ɛ)(F) is compact, and star shaped, then it contains a T-invariant point.
Proof. Let z ∈ PC(ɛ)(F) be arbitrary. Then by (2.2), we have for all x ∈ F
Let q be the star-center of PC(ɛ)(F). Define Tn : PC(ɛ)(F) → PC(ɛ)(F) as Tnx = W(Tx, q, λn), x ∈ PC(ɛ)(F) where 〈yn〉 is a sequence in (0,1) such that λn → 1. Consider
Since for an ɛ-simultaneous approximatively compact subset C of a metric space (X, d) the set of ɛ-simultaneous C-approximant is nonempty and compact (Proposition 2.1), we have the following result.
Corollary 2.6. Let T be a continuous self-map on a complete convex metric space (X, d) with Property (I) and satisfying inequality (2.2), let F be a nonempty bounded subset of X such that Tx = x for all x ∈ F, and let C be a T-invariant subset of X. If C is ɛ-simultaneous approximatively compact with respect to F and PC(ɛ)(F) is star shaped, then it contains a T-invariant point.
Corollary 2.7 (see [8].)Let T be a continuous self-map on a Banach space X satisfying (2.2), let C be an approximatively compact and T-invariant subset of X. Let Txi = xi(i = 1,2) for some x1, x2 not in cl(C). If the set of best simultaneous C-approximants to x1, x2 is star shaped, then it contains a T-invariant point.
Corollary 2.8 (see [11].)Let T be a mapping on a metric space (X, d), let C be a T-invariant subset of X and x a T-invariant point. If PC(x) is a nonempty, compact set for which there exists a contractive jointly continuous family 𝔉 of functions and T is nonexpansive on PC(x)∪{x} then PC(x) contains a T-invariant point.
Corollary 2.9. Let T be a mapping on a convex metric space (X, d) with Property (I),let C be an approximatively compact, p-star shaped, T-invariant subset of X and let x be a T-invariant point. If T is nonexpansive on PC(x)∪{x}, then PC(x) contains a T-invariant point.
Corollary 2.10 (see [10], Theorem 4.)Let T be a quasi-nonexpansive mapping on a convex metric space (X, d) with Property (I), let C be a T-invariant subset of X, and let x be a T-invariant point. If PC(x) is nonempty, compact, and star shaped, and T is nonexpansive on PC(x), then PC(x) contains a T-invariant point.
Corollary 2.11 (see [10], Theorem 5.)Let T be a quasi-nonexpansive mapping on a convex metric space (X, d) with Property (I), let C be an approximatively compact, T-invariant subset of X, and let x be a T-invariant point. If PC(x) is star shaped and T is nonexpansive on PC(x), then PC(x) contains a T-invariant point.
Remark 2.12. Theorem 2.5 improves and generalizes Theorem 1 of Narang and Chandok [9] and of Rao and Mariadoss [12].
Definition 2.13. A subset K of a metric space (X, d) is said to be contractive if there exists a sequence 〈fn〉 of contraction mappings of K into itself such that fny → y for each y ∈ K.
Theorem 2.14. Let T be a nonexpansive self-mapping on a metric space (X, d), let C be a T-invariant subset of X, and let F be a nonempty bounded subset of X such that Tx = x for all x ∈ F. If the set PC(ɛ)(F) is compact and contractive, then the set PC(ɛ)(F) contains a T-invariant point.
Proof. Proceeding as in Theorem 2.5, we can prove that T is a self-map of PC(ɛ)(F). Since PC(ɛ)(F) is contractive, there exists a sequence 〈fn〉 of contraction mapping of PC(ɛ)(F) into itself such that fnz → z for every z ∈ PC(ɛ)(F).
Clearly, fnT is a contraction on the compact set PC(ɛ)(F) for each n and so by Banach contraction principle, each fnT has a unique fixed point, say zn in PC(ɛ)(F). Now the compactness of PC(ɛ)(F) implies that the sequence 〈zn〉 has a subsequence . We claim that z∘ is a fixed point of T. Let ɛ > 0 be given. Since and fnTz∘ → Tz∘, there exist a positive integer m such that for all ni ≥ m
Using Proposition 2.1 we have the following result.
Corollary 2.15. Let T be a nonexpansive self-mapping on a metric space (X, d), let C be a T-invariant subset of X, and let F be a nonempty bounded subset of X such that Tx = x for all x ∈ F. If C is ɛ-simultaneous approximatively compact with respect to F and the set PC(ɛ)(F) is contractive, and T-invariant, then PC(ɛ)(F) contains a T-invariant point.
Corollary 2.16 (see [9].)Let T be a self-mapping on a metric space (X, d), let G be a T-invariant subset of X, and let x be a T-invariant point. If the set D of ɛ-approximant to x is compact, contractive and T is nonexpansive on D ∪ {x}, then D contains a T-invariant point.
Remark 2.17. Theorem 2.14 also improves and generalizes the corresponding results of Brosowski [2], Mukherjee and Verma [8, 13], Chandok and Narang [9], Rao and Mariadoss [12], and of Singh [3].
Definition 2.18. For each bounded subset G of a metric space (X, d), the Kuratowski′s measure of noncompactness of G, α[G] is defined as
We will be using the following result of [18] on fixed points of nonexpansive condensing maps.
Lemma 2.19. Let X be a complete contractive metric space with contractions {fn}. Let C be a closed bounded subsets of X and T : C → C is nonexpansive and condensing, then T has a fixed point in C.
Using the above lemma and Theorem 2.5, we now prove the following result.
Theorem 2.20. Let (X, d) be a complete, contractive metric space with contractions fn. Let G be a closed and bounded subset of X and let F be a nonempty bounded subset of X. If T is a nonexpansive and condensing self-map on X such that Tx = x for all x ∈ F, then PG(ɛ)(F) has a T-invariant point.
Proof. As G is closed and bounded, PG(ɛ)(F) is nonempty, closed and bounded. Using Theorem 2.5, we can prove that T is a self-map of PG(ɛ)(F). Now a direct application of Lemma 2.19, gives a T-invariant point in PG(ɛ)(F).
Corollary 2.21 (see [8], Theorem 3.1.)Let X be a complete, contractive metric space with contractions fn. Let G be a closed and bounded subset of X. If T is a nonexpansive and condensing self-map on X such that Tx1 = x1 and Tx2 = x2 for some x1, x2 ∈ X, and D = PG(x1, x2) is nonempty, then it has a T-invariant point.
Corollary 2.22 (see [12], Theorem 4.)Let X be a complete, contractive metric space with contractions fn. Let G be a closed and bounded subset of X. If T is a nonexpansive and condensing self-map on X such that Tx = x for some x ∈ X, and PG(x) is nonempty, then it has a T-invariant point.
Definition 2.23. A mapping T on a metric space (X, d) is called a Kannan mapping [19] if there exists α ∈ (0, 1/2) such that
Kannan [19] proved that if X is complete, then every Kannan mapping has a unique fixed point.
For ɛ-simultaneous approximation, we have the following result.
Theorem 2.24. Let G be a nonempty subset of a complete metric space (X, d) and let F be a nonempty bounded subset of X. Let T be a self-map on X with Tx = x for all x ∈ F and Tm satisfies,
Proof. As Tx = x, Tnx = x for all positive integers n. Let y0 ∈ D. Then, for 0 < α < 1/2,
Corollary 2.25. Let F be a nonempty bounded subset of a complete metric space (X, d) and G a subset of X. Let G be ɛ-simultaneous approximatively compact with respect to F, and T a self map on X with Tx = x for all x ∈ F, and Tm satisfies
Remarks 2.26. Theorem 2.24 extends and generalizes Theorem 3.2 of Mukherjee and Verma [8] and Theorem 5 of Rao and Mariadoss [12] from the set of best simultaneous approximation and best approximation, respectively, to ɛ-simultaneous approximation.
For ɛ > 0, we define RG(ɛ)(F) = {g0 ∈ G : sup g∈Gd(g, g0) + ɛ≤inf g∈Gsup y∈Fd(y, g)}. An element g0 ∈ RG(ɛ)(F) is said to be a ɛ-simultaneous coapproximation of F with respect to G.
A mapping T : X → X satisfies condition (A) (see [13]) if d(Tx, y) ≤ d(x, y) for all x, y ∈ X.
We now prove a result for T-invariant points from the set of ɛ-simultaneous coapproximations.
Theorem 2.27. Let T be a self-map satisfying condition (A) and inequality (2.2) on a convex metric space (X, d) satisfying Property (I), let G be a subset of X, and let F be a nonempty bounded subset of X such that RG(ɛ)(F) is compact and star shaped. Then RG(ɛ)(F) contains a T-invariant point.
Proof. Let g∘ ∈ RG(ɛ)(F). Consider
For F = {x}, x ∈ X, we have the following result on the set of ɛ-coapproximation.
Corollary 2.28 . (see [9], Theorem 4.)Let T be a self-map satisfying condition (A) on a convex metric space (X, d) satisfying Property (I), let G be a subset of X such that RG(ɛ)(x) is nonempty compact, star shaped, and let T be nonexpansive on RG(ɛ)(x). Then there exists a g∘ ∈ RG(ɛ)(x) such that Tg∘ = g∘.
Remarks 2.29. (i) Theorem 2.27 also improves and generalizes Theorem 4.1 of Mukherjee and Verma [13] from the set of best approximation to ɛ-simultaneous approximation.
(ii) By taking F = {x1, x2}, x1, x2 ∈ X, the set PG(ɛ)(F) (respectively, RG(ɛ)(F) ) is the set of ɛ-simultaneous approximation (respectively, ɛ-simultaneous coapproximation) to the pair of points x1, x2 and so the results of this paper generalize and extend the corresponding results proved in [6].
Acknowledgments
The authors are thankful to the learned referee for careful reading and very valuable suggestions leading to an improvement of the paper. The research work of the second author has been supported by the UGC India under the Emeritus Fellowship.