Abstract and Applied Analysis

Volume 2015, Article ID 497542, 5 pages

http://dx.doi.org/10.1155/2015/497542

## Common Fixed Point Theorems for Probabilistic Nearly Densifying Mappings

^{1}Department of Mathematics, Faculty of Science, Jazan University, Jazan, Saudi Arabia^{2}Near Nehru Training Centre, H. No. 274, Nai Basti B-14, Bijnor-246701, Uttar Pradesh, India^{3}Faculty of Sciences and Mathematics, University of Priština, Lole Ribara 29, 38 220 Kosovska Mitrovica, Serbia

Received 15 October 2014; Revised 28 December 2014; Accepted 28 December 2014

Academic Editor: Poom Kumam

Copyright © 2015 Aeshah Hassan Zakri 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.

#### Abstract

The aim of this paper is to prove some coincidence and common fixed point theorems for probabilistic nearly densifying mappings in complete Menger spaces. Our results improve the results of Chamola et al. (1991), Dimri and Pant (2002), and Pant et al. (2004) and extend the results of Khan and Liu (1997) in the framework of probabilistic settings.

#### 1. Introduction and Preliminaries

Banach contraction mapping principle is one of the most interesting and useful tools in applied mathematics. In recent years many generalizations of Banach contraction mapping principle have appeared. The notion of probabilistic metric spaces (in short PM-spaces) is a probabilistic generalization of metric spaces which are appropriate to carry out the study of those situations wherein distances are measured in the sense of distribution functions rather than nonnegative real numbers. The study of PM-spaces was initiated by Menger [1]. Since then, Schweizer and Sklar [2] enriched this concept and provided a new impetus by proving some fundamental results on this theme. The first result on fixed point theory in PM-spaces was given by Sehgal and Bharucha-Reid [3] wherein the notion of probabilistic contraction was introduced as a generalization of the classical Banach fixed point principle in terms of probabilistic settings. Some recent fixed point results can be studied in [4–7].

Kuratowski [8] introduced the notion of measure of noncompactness of a bounded subset of a metric space. Further, this study was carried on by Furi and Vignoli [9]. They introduced the notion of densifying (also called condensing) mapping in terms of Kuratowski’s measure of noncompactness and obtained some fixed point theorems. Following Furi and Vignoli [9], a number of mathematicians worked on densifying mappings and proved some metrical fixed point theorem (cf. [10–14]). As a generalization of Kuratowski’s measure of noncompactness, Bocsan and Constantin [15] introduced the notion of Kuratowski’s measure of noncompactness in PM-spaces. Subsequently, Bocşan [16] studied the notion of probabilistic densifying mappings. Later, Hadžić [17], Tan [18], Chamola et al. [19], Dimri and Pant [20], Pant et al. [21], Pant et al. [22], and Singh and Pant [23] proved some results for such mappings. In [24], Ganguly et al. introduced the notion of probabilistic nearly densifying mappings and proved some interesting results in this setting.

The aim of this paper is to prove some coincidence and common fixed point theorems for certain classes of nearly densifying mappings in complete Menger spaces. First, we give some topological definitions and terminology defined in [8, 15–17].

*Definition 1. *A semigroup is said to be left reversible if for any there exist such that .

It is easy to see that the notion of left reversibility is equivalent to the statement that any two right ideals of have nonempty intersection.

*Definition 2. *Let be a family of self-mappings in . A subset of is called -invariant if for all .

*Definition 3. *Let be the semigroup generated by under composition . Clearly, for any and for .

We restate the notion of probabilistic diameter for the sake of quick reference.

*Definition 4. *Let be a nonempty subset of . A function defined byis called probabilistic diameter of . is said to be bounded if

The following definition is due to Bocsan and Constantin [15].

*Definition 5. *For a probabilistic bounded subset of , defined by is called Kuratowski’s function.

The following properties of Kuratowski’s functions are proved in [8]:(a), the set of distribution functions;(b);(c)if , then ;(d);(e)let be the closure of in the -topology on ; then (f) is probabilistic precompact (totally bounded) if , where denotes the specific distribution function defined by

*Definition 6. *Let be a PM-space. A continuous mapping of into is called a probabilistic densifying mapping if and only if, for every subset of , implies .

*Definition 7. *A self-mapping is probabilistic nearly densifying if , whenever , , and is -invariant.

*Definition 8. *Suppose is an upper semicontinuous function with and for all .

#### 2. Main Results

First, we prove some fixed point theorems for probabilistic nearly densifying mappings in Menger spaces.

