Research Article | Open Access

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

**Academic Editor:**Lars E. Persson

#### 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

- 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - S. B. Nadler, āMultivalued contraction mappings,ā
*Pacific Journal of Mathematics*, vol. 30, no. 2, pp. 475ā488, 1969. View at: Publisher Site | Google Scholar - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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

#### Copyright

Copyright © 2020 F. Sabetghadam 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.