Top Banner
Research Article On Angrisani and Clavelli Synthetic Approaches to Problems of Fixed Points in Convex Metric Space Ljiljana GajiT, 1 Mila StojakoviT, 2 and Biljana CariT 2 1 Department of Mathematics, Faculty of Science, University of Novi Sad, 21000 Novi Sad, Serbia 2 Department of Mathematics, Faculty of Technical Sciences, University of Novi Sad, 21000 Novi Sad, Serbia Correspondence should be addressed to Mila Stojakovi´ c; [email protected] Received 30 March 2014; Accepted 22 June 2014; Published 7 July 2014 Academic Editor: Poom Kumam Copyright © 2014 Ljiljana Gaji´ c et al. is is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. e purpose of this paper is to prove some fixed point results for mapping without continuity condition on Takahashi convex metric space as an application of synthetic approaches to fixed point problems of Angrisani and Clavelli. Our results are generalizations in Banach space of fixed point results proved by Kirk and Saliga, 2000; Ahmed and Zeyada, 2010. 1. Introduction and Preliminaries It is well-known that continuity is an ideal property, while in some applications the mapping under consideration may not be continuous, yet at the same time it may be “not very discontinuous.” In [1] Angrisani and Clavelli introduced regular-global- inf functions. Such functions satisfy a condition weaker than continuity, yet in many circumstances it is precisely the condition needed to assure either the uniqueness or compactness of the set of solutions in fixed point problems. Definition 1. Function :→ R, defined on topological space , is regular-global-inf (r.g.i.) in if () > inf () implies that there exist an >0 such that < () − inf () and a neighbourhood such that () > () − for each . If this condition holds for each , then is said to be an r.g.i. on . An equivalent condition to be r.g.i. on metric space for inf ̸ =−∞ is proved by Kirk and Saliga. Proposition 2 (see [2]). Let be a metric space and : R. en is an r.g.i. on if and only if, for any sequence { }⊂, the conditions lim →∞ ( )= inf () , lim →∞ = (1) imply () = inf (). One of the basic results in [1] is the following one. (Here we use to denote the usual Kuratowski measure of noncompactness on metric space (, ) and := { ∈ | () ≤ } for :→ R,∈ R.) eorem 3 (see [1]). Let :→ R be an r.g.i. defined on a complete metric space . If lim →(inf ()) + ( )=0, then the set of global minimum points of is nonempty and compact. Remark 4. e last theorem assures that if is a mapping of compact metric space into itself with inf () = 0, and if () := (, ), , is an r.g.i. on , then the fixed point set of is nonempty and compact even when is discontinuous. Example 5. Let (, ) be a complete metric space and : a mapping such that, for some >1 and all , ∈ , (, ) ≤ max { (, ) , (, ) , (, ) , (, ) , (, )} (2) ( ́ Ciri ́ c quasi-contraction). en is discontinuous and () = (, ), , is r.g.i. (see [1]). Let be a bounded subset of metric space . e Kuratowski measure of noncompactness () means the inf of numbers such that can be covered by a finite number of sets with a diameter less than or equal to . With () we Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID 406759, 5 pages http://dx.doi.org/10.1155/2014/406759
6

Research Article On Angrisani and Clavelli Synthetic ...downloads.hindawi.com/journals/aaa/2014/406759.pdfResearch Article On Angrisani and Clavelli Synthetic Approaches to Problems

Feb 04, 2021

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
  • Research ArticleOn Angrisani and Clavelli Synthetic Approaches to Problems ofFixed Points in Convex Metric Space

    Ljiljana GajiT,1 Mila StojakoviT,2 and Biljana CariT2

    1 Department of Mathematics, Faculty of Science, University of Novi Sad, 21000 Novi Sad, Serbia2Department of Mathematics, Faculty of Technical Sciences, University of Novi Sad, 21000 Novi Sad, Serbia

    Correspondence should be addressed to Mila Stojaković; [email protected]

    Received 30 March 2014; Accepted 22 June 2014; Published 7 July 2014

    Academic Editor: Poom Kumam

    Copyright © 2014 Ljiljana Gajić et al. This is an open access article distributed under the Creative Commons Attribution License,which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

    The purpose of this paper is to prove some fixed point results formapping without continuity condition on Takahashi convexmetricspace as an application of synthetic approaches to fixed point problems of Angrisani and Clavelli. Our results are generalizationsin Banach space of fixed point results proved by Kirk and Saliga, 2000; Ahmed and Zeyada, 2010.

    1. Introduction and Preliminaries

    It is well-known that continuity is an ideal property, whilein some applications the mapping under consideration maynot be continuous, yet at the same time it may be “not verydiscontinuous.”

    In [1] Angrisani and Clavelli introduced regular-global-inf functions. Such functions satisfy a condition weakerthan continuity, yet in many circumstances it is preciselythe condition needed to assure either the uniqueness orcompactness of the set of solutions in fixed point problems.

    Definition 1. Function 𝐹 : 𝑀 → R, defined on topologicalspace 𝑀, is regular-global-inf (r.g.i.) in 𝑥 ∈ 𝑀 if 𝐹(𝑥) >inf𝑀(𝐹) implies that there exist an 𝜀 > 0 such that 𝜀 < 𝐹(𝑥) −

    inf𝑀(𝐹) and a neighbourhood𝑁

    𝑥such that 𝐹(𝑦) > 𝐹(𝑥) − 𝜀

    for each 𝑦 ∈ 𝑁𝑥. If this condition holds for each 𝑥 ∈ 𝑀, then

    𝐹 is said to be an r.g.i. on𝑀.

    An equivalent condition to be r.g.i. on metric space forinf𝑀𝑓 ̸= −∞ is proved by Kirk and Saliga.

    Proposition 2 (see [2]). Let 𝑀 be a metric space and 𝐹 :𝑀 → R. Then 𝐹 is an r.g.i. on 𝑀 if and only if, for anysequence {𝑥

    𝑛} ⊂ 𝑀, the conditionslim𝑛→∞

    𝐹 (𝑥𝑛) = inf𝑀

    (𝐹) , lim𝑛→∞

    𝑥𝑛= 𝑥 (1)

    imply 𝐹(𝑥) = inf𝑀(𝐹).

    One of the basic results in [1] is the following one.(Here we use 𝜇 to denote the usual Kuratowski measure ofnoncompactness on metric space (𝑀, 𝑑) and 𝐿

    𝑐:= {𝑥 ∈ 𝑀 |

    𝐹(𝑥) ≤ 𝑐} for 𝐹 : 𝑀 → R, 𝑐 ∈ R.)

    Theorem 3 (see [1]). Let 𝐹 : 𝑀 → R be an r.g.i. defined on acomplete metric space𝑀. If lim

    𝑐→ (inf𝑀(𝐹))+𝜇(𝐿𝑐) = 0, then theset of global minimum points of 𝐹 is nonempty and compact.

    Remark 4. The last theorem assures that if 𝑇 is a mappingof compact metric space into itself with inf

    𝑀(𝐹) = 0, and

    if 𝐹(𝑥) := 𝑑(𝑥, 𝑇𝑥), 𝑥 ∈ 𝑀, is an r.g.i. on 𝑀, then thefixed point set of 𝑇 is nonempty and compact even when 𝑇is discontinuous.

    Example 5. Let (𝑋, 𝑑) be a complete metric space and 𝑇 :𝑋 → 𝑋 amapping such that, for some 𝑞 > 1 and all𝑥, 𝑦 ∈ 𝑋,

    𝑑 (𝑇𝑥, 𝑇𝑦) ≤ 𝑞 max {𝑑 (𝑥, 𝑦) , 𝑑 (𝑥, 𝑇𝑥) , 𝑑 (𝑦, 𝑇𝑦) ,

    𝑑 (𝑥, 𝑇𝑦) , 𝑑 (𝑦, 𝑇𝑥)}

    (2)

    (Ćirić quasi-contraction). Then 𝑇 is discontinuous and𝐹(𝑥) = 𝑑(𝑥, 𝑇𝑥), 𝑥 ∈ 𝑋, is r.g.i. (see [1]).

    Let 𝐴 be a bounded subset of metric space 𝑀. TheKuratowski measure of noncompactness 𝜇(𝐴) means the infof numbers 𝜀 such that 𝐴 can be covered by a finite numberof sets with a diameter less than or equal to 𝜀. With 𝛽(𝐴) we

    Hindawi Publishing CorporationAbstract and Applied AnalysisVolume 2014, Article ID 406759, 5 pageshttp://dx.doi.org/10.1155/2014/406759

  • 2 Abstract and Applied Analysis

    are going to denote theHausdorffmeasure of noncompactness,where 𝛽(𝐴) is the infimum of numbers 𝜀 such that 𝐴 can becovered by a finite number of balls of radii smaller than 𝜀.

    It is easy to prove that for 𝛼 ∈ {𝜇, 𝛽} and bounded subsets𝐴, 𝐵 ⊆ 𝑀

    (1) 𝛼(𝐴) = 0 ⇔ 𝐴 is totally bounded;(2) 𝛼(𝐴) = 𝛼(𝐴);(3) 𝐴 ⊂ 𝐵 ⇒ 𝛼(𝐴) ≤ 𝛼(𝐵);(4) 𝛼(𝐴 ∪ 𝐵) = max{𝛼(𝐴), 𝛼(𝐵)}.

    Moreover, these two measures of noncompactness are equiv-alent in the sense that 𝛽(𝐴) ≤ 𝜇(𝐴) ≤ 2𝛽(𝐴) so lim

    𝑛𝜇(𝐴𝑛) =

    0 if and only if lim𝑛𝛽(𝐴𝑛) = 0 (for any sequence {𝐴

    𝑛}

    of bounded subsets of 𝑀). The last property indicates thatfixed point results are independent of choice of measure ofnoncompactness.

    In Banach spaces this function has some additionalproperties connected with the linear structure. One of theseis

    𝛼 (conv𝐴) = 𝛼 (𝐴) (3)

    (conv𝐴 is a convex hull of 𝐴—the intersection of all convexsets in𝑋 containing 𝐴).

    This property has a great importance in fixed pointtheory. In locally convex spaces this is always true, but whentopological vector space is not locally convex it need not betrue (see [3]).

    In the absence of linear structure the concept of convexitycan be introduced in an abstract form. In metric spaces atfirst it was done by Menger in 1928. In 1970 Takahashi [4]introduced a new concept of convexity in metric space.

    Definition 6 (see [4]). Let (𝑋, 𝑑) be a metric space and 𝐼 aclosed unit interval. A mapping𝑊 : 𝑋 × 𝑋 × 𝐼 → 𝑋 is saidto be convex structure on𝑋 if for all 𝑥, 𝑦, 𝑢 ∈ 𝑋, 𝜆 ∈ 𝐼,

    𝑑 (𝑢,𝑊 (𝑥, 𝑦, 𝜆)) ≤ 𝜆𝑑 (𝑢, 𝑥) + (1 − 𝜆) 𝑑 (𝑢, 𝑦) . (4)

    𝑋 together with a convex structure is called a (Takahashi)convex metric space (𝑋, 𝑑,𝑊) or abbreviated TCS.

    Any convex subset of a normed space is a convex metricspace with𝑊(𝑥, 𝑦, 𝜆) = 𝜆𝑥 + (1 − 𝜆)𝑦.

    Definition 7 (see [4]). Let (𝑋, 𝑑,𝑊) be a TCS. A nonemptysubset𝐾 of𝑋 is said to be convex if and only if𝑊(𝑥, 𝑦, 𝜆) ∈ 𝐾whenever 𝑥, 𝑦 ∈ 𝐾 and 𝜆 ∈ 𝐼.

    Proposition 8 (see [4]). Let (𝑋, 𝑑,𝑊) be a TCS. If 𝑥, 𝑦 ∈ 𝑋and 𝜆 ∈ 𝐼, then

    (a) 𝑊(𝑥, 𝑦, 1) = 𝑥 and𝑊(𝑥, 𝑦, 0) = 𝑦;(b) 𝑊(𝑥, 𝑥, 𝜆) = 𝑥;(c) 𝑑(𝑥,𝑊(𝑥, 𝑦, 𝜆)) = (1 − 𝜆)𝑑(𝑥, 𝑦) and 𝑑(𝑦,𝑊(𝑥, 𝑦,𝜆)) = 𝜆𝑑(𝑥, 𝑦);

    (d) balls (either open or closed) in 𝑋 are convex;(e) intersections of convex subsets of𝑋 are convex.

    For fixed 𝑥, 𝑦 ∈ 𝑋 let [𝑥, 𝑦] = {𝑊(𝑥, 𝑦, 𝜆) | 𝜆 ∈ 𝐼}.

    Definition 9. A TCS (𝑋, 𝑑,𝑊) has property (𝑃) if for every𝑥1, 𝑥2, 𝑦1, 𝑦2∈ 𝑋, 𝜆 ∈ 𝐼,

    𝑑 (𝑊 (𝑥1, 𝑥2, 𝜆) ,𝑊 (𝑦

    1, 𝑦2, 𝜆))

    ≤ 𝜆𝑑 (𝑥1, 𝑦1) + (1 − 𝜆) 𝑑 (𝑥2, 𝑦2) .

    (5)

    Obviously in a normed space the last inequality is alwayssatisfied.

    Example 10 (see [4]). Let (𝑋, 𝑑) be a linear metric space withthe following properties:

    (1) 𝑑(𝑥, 𝑦) = 𝑑(𝑥 − 𝑦, 0), for all 𝑥, 𝑦 ∈ 𝑋;(2) 𝑑(𝜆𝑥 + (1 − 𝜆)𝑦, 0) ≤ 𝜆𝑑(𝑥, 0) + (1 − 𝜆)𝑑(𝑦, 0), for all𝑥, 𝑦 ∈ 𝑋 and 𝜆 ∈ 𝐼.

    For𝑊(𝑥, 𝑦, 𝜆) = 𝜆𝑥 + (1 − 𝜆)𝑦, 𝑥, 𝑦 ∈ 𝑋, 𝜆 ∈ 𝐼, (𝑋, 𝑑,𝑊) is aTCS with property (𝑃).

    Remark 11. Property (𝑃) implies that convex structure𝑊 iscontinuous at least in first two variables which gives that theclosure of convex set is convex.

    Definition 12. A TCS (𝑋, 𝑑,𝑊) has property (𝑄) if for anyfinite subset 𝐴 ⊆ 𝑋 conv𝐴 is a compact set.

    Example 13 (see [4]). Let 𝐾 be a compact convex subsetof Banach space and let 𝑋 be the set of all nonexpansivemappings on𝐾 into itself. Define a metric on𝑋 by 𝑑(𝐴, 𝐵) =sup𝑥∈𝐾‖𝐴𝑥 − 𝐵𝑥‖, 𝐴, 𝐵 ∈ 𝑋 and 𝑊 : 𝑋 × 𝑋 × 𝐼 → 𝑋 by

    𝑊(𝐴, 𝐵, 𝜆)(𝑥) = 𝜆𝐴𝑥 + (1 − 𝜆)𝐵𝑥, for 𝑥 ∈ 𝐾 and 𝜆 ∈ 𝐼. Then(𝑋, 𝑑,𝑊) is a compact TCS, so 𝑋 is with property (𝑄). Theproperty (𝑃) is also satisfied.

    Talman in [5] introduced a new notion of convexstructure for metric space based on Takahashi notion—theso called strong convex structure (SCS for short). In SCScondition (𝑄) is always satisfied so it seems to be “natural.”

    Any TCS satisfying (𝑃) and (𝑄) has the next importantproperty.

    Proposition 14 (see [5]). Let (𝑋, 𝑑,𝑊) be a TCS with proper-ties (𝑃) and (𝑄). Then for any bounded subset 𝐴 ⊆ 𝑋

    𝛼 (conv A) = 𝛼 (𝐴) . (6)

    Some, among themany studies concerning the fixed pointtheory in convex metric spaces, can be found in [6–13].

    2. Main Results

    Measures of noncompactness which arise in the study of fixedpoint theory usually involve the study of either condensingmappings or 𝑘-set contractions. Continuity is always implicitin the definitions of these classes ofmappings. Kirk and Saliga[2] show that in many instances it suffices to replace thecontinuity assumption with the weaker r.g.i. condition. Weare going to follow this idea in frame of TCS.

  • Abstract and Applied Analysis 3

    Theorem 15. Let (𝑋, 𝑑,𝑊) be a complete TCS with properties(𝑃) and (𝑄), 𝐾 a closed convex bounded subset of 𝑋, and 𝑇 :𝐾 → 𝐾 a mapping satisfying the following:

    (i) inf𝐶(𝐹) = 0 for any nonempty closed convex 𝑇-

    invariant subset 𝐶 of 𝐾, where 𝐹(𝑥) = 𝑑(𝑥, 𝑇𝑥), 𝑥 ∈𝐾;

    (ii) 𝛼(𝑇(𝐴)) < 𝛼(𝐴) for all 𝐴 ⊆ 𝐾 for which 𝛼(𝐴) > 0;(iii) 𝐹 is r.g.i. on 𝐾.

    Then the fixed point set fix (𝑇) of 𝑇 is nonempty and compact.

    Proof. Choose a point 𝑚 ∈ 𝐾. Let 𝜎 denote the family of allclosed convex subsets𝐴 of𝐾 for which𝑚 ∈ 𝐴 and𝑇(𝐴) ⊆ 𝐴.Since𝐾 ∈ 𝜎, 𝜎 ̸= 0. Let

    𝐵 := ⋂

    𝐴∈𝜎

    𝐴, 𝐶 := conv {𝑇 (𝐵) ∪ {𝑚}}. (7)

    Convex structure𝑊 has property (𝑃) so 𝐶 is a convex set asa closure of convex set. We are going to prove that 𝐵 = 𝐶.

    Since 𝐵 is a closed convex set containing 𝑇(𝐵) and{𝑚}, 𝐶 ⊆ 𝐵. This implies that 𝑇(𝐶) ⊆ 𝑇(𝐵) ⊆ 𝐶 so 𝐶 ∈ 𝜎and hence 𝐵 ⊆ 𝐶. The last two statements clearly force 𝐵 = 𝐶.

    Properties (1)–(4) of measure 𝛼 and Proposition 14 implythat

    𝛼 (𝐵) = 𝛼(conv {𝑇 (𝐵) ∪ {𝑚}}) = 𝛼 (𝑇 (𝐵)) , (8)

    so in view of (ii) 𝐵must be compact.Now, Proposition 2 ensures that 𝑇 has a fixed point on

    𝐵 so fix(𝑇) is nonempty. Condition (ii) implies that fix(𝑇)is totally bounded. Since 𝐹 is r.g.i. fix(𝑇) has to be closed.Finally, we conclude that fix(𝑇) is compact.

    The assumption inf𝐾(𝐹) = 0 is strong, especially in

    the absence of conditions which at the same time implycontinuity. So we are going to give some sufficient conditionswhich are easier to check and more suitable for application.

    Let us recall some well-known definitions. Amapping 𝑇 :𝐾 → 𝐾 is called nonexpansive if 𝑑(𝑇𝑥, 𝑇𝑦) ≤ 𝑑(𝑥, 𝑦), forall 𝑥, 𝑦 ∈ 𝐾, and directionally nonexpansive if 𝑑(𝑇𝑥, 𝑇𝑦) ≤𝑑(𝑥, 𝑦) for each 𝑥 ∈ 𝐾 and 𝑦 ∈ [𝑥, 𝑇𝑥]. If there exists 𝛼 ∈(0, 1) such that this inequality holds for𝑦 = 𝑊(𝑇𝑥, 𝑥, 𝛼), thenwe say that 𝑇 is uniformly locally directionally nonexpansive.

    Proposition 16. Let (𝑋, 𝑑,𝑊) be a complete TCS with prop-erty (𝑃), 𝐾 a closed convex bounded subset of 𝑋, and 𝑇 :𝐾 → 𝐾 a uniformly locally directionally nonexpansive. Let𝑇𝛼𝑥 = 𝑊(𝑇𝑥, 𝑥, 𝛼). For the fixed 𝑥

    0∈ 𝐾, sequences {𝑥

    𝑛} and

    {𝑦𝑛} are defined as follows:

    𝑥𝑛+1= 𝑇𝛼𝑥𝑛, 𝑦

    𝑛= 𝑇𝑥𝑛, 𝑛 = 0, 1, 2, . . . . (9)

    Then for each 𝑖, 𝑛 ∈ N

    𝑑 (𝑦𝑖+𝑛, 𝑥𝑖) ≥ (1 − 𝛼)

    −𝑛(𝑑 (𝑦𝑖+𝑛, 𝑥𝑖+𝑛) − 𝑑 (𝑦

    𝑖, 𝑥𝑖))

    + (1 + 𝑛𝛼) 𝑑 (𝑦𝑖, 𝑥𝑖) ,

    (10)

    lim𝑛→∞

    𝑑 (𝑥𝑛, 𝑇𝑥𝑛) = 0. (11)

    Proof. We prove (10) by induction on 𝑛. For 𝑛 = 0 inequality(10) is trivial. Assume that (10) holds for given 𝑛 and all 𝑖.

    In order to prove that (10) holds for 𝑛 + 1, we proceed asfollows: replacing 𝑖 with 𝑖 + 1 in (10) yields

    𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+1) ≥ (1 − 𝛼)

    −𝑛(𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+𝑛+1) − 𝑑 (𝑦

    𝑖+1, 𝑥𝑖+1))

    + (1 + 𝑛𝛼) 𝑑 (𝑦𝑖+1, 𝑥𝑖+1) .

    (12)

    Also

    𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+1)

    ≤ 𝑑 (𝑦𝑖+𝑛+1,𝑊 (𝑦

    𝑖+𝑛+1, 𝑥𝑖, 𝛼))

    + 𝑑 (𝑊 (𝑦𝑖+𝑛+1, 𝑥𝑖, 𝛼) ,𝑊 (𝑇𝑥

    𝑖, 𝑥𝑖, 𝛼))

    ≤ (1 − 𝛼) 𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖) + 𝛼𝑑 (𝑦𝑖+𝑛+1, 𝑇𝑥𝑖)

    ≤ (1 − 𝛼) 𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖) + 𝛼

    𝑛

    𝑘=0

    𝑑 (𝑇𝑥𝑖+𝑘+1, 𝑇𝑥𝑖+𝑘)

    ≤ (1 − 𝛼) 𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖) + 𝛼

    𝑛

    𝑘=0

    𝑑 (𝑥𝑖+𝑘+1, 𝑥𝑖+𝑘)

    (13)

    since 𝑥𝑖+𝑘+1

    = 𝑊(𝑇𝑥𝑖+𝑘, 𝑥𝑖+𝑘, 𝛼) and 𝑇 is uniformly locally

    directionally nonexpansive. Combining (12) and (13)

    𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖)

    ≥ (1 − 𝛼)−(𝑛+1)

    (𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+𝑛+1) − 𝑑 (𝑦

    𝑖+1, 𝑥𝑖+1))

    + (1 − 𝛼)−1(1 + 𝑛𝛼) 𝑑 (𝑦𝑖+1, 𝑥𝑖+1)

    − 𝛼(1 − 𝛼)−1

    𝑛

    𝑘=0

    𝑑 (𝑥𝑘+𝑖+1, 𝑥𝑘+𝑖) .

    (14)

    By Proposition 8 (c),

    𝑑 (𝑥𝑘+𝑖+1, 𝑥𝑘+𝑖) = 𝑑 (𝑊 (𝑇𝑥

    𝑘+𝑖, 𝑥𝑘+𝑖, 𝛼) , 𝑥

    𝑘+𝑖)

    = 𝛼𝑑 (𝑦𝑘+𝑖, 𝑥𝑘+𝑖) ,

    (15)

    so

    𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖)

    ≥ (1 − 𝛼)−(𝑛+1)

    (𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+𝑛+1) − 𝑑 (𝑦

    𝑖+1, 𝑥𝑖+1))

    + (1 − 𝛼)−1(1 + 𝑛𝛼) 𝑑 (𝑦𝑖+1, 𝑥𝑖+1)

    − 𝛼2(1 − 𝛼)

    −1

    𝑛

    𝑘=0

    𝑑 (𝑦𝑘+𝑖, 𝑥𝑘+𝑖) .

    (16)

  • 4 Abstract and Applied Analysis

    On the other hand,

    𝑑 (𝑦𝑛, 𝑥𝑛) = 𝑑 (𝑇𝑥

    𝑛,𝑊 (𝑇𝑥

    𝑛−1, 𝑥𝑛−1, 𝛼))

    ≤ 𝑑 (𝑇𝑥𝑛, 𝑇𝑥𝑛−1) + 𝑑 (𝑇𝑥

    𝑛−1,𝑊 (𝑇𝑥

    𝑛−1, 𝑥𝑛−1, 𝛼))

    ≤ 𝑑 (𝑥𝑛, 𝑥𝑛−1) + (1 − 𝛼) 𝑑 (𝑇𝑥𝑛−1, 𝑥𝑛−1)

    = 𝛼𝑑 (𝑦𝑛−1, 𝑥𝑛−1) + (1 − 𝛼) 𝑑 (𝑦𝑛−1, 𝑥𝑛−1)

    = 𝑑 (𝑦𝑛−1, 𝑥𝑛−1)

    (17)

    for any 𝑛 ∈ N, meaning that {𝑑(𝑦𝑛, 𝑥𝑛)} is a decreasing

    sequence.Now, using inequality (1 + 𝑛𝛼) − (1 − 𝛼)−𝑛 ≤ 0, we have

    that

    𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖)

    ≥ (1 − 𝛼)−(𝑛+1)

    (𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+𝑛+1) − 𝑑 (𝑦

    𝑖+1, 𝑥𝑖+1))

    + (1 − 𝛼)−1(1 + 𝑛𝛼) 𝑑 (𝑦𝑖+1, 𝑥𝑖+1)

    − 𝛼2(1 − 𝛼)

    −1(𝑛 + 1) 𝑑 (𝑦𝑖, 𝑥𝑖)

    = (1 − 𝛼)−(𝑛+1)

    (𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+𝑛+1) − 𝑑 (𝑦

    𝑖, 𝑥𝑖))

    + ((1 − 𝛼)−1(1 + 𝑛𝛼) − (1 − 𝛼)

    −(𝑛+1)) 𝑑 (𝑦

    𝑖+1, 𝑥𝑖+1)

    + ((1 − 𝛼)−(𝑛+1)

    − 𝛼2(1 − 𝛼)

    −1(𝑛 + 1)) 𝑑 (𝑦𝑖, 𝑥𝑖)

    ≥ (1 − 𝛼)−(𝑛+1)

    (𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+𝑛+1) − 𝑑 (𝑦

    𝑖, 𝑥𝑖))

    + ((1 − 𝛼)−1(1 + 𝑛𝛼) − (1 − 𝛼)

    −(𝑛+1)) 𝑑 (𝑦

    𝑖, 𝑥𝑖)

    + ((1 − 𝛼)−(𝑛+1)

    − 𝛼2(1 − 𝛼)

    −1(𝑛 + 1)) 𝑑 (𝑦𝑖, 𝑥𝑖)

    = (1 − 𝛼)−(𝑛+1)

    (𝑑 (𝑦𝑖+𝑛+1, 𝑥𝑖+𝑛+1) − 𝑑 (𝑦

    𝑖, 𝑥𝑖))

    + (1 + (𝑛 + 1) 𝛼) 𝑑 (𝑦𝑖, 𝑥𝑖) .

    (18)

    Thus (10) holds for 𝑛 + 1, completing the proof of inequality.Further, the sequence {𝑑(𝑦

    𝑛, 𝑥𝑛)} is decreasing, so there

    exists lim𝑛→∞

    𝑑(𝑦𝑛, 𝑥𝑛) = 𝑟 ≥ 0. Let us suppose that 𝑟 > 0.

    Select positive integer 𝑛0≥ 𝑑/(𝑟 ⋅ 𝛼), 𝑑 = diam𝐾, and 𝜀 > 0,

    satisfying 𝜀(1 −𝛼)−𝑛0 < 𝑟. Now choose positive integer 𝑘 suchthat

    0 ≤ 𝑑 (𝑦𝑘, 𝑥𝑘) − 𝑑 (𝑦

    𝑘+𝑛0, 𝑥𝑘+𝑛0) < 𝜀. (19)

    Using (10), we obtain

    𝑑 + 𝑟 ≤ 𝑟 (𝛼𝑛0+ 1) ≤ (𝛼𝑛

    0+ 1) 𝑑 (𝑦

    𝑘, 𝑥𝑘)

    ≤ 𝑑 (𝑦𝑘+𝑛0, 𝑥𝑘) + 𝜀(1 − 𝛼)

    −𝑛0 < 𝑑 + 𝑟.

    (20)

    By the last contradiction we conclude that 𝑟 = 0 andlim𝑛→∞

    𝑑(𝑦𝑛, 𝑥𝑛) = lim

    𝑛→∞𝑑(𝑇𝑥𝑛, 𝑥𝑛) = 0 what we had to

    prove.

    Remark 17. This statement is a generalization of Lemma 9.4from [14].

    Combining the last result with Theorem 15 we have thefollowing consequence.

    Corollary 18. Let 𝐾 be a bounded closed convex subset ofcomplete TCS (𝑋, 𝑑,𝑊) with properties (𝑃) and (𝑄) and let𝑇 : 𝐾 → 𝐾 satisfy the following:

    (i) 𝑇 is uniformly locally directionally nonexpansive on𝐾;(ii) 𝛼(𝑇(𝐴)) < 𝛼(𝐴), for all 𝐴 ⊆ 𝐾 for which 𝛼(𝐴) > 0;(iii) 𝐹 is r.g.i. on 𝐾.

    Then the fixed point set fix (𝑇) of 𝑇 is nonempty and compact.

    Moreover, using Proposition 16 we also get generaliza-tions of some other Kirk and Saliga [2] fixed point results.

    Corollary 19. Let 𝐾 be a bounded closed convex subset of acomplete TCS (𝑋, 𝑑,𝑊) with properties (𝑃) and (𝑄) and let𝑇 : 𝐾 → 𝐾 satisfy the following:

    (i) 𝑇 is uniformly locally directionally nonexpansive on𝐾;(ii) 𝑑(𝑇𝑥, 𝑇𝑦) ≤ 𝜃(max{𝑑(𝑥, 𝑇𝑥), 𝑑(𝑦, 𝑇𝑦)}), where 𝜃 :

    R+ → R+ is any function for which lim𝑡→0+𝜃(𝑡) = 0.

    Then 𝑇 has a unique fixed point 𝑥0∈ 𝐾 if and only if 𝐹 is an

    r.g.i. on 𝐾.

    Proof. Proposition 16 gives inf𝐾(𝐹) = 0 and as in [2] one can

    prove that lim𝑐→0+ diam(𝐿

    𝑐) = 0. ByTheorem 1.2 [1], 𝑇 has a

    unique fixed point if and only if 𝐹 is r.g.i. on𝐾.

    Theorem 20. Let 𝐾 be a bounded closed convex subset ofa complete TCS (𝑋, 𝑑,𝑊) with properties (𝑃) and (𝑄) andsuppose 𝑇 : 𝐾 → 𝐾 satisfies the following:

    (i) 𝑇 is directionally nonexpansive on 𝐾;(ii) 𝜇(𝑇(𝐿

    𝑐)) ≤ 𝑘 ⋅ 𝜇(𝐿

    𝑐), for some 𝑘 < 1 and all 𝑐 > 0;

    (iii) 𝐹 is an r.g.i. on 𝐾.Then the fixed point set fix (𝑇) of 𝑇 is nonempty and compact.Moreover, if {𝑥

    𝑛} ⊆ 𝐾 satisfies lim

    𝑛→∞𝑑(𝑥𝑛, 𝑇𝑥𝑛) = 0, then

    lim𝑛→∞

    𝑑(𝑥𝑛, fix (𝑇)) = 0.

    Proof. By Proposition 16, inf𝐾(𝐹) = 0. Since (i) implies that

    𝑑 (𝑇𝑥, 𝑇2𝑥) ≤ 𝑑 (𝑥, 𝑇𝑥) , ∀𝑥 ∈ 𝐾, (21)

    the conclusion follows immediately from Theorem 2.3[2].

    We established that lim𝑛→∞

    𝑑(𝑥𝑛, 𝑇𝑥𝑛) = 0 for every

    sequence {𝑥𝑛} defined by 𝑥

    𝑛= 𝑇𝛼𝑥𝑛−1

    , 𝑛 ∈ N, where 𝑥0∈ 𝐾

    and 𝛼 ∈ (0, 1). Therefore lim𝑛→∞

    𝑑(𝑥𝑛, fix(𝑇)) = 0 meaning

    that {𝑥𝑛} converges to the set fix(𝑇), but the convergence to

    the specific point from fix(𝑇) is not provided. Putting someadditional assumption, we could arrange that the sequence{𝑥𝑛} converges to a fixed point of the mapping 𝑇.Next, we recall the concept of weakly quasi-nonexpansive

    mappingswith respect to sequence introduced byAhmed andZeyada in [15].

  • Abstract and Applied Analysis 5

    Definition 21 (see [15]). Let (𝑋, 𝑑) be a metric space and let{𝑥𝑛} be a sequence in 𝐷 ⊆ 𝑋. Assume that 𝑇 : 𝐷 → 𝑋 is

    a mapping with fix(𝑇) ̸= 0 satisfying lim𝑛→∞

    𝑑(𝑥𝑛, fix(𝑇)) =

    0. Thus, for a given 𝜀 > 0 there exists 𝑛1(𝜀) ∈ N such that

    𝑑(𝑥𝑛, fix(𝑇)) < 𝜀 for all 𝑛 ≥ 𝑛

    1(𝜀). Mapping 𝑇 is called weakly

    quasi-nonexpansive with respect to {𝑥𝑛} ⊆ 𝐷 if for each 𝜀 > 0

    there exists 𝑝(𝜀) ∈ fix(𝑇) such that, for all 𝑛 ∈ N with 𝑛 ≥𝑛1(𝜀), 𝑑(𝑥

    𝑛, 𝑝(𝜀)) < 𝜀.

    The next result is improvement of Theorem 20 and also ageneralisation of Theorem 2.24 from [15].

    Theorem 22. Let 𝐾 be a bounded closed convex subset of acomplete TCS (𝑋, 𝑑,𝑊) with properties (𝑃) and (𝑄) and let𝑇 : 𝐾 → 𝐾 satisfy the following:

    (i) 𝑇 is directionally nonexpansive on 𝐾;(ii) 𝛼(𝑇(𝐿

    𝑐)) ≤ 𝑘𝛼(𝐿

    𝑐) for some 𝑘 < 1 and all 𝑐 > 0;

    (iii) 𝐹 is r.g.i. on 𝐾;(iv) {𝑥

    𝑛} ⊆ 𝐾 satisfies lim lim

    𝑛→∞𝑑(𝑥𝑛, 𝑇𝑥𝑛) = 0 and 𝑇 is

    weakly quasi-nonexpansive with respect to {𝑥𝑛}.

    Then {𝑥𝑛} converges to a point in fix(𝑇).

    Proof. Our assertion is a consequence of Theorem 20 andTheorem 2.5(b) from [15].

    Using Proposition 16, the next corollary holds.

    Corollary 23. Let 𝐾 be a bounded closed convex subset of acomplete TCS (𝑋, 𝑑,𝑊) with properties (𝑃) and (𝑄) and let𝑇 : 𝐾 → 𝐾 satisfy the following:

    (i) 𝑇 is directionally nonexpansive on 𝐾;(ii) 𝛼(𝑇(𝐿

    𝑐)) ≤ 𝑘𝛼(𝐿

    𝑐) for some 𝑘 < 1 and all 𝑐 > 0;

    (iii) 𝐹 is r.g.i. on 𝐾;(iv) 𝑇 is weakly quasi-nonexpansive with respect to

    sequence 𝑥𝑛= 𝑇𝑛

    𝛼𝑥0, 𝑛 ∈ N, 𝑥

    0∈ 𝐾, 𝛼 ∈ (0, 1).

    Then {𝑥𝑛} converges to a point in fix(𝑇).

    Conflict of Interests

    The authors declare that there is no conflict of interestsregarding the publication of this paper.

    Acknowledgments

    The authors are very grateful to the anonymous referees fortheir careful reading of the paper and suggestions which havecontributed to the improvement of the paper. This paper ispartially supported by Ministarstvo nauke i ̌zivotne sredineRepublike Srbije.

    References

    [1] M. Angrisani and M. Clavelli, “Synthetic approaches to prob-lems of fixed points inmetric space,”Annali diMatematica Puraed Applicata. Serie Quarta, vol. 170, pp. 1–12, 1996.

    [2] W. A. Kirk and L. M. Saliga, “Some results on existenceand approximation in metric fixed point theory,” Journal ofComputational and Applied Mathematics, vol. 113, no. 1-2, pp.141–152, 2000.

    [3] O. Hadžić, “Some properties of measures of noncompactness inparanormed spaces,” Proceedings of the American MathematicalSociety, vol. 102, no. 4, pp. 843–849, 1988.

    [4] W. Takahashi, “A convexity in metric space and nonexpansivemappings.I,” Kodai Mathematical Seminar Reports, vol. 22, pp.142–149, 1970.

    [5] L. A. Talman, “Fixed points for condensing multifunctionsin metric spaces with convex structure,” Kodai MathematicalSeminar Reports, vol. 29, no. 1-2, pp. 62–70, 1977.

    [6] G.V. R. Babu andG.N.Alemayehu, “Existence of commonfixedpoints via modified Mann iteration in convex metric spacesand an invariant approximation result,” Tamkang Journal ofMathematics, vol. 41, no. 4, pp. 335–347, 2010.

    [7] L. Gajić, “On convexity in convex metric spaces with applica-tion,” Journal of Natural & Physical Sciences, vol. 3, no. 1-2, pp.39–48, 1989.

    [8] L. J. Gajić, “On measure of non-compactness in convex metricspaces,” Filomat, vol. 19, pp. 1–5, 2005.

    [9] L. Gajić andV. Rakočević, “Quasicontraction nonself-mappingson convex metric spaces and common fixed point theorems,”Fixed Point Theory and Applications, no. 3, pp. 365–375, 2005.

    [10] L. Gajić and V. Rakočević, “Pair of non-self-mappings andcommon fixed points,” Applied Mathematics and Computation,vol. 187, no. 2, pp. 999–1006, 2007.

    [11] M. Moosaei, “Common fixed points for some generalizedcontraction pairs in convex metric spaces,” Fixed Point Theoryand Applications, vol. 2014, article 98, 2014.

    [12] H. K. Nashine, “Application of fixed point theorem to bestsimultaneous approximation in convex metric spaces,” Kragu-jevac Journal of Mathematics, vol. 33, pp. 107–118, 2010.

    [13] W. Phuengrattana and S. Suantai, “Common fixed points of aninfinite family of nonexpansive mappings in uniformly convexmetric spaces,” Mathematical and Computer Modelling, vol. 57,no. 3-4, pp. 306–310, 2013.

    [14] K. Goebel and W. A. Kirk, Topics in Metric Fixed Point Theory,Cambridge University Press, Cambridge, UK, 1990.

    [15] M. A. Ahmed and F. M. Zeyada, “Some convergence theoremsof a sequence in complete metric spaces and its applications,”Fixed Point Theory and Applications, vol. 2010, Article ID647085, 10 pages, 2010.

  • Submit your manuscripts athttp://www.hindawi.com

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    MathematicsJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Mathematical Problems in Engineering

    Hindawi Publishing Corporationhttp://www.hindawi.com

    Differential EquationsInternational Journal of

    Volume 2014

    Applied MathematicsJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Journal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Mathematical PhysicsAdvances in

    Complex AnalysisJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    OptimizationJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    International Journal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Operations ResearchAdvances in

    Journal of

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Function Spaces

    Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    International Journal of Mathematics and Mathematical Sciences

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Algebra

    Discrete Dynamics in Nature and Society

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Decision SciencesAdvances in

    Discrete MathematicsJournal of

    Hindawi Publishing Corporationhttp://www.hindawi.com

    Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

    Stochastic AnalysisInternational Journal of