Theorem 9. *Let , , and be three continuous and nearly densifying self-mappings on a complete Menger space such that and commutes with and . If, for all , , the following conditions are satisfied:**where and are real valued mappings from to , the collection of all distribution functions, with either or being upper semicontinuous (u.s.c.) and for all .**Further, if, for some , is bounded, then and or and have a coincidence point.*

*Proof. *For , let and .

Then .

If , thena contradiction. It implies that is precompact.

Let .

Then it is easy to see that and is nonempty compact subset of . By the continuity of , , and , it follows that , , and . Further, it is clear that , , and .

Note thatwhich implies or .

Now, assume that is upper semicontinuous. Then the function , defined by , is u.s.c. So assumes its maximal value at some point in . Clearly, , so there is a such that . Suppose that neither and nor and have a coincidence point. Thena contradiction to the selection of . Hence, and or and must have a coincidence point.

The same result holds good if is upper semicontinuous. This completes the proof of the theorem.

*Remark 10. *The above theorem extends the results of Khan and Liu [25, Theorem 3.1 and Corollary 3.3] to PM-spaces.

Theorem 11. *Let , , , and be as in Theorem 9. Further, let , , and satisfying (5) and (6) have a coincidence point ; then is a unique common fixed point of , , and .*

*Proof. *We have . By commutativity of with and , and , or .

Now let ; then by (5) and (6), we havewhich is a contradiction. Hence, . Thus, is a fixed point of . Thus, . Therefore, is a common fixed point of , , and .

The uniqueness of as a common fixed point of , , and follows from (5) and (6).

Theorem 12. *Let and be commuting, continuous, and nearly densifying self-mappings on a complete Menger space satisfying**for , , and , where is u.s.c. and , . If, for some in , is bounded, then and have a unique common fixed point.*

*Proof. *Let . Since and are commuting and continuous, we have and and then .

If , thenwhich is a contradiction. It implies that is precompact.

Now define . Since is a decreasing sequence of nonempty compact subset of , it follows that is nonempty set such that , .

Suppose that ; then for all . Hence, there exists . Since is compact and closed for all , and are continuous and nearly densifying; therefore, there exists a point for all so that . Hence, and . Thus, we haveLet us define a real valued function on by . It is u.s.c. and hence attains its maximum at some point . Then there exists a such that .

Suppose that there is no point in such that ; then we have by (11)which is a contradiction to the selection of . Hence, there exists a such that or .

Suppose ; then we havewhich is a contradiction. Hence, . Therefore, is common fixed point of and . Now we will prove the uniqueness of . Let be the other fixed point of and ; then, by (11), we haveHence, is unique. This completes the proof of the theorem.

*Remark 13. *Theorems 9, 11, and 12 improve the result of Chamola et al. [19], Dimri and Pant [20], Ganguly et al. [24], and Pant et al. [21] under more natural conditions.

#### Conflict of Interests

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

#### Authors’ Contribution

All authors contributed equally to this paper. The guidance of Aeshah Hassan Zakri is very important and she helped in revising the paper according to reviewers reports.

#### Acknowledgment

The authors thank the anonymous referees for their careful reading and useful suggestions on the paper. The authors are highly thankful to Deanship of Scientific Research, Jazan University, for financial support of this paper.

#### References

