/ / Article

Research Article | Open Access

Volume 2020 |Article ID 5393521 | https://doi.org/10.1155/2020/5393521

F. Sabetghadam, H. P. Masiha, H. Aydi, "New Results for Set-Valued Mappings on Ordered Metric Spaces", Journal of Function Spaces, vol. 2020, Article ID 5393521, 5 pages, 2020. https://doi.org/10.1155/2020/5393521

# New Results for Set-Valued Mappings on Ordered Metric Spaces

Accepted22 Aug 2020
Published24 Sep 2020

#### Abstract

We establish some new fixed point results for order-closed multivalued mappings in complete metric spaces endowed with a partial order.

#### 1. Introduction

In 1976, an order relation was defined in metric spaces [1]. Later, many researchers proved various fixed point results in this setting (see [2ā11]), while the authors in [4, 5, 9] considered coupled questions for so-called monotone conditions. Zhang [12] proved some (coupled) fixed point theorems for multivalued mappings with monotone conditions in metric spaces with a partial order. Since then, Agarwal and Khamsi [13] extended Caristiās fixed point to vector-valued metric spaces. Also, Chung [14] considered nonlinear contraction mappings. Nadler [15] defined multivalued contractions, and Assad and Kirk [16] proved fixed point theorems for set-valued mappings (see also the related works [17ā22]).

In this paper, we present some fixed point results in ordered metric spaces for order-closed multivalued operators. First, we need some facts.

Lemma 1. [23] Let be a metric space and be a functional. Consider a nondecreasing, continuous, and subadditive function so that Take the relation āā on given as Then, āā is a partial order relation on . Apparently, then .

Here, we state some definitions. Let be a topological space. Denote by the family of nonempty subsets of . Let be a partial order on .

Definition 2. [24] Given two nonempty subsets of .

Note that and are different relations between and (see Remark 114 of [24]). Also, , , and are not partial orders on (see Remark 2 of [24]).

Definition 3. If satisfies or , then is called a monotone sequence.

Definition 4. A multivalued operator is said to be order-closed if, for monotone sequences and , we have , , and imply .

Definition 5. A function is said to be order upper (lower) semicontinuous, if, for a monotone sequence with , we have

Note that an upper (lower) semicontinuous function is an order upper (lower) semicontinuous. But the converse is not true (see Remark 3 of [24]).

#### 2. Main Results

Let be a metric space. For , define the partial order āā on induced by and in Lemma 1.

Theorem 6. Let be a complete ordered metric space and be a bounded below function. Suppose that is order-closed with respect to āā so that Then, there is a monotone sequence , so that for , and converges to , which is a fixed point of . If in addition, is order lower semicontinuous on , then for each .

Proof. By the condition , take . From , there is so that . Again, from , there is with . Continuing this procedure, we have an increasing sequence so that . Therefore, That is, the real sequence is decreasing, so it is a convergent sequence because is bounded from below on .
Using Remark 3 of [25] and Remark 2 of [26], we find that provided that is subadditive. Thus, By (7), there are and so that Since is nondecreasing, we have for each .
Let . Then i.e., Therefore, we have which together with (8) implies that Note that is convergent; then, there is so that for all , Moreover, by (12), we get The convergence of implies that is a Cauchy sequence. By the completeness of , there is so that as . Since is order-closed, is monotone and . Consequently, i.e., is a fixed point of .
If is order lower semicontinuous on , by definition of ā,ā then we have for each It yields that . The proof is completed.

The proof of the following theorem carries over in the same manner as for Theorem 6.

Theorem 7. Let be a complete ordered metric space and be a bounded below function. Suppose that is order-closed with respect to ā.ā Assume that Then, there is a monotone sequence , , , such that converges to , which is a fixed point of . If, in addition, is order upper semicontinuous on , then for all .

Theorem 8. Let be a complete ordered metric space and be bounded below function. Suppose that is order-closed with respect to ā.ā Assume that (i)for each with (ii)there exists such that, .Then, has a fixed point , and there is a sequence with for , such that . Moreover, if is order lower semicontinuous, then for all .

Proof. Since , by , we can choose so that . This implies that , by definition of , there is so that . Continuing this procedure, we can find an increasing sequence such that . The rest of the proof is similar as in Theorem 6.

The following supports Theorem 8.

Example 9. Let and , for . The metric space is complete. Consider the multivalued mapping given as where is the set of rational numbers. Let and . Note that is bounded from below. Take the order induced by , that is, given as follows: Mention that verifies the following assertions: (a)for each with , we have (b)(c) is order-closed on .Hence, has a fixed point on , which is .

