Journal of Function Spaces

Volume 2014 (2014), Article ID 579454, 7 pages

http://dx.doi.org/10.1155/2014/579454

Research Article

On Convergence of Fixed Points in G-Complete Fuzzy Metric Spaces

Dong Qiu and Shuai Deng

College of Mathematics and Physics, Chongqing University of Posts and Telecommunications, Nanan, Chongqing 400065, China

Received 14 January 2014; Accepted 19 June 2014; Published 20 July 2014

Academic Editor: Liviu Cădariu

Copyright © 2014 Dong Qiu and Shuai Deng. 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.

We provide some results on the convergence of the sequence of fixed points for some different sequences of contraction mappings or fuzzy metrics in G-complete fuzzy metric spaces with the H-type t-norms. We improve the corresponding conclusions in the literature.

1. Introduction

In 1940, Ulam [1] proposed the following stability problem: “When is it true that a function which satisfies some functional equation approximately must be close to one satisfying the equation exactly?” This problem posed by Ulam has stimulated a long lasting interest in a particular stability of various types of equations and inequalities. That issue is sometimes called Ulam's type stability. In the recent past, several Ulam stability results concerning the various functional equations were determined in [2–4], respectively, in the fuzzy and intuitionistic fuzzy normed spaces.

The concept of fuzzy sets was introduced initially by Zadeh [5] in 1965. After that, to use this concept in topology and analysis many authors have expansively developed the theory of fuzzy sets and applications. In the theory of fuzzy topological spaces, one of the main problems is to obtain an appropriate and consistent notion of a fuzzy metric space. This problem was investigated by many authors from different points of view [6–16]. Kramosil and Michalek [7] gave a notion of fuzzy metric space which could be considered as a reformulation, in the fuzzy context, of the notion of probabilistic metric space due to Menger [17]. Later, George and Veeramani [18] introduced and studied a notion of fuzzy metric space which constitutes a modification of the one due to Kramosil and Michalek.

These fuzzy metric spaces have been widely accepted as an appropriate notion of metric fuzziness in the sense that it provides rich topological structures which can be obtained, in many cases, from classical theorems. Further, these fuzzy metric spaces have very important applications in studying fixed point theorems [17, 19–28]. In [29], Shen et al. have shown that the convergence of the sequence of fixed points to some sequences of contraction mappings or fuzzy metrics satisfies certain conditions in fuzzy metric spaces. However, they have given the most of results in [29] only for the two specific -norms, minimum -norm and product -norm.

In this paper, we will provide some improved results on convergence of fixed points in G-complete fuzzy metric spaces. Specifically, after redefining some basic concepts of [29] in Section 2, we will generalize the results in [29] to the G-complete fuzzy metric spaces with an H-type -norm in Section 3. Since the H-type -norms are very important and widely used in fuzzy fixed point theory [17, 20, 24, 30, 31], our results improve the corresponding conclusions in the literature.

2. Preliminaries

For the sake of completeness, we briefly recall some notions from the theory of fuzzy metric spaces used in this paper. Let denote the set of all positive integers.

Definition 1 (see [32]). A triangular norm (-norm for short) is a binary operation on the unit interval , that is, a function , such that for all the following four axioms are satisfied:

(T-1) (boundary condition).(T-2) whenever and (monotonicity).(T-3) (commutativity).(T-4) (associativity).

A -norm is said to be continuous if it is a continuous function in . Examples of -norms are and .

Definition 2 (see [30]). A -norm is of H-type if the family is equicontinuous at the point , where is defined by

It is obvious that is an H-type -norm. In fact, there are innumerable H-type -norms [30].

Lemma 3 (see [31]). Let be a -norm. If is continuous and of H-type, then there exists a strictly increasing sequence from the interval such that and .

In [29], Shen et al. redefined the notion of fuzzy metric space by appending the following condition (FM-6) based on the one in the sense of George and Veeramani [18].

Definition 4 (see [33]). The 3-tuple is said to be a fuzzy metric space if is an arbitrary nonempty set, is a continuous -norm, and is a fuzzy set on satisfying the following conditions, for all :

