Open Access

A note on IFN-spaces

Advances in Difference Equations20142014:63

https://doi.org/10.1186/1687-1847-2014-63

Received: 26 December 2013

Accepted: 30 January 2014

Published: 11 February 2014

Abstract

Recently, Al-Fhaid and Mohiuddine (Adv. Differ. Equ. 2013:203, 2013) and Mohiuddine and Alghamdi (Adv. Differ. 2012:141, 2012) got some results in intuitionistic fuzzy normed spaces using ideas of intuitionistic fuzzy sets due to Atanassov and fuzzy normed spaces due to Saadati and Vaezpour. In this note, we show that the mentioned results follow directly from well-known theorems in fuzzy normed spaces.

MSC:54E40, 54E35, 54H25.

Keywords

fuzzy normed spaceintuitionistic fuzzy normed spacesintuitionistic fuzzy settopology

1 Introduction

Intuitionistic fuzzy normed spaces were investigated by Saadati and Park [1]. They introduced and studied intuitionistic fuzzy normed spaces based both on the idea of intuitionistic fuzzy sets due to Atanassov [2] and the concept of fuzzy normed spaces given by Saadati and Vaezpour in [3]. Next Deschrijver et al. [4] modified the concept of intuitionistic fuzzy normed spaces and introduced the notation of -fuzzy normed space. Recently, Al-Fhaid and Mohiuddine [5] and Mohiuddine and Alghamdi [6] got some results in intuitionistic fuzzy normed spaces. In this note we prove that the topology τ ( μ , ν ) generated by an intuitionistic fuzzy normed space ( X , μ , ν , , ) coincides with the topology τ μ generated by the generalized fuzzy normed space ( X , μ , ) , and thus, the results obtained in [5] and [6] are immediate consequences of the corresponding results for fuzzy normed spaces.

2 Preliminaries

A binary operation : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is a continuous t-norm if it satisfies the following conditions:
  1. (a)

    is associative and commutative,

     
  2. (b)

    is continuous,

     
  3. (c)

    a 1 = a for all a [ 0 , 1 ] ,

     
  4. (d)

    a b c d whenever a c and b d , for each a , b , c , d [ 0 , 1 ] .

     

Two typical examples of continuous t-norm are a b = a b and a b = min ( a , b ) .

A binary operation : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is a continuous t-conorm if it satisfies the following conditions:
  1. (a)

    is associative and commutative,

     
  2. (b)

    is continuous,

     
  3. (c)

    a 0 = a for all a [ 0 , 1 ] ,

     
  4. (d)

    a b c d whenever a c and b d , for each a , b , c , d [ 0 , 1 ] .

     

Two typical examples of a continuous t-conorm are a b = min ( a + b , 1 ) and a b = max ( a , b ) .

In 2005, Saadati and Vaezpour [3] introduced the concept of fuzzy normed spaces.

Definition 2.1 Let X be a real vector space. A function μ : X × R [ 0 , 1 ] is called a fuzzy norm on X if for all x , y X and all s , t R ,

( μ 1 ) μ ( x , t ) = 0 for t 0 ;

( μ 2 ) x = 0 if and only if μ ( x , t ) = 1 for all t > 0 ;

( μ 3 ) μ ( c x , t ) = μ ( x , t | c | ) if c 0 ;

( μ 4 ) μ ( x + y , s + t ) μ ( x , s ) μ ( y , t ) ;

( μ 5 ) μ ( x , ) is a non-decreasing function of and lim t μ ( x , t ) = 1 ;

( μ 6 ) for x 0 , μ ( x , ) is continuous on .

For example, if a b = a b for a , b [ 0 , 1 ] , ( X , ) is normed space and
μ ( x , t ) = t t + x

for all x , y , z X and t > 0 . Then μ is a (standard) fuzzy normed and ( X , μ , ) is a fuzzy normed space.

Saadati and Vaezpour showed in [3] that every fuzzy norm ( μ , ) on X generates a first countable topology τ μ on X which has as a base the family of open sets of the form { B μ ( x , r , t ) : x X , r ( 0 , 1 ) , t > 0 } where B μ ( x , r , t ) = { y X : μ ( x y , t ) > 1 r } for all x X , r ( 0 , 1 ) and t > 0 .

3 Intuitionistic fuzzy normed spaces

Saadati and Park [1] defined the notion of intuitionistic fuzzy normed spaces with the help of continuous t-norms and continuous t-conorms as a generalization of fuzzy normed space due to Saadati and Vaezpour [3].

