/ / Article

Research Article | Open Access

Volume 2013 |Article ID 617532 | https://doi.org/10.1155/2013/617532

A. F. Sayed, "Common Fixed Point Theorems of Multivalued Maps in Fuzzy Ultrametric Spaces", Journal of Mathematics, vol. 2013, Article ID 617532, 6 pages, 2013. https://doi.org/10.1155/2013/617532

# Common Fixed Point Theorems of Multivalued Maps in Fuzzy Ultrametric Spaces

Revised31 Aug 2013
Accepted14 Sep 2013
Published02 Nov 2013

#### Abstract

In the setting of fuzzy ultrametric spaces, we study common fixed point theorems of multivalued maps. Our results unify, extend, and generalize some related common fixed point theorems of the literature for both ultrametric spaces (Wang and Song (2013), GajiÄ‡ (2002) and (2001)) and fuzzy metric spaces (Vijayaraju and Sajath (2011)).

#### 1. Introduction

In 1965, Zadeh [1] introduced the theory of fuzzy sets. Many authors introduced the notion of fuzzy metric space in different ways. George and Veeramani [2] modified the concept of fuzzy metric space introduced by Kramosil and Michalek [3] and defined Hausdorff topology in fuzzy metric space. Several authors [4â€“10] studied and developed the concept in different directions and proved fixed point theorems in fuzzy metric spaces. Vijayaraju and Sajath [11] extended some previous results and proved some common fixed points theorems for hybrid pair of single and multivalued maps under hybrid contractive conditions. Wang and Song [12] established some results on coincidence and common fixed point for two pairs of multivalued and single-valued maps in ultrametric spaces. In 2009, Savchenko and Zarichnyi [13] introduced the concept of fuzzy ultrametric space. Sedghi and Shobe [14] proved common fixed point theorems for self-maps satisfying contractive conditions on spherically complete fuzzy ultrametric spaces. In this paper, in the setting of fuzzy ultrametric spaces, we study common fixed point theorems of multivalued maps. Our results unify, extend, and generalize some related common fixed point theorems of the literature for both ultrametric spaces [12, 15, 16] and fuzzy metric spaces [11].

#### 2. Preliminaries and Notations

Definition 1 (see [1]). Letbe any nonempty set. A fuzzy setinis a function with domainand values in .

Definition 2 (see [17]). A binary operation is called a continuous triangular norm (shortly t-norm) if it satisfies the following conditions:(1) is associative and commutative,(2) is continuous,(3) for all ,(4) whenever and for all .

Definition 3 (see [2]). The 3-tuple (X, M, *) is called a fuzzy metric space ifis an arbitrary (nonempty) set, is a continuous t-norm, and M is a fuzzy set on satisfying the following conditions, for all and each and :(1),(2) if and only if ,(3),(4),(5) is continuous.
is called a fuzzy metric on. The functions denote the degree of nearness between x and y with respect to, respectively.
Let (,, *) be a fuzzy metric space. For , the open ball with center and radius is defined by
A subset is called open if, for each , there existand such that . Let denote the family of all open subsets of. Then is a topology on induced by the fuzzy metric. This topology is Hausdorff and first countable.

Definition 4 (see [18]). Let () be a metric space. If the metricsatisfies strong triangle inequality thenis called an ultrametric onand the pair () is called an ultrametric space.

Definition 5 (see [18]). An ultrametric space () is said to be spherically complete if every shrinking collection of balls inhas a nonempty intersection.

Definition 6 (see [14]). Let (,, *) be a fuzzy metric space. If the fuzzy metricsatisfies strong triangle inequality thenis called a fuzzy ultrametric onand the 3-tuple (,, *) is called a fuzzy ultrametric space.

Definition 7 (see [14]). A fuzzy ultrametric space (,, *) is said to be spherically complete if every shrinking collection of balls inhas a nonempty intersection.

Remark 8 (see [14]). (i) Letbe an ultrametric onand for all . For each , define for all ,, and . Then fuzzy metricis also a fuzzy ultrametric.
(ii) Let an ultrametric space () be spherically complete and for all . For each , define for all ,, and . Then fuzzy metric space (,, *) is also spherically complete.