- K. Menger, “Statistical metrics,”
*Proceedings of the National Academy of Sciences of the United States of America*, vol. 28, pp. 535–537, 1942. View at Publisher · View at Google Scholar · View at MathSciNet - B. Schweizer and A. Sklar, “Statistical metric spaces,”
*Pacific Journal of Mathematics*, vol. 10, pp. 313–334, 1960. View at Publisher · View at Google Scholar · View at MathSciNet - V. M. Sehgal and A. T. Bharucha-Reid, “Fixed points of contraction mappings on probabilistic metric spaces,”
*Mathematical Systems Theory*, vol. 6, pp. 97–102, 1972. View at Google Scholar · View at MathSciNet - W. Sintunavarat and P. Kumam, “Some fixed point results for weakly isotone mappings in ordered Banach spaces,”
*Applied Mathematics and Computation*, vol. 224, pp. 826–834, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Chauhan, S. Dalal, W. Sintunavarat, and J. Vujakovíc, “Common property (E.A) and existence of fixed points in Menger spaces,”
*Journal of Inequalities and Applications*, vol. 2014, no. 1, article 56, 2014. View at Publisher · View at Google Scholar · View at Scopus - S. Chauhan, M. Imdad, C. Vetro, and W. Sintunavarat, “Hybrid coincidence and common fixed point theorems in Menger probabilistic metric spaces under a strict contractive condition with an application,”
*Applied Mathematics and Computation*, vol. 239, pp. 422–433, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Roldán-López-de-Hierro and W. Sintunavarat, “Common fixed point theorems in fuzzy metric spaces using the CLRg property,”
*Fuzzy Sets and System*, 2014. View at Publisher · View at Google Scholar - C. Kuratowski, “Sur les espaces complets,”
*Fundamenta Mathematicae*, vol. 15, pp. 301–309, 1930. View at Google Scholar - M. Furi and A. Vignoli, “Fixed points for densifying mappings,”
*Accademia Nazionale dei Lincei*, vol. 47, pp. 465–467, 1969. View at Google Scholar - B. Fisher and M. S. Khan, “Results on fixed points of densifying mappings,”
*Mathematics Seminar Notes. Kobe University*, vol. 7, pp. 509–514, 1969. View at Google Scholar - R. K. Jain, “Some common fixed point theorems for nearly densifying maps,”
*Journal of the Indian Academy of Mathematics*, vol. 13, no. 1, pp. 12–15, 1991. View at Google Scholar · View at MathSciNet - R. D. Nussbaum, “The fixed point index for local condensing maps,”
*Annali di Matematica Pura ed Applicata: Serie Quarta*, vol. 89, pp. 217–258, 1971. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Park, “On densifying maps of metric spaces,”
*Honam Mathematical Journal*, vol. 3, pp. 23–30, 1981. View at Google Scholar - K. P. R. Sastry and S. V. R. Naidu, “Fixed point theorems for nearly-densifying maps,”
*The Nepali Mathematical Sciences Report*, vol. 7, pp. 41–44, 1982. View at Google Scholar - G. Bocsan and G. Constantin, “The Kuratowski function and some applications to the probabilistic metric spaces,”
*Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali*, vol. 55, no. 8, pp. 236–240, 1973. View at Google Scholar · View at MathSciNet - G. Bocşan, “On some fixed point theorems in probabilistic metric spaces,”
*Mathematica Balkanica*, vol. 4, pp. 67–70, 1974. View at Google Scholar · View at MathSciNet - O. Hadžić, “Fixed point theorems for multivalued mappings in probabilistic metric spaces,”
*Fuzzy Sets and Systems*, vol. 88, no. 2, pp. 219–226, 1997. View at Publisher · View at Google Scholar - D. H. Tan, “On probabilistic condensing mappings,”
*Revue Roumaine de Mathématique Pures et Appliquées*, vol. 26, no. 10, pp. 1305–1317, 1981. View at Google Scholar - K. P. Chamola, B. D. Pant, and S. L. Singh, “Common fixed point theorems for probabilistic densifying mappings,”
*Mathematica Japonica*, vol. 36, no. 4, pp. 769–775, 1991. View at Google Scholar · View at MathSciNet - R. C. Dimri and B. D. Pant, “Fixed points of probabilistic densifying mappings,”
*Journal of Natural & Physical Sciences*, vol. 16, no. 1-2, pp. 69–76, 2002. View at Google Scholar · View at MathSciNet - B. D. Pant, R. C. Dimri, and V. B. Chandola, “Some results on fixed points of probabilistic densifying mappings,”
*Bulletin of the Calcutta Mathematical Society*, vol. 96, no. 3, pp. 189–194, 2004. View at Google Scholar · View at MathSciNet - B. D. Pant, B. M. L. Tiwari, and S. L. Singh, “Common fixed point theorems for densifying mappings in probabilistic metric spaces,”
*Honam Mathematical Journal*, vol. 5, pp. 151–154, 1983. View at Google Scholar - S. L. Singh and B. D. Pant, “Common fixed points of a family of mappings in Menger and uniform spaces,”
*Rivista di Matematica della Università di Parma: Serie IV*, vol. 14, no. 4, pp. 81–85, 1988. View at Google Scholar · View at MathSciNet - A. Ganguly, A. S. Rajput, and B. S. Tuteja, “Fixed points of probabilistic densifying mappings,”
*Indian Academy of Mathematics: Journal*, vol. 13, no. 2, pp. 110–114, 1991. View at Google Scholar · View at MathSciNet - M. S. Khan and Z. Q. Liu, “On coincidence points of densifying mappings,”
*Turkish Journal of Mathematics*, vol. 21, no. 3, pp. 269–276, 1997. View at Google Scholar · View at MathSciNet · View at Scopus