- 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.041Mohiuddine 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.040Mursaleen 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.041Erceg MA:

**Metric spaces in fuzzy set theory.***Journal of Mathematical Analysis and Applications*1979,**69**(1):205â€“230. 10.1016/0022-247X(79)90189-6Kaleva O, Seikkala S:

**On fuzzy metric spaces.***Fuzzy Sets and Systems*1984,**12**(3):215â€“229. 10.1016/0165-0114(84)90069-1Katsaras AK:

**Fuzzy topological vector spaces. II.***Fuzzy Sets and Systems*1984,**12**(2):143â€“154. 10.1016/0165-0114(84)90034-4Saadati 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.013Subrahmanyam PV:

**A common fixed point theorem in fuzzy metric spaces.***Information Sciences*1995,**83**(3â€“4):109â€“112. 10.1016/0020-0255(94)00043-BPark JH:

**Intuitionistic fuzzy metric spaces.***Chaos, Solitons and Fractals*2004,**22**(5):1039â€“1046. 10.1016/j.chaos.2004.02.051Saadati R, Park JH:

**On the intuitionistic fuzzy topological spaces.***Chaos, Solitons and Fractals*2006,**27**(2):331â€“344. 10.1016/j.chaos.2005.03.019Goudarzi 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.040Jain 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.008Shakeri 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.086Mursaleen 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.018Mursaleen 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.005Schauder 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/2313345Baillon 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-1Browder 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.1041Browder 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-4Bag 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.004Bag 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.027Chitra 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-3Gregori 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-6Heilpern S:

**Fuzzy mappings and fixed point theorem.***Journal of Mathematical Analysis and Applications*1981,**83**(2):566â€“569. 10.1016/0022-247X(81)90141-4Mohiuddine 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