#### 3. Main Results

Let (,, *) be a fuzzy ultrametric space. Let denote the set of all nonempty closed bounded subsets of. For every and , we define where .

Remark 9 (see [8]). It is obvious that, for all and , we have(i), whenever ,(ii) if and only if .
It is easy to prove that is a Hausdorff ultrametric space.

Definition 10. Let (,, *) be a fuzzy ultrametric space. An element is said to be a coincidence point of a multivalued map and a single-valued map if . We denote the set of coincidence points of a multivalued mapand single-valued map.

Definition 11. Let (,, *) be a fuzzy ultrametric space, a multivalued map, and if is a single-valued map. andare said to be coincidentally computing at if .

Definition 12. Let (,, *) be a fuzzy ultrametric space. An element is said to be a common fixed point of two multivalued maps and a single-valued map if

Theorem 13. Let (,, *) be a fuzzy ultrametric space. Let be a pair of multivalued maps and a pair of single-valued maps satisfying the following conditions:(a) is spherically complete; (b),,â€‰â€‰for all , with , and for ; (c),,,,,; (d)If ,, then there exist pointsandin, such that

Proof. Let denote the closed ball with centered and radius Let be the collection of all the spheres for all . Then the relation is a partial order on .
Consider a totally ordered subfamily of . Since is spherically complete, we have
Let , where and . Then . Hence If , then . Assume that . Let, for all , Sinceis a nonempty closed bounded set, then there exists an element , such that is a nonempty closed bounded set; then there exists an element such that
From the two conditions , and (13), we now have
So ; we have just proved that , for every . Thus is an upper bound in for the family , and hence by Zornâ€™s lemma, there is a maximal element in , say . There exists an element such that .
Suppose
Since and are nonempty closed bounded sets, then there exist and such that
From the two conditions (b), (c) and (19), we have
From the two conditions (b), (c) and (19)â€“(22), we have
From (21) and (23), we have
From (22) and (3.7), we have
If then from (24), we have .
Hence . It is a contradiction to the maximality of in , since .
If then from (25), we have .
Hence . It is a contradiction to the maximality of in , since ,
Using the two conditions (b), (c) and (28), we obtain
Hence . Then the proof is completed.

Theorem 14. Let (,*) be a fuzzy ultrametric space. Let be a pair of multivalued maps and let be a single-valued map satisfying the following conditions:(a) is spherically complete;(b),â€‰â€‰for all , with , and for ;(c),,;(d)If ,.
Then ,, and have a coincidence point in . Moreover, if and , and are coincidentally commuting at and , then ,, and have a common fixed point in.

Proof. If in Theorem 13, we obtain that there exist points andinsuch that
As , and are coincidentally commuting at and .
Writing , then . Then we have
Now, since also and are coincidentally commuting at and , so we obtain
Thus, we have proved that ; that is, is a common fixed point of ,, and .

The proof of the following corollary is easy, so it is omitted.

Corollary 15. Let (,*) be a spherically complete fuzzy ultrametric space. Let be a pair of multivalued maps satisfying the following conditions:(a), for all , with , and for ;(b).
Then, there exists a point in such that and .

Now we give an example to illustrate Theorem 13.

Example 16. Let (,*) be a fuzzy ultrametric space in which , for all , and for all .
Define the maps ,,, on as follows:
Define where is a function from satisfying the following conditions:) is increasing in and decreasing in () implies that , for all and .
Then for any , the following inequality is satisfied for all , with , and for all since the LHS of the inequality is .
Clearly all conditions in Theorem 13 are satisfied, so is the unique common fixed point of ,,, and .

#### 4. Conclusion

In this paper, we get coincidence point theorems and common fixed point theorems for two pairs of multivalued and single-valued maps satisfying different contractive conditions on spherically complete fuzzy ultrametric space, which are generalized results for both ultrametric spaces [12, 15, 16] and fuzzy metric spaces [11].

