Open Access

Browder's Fixed Point Theorem and Some Interesting Results in Intuitionistic Fuzzy Normed Spaces

Fixed Point Theory and Applications20102010:642303

https://doi.org/10.1155/2010/642303

Received: 18 August 2010

Accepted: 11 November 2010

Published: 29 November 2010

Abstract

We define and study Browder's fixed point theorem and relation between an intuitionistic fuzzy convex normed space and a strong intuitionistic fuzzy uniformly convex normed space. Also, we give an example to show that uniformly convex normed space does not imply strongly intuitionistic fuzzy uniformly convex.

1. Introduction

In recent years, the fuzzy theory has emerged as the most active area of research in many branches of mathematics and engineering. Fuzzy set theory is a powerful hand set for modelling uncertainty and vagueness in various problems arising the field of science and engineering. Now a large number of research papers appear by using the concept of fuzzy set/numbers, and fuzzification of many classical theories has also been made. It has also very useful applications in various fields, for example, nonlinear operator [1], stability problem [2, 3], and so forth. The fuzzy topology [48] proves to be a very useful tool to deal with such situations where the use of classical theories breaks down. One of the most important problems in fuzzy topology is to obtain an appropriate concept of an intuitionistic fuzzy metric space and an intuitionistic fuzzy normed space. These problems have been investigated by Park [9] and Saadati and Park [10], respectively, and they introduced and studied a notion of an intuitionistic fuzzy normed space. The topic of fuzzy topology has important applications as quantum particle physics. On the other hand, these problems are also important in modified fuzzy spaces [1114].

There are many situations where the norm of a vector is not possible to find and the concept of intuitionistic fuzzy norm [10, 1517] seems to be more suitable in such cases, that is, we can deal with such situations by modelling the inexactness through the intuitionistic fuzzy norm.

Schauder [18] introduced the fixed point theorem, and since then several generalizations of this concept have been investigated by various authors, namely, Kirk [19], Baillon [20], Browder [21, 22] and many others. Recently, fuzzy version of various fixed point theorems was discussed in [18, 2328] and also its relations were investigated in [7, 29].

Quite recently the concepts of -intuitionistic fuzzy compact set and strongly intuitionistic fuzzy uniformly convex normed space are studied, and Schauder fixed point theorem in intuitionistic fuzzy normed space is proved in [30]. As a consequence of Theorem   4.1 [30] and Browder's theorems [26, 27] in crisp normed linear space we have Browder's theorems in intuitionistic fuzzy normed space. Also we give relation between an intuitionistic fuzzy uniformly convex normed space and a strongly intuitionistic fuzzy uniformly convex normed space. Furthermore, we construct an example to show that intuitionistic fuzzy uniformly convex normed space does not imply strongly intuitionistic fuzzy uniformly convex.

Definition 1.1.

A binary operation is said to be a continuous -norm if it satisfies the following conditions:

(a) is associative and commutative; (b) is continuous; (c) for all ; (d) whenever and for each .

Definition 1.2.

A binary operation is said to be a continuous -conorm if it satisfies the following conditions:

is associative and commutative; is continuous; for all ; whenever and for each . Using the notions of continuous -norm and -conorm, Saadati and Park [10] have recently introduced the concept of intuitionistic fuzzy normed space as follows.

Definition 1.3.

The five-tuple is said to be intuitionistic fuzzy normed spaces (for short, IFNS) if is a vector space, is a continuous -norm, is a continuous -conorm, and are fuzzy sets on satisfying the following conditions. For every and , (i) , (ii) , (iii) if and only if , (iv) for each , (v) , (vi) is continuous, (vii) and , (viii) , (ix) if and only if , (x) for each , (xi) , (xii) is continuous and (xiii) and . In this case is called an intuitionistic fuzzy norm.

The concepts of convergence and Cauchy sequences in an intuitionistic fuzzy normed space are studied in [10].

Definition 1.4.

Let be an IFNS. Then, a sequence is said to be intuitionistic fuzzy convergent to if and for all . In this case we write or as .

Definition 1.5.

Let be an IFNS. Then, is said to be intuitionistic fuzzy Cauchy sequence if and for all and .

Definition 1.6.

Let be an IFNS. Then is said to be complete if every intuitionistic fuzzy Cauchy sequence in is intuitionistic fuzzy convergent in .

Definition 1.7 (see [2]).

Let be an IFNS with the condition
(1.1)

Let , for all . Then is an ascending family of norms on . These norms are called -norms on corresponding to intuitionistic fuzzy norm .

