# A note on IFN-spaces

## 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.

## 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=ab$ 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$) $μ(cx,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=ab$ 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=ab$ 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) 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), 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.

## References

1. 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.019

2. 2.

Atanassov KT: Intuitionistic fuzzy sets. Fuzzy Sets Syst. 1986, 20(1):87-96. 10.1016/S0165-0114(86)80034-3

3. 3.

Saadati R, Vaezpour SM: Some results on fuzzy Banach spaces. J. Appl. Math. Comput. 2005, 17(1-2):475-484. 10.1007/BF02936069

4. 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.026

5. 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 203

6. 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 141

## Author information

Authors

### Corresponding author

Correspondence to Choonkil Park.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors carried out the proof. All authors conceived of the study, and participated in its design and coordination. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Saadati, R., Park, C. A note on IFN-spaces. Adv Differ Equ 2014, 63 (2014). https://doi.org/10.1186/1687-1847-2014-63