Open access peer-reviewed chapter

A Study of Fuzzy Sequence Spaces

By Vakeel A. Khan, Mobeen Ahmad and Masood Alam

Reviewed: September 25th 2020Published: January 12th 2022

DOI: 10.5772/intechopen.94202

Downloaded: 21


The purpose of this chapter is to introduce and study some new ideal convergence sequence spaces FSJθT, FS0JθT and FS∞JθT on a fuzzy real number F defined by a compact operator T. We investigate algebraic properties like linearity, solidness and monotinicity with some important examples. Further, we also analyze closedness of the subspace and inclusion relations on the said spaces.


  • Ideal
  • J{convergence
  • J{Cauchy
  • Fuzzy number
  • Lacunary sequence
  • Compact operator

1. Introduction

The concepts of fuzzy sets were initiated by Zadeh [1], since then it has become an active area of researchers. Matloka [2] initiated the notion of ordinary convergence of a sequence of fuzzy real numbers and studied convergent and bounded sequences of fuzzy numbers and some of their properties, and proved that every convergent sequence of fuzzy numbers is bounded. Nanda [3] investigated some basic properties for these sequences and showed that the set of all convergent sequences of fuzzy real numbers form a complete metric space. Alaba and Norahun [4] studied fuzzy Ideals and fuzzy filters of pseudocomplemented semilattices Moreover, Nuray and Savas [5] extended the notion of convergence of the sequence of fuzzy real numbers to the notion of statistical convergence.

Fast [6] introduced the theory of statistical convergence. After that, and under different names, statistical convergence has been discussed in the ergodic theory, Fourier analysis and number theory. Furthermore, it was examined from the sequence space point of view and linked with summability theory. Esi and Acikgoz [7] examined almost λ-statistical convergence of fuzzy numbers. Kostyrko et al. [8] introduced ideal Jconvergence which is based on the natural density of the subsets of positive integers. Kumar and Kumar [9] extended the theory of ideal convergence to apply to sequences of fuzzy numbers. Khan et al. [10, 11, 12] studied the notion of J-convergence in intuitionistic fuzzy normed spaces. Subsequently, Hazarika [3] studied the concept of lacunary ideal convergent sequence of fuzzy real numbers. Where a lacunary sequence is an increasing integer sequence θ=krsuch that k0=0and hr=krkr1as r. The intervals are determined by θand defined by Ir=kr1kr.

We outline the present work as follows. In Section 2, we recall some basic definitions related to the fuzzy number, ideal convergent, monotonic sequence and compact operator. In Section 3, we introduce the spaces of fuzzy valued lacunary ideal convergence of sequence with the help of a compact operator and prove our maim results. In Section 4, we state the conclusion of this chapter.


2. Preliminaries

In this section, we recall some basic notion, definitions and lemma that are required for the following sections.

Definition2.1. A mapping F:Rλ=01is a real fuzzy number on the set Rassociating real number swith its grade of membership Fs. Let Cdenote the set of all closed and bounded intervals F=f1f2on the real line R. For G=g1g2in C, one define FGif and only if f1f2and g1g2. Determine a metric ρon Cby


It can be easily seen that is a partial order on Cand Cρis a complete metric space. The absolute value Fof FRλis defined by


Suppose ρ¯:Rλ×RλRbe determined as


Hence, ρ¯defines a metric on Rλ. The multiplicative and additive identity in Rλare denoted by 1¯and 0¯, respectively.

Definition2.2. A family of subsets Jof the power set PNof the natural number Nis known as an ideal if and only if the following conditions are satisfied [8]

  1. J,

  2. for every A1,A2Jone obtain A1A2J,

  3. for every A1Jand every A2A1one obtain A2J.

An ideal Jis known as non– trivial if JPNand non– trivial ideal is said to be an admissible if Jn:nN.

Lemma 1.If idealJis maximal, then for everyANwe have eitherAJorN\AJ[8].

Definition2.3. A family of subsets Hof the power set PNof the natural number Nis known as filter in if and only if following condition are satisfied [8].

  1. H,

  2. for every A1,A2Hone have A1A1H,

  3. for every A1Hand A2A1one have A2H.

Remark1. Filter associated with the ideal Jis defined by the family of sets


Definition2.4. A sequence Fkof fuzzy real numbers is known as Jconvergent to fuzzy real numbers F0if for each ε>0, the set [9].


Definition2.5. A sequence Fkis known as Jnull if there exists a fuzzy real numbers 0¯such that for each ε>0[9],


Definition2.6. A sequence Fkof fuzzy real numbers is known as J-Cauchy if there exists a subsequence Flεof Fkin such a way that for every ε>0[13],


Definition2.7. A sequence Fkis known as Jbounded if there exists a fuzzy real numbers M>0so that, the set [9].


Definition2.8. Suppose K=kiN:k1<k2<Nand Ebe a sequence space. A K– step space of Eis a sequence space [12].


The canonical pre-image of a sequence xkiλKEis a sequence ykωdefined as follows:


yis in canonical pre-image of ΛKEif yis canonical pre-image of some element xΛKE.

Definition2.9. A sequence space Eis known as monotone, if it is contains the canonical pre-images of it is step space [12].

That is, if for all infinite KNand xkEthe sequence αkxk, where αk=1for kKand αk=0otherwise, belongs to E.

Definition2.10. [12] A sequence space Eis known as convergent free, if xkEwhenever ykEand yk=0implies that xk=0for all kN.

Lemma 2.1.Every solid space is monotone [12].

Definition2.11. Suppose Uand Vare normed spaces. An operator T:UVis known as compact linear operator if [12].

  1. Tis linear

  2. Tmaps every bounded sequence xkin Uonto a sequence Txkin Vwhich has a convergent subsequence.


3. Main results

In this section, we introduce the spaces of fuzzy valued lacunary ideal convergence of sequence with the help of a compact operator and investigate some topological and algebraic properties on these spaces. We denote ωFthe class of all sequences of fuzzy real numbers and Jbe an admissible ideal of the subset of the natural numbers N.


Theorem 3.1.The sequence spaces FSJθT,FS0JθTand FSJTare linear spaces.

Proof.Suppose αand βbe scalars, and assume that F=Fk, G=gkFSJθT. Since Fk,GkFSJθT. Then for a given ε>0, there exists F1,F2in such a manner that




Now, let


be such that A1c,A2cJ. Therefore, the set


Thus, the sets on right hand side of (2) belong to HJ. Therefore A3cbelongs to J. Therefore, αFk+βGkFSJθT. Hence FSJθTis linear space.

In similar manner, one can easily prove that FS0JθTand FSJTare linear spaces. □

Example 3.1.Suppose J=Jρ=BN:ρB=0, where ρBdenotes the asymptotic density of B. In this case FSJρT=FSθT, where


Example 3.2.Suppose J=Jf=BN:Bisfinite. Jfis an admissible ideal in Nand FSJfT=FSθT.

Theorem 3.2.The spaces FSJθTand FS0JθTare not convergent free.

Proof.For the proof of the theorem, we consider the subsequent example. □

Example 3.3.Suppose J=Jδand TFk=Fk.

Consider the sequence FkFS0JθTFSJθTas:

For ki2,iN


For k=i2,iN,Fks=0¯. Therefore


Hence, Fk0¯ask. Thus FkFS0JθTFSJθT. Let Gkbe sequence in such a way that, for k=i2,iN,Fks=0¯. Therefore, one obtain


For k=i2,iN,Fks=0¯. Therefore


It can be easily seen that GkFS0JθTFSJθT.

Hence FSJθTand FS0JθTare not convergence free.

Theorem 3.3.The sequence F=FkFSθTis Jconvergent if and only if for every ε>0, there exists NεNin such a way that


Proof.Suppose that F=FkFSθTLet F0=JlimF. Then for every ε>0, the set


Fix an NεBε. Then, we have


Which holds for all NεBε. Hence


On Contrary, assume that


That is


Then, the set


Let Iε=TFNεεTFNε+ε. If we fix an ε>0, then we have CεHJas well as Cε2HJ. Hence Cε2CεHJ. This implies that I=IεIε2. That is


That is


Where the diam of Idenotes the length of interval I. Continuing in this way, by induction, we get the sequence of closed intervals.


With the property that




Then there exists a ξIkwhere kNin such a way that ξ=JlimTFk. Therefore, the result holds. □

Theorem 3.4.The inclusionsFS0JθTFSJθTFSJθThold.

Proof.Let F=FkFSJθT. Then there exists a number F0Rsuch that


That is, the set




On the both sides, taking the supremum over kof the above equation, we obtain FkFSJθT. Therefore inclusion holds.


Then, it proves that FS0JθTFSJθT. Hence FS0JθTFSJθTFSJθT. □

Theorem 3.5.The space FSJθTis neither normal nor monotone if Jis not maximal ideal.

Example 3.4.Suppose fuzzy number


Then GksFSJθT. Applying Lemma 1, there exists a subset Kof Nin such a way that KJand N\KJ. Determine a sequence G=Gkas


Therefore Gkbelong to the canonical pre- image of the K- step spaces of FSJθT. But GkFSJθT. Hence FSJθTis not monotone. Hence, by Lemma (2.1) FSJθTis not normal.

Theorem 3.6.The sequence space FS0JθTis solid and monotone.

Proof.Suppose F=FkFS0JθT, then for ε>0, the set


Suppose that sequence of scalars αkwith the property αk1kN. Therefore


Hence, from the Eq. (5) and above inequality, one obtain




Therefore, αkFkFS0JθT. Then FS0JθTis solid and monotone by lemma 2.1. □

Theorem 3.7.The sequence space FSJθTis closed subspace of FSθT.

Proof.Suppose Fkqbe a Cauchy sequence in FSJθT. Then, FkqFin FSTas q. Since FkqFSJθT, then for each ε>0there exists aqsuch that converges to a.


Since Fkqbe a Cauchy sequence in FSIθT. Then for each ε>0there exists n0N, such that


For a given ε>0,






Then Bq,sc,Bqc,BscJ. Let Bc=Bq,scBqcBsc. Where


Assume n0Bc. Then, for every q,sn0it has


Hence, aqis a Cauchy sequence of scalars in , so there exists scalar ain such a way that aqaas q. For this step, let 0<α<1be given. Therefore it proved that whenever


Since FkqF, there exists q0Nso that


implies that PcJ. The number, qocan be chosen together with Eq. (7), it have


Which implies that QcJ. Since


Then it has a subset Ssuch that ScJ, where


Suppose that Uc=PcQcSc. Then, for every kUcit has


The right hand side of Eq. (8) belongs to HJ. Hence, the sets on the left hand side of Eq. (8) belong to HJ. Therefore its complement belongs to J. Thus, Jlimρ¯aq0a=0. □

In the following example to prove that FSJθTis closed subspace of FSθT.

Example 3.5.Suppose that sequence of fuzzy number determine by


Hence, ρ¯Fk0¯=supρFk0¯. Therefore FkFSJθTand L=0¯. So, it can be easily seen that FSJθTis closed subspace of FSθT.


4. Conclusion

The spaces of fuzzy valued lacunary ideal convergence of sequence with the help of a compact operator and investigate algebraic and topological properties together with some examples on the given spaces. We proved that the new introduced sequence spaces are linear. Some spaces are convergent free and we also proved that space FSJθTis closed subspace of FSθT. These new spaces and results provide new tools to help the authors for further research and to solve the engineering problems.

© 2020 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution 3.0 License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Vakeel A. Khan, Mobeen Ahmad and Masood Alam (January 12th 2022). A Study of Fuzzy Sequence Spaces, Fuzzy Systems - Theory and Applications, Constantin Volosencu, IntechOpen, DOI: 10.5772/intechopen.94202. Available from:

chapter statistics

21total chapter downloads

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

Towards a Fuzzy Context Logic

By Hedda Schmidtke

Related Book

First chapter

Microassembly Using Water Drop

By Taksehi Mizuno

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us