It is easy to see the following.

Proposition 1.8.

Let be an IFNS satisfying (1.1), and let be a sequence in . Then and if and only if for all .

Proposition 1.9 (see [25]).

Let be an IFNS satisfying (1.1). Then a subset of is -intuitionistic fuzzy bounded if and only if is bounded with respect to , for all , where denotes the -norm of .

Recently, [1, 29] introduced the concept of strong and weak intuitionistic fuzzy continuity as well as strong and weak intuitionistic fuzzy convergent.

Some notations and results which will be used in this paper [25] are given below.

(i)The linear space and is an intuitionistic fuzzy normed space with respect to the intuitionistic fuzzy norm defined as
(1.2)

satisfying (1.1) condition and , for all .

(ii)If is a intuitionistic fuzzy normed space, then denotes the set of all linear functions from to which are bounded as linear operators from to , where and denote -norms of and , respectively.

(iii) is clearly the first dual space of for .

Definition 1.10.

Let be an intuitionistic fuzzy normed space satisfying (1.1), and let be the intuitionistic fuzzy normed space defined in the above remark. A sequence is said to be -intuitionistic fuzzy weakly convergent and converges to if for all and for all (dual space with respect to ), , that is
(1.3)

for all .

Definition 1.11 (see [25]).

Let be an IFNS. A mapping is said to be intuitionistic nonexpansive if
(1.4)

for all , for all .

2. Browder's Theorems and Some Results in IFNS

In this section, we discuss the idea of fuzzy type of some Browder's fixed point theorems in intuitionistic fuzzy normed space by [26, 27]. As a consequence of Theorem 4.1 [30] and Browder's theorems [26, 27] in crisp normed linear space we have Browder's theorems in intuitionistic fuzzy normed space.

Theorem 2.1.

Let be a nonempty -intuitionistic fuzzy weakly compact convex subset of a strong intuitionistic fuzzy uniformly convex normed space satisfying (1.1). Then every intuitionistic fuzzy nonexpansive mapping has a fixed point.

Theorem 2.2.

Let be a strong intuitionistic fuzzy uniformly convex normed space satisfying (1.1). Let be an -intuitionistic fuzzy bounded and -intuitionistic fuzzy closed convex subset of , and let be an intuitionistic fuzzy nonexpansive mapping of into . Suppose that for , as strongly intuitionistic fuzzy convergent while as -intuitionistic fuzzy weakly convergent. Then .

Now, we give relation between a intuitionistic fuzzy uniformly convex normed space and a strongly intuitionistic fuzzy uniformly convex normed space.

Proposition 2.3.

If is a strong intuitionistic fuzzy uniformly convex normed space, then it is a intuitionistic fuzzy uniformly convex normed space.

Proof.

Recall that is said to be strong intuitionistic fuzzy uniformly convex if for each , there exists such that . For all , where
(2.1)
and together with
(2.2)
and also is said to be intuitionistic fuzzy uniformly convex by Definition 1.7 if for each , there exists such that
(2.3)
for all , where
(2.4)
Suppose that is strong intuitionistic fuzzy uniformly convex normed space. Choose and such that . Now, implies that
(2.5)

for all .

Case 2.4.

If for some (say) ,
(2.6)
then
(2.7)

Case 2.5.

If for some (say) , implies that there exists a sequence with , and with , , for all
(2.8)
For (2.7), (2.8) we get that implies and . Similarly, implies and . Now, implies
(2.9)
there exists (say) such that
(2.10)
and . We claim that
(2.11)
If possible suppose that and implies that there exists a sequence with such that and with such that and , for all and , for all and
(2.12)
for all and
(2.13)
for all
(2.14)
, a contradiction. Thus
(2.15)
Now from above we get that, implies
(2.16)
(2.17)
such that the idea of strong uniform convexity of
(2.18)
(2.19)
for all
(2.20)
for all
(2.21)
Now for any positive number (say) we get
(2.22)
Thus,
(2.23)
implies that
(2.24)
for all
(2.25)
for all
(2.26)
for all
(2.27)
for all
(2.28)
for all
(2.29)
for all
(2.30)

From (2.21), (2.30), we get that, implies , for any , for any that is . Hence, we have . So is intuitionistic fuzzy uniformly convex.

Remark 2.6.

However, the reverse of this Proposition 2.3 is untrue. This fact can be seen in the following example.