(FM-1),(FM-2) if and only if ,(FM-3),(FM-4),(FM-5) is continuous,(FM-6).

Definition 5 (see [7, 29]). Let be a fuzzy metric space. Then

(a)a sequence in is said to converge to in if and only if for all ; that is, for each and , there exists an such that for all ;(b)a sequence in is a G-Cauchy sequence if and only if for any and ;(c)the fuzzy metric space is called G-complete if every G-Cauchy sequence is convergent.

Definition 6 (see [7]). Let be a fuzzy metric space. A mapping is called a contraction mapping if there exists such that

for every and .

Lemma 7. Let be a G-complete fuzzy metric space. If is a contraction mapping, then has a unique fixed point.

Definition 8. Let be a fuzzy metric space and let be a sequence of self-mappings of . is a given mapping. The sequence is said to converge pointwise to if converge to for each ; that is, for any , , and , there exists an such that

for all .

Definition 9 (see [29]). Let be a fuzzy metric space and let be a sequence of self-mappings of . is a given mapping. The sequence is said to converge uniformly to if for each and , there exists an such that

for all and .

Definition 10. Let be a fuzzy metric space. A sequence of self-mappings is uniformly equicontinuous if for each and , there exists an such that whenever for all and .

Definition 11 (see [18]). Let be a fuzzy metric space. The open ball and the closed ball with center and radius and , respectively, are defined as follows:

Lemma 12 (see [18]). Every open (closed) ball is an open (closed) set.

Definition 13. A fuzzy metric space is a compact space if is a compact topological space, where is a topology induced by the fuzzy metric .

Lemma 14 (see [33]). Every closed subset of a compact fuzzy metric space is compact.

Definition 15 (see [33]). A fuzzy metric space in which every point has a compact neighborhood is called locally compact.

Definition 16 (see [34, 35]). Let be a -norm and . Define the pseudodifference by

Definition 17. Let be a fuzzy metric space and let be a sequence of fuzzy metrics with respect to the same -norm on . The sequence is said to upper semiconverge uniformly to if for each and , there exists an such that

for all .

3. Main Results

Theorem 18. Let be a fuzzy metric space and let be a sequence of self-mappings of . is a contraction mapping; that is, there exists a such that for every and . is a compact subset of . If converges pointwise to in and it is a uniformly equicontinuous sequence, then the sequence converges uniformly to in .

Proof. For each , we may choose an appropriate such that

At the same time, for any fixed , since is uniformly equicontinuous, there exists such that

whenever , for all and . Now define the open covering of as

Since is compact, there exist , such that

Since converges pointwise to in , for each , there exists such that

for all . Set . For any , there exists an such that . Now for all , we have that

By the arbitrariness of and , we get that the sequence converges uniformly to in .

Theorem 19. Let be a G-complete fuzzy metric space and let be a sequence of self-mappings of , where the -norm is of H-type. is a contraction mapping; that is, there exists a such that for every and , and then has a unique fixed point . If there exists at least one fixed point for each and the sequence converges uniformly to , then converges to .

Proof. Since is of H-type, by Lemma 3 there exists a strictly increasing sequence from the interval such that and .

Suppose that does not converge to . Thus, without loss of generality, we can suppose that there exists and such that

for all . Let be a given number in . According to the condition (FM-6) of Definition 4, for any , we can find a such that

In addition, since the sequence converges uniformly to , there exists an such that

for all and . Now for , we get that

Since

by the monotonicity of fuzzy metric with respect to , we have that

Thus from inequality (15) and inequality (17), we get

But since is of H-type and , inequality (20) is a contradiction. Thence, we get that converges to .

Theorem 20. Let be a G-complete fuzzy metric space. If is a self-mapping of such that the iteration mapping is a contraction mapping for a certain positive integer , then has a unique fixed point.

Proof. Without loss of generality, we suppose . Since is a contraction mapping, by Lemma 7, has a unique fixed point . Thus and which implies . It follows that ; that is, is a fixed point of . If for some , then we can get that which implies . Thus has a unique fixed point.