#### Acknowledgment

The author is thankful to the referees for their valuable suggestions in preparing this paper.

#### References

1. L. A. Zadeh, â€śFuzzy sets,â€ť Information and Control, vol. 8, no. 3, pp. 338â€“353, 1965.
2. A. George and P. Veeramani, â€śOn some results in fuzzy metric spaces,â€ť Fuzzy Sets and Systems, vol. 64, no. 3, pp. 395â€“399, 1994.
3. I. Kramosil and J. Michalek, â€śFuzzy metric and statistical metric spaces,â€ť Kybernetika, vol. 11, no. 5, pp. 336â€“344, 1975. View at: Google Scholar | Zentralblatt MATH
4. M. Abbas, I. Altun, and D. Gopal, â€śComon fixed points theorems for non compatible mappings spaces in fuzzy metric spaces,â€ť Bulletin of Mathematical Analysis and Applications, vol. 1, no. 2, pp. 47â€“56, 2009. View at: Google Scholar
5. Z. K. Deng, â€śFuzzy pseudo-metric spaces,â€ť Journal of Mathematical Analysis and Applications, vol. 86, no. 1, pp. 74â€“95, 1982.
6. M. Grabiec, â€śFixed points in fuzzy metric spaces,â€ť Fuzzy Sets and Systems, vol. 27, no. 3, pp. 385â€“389, 1988.
7. O. Kaleva and S. Seikkala, â€śOn fuzzy metric spaces,â€ť Fuzzy Sets and Systems, vol. 12, no. 3, pp. 215â€“229, 1984.
8. I. Kubiaczyk and S. Sharma, â€śCommon coincidence point in fuzzy metric spaces,â€ť Journal of Fuzzy Mathematics, vol. 11, no. 1, pp. 1â€“5, 2003. View at: Google Scholar
9. S. Sharma, â€śCommon fixed point theorems in fuzzy metric spaces,â€ť Fuzzy Sets and Systems, vol. 127, no. 3, pp. 345â€“352, 2002.
10. B. Singh and M. S. Chauhan, â€śCommon fixed points of compatible maps in fuzzy metric spaces,â€ť Fuzzy Sets and Systems, vol. 115, no. 3, pp. 471â€“475, 2000.
11. P. Vijayaraju and Z. M. I. Sajath, â€śCommon fixed points of single and multivalued maps in fuzzy metric spaces,â€ť Applied Mathematics, vol. 2, pp. 595â€“599, 2011. View at: Google Scholar
12. Q. Wang and M. Song, â€śCommon fixed point theorems of multi-valued maps in ultra metric space,â€ť Applied Mathematics, vol. 4, pp. 417â€“420, 2013. View at: Publisher Site | Google Scholar
13. A. Savchenko and M. Zarichnyi, â€śFuzzy ultrametrics on the set of probability measures,â€ť Topology, vol. 48, no. 2–4, pp. 130â€“136, 2009.
14. S. Sedghi and N. Shobe, â€śCoincidence and fixed point theorems in fuzzy ultrametric spaces,â€ť Azerbaijan Journal of Mathematics, vol. 3, no. 1, pp. 2218â€“6816, 2013. View at: Google Scholar
15. L. Gajić, â€śA multivalued fixed point theorem in ultrametric spaces,â€ť Matematicki Vesnik, vol. 54, no. 3-4, pp. 89â€“91, 2002. View at: Google Scholar | Zentralblatt MATH
16. L. Gajić, â€śOn ultrametric space,â€ť Novi Sad Journal of Mathematics, vol. 31, no. 2, pp. 69â€“71, 2001. View at: Google Scholar
17. B. Schweizer and A. Skala, â€śStatistical metric spaces,â€ť Pacific Journal of Mathematics, vol. 10, pp. 314â€“334, 1960. View at: Google Scholar
18. A. C. M. Van Rooij, Non-Archimedean Functional Analysis, Marcel Dekker, New York, NY, USA, 1973.

Copyright © 2013 A. F. Sayed. 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.