Let ( is the set of all real numbers). Suggest two norms on as the following: and , where . Clearly , for all , and it can be easily verified that is uniformly convex with regard to . Define a function and by
(2.31)
It can be easily verified that is a intuitionistic fuzzy norm on . Now,
(2.32)
Thus is intuitionistic fuzzy uniformly convex normed space. So, since this is not uniformly convex with regard to , therefore there exists such that for all we have such that,
(2.33)
Now, and . Reversely, and and , for . Hence
(2.34)
Again,
(2.35)

So, and . We suggest that and . If ,

, , , for , , for , for ; however this is a contradiction that is
(2.36)
Otherwise , , , and thus
(2.37)
By (2.36) and (2.37) we get
(2.38)
Again
(2.39)
Hence with (2.35), (2.36), (2.37), (2.38), and (2.39) we have
(2.40)
but
(2.41)

Moreover but that is . However is not a uniformly convex intuitionistic fuzzy normed space.

3. Conclusion

We studied here the concept of intuitionistic fuzzy normed space as an extension of the fuzzy normed space, which provides a larger setting to deal with the uncertainly and vagueness in natural problems arising in many branches of science and engineering. In this new setup we established Browder's fixed point theorem and some interesting results in intuitionistic fuzzy normed space which could be very useful tools in the development of fuzzy set theory.

Authors’ Affiliations

(1)
Department of Mathematics, Yuzuncu Yil University