Theorem 21. Let be a G-complete fuzzy metric space and let be a sequence of self-mappings of , where the -norm is of H-type. Suppose that is a self-mapping such that is a contraction mapping for a certain positive integer . If there exists at least one fixed point for each and the sequence converges uniformly to , then converges to .

Proof. It is a corollary of Theorems 19 and 20.

Theorem 22. Let be a locally compact fuzzy metric space and let be a sequence of self-mappings of , where the -norm is of H-type. is a contraction mapping; that is, there exists a such that for every and . If the following conditions are satisfied:

(i) is a contraction mapping for a certain number ,(ii) converges pointwise to and it is a uniformly equicontinuous sequence,(iii),

then converges to .

Proof. Since is of H-type, by Lemma 3 there exists a strictly increasing sequence from the interval such that and . Since is a locally compact space, for the given point , we can choose a and an such that and the closed ball is a compact set of . Since is uniformly equicontinuous and pointwise convergent on , by Theorem 18, converges uniformly to on . Thus there exists such that

for all and . Consequently, for all and , we have that

Then we have , and then by inductive reasoning for all whenever and . Especially, is an invariant set for whenever . It follows that the fixed point of is contained in the set whenever . Now by Theorem 19, we get that converges to .

Theorem 23. Let be a G-complete fuzzy metric space and let be a compact subset of . If is a sequence of fuzzy metrics of with respect to and is a sequence of self-mappings of satisfying the following conditions:

(i) upper semiconverges uniformly to ,(ii) is a contraction mapping with respect to the fuzzy metric for ,(iii) converges pointwise to with respect to ,

then converges uniformly to in with respect to the fuzzy metric .

Proof. For each , we can choose an such that

Since upper semiconverges uniformly to , for and , there exists such that

for all and . It should be noted that

because of the continuity of .

Now for any satisfying and , we get that

where is the constant in Definition 6 for . By the monotonicity of fuzzy metric with respect to , we have that

Now from inequality (26), for , we get that

whenever . Thus is uniformly equicontinuous in with respect to the fuzzy metric . Since is a compact subset of and converges pointwise to with respect to , it follows from Theorem 18 that converges uniformly to in with respect to the fuzzy metric .

Theorem 24. Let be a locally compact fuzzy metric space where the -norm is of H-type. is a contraction mapping; that is, there exists a such that for every and . If is a sequence of fuzzy metrics of with respect to and is a sequence of self-mappings of satisfying the following conditions:

(i) upper semiconverges uniformly to ;(ii) is a contraction mapping with respect to the fuzzy metric and for ;(iii) converges pointwise to with respect to .

Then the sequence of fixed points converges to .

Proof. Since is of H-type, by Lemma 3 there exists a strictly increasing sequence from the interval such that and . Since is a locally compact space, for the given point , we can choose a and an such that and the closed ball is a compact set of .

It follows form Theorem 23 that converges uniformly to in with respect to the fuzzy metric . Thus there exists such that

for all and .

Meantime, since upper semiconverges uniformly to , for and , there exists such that

for all and . Let . If and , then we have that and . This implies that because is of H-type and

Thus, we have

for all . But for , it is easy to see that

because

Therefore, we get , for all . Now for and , we have

Then we have , which implies that is an invariant set in with respect to for . It follows that the fixed point of is contained in the set whenever . Now by Theorem 19, we get that converges to .

Theorem 25. Let be a compact fuzzy metric space where the -norm is of H-type. is a sequence of fuzzy metrics of with respect to and is a sequence of self-mappings of satisfying the following conditions:

(i) upper semiconverges uniformly to ;(ii) is a contraction mapping with respect to the fuzzy metric for ;(iii) converges pointwise to with respect to .

If is the fixed point of and there is a subsequence of which converges to , then .

Proof. Since is of H-type, by Lemma 3, there exists a strictly increasing sequence from the interval such that and .

