- Research Article
- Open access
- Published:
Browder's Fixed Point Theorem and Some Interesting Results in Intuitionistic Fuzzy Normed Spaces
Fixed Point Theory and Applications volume 2010, Article number: 642303 (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 [4–8] 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 [11–14].
There are many situations where the norm of a vector is not possible to find and the concept of intuitionistic fuzzy norm [10, 15–17] 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, 23–28] 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
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
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
for all.
Definition 1.11 (see [25]).
Let be an IFNS. A mapping is said to be intuitionistic nonexpansive if
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
and together with
and also is said to be intuitionistic fuzzy uniformly convex by Definition 1.7 if for each , there exists such that
for all , where
Suppose that is strong intuitionistic fuzzy uniformly convex normed space. Choose and such that . Now, implies that
for all .
Case 2.4.
If for some (say),
then
Case 2.5.
If for some (say), implies that there exists a sequence with , and with , , for all
For (2.7), (2.8) we get that implies and . Similarly, implies and . Now, implies
there exists (say) such that
and . We claim that
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
for all and
for all
, a contradiction. Thus
Now from above we get that, implies
such that the idea of strong uniform convexity of
for all
for all
Now for any positive number (say) we get
Thus,
implies that
for all
for all
for all
for all
for all
for all
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
It can be easily verified that is a intuitionistic fuzzy norm on . Now,
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,
Now, and . Reversely, and and , for . Hence
Again,
So, and . We suggest that and . If ,
, , , for , , for , for ; however this is a contradiction that is
Otherwise , , , and thus
By (2.36) and (2.37) we get
Again
Hence with (2.35), (2.36), (2.37), (2.38), and (2.39) we have
but
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.
References
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.041
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.040
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.041
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-6
Kaleva O, Seikkala S: On fuzzy metric spaces. Fuzzy Sets and Systems 1984,12(3):215–229. 10.1016/0165-0114(84)90069-1
Katsaras AK: Fuzzy topological vector spaces. II. Fuzzy Sets and Systems 1984,12(2):143–154. 10.1016/0165-0114(84)90034-4
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.013
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-B
Park JH: Intuitionistic fuzzy metric spaces. Chaos, Solitons and Fractals 2004,22(5):1039–1046. 10.1016/j.chaos.2004.02.051
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.019
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.040
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.
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.008
Shakeri S: Intuitionistic fuzzy stability of Jensen type mapping. Journal of Nonlinear Science and Its Applications 2009,2(2):105–112.
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.086
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.018
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.005
Schauder J: Der Fixpunktsatz in Funktionalraumen. Studia Mathematica 1930, 2: 171–180.
Kirk WA: A fixed point theorem for mappings which do not increase distances. The American Mathematical Monthly 1965, 72: 1004–1006. 10.2307/2313345
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-1
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.1041
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-4
Bag T, Samanta SK: Finite dimensional fuzzy normed linear spaces. Journal of Fuzzy Mathematics 2003,11(3):687–705.
Bag T, Samanta SK: Fuzzy bounded linear operators. Fuzzy Sets and Systems 2005,151(3):513–547. 10.1016/j.fss.2004.05.004
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.027
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-3
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-6
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-4
Mohiuddine SA, Şevli H, Cancan M: Statistical convergence in fuzzy 2-normed space. Journal of Computational Analysis and Applications 2010,12(4):787–798.
Mohiuddine SA, Cancan M, Sevli H: Schauder fixed point theorem and some related concepts in intuitionistic fuzzy normed spaces. submitted
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Cancan, M. Browder's Fixed Point Theorem and Some Interesting Results in Intuitionistic Fuzzy Normed Spaces. Fixed Point Theory Appl 2010, 642303 (2010). https://doi.org/10.1155/2010/642303
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/642303