References

  1. Mursaleen M, Mohiuddine SA: Nonlinear operators between intuitionistic fuzzy normed spaces and Fréchet derivative. Chaos, Solitons and Fractals 2009,42(2):1010–1015. 10.1016/j.chaos.2009.02.041MathSciNetView ArticleMATHGoogle Scholar
  2. Mohiuddine SA: Stability of Jensen functional equation in intuitionistic fuzzy normed space. Chaos, Solitons and Fractals 2009,42(5):2989–2996. 10.1016/j.chaos.2009.04.040MathSciNetView ArticleMATHGoogle Scholar
  3. Mursaleen M, Mohiuddine SA: On stability of a cubic functional equation in intuitionistic fuzzy normed spaces. Chaos, Solitons and Fractals 2009,42(5):2997–3005. 10.1016/j.chaos.2009.04.041MathSciNetView ArticleMATHGoogle Scholar
  4. Erceg MA: Metric spaces in fuzzy set theory. Journal of Mathematical Analysis and Applications 1979,69(1):205–230. 10.1016/0022-247X(79)90189-6MathSciNetView ArticleMATHGoogle Scholar
  5. Kaleva O, Seikkala S: On fuzzy metric spaces. Fuzzy Sets and Systems 1984,12(3):215–229. 10.1016/0165-0114(84)90069-1MathSciNetView ArticleMATHGoogle Scholar
  6. Katsaras AK: Fuzzy topological vector spaces. II. Fuzzy Sets and Systems 1984,12(2):143–154. 10.1016/0165-0114(84)90034-4MathSciNetView ArticleMATHGoogle Scholar
  7. Saadati R, Vaezpour SM, Cho YJ: Quicksort algorithm: application of a fixed point theorem in intuitionistic fuzzy quasi-metric spaces at a domain of words. Journal of Computational and Applied Mathematics 2009,228(1):219–225. 10.1016/j.cam.2008.09.013MathSciNetView ArticleMATHGoogle Scholar
  8. Subrahmanyam PV: A common fixed point theorem in fuzzy metric spaces. Information Sciences 1995,83(3–4):109–112. 10.1016/0020-0255(94)00043-BMathSciNetView ArticleMATHGoogle Scholar
  9. Park JH: Intuitionistic fuzzy metric spaces. Chaos, Solitons and Fractals 2004,22(5):1039–1046. 10.1016/j.chaos.2004.02.051MathSciNetView ArticleMATHGoogle Scholar
  10. Saadati R, Park JH: On the intuitionistic fuzzy topological spaces. Chaos, Solitons and Fractals 2006,27(2):331–344. 10.1016/j.chaos.2005.03.019MathSciNetView ArticleMATHGoogle Scholar
  11. Goudarzi M, Vaezpour SM, Saadati R: On the intuitionistic fuzzy inner product spaces. Chaos, Solitons and Fractals 2009,41(3):1105–1112. 10.1016/j.chaos.2008.04.040MathSciNetView ArticleMATHGoogle Scholar
  12. Jain S, Jain S, Bahadur Jain L: Compatibility of type (P) in modified intuitionistic fuzzy metric space. Journal of Nonlinear Science and Its Applications 2010,3(2):96–109.MathSciNetMATHGoogle Scholar
  13. Saadati R, Sedghi S, Shobe N: Modified intuitionistic fuzzy metric spaces and some fixed point theorems. Chaos, Solitons and Fractals 2008,38(1):36–47. 10.1016/j.chaos.2006.11.008MathSciNetView ArticleMATHGoogle Scholar
  14. Shakeri S: Intuitionistic fuzzy stability of Jensen type mapping. Journal of Nonlinear Science and Its Applications 2009,2(2):105–112.MathSciNetMATHGoogle Scholar
  15. Mohiuddine SA, Lohani QMD: On generalized statistical convergence in intuitionistic fuzzy normed space. Chaos, Solitons and Fractals 2009,42(3):1731–1737. 10.1016/j.chaos.2009.03.086MathSciNetView ArticleMATHGoogle Scholar
  16. Mursaleen M, Mohiuddine SA: Statistical convergence of double sequences in intuitionistic fuzzy normed spaces. Chaos, Solitons and Fractals 2009,41(5):2414–2421. 10.1016/j.chaos.2008.09.018MathSciNetView ArticleMATHGoogle Scholar
  17. Mursaleen M, Mohiuddine SA: On lacunary statistical convergence with respect to the intuitionistic fuzzy normed space. Journal of Computational and Applied Mathematics 2009,233(2):142–149. 10.1016/j.cam.2009.07.005MathSciNetView ArticleMATHGoogle Scholar
  18. Schauder J: Der Fixpunktsatz in Funktionalraumen. Studia Mathematica 1930, 2: 171–180.MATHGoogle Scholar
  19. Kirk WA: A fixed point theorem for mappings which do not increase distances. The American Mathematical Monthly 1965, 72: 1004–1006. 10.2307/2313345MathSciNetView ArticleMATHGoogle Scholar
  20. Baillon J-B, Schöneberg R: Asymptotic normal structure and fixed points of nonexpansive mappings. Proceedings of the American Mathematical Society 1981,81(2):257–264. 10.1090/S0002-9939-1981-0593469-1MathSciNetView ArticleMATHGoogle Scholar
  21. Browder FE: Nonexpansive nonlinear operators in a Banach space. Proceedings of the National Academy of Sciences of the United States of America 1965, 54: 1041–1044. 10.1073/pnas.54.4.1041MathSciNetView ArticleMATHGoogle Scholar
  22. Browder FE: Semicontractive and semiaccretive nonlinear mappings in Banach spaces. Bulletin of the American Mathematical Society 1968, 74: 660–665. 10.1090/S0002-9904-1968-11983-4MathSciNetView ArticleMATHGoogle Scholar
  23. Bag T, Samanta SK: Finite dimensional fuzzy normed linear spaces. Journal of Fuzzy Mathematics 2003,11(3):687–705.MathSciNetMATHGoogle Scholar
  24. Bag T, Samanta SK: Fuzzy bounded linear operators. Fuzzy Sets and Systems 2005,151(3):513–547. 10.1016/j.fss.2004.05.004MathSciNetView ArticleMATHGoogle Scholar
  25. Bag T, Samanta SK: Some fixed point theorems in fuzzy normed linear spaces. Information Sciences 2007,177(16):3271–3289. 10.1016/j.ins.2007.01.027MathSciNetView ArticleMATHGoogle Scholar
  26. Chitra A, Subrahmanyam PV: Fuzzy sets and fixed points. Journal of Mathematical Analysis and Applications 1987,124(2):584–590. 10.1016/0022-247X(87)90016-3MathSciNetView ArticleMATHGoogle Scholar
  27. Gregori V, Romaguera S: Fixed point theorems for fuzzy mappings in quasi-metric spaces. Fuzzy Sets and Systems 2000,115(3):477–483. 10.1016/S0165-0114(98)00368-6MathSciNetView ArticleMATHGoogle Scholar
  28. Heilpern S: Fuzzy mappings and fixed point theorem. Journal of Mathematical Analysis and Applications 1981,83(2):566–569. 10.1016/0022-247X(81)90141-4MathSciNetView ArticleMATHGoogle Scholar
  29. Mohiuddine SA, Şevli H, Cancan M: Statistical convergence in fuzzy 2-normed space. Journal of Computational Analysis and Applications 2010,12(4):787–798.MathSciNetMATHGoogle Scholar
  30. Mohiuddine SA, Cancan M, Sevli H: Schauder fixed point theorem and some related concepts in intuitionistic fuzzy normed spaces. submittedGoogle Scholar

Copyright

© M. Cancan. 2010

This article is published under license to BioMed Central Ltd. 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.