Let be the closure of the set . By Lemma 14, we can easily know that is a compact set. According to Theorem 23, it follows that the subsequence converges uniformly to in with respect to ; that is, for each and , there exists an such that for all and . Now for , we have that

where is the constant in Definition 6 for . Thus converges to . Then .

Example 26. Let be a strictly increasing sequence from the interval , and let , for all . Since , by Lemma 3 in [36], the ordinal sum is an H-type -norm. Let . Define a fuzzy set on by

for all and . Then we can get that is a G-complete fuzzy metric space. Let be a mapping defined by for all , and let be a sequence of self-mappings of defined by

for all and . By some simple calculations, we can get that is a contraction mapping and converges uniformly to . Thus by Theorem 19, we obtain that the sequence of fixed point of converges to the fixed point of . In fact, we have that and

for all .

4. Conclusions

In this paper, we provide some results on the convergence of the sequence of fixed points for some different sequences of contraction mappings or fuzzy metrics in G-complete fuzzy metric spaces with the H-type -norms. We improve the corresponding conclusions in the literature. The first solution to the Ulam problem was obtained through a classical approach known from the fixed point theory, by iteration of a simple operator. Later it has been shown that some fixed point theorems can be directly applied in investigations of Ulam's type stability. Thus we hope our results would provide a background to ongoing work in the problems of those related fields.

Conflict of Interests

The authors have no conflicts of interests regarding this paper.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (Grant no. 11201512), the Natural Science Foundation Project of CQ CSTC (cstc2012jjA00001), and the Science and Technology Project of Chongqing Municipal Education Committee of China (Grant no. KJ120520, KJ1400426).

References

S. M. Ulam, A Collection of the Mathematical Problems, Interscience, New York, NY, USA, 1960.

A. S. Al-Fhaid and S. A. Mohiuddine, “On the Ulam stability of mixed type QA mappings in IFN-spaces,” Advances in Difference Equations, vol. 2013, article 203, 2013.

M. Eshaghi Gordji, H. Azadi Kenary, H. Rezaei, Y. W. Lee, and G. H. Kim, “Solution and Hyers-Ulam-Rassias stability of generalized mixed type additive-quadratic functional equations in fuzzy Banach spaces,” Abstract and Applied Analysis, vol. 2012, Article ID 953938, 22 pages, 2012.

Z. Wang and W. Zhang, “Fuzzy stability of the pexiderized quadratic functional equation: a fixed point approach,” Fixed Point Theory and Applications, vol. 2009, Article ID 460912, 10 pages, 2009.

L. A. Zadeh, “Fuzzy sets,” Information and Computation, vol. 8, pp. 338–353, 1965.

B. Ghil and Y. Kim, “Continuity of functions defined on the space of fuzzy sets,” Information Sciences, vol. 157, pp. 155–165, 2003.

I. Kramosil and J. Michalek, “Fuzzy metrics and statistical metric spaces,” Kybernetika, vol. 11, no. 5, pp. 326–334, 1975.

V. Gregori and S. Romaguera, “Some properties of fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 115, no. 3, pp. 485–489, 2000.

H. Huang and C. Wu, “On the triangle inequalities in fuzzy metric spaces,” Information Sciences, vol. 177, no. 4, pp. 1063–1072, 2007.

O. Kaleva and S. Seikkala, “On fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 12, no. 3, pp. 215–229, 1984.

M. L. Puri and D. A. Ralescu, “Fuzzy random variables,” Journal of Mathematical Analysis and Applications, vol. 114, no. 2, pp. 409–422, 1986.

D. Qiu, C. Lu, W. Zhang, and Y. Mo, “On common fixed point theorems in the stationary fuzzy metric space of the bounded closed sets,” Abstract and Applied Analysis, vol. 2013, Article ID 951259, 11 pages, 2013.

D. Qiu and W. Zhang, “The strongest t-norm for fuzzy metric spaces,” Kybernetika, vol. 49, no. 1, pp. 141–148, 2013.

D. Qiu, W. Zhang, and C. Li, “Extension of a class of decomposable measures using fuzzy pseudometrics,” Fuzzy Sets and Systems, vol. 222, pp. 33–44, 2013.

D. Qiu, W. Zhang, and C. Li, “On decomposable measures constructed by using stationary fuzzy pseudo-ultrametrics,” International Journal of General Systems, vol. 42, no. 4, pp. 395–404, 2013.

R. Saadati, “On the L-fuzzy topological spaces,” Chaos, Solitons & Fractals, vol. 37, no. 5, pp. 1419–1426, 2008.

D. Miheţ, “Fuzzy Ψ-contractive mappings in non-Archimedean fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 159, no. 6, pp. 739–744, 2008.

A. George and P. Veeramani, “On some results in fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 64, no. 3, pp. 395–399, 1994.

H. M. Abu-Donia, “Common fixed point theorems for fuzzy mappings in metric space under -contraction condition,” Chaos, Solitons & Fractals, vol. 34, no. 2, pp. 538–543, 2007.

I. Altun and D. Miheţ, “Ordered non-archimedean fuzzy metric spaces and some fixed point results,” Fixed Point Theory and Applications, vol. 2010, Article ID 782680, 11 pages, 2010.

T. Bag and S. Samanta, “Fixed point theorems on fuzzy normed linear spaces,” Information Sciences, vol. 176, no. 19, pp. 2910–2931, 2006.

T. Bag and S. K. Samanta, “Some fixed point theorems in fuzzy normed linear spaces,” Information Sciences, vol. 177, no. 16, pp. 3271–3289, 2007.

A. George and P. Veeramani, “On some results of analysis for fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 90, no. 3, pp. 365–368, 1997.

D. Miheţ, “On fuzzy ε-contractive mappings in fuzzy metric spaces,” Fixed Point Theory and Applications, vol. 2007, Article ID 87471, 5 pages, 2007.

D. Qiu, L. Shu, and J. Guan, “Common fixed point theorems for fuzzy mappings under ϕ-contraction condition,” Chaos, Solitons and Fractals, vol. 41, no. 1, pp. 360–367, 2009.

A. Razani, “A contraction theorem in fuzzy metric spaces,” Fixed Point Theory and Applications, vol. 3, pp. 257–265, 2005.

X. Zhang, “Common fixed point theorems for some new generalized contractive type mappings,” Journal of Mathematical Analysis and Applications, vol. 333, no. 2, pp. 780–786, 2007.

M. Grabiec, “Fixed points in fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 27, no. 3, pp. 385–389, 1988.

R. Vasuki and P. Veeramani, “Fixed point theorems and Cauchy sequences in fuzzy metric spaces,” Fuzzy Sets and Systems, vol. 135, no. 3, pp. 415–417, 2003.

E. Pap, O. Hadžió, and R. Mesiar, “A fixed point theorem in probabilistic metric spaces and an application,” Journal of Mathematical Analysis and Applications, vol. 202, no. 2, pp. 433–449, 1996.

V. Radu, Lectures on Probabilistic Analysis, vol. 2 of Surveys, Lectures Notes and Monographs Series on Probability, Statistics & Applied Mathematics, Universitatea de Vest din Timiçoara, 1994.

E. Klement, R. Mesiar, and E. Pap, Triangular Norms, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2000.

Y. Shen, D. Qiu, and W. Chen, “On convergence of fixed points in fuzzy metric spaces,” Abstract and Applied Analysis, vol. 2013, Article ID 135202, 6 pages, 2013.

D. Qiu, W. Zhang, and C. Li, “On nonlinear functional spaces based on triangular conorms,” Journal of Mathematical Analysis and Applications, vol. 397, no. 2, pp. 671–677, 2013.

S. Weber, “⊥-decomposable measures and integrals for Archimedean t-conorms ⊥,” Journal of Mathematical Analysis and Applications, vol. 101, no. 1, pp. 114–138, 1984.

O. Hadzic and E. Pap, Fixed point theory in probabilistic metric spaces, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2001.