Definition 3.1 The 5-tuple ( X , μ , ν , , ) is said to be an intuitionistic fuzzy normed space if X is a vector space, is a continuous t-norm, is a continuous t-conorm, and μ, ν are fuzzy sets on X × ( 0 , ) satisfying the following conditions for every x , y X and t , s > 0 :
  1. (a)

    μ ( x , t ) + ν ( x , t ) 1 ,

     
  2. (b)

    μ ( x , t ) > 0 ,

     
  3. (c)

    μ ( x , t ) = 1 if and only if x = 0 ,

     
  4. (d)

    μ ( α x , t ) = μ ( x , t | α | ) for each α 0 ,

     
  5. (e)

    μ ( x , t ) μ ( y , s ) μ ( x + y , t + s ) ,

     
  6. (f)

    μ ( x , ) : ( 0 , ) [ 0 , 1 ] is continuous,

     
  7. (g)

    lim t μ ( x , t ) = 1 and lim t 0 μ ( x , t ) = 0 ,

     
  8. (h)

    ν ( x , t ) < 1 ,

     
  9. (i)

    ν ( x , t ) = 0 if and only if x = 0 ,

     
  10. (j)

    ν ( α x , t ) = ν ( x , t | α | ) for each α 0 ,

     
  11. (k)

    ν ( x , t ) ν ( y , s ) ν ( x + y , t + s ) ,

     
  12. (l)

    ν ( x , ) : ( 0 , ) [ 0 , 1 ] is continuous,

     
  13. (m)

    lim t ν ( x , t ) = 0 and lim t 0 ν ( x , t ) = 1 .

     

In this case ( μ , ν ) is called an intuitionistic fuzzy norm.

Example 3.2 Let ( X , ) be a normed space. Denote a b = a b and a b = min ( a + b , 1 ) for all a , b [ 0 , 1 ] and let μ and ν be fuzzy sets on X × ( 0 , ) defined as follows:
μ ( x , t ) = t t + x , ν ( x , t ) = x t + x

for all t R + . Then ( X , μ , ν , , ) is an intuitionistic fuzzy normed space.

Saadati and Park proved in [1] that every intuitionistic fuzzy norm ( μ , ν ) on X generates a first countable topology τ ( μ , ν ) on X which has as a base the family of open sets of the form { B ( μ , ν ) ( x , r , t ) : x X , r ( 0 , 1 ) , t > 0 } where B ( μ , ν ) ( x , r , t ) = { y X : μ ( x y , t ) > 1 r , ν ( x y , t ) < r } for all x X , r ( 0 , 1 ) and t > 0 .

Lemma 3.3 Let ( X , μ , ν , , ) be an intuitionistic fuzzy normed space. Then, for each x X , r ( 0 , 1 ) and t > 0 , we have B ( μ , ν ) ( x , r , t ) = B μ ( x , r , t ) .

Proof It is clear that B ( μ , ν ) ( x , r , t ) B ν ( x , r , t ) .

Now, suppose that y B μ ( x , r , t ) . Then μ ( x y , t ) > 1 r , so, by condition (i) of Definition 3.1, we have
1 = μ ( x y , t ) + ν ( x y , t ) > 1 r + ν ( x y , t ) .

Hence ν ( x y , t ) < r , and consequently y B ( μ , ν ) ( x , r , t ) . The proof is finished. □

From Lemma 3.3, we deduce the following.

Theorem 3.4 Let ( X , μ , ν , , ) be an intuitionistic fuzzy normed space. Then the topologies τ ( μ , ν ) and τ μ coincide on X.

Declarations

Authors’ Affiliations

(1)
Department of Mathematics, Iran University of Science and Technology
(2)
Research Institute for Natural Sciences, Hanyang University

References

  1. Saadati R, Park JH: On the intuitionistic fuzzy topological spaces. Chaos Solitons Fractals 2006, 27(2):331-344. 10.1016/j.chaos.2005.03.019MATHMathSciNetView ArticleGoogle Scholar
  2. Atanassov KT: Intuitionistic fuzzy sets. Fuzzy Sets Syst. 1986, 20(1):87-96. 10.1016/S0165-0114(86)80034-3MATHMathSciNetView ArticleGoogle Scholar
  3. Saadati R, Vaezpour SM: Some results on fuzzy Banach spaces. J. Appl. Math. Comput. 2005, 17(1-2):475-484. 10.1007/BF02936069MATHMathSciNetView ArticleGoogle Scholar
  4. Deschrijver G, O’Regan D, Saadati R, Vaezpour SM: -Fuzzy Euclidean normed spaces and compactness. Chaos Solitons Fractals 2009, 42(1):40-45. 10.1016/j.chaos.2008.10.026MATHMathSciNetView ArticleGoogle Scholar
  5. Al-Fhaid AS, Mohiuddine SA: On the Ulam stability of mixed type QA mappings in IFN-spaces. Adv. Differ. Equ. 2013., 2013: Article ID 203Google Scholar
  6. Mohiuddine SA, Alghamdi MA: Stability of functional equation obtained through a fixed-point alternative in intuitionistic fuzzy normed spaces. Adv. Differ. Equ. 2012., 2012: Article ID 141Google Scholar

Copyright

© Saadati and Park; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.