Theorem 10. Let be a complete ordered metric space and be a bounded below function. Suppose is order-closed with respect to ā.ā If the following conditions hold: (i)for each with (ii)there exists such that, then has a fixed point . Also, there is a sequence with for any such that . Moreover, if is order upper semicontinuous, then for all .
The following example illustrates Theorem 10.

Example 11. Let , , for and for each . Here, is a complete metric space, and is a bounded below function. Consider the order induced by : Clearly, this partial order is the usual order on . Define by . It is obvious that satisfies the following: (a)for each with (b)(c) is order-closed on .Hence, has a fixed point on , which is .

Now, a multivalued version of Theorem 2 of [27] may be obtained. Here, the considered multivalued mapping is not necessarily continuous.

Theorem 12. Let be a complete ordered metric space and be a continuous function bounded below. Let be a multivalued mapping. Suppose that Then, has a fixed point.

Proof. Set We claim that has a maximum element. For a directed set , let be a totally ordered subset in . For with , the fact that yields . Due to the fact that is bounded below, is a convergent set in . Consider As in proof of Theorem 6, is Cauchy in , which is complete, so converges to in . For , Hence, for each . By , for each , there is so that . By the compactness of , there is a convergence subset of . Assume that converges to . Take such that implies . One writes So for all . Also, So and . Thus, has an upper bound in .
By Zornās Lemma, there is a maximum element . also, there is so that . Using , there is so that . Hence, . The element is maximum in , so and . That is, is a fixed point of .

Theorem 13. Let be a complete ordered metric space and be a continuous function bounded below. Let be a multivalued mapping. Assume that Then, has a fixed point.

Remark 14. If is a continuous single-valued mapping in Theorem 6 (resp., Theorem 7), we can replace the condition by and we can obtain the same result.

Remark 15. If in Theorem 8 (resp., Theorem 10), is assumed to be a continuous single-valued mapping, then we get the same result when replacing the conditions and by (i) is monotone increasing (resp., decreasing), that is, for , we have (ii)there exists with (resp., ).If in addition is order upper (resp., lower) semicontinuous on , then is the smallest (resp., largest) fixed point of in (resp., ).

Proof. Let be a fixed point of in , i.e., . Since , we get . Hence, , i.e., . Suppose , then , i.e., . By a mathematical induction, we have for all , then That is, .
Note that if we omit the continuity of and add above condition on , the results remain true.

#### Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

#### Conflicts of Interest

The authors declare that they have no competing interests regarding the publication of this paper.

#### Authorsā Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

#### References

1. J. Caristi, āFixed point theorems for mappings satisfying inwardness conditions,ā Transactions of the American Mathematical Society, vol. 215, pp. 241ā251, 1976. View at: Publisher Site | Google Scholar
2. H. Aydi, E. Karapinar, and W. Shatanawi, āCoupled fixed point results for -weakly contractive condition in ordered partial metric spaces,ā Computers and Mathematics with Applications, vol. 62, no. 12, pp. 4449ā4460, 2011. View at: Publisher Site | Google Scholar
3. T. G. Bhaskar and V. Lakshmikantham, āFixed point theorems in partially ordered metric spaces and applications,ā Nonlinear Analysis: Theory, Methods & Applications, vol. 65, no. 7, pp. 1379ā1393, 2006. View at: Publisher Site | Google Scholar
4. D. ÄoriÄ, Z. Kadelburg, and S. RadenoviÄ, āCoupled fixed point results for mappings without mixed monotone property,ā Applied Mathematics Letters, vol. 25, no. 11, pp. 1803ā1808, 2012. View at: Publisher Site | Google Scholar
5. Z. Kadelburg, P. Kumam, S. RadenoviÄ, and W. Sintunavarat, āCommon coupled fixed point theorems for Geraghty-type contraction mappings using monotone property,ā Fixed Point Theory and Applications, vol. 2015, no. 1, 2015. View at: Publisher Site | Google Scholar
6. V. Lakshmikantham and L. ÄiriÄ, āCoupled fixed point theorems for nonlinear contractions in partially ordered metric spaces,ā Nonlinear Analysis: Theory, Methods & Applications, vol. 70, no. 2, pp. 4341ā4349., 2009. View at: Google Scholar
7. V. Parvaneh, M. R. Haddadi, and H. Aydi, āOn best proximity point results for some type of mappings,ā Journal of Function Spaces, vol. 2020, Article ID 6298138, 6 pages, 2020. View at: Google Scholar
8. S. RadenoviÄ, āBhaskar-Lakshmikantham type-results for monotone mappings in partially ordered metric spaces,ā International Journal of Nonlinear Analysis and Applications, vol. 5, no. 2, pp. 37ā49, 2014. View at: Google Scholar
9. S. RadenoviÄ, āCoupled fixed point theorems for monotone mappings in partially ordered metric spaces,ā Kragujevac Journal of Mathematics, vol. 38, no. 2, pp. 249ā257, 2014. View at: Google Scholar
10. J. VujakoviÄ, H. Aydi, S. RadenoviÄ, and A. Mukheimer, āSome remarks and new results in ordered partial b-metric spaces,ā Mathematics, vol. 7, no. 4, p. 334, 2019. View at: Google Scholar
11. X. Zhang, āFixed point theorems of monotone mappings and coupled fixed point of mixed monotone mappings in ordered metric space,ā Acta Mathematica Sinica, vol. 44, no. 4, pp. 641ā646, 2001. View at: Google Scholar
12. X. Zhang, āFixed point theorems of multivalued monotone mappings in ordered metric spaces,ā Applied Mathematics Letters, vol. 23, no. 3, pp. 235ā240, 2010. View at: Publisher Site | Google Scholar
13. R. P. Agarwal and M. A. Khamsi, āExtension of Caristi's fixed point theorem to vector valued metric spaces,ā Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 1, pp. 141ā145, 2011. View at: Publisher Site | Google Scholar
14. K. J. Chung, āNonlinear contractions in abstract spaces,ā Kodai Mathematical Journal, vol. 4, no. 2, pp. 288ā292, 1981. View at: Publisher Site | Google Scholar
15. S. B. Nadler, āMultivalued contraction mappings,ā Pacific Journal of Mathematics, vol. 30, no. 2, pp. 475ā488, 1969. View at: Publisher Site | Google Scholar
16. N. A. Assad and W. A. Kirk, āFixed point theorems for set-valued mappings of contractive type,ā Pacific Journal of Mathematics, vol. 43, no. 3, pp. 553ā562, 1972. View at: Publisher Site | Google Scholar
17. E. Ameer, H. Aydi, M. Arshad, and M. De la Sen, āHybrid ÄiriÄ type graphic Ī„, Ī-contraction mappings with applications to electric circuit and fractional differential equations,ā Symmetry, vol. 12, no. 3, p. 467, 2020. View at: Publisher Site | Google Scholar
18. N. Alamgir, Q. Kiran, H. Isik, and H. Aydi, āFixed point results via a Hausdorff controlled type metric,ā Advances in Difference Equations, vol. 2020, no. 1, 2020. View at: Publisher Site | Google Scholar
19. H. Aydi, A. Felhi, E. Karapinar, and S. Sahmim, āA Nadler-type fixed point theorem in dislocated spaces and applications,ā Miskolc Mathematical Notes, vol. 19, no. 1, pp. 111ā124, 2018. View at: Publisher Site | Google Scholar
20. H. Aydi, M. Abbas, and C. Vetro, āPartial Hausdorff metric and Nadlerās fixed point theorem on partial metric spaces,ā Topology and its Applications, vol. 159, no. 14, pp. 3234ā3242, 2012. View at: Publisher Site | Google Scholar
21. H. Qawaqneh, M. S. Noorani, W. Shatanawi, H. Aydi, and H. Alsamir, āFixed point results for multi-valued contractions in b-metric spaces,ā Mathematics, vol. 7, no. 2, p. 132, 2019. View at: Publisher Site | Google Scholar
22. N. Tahat, H. Aydi, E. Karapinar, and W. Shatanawi, āCommon fixed points for single-valued and multi-valued maps satisfying a generalized contraction in G-metric spaces,ā Fixed Point Theory and Applications, vol. 2012, no. 1, 2012. View at: Publisher Site | Google Scholar
23. Y. Q. Feng and S. Y. Liu, āFixed point theorems for multi-valued contractive mappings and multi-valued Caristi type mappings,ā Journal of Mathematical Analysis and Applications, vol. 317, no. 1, pp. 103ā112, 2006. View at: Publisher Site | Google Scholar
24. Y. Q. Feng and S. Y. Liu, āFixed point theorems for multi-valued increasing operators in partial ordered spaces,ā Soochow Journal of Mathematics, vol. 30, pp. 461ā469, 2004. View at: Google Scholar
25. M. A. Khamsi, āRemarks on Caristi's fixed point theorem,ā Nonlinear Analysis: Theory, Methods & Applications, vol. 71, pp. 227ā231, 2009. View at: Google Scholar
26. Z. Li, āRemarks on Caristi's fixed point theorem and Kirk's problem,ā Nonlinear Analysis: Theory, Methods & Applications, vol. 73, no. 12, pp. 3751ā3755, 2010. View at: Publisher Site | Google Scholar
27. Z. Li, āFixed point theorems in partially ordered complete metric spaces,ā Mathematical and Computer Modelling, vol. 54, pp. 69ā72, 2011. View at: Google Scholar