International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882

Volume 5, Issue 1, January 2016

- lacunary

statistically

49

convergent in fuzzy soft real numbers

Thangaraj Beaula 1, R. Raja 2

1, 2
Department of Mathematics, T.B.M.L. College
Porayar 609 307, Tamil Nadu, India
E-mail: 1 edwinbeaula@yahoo.co.in, 2 itmraja@gmail.com

ABSTRACT

In this paper we introduced the space of bounded

and convergent difference sequence of fuzzy soft
- lacunary
real numbers and the space of
statistically convergent different sequence of fuzzy
soft real numbers relating these concepts some theorem
are derive.
Keyword - Fuzzy soft real number, bounded,
convergent and - lacunary statistically
convergent.

I.

INTRODUCTION

The concept of fuzzy sets was first introduced by

Zadeh[1]. Bounded and convergent sequence of fuzzy
numbers were introduced by Matloka[11]. Matloka show
that every convergent sequence of fuzzy numbers is
bounded. Later on sequence of fuzzy numbers have been
discussed by Nanda[13], Nuray and Savas[15], Nuray
[16], Kwon[8], Savas [17], Bilgin [2] Basarir and
Mursaleen [1,12], Fang and Huang [4] and many others.
The concept of statistical convergence was introduced
Fast [5]. Schoenberg [18] studied statistical convergence
as a summability method and listed some of elementary
properties of statistical convergence.
As an extension we have defined new concepts
convergent, bounded and - lacunary
statistically convergent sequence in the space of
fuzzy soft real numbers.

II.

PRELIMINARIES

In this section we present some basic definitions of fuzzy

soft set. Throughout our discussion, U refers to an intial

universe, E the set of all parameters for U and P (U ) the

set of all fuzzy sets of U. (U,E) means the universal set U
and the parameter set E.
Definition 2.1 [6]
A pair (F, E) is called a soft set (over U) if and only if F
is a mapping of E into the set of all subsets of the set U.
In otherwords, the soft set is a parameterized family
of subsets of the set U. Every set F( ), E , from
from this familymay be considered as the set of
elements of the soft set (F, E), or as the set of approximate elements of the soft set.

Definition 2.2 [8]

A pair (F, A) is called a fuzzy soft set over U where

~
~
F : A P (U ) is a mapping from A into P (U ) .

Definition 2.3 [8]

For two fuzzy soft sets (F, A) and (G, B) in a fuzzy soft c
lass (U, E), we say that (F, A) is a fuzzy soft subset of
(G, B), if
(i) A B
(ii) For all A , F G and is written as
~ ( G, B).
(F , A)
Definition 2.4 [8]
Union of two fuzzy soft sets (F, A) and (G, B) in a
soft class (U, E) is
a fuzzy
soft set
(H,C) where
C A B and C ,

if A - B
F( ),

if B - A
H( )= G( ),
F ( ) G ( ), if A B

~ G, B H,C .
and is written as F, A
Definition 2.5 [8]
Intersection of two fuzzy soft sets (F, A) and (G, B) i
n a soft class (U, E) is a fuzzysoft set (H, C) where
C A B and C , H( ) F( ) or G( ) (as
both are same fuzzy set) and is written
~ G, B H,C .
as F, A
~
Definition 2.6 [13]
~
Let A then the mapping FA : E P (U ) ,

defined by FA (e) = e F A ( a fuzzy subset of U), is

called soft set over (U,E), where e F A = 0 if

~
e E A and e FA 0 if e A . The set of all

fuzzy soft set over (U,E) is denoted by FS (U,E).

Definition 2.7 [13]
The fuzzy soft set F FS(U, E) is called null fuz
~.
zy soft set and it is denoted by
~
Here F (e) 0 for every e E.

www.ijsret.org

International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 5, Issue 1, January 2016

~~ be a sequence of fuzzy soft numbers and its

~
~
~
~
corresponding - level sequence be t [ t ] then
~
~
~
~t is said to be
bounded if [ t ] is bounded
Let t

Definition 2.8 [13]

~
Let FE FS (U , E ) and FE (e) 1 for all e E .
Then FE is called absolute fuzzy soft set. It is denoted
~
by E .

50

n e ,

n e ,

subset of real numbers and is said to be convergent

~
~

Definition 2.9 [13]

to a real number t if lim [ tn ]e, t , that is for every

Let FA , G B FS (U , E ) . If FA (e) G B (e) for all

e
e
e E , i.e., if FA G B for all e E ,

i.e., if e FA ( x) e G B ( x) for all x U and

for all e E , then FA is said to be fuzzy soft

0 there exists a positive integer n 0 such that

~
~
n n0
for
all
provided
[ t n ]e, t

Definition 2.10 [13]

~
~
~
~
~
~
[ tn ]e, [ tn1 ]e, [ tn ]e, .Let us denote bounded
and convergent of - level fuzzy soft numbers to
be b and c .

Let FA , G B FS (U , E ) . Then the union of FA

and G B is also fuzzy softset H C ,
defined

3.3 Definition
Let (k r )

~G .
subset of G B , denoted by FA
B

by H C (e) e H C e FA e G B for all e E

~G .
where C A B . Here we write H C FA
B
Definition 2.11 [13]
Let FA , G B FS (U , E ) . Then the intersection of
FA and G B is also a fuzzy soft set

H C , defined by H C (e) e H C e FA e G B fo
r all e E where C A B . Here we write
~G .
H C FA
B

be a lacunary sequence and let

~
~
~
~
t [ tn ]e, be a - level sequence of fuzzy soft real
~
~
numbers then t is said to be - lacunary
statistically convergent to a real number t if for
~
1
k I r : [~
tn ]e , t 0 .
every
0 . lim
r h
r
~
~
Let us denote it by S lim [ tn ]e, t . Let us denote
the set of all - lacunary statistically convergent
sequence be denoted S ( ) .

Definition 2.12
Let FA FS(U , E ) . The complement of FA

3.1 Theorem

is

~
denoted by F A C and is defined by FA C : E P
(U ) is

~ ~
let ~
sn , ~
tn be a sequence of fuzzy soft real numbers

III.

~
~
S lim c[ tn ]e, ct .
~
2) If S lim [~
sn ]e, s and
~
~
S lim [ t ] t

- LACUNARY STATISTICALLY
CONVERGENT

3.1 Definition
rE where
Let us denote the fuzzy soft real number ~

~
~ ~
~
real number by t . [ t ]e , is called the - level set of
~
corresponding to the parameter e t and is defined
[t]e, t E; re (t ) where E R .

~
~
t

as

n e ,

then

~
~
~
S lim( [~
sn ]e, [ tn ]e, ) s t

r : E I R where I R is the set of all fuzzy

r R and ~
sets on R and E is the parameter set. Denote fuzzy soft

~
~

1) If S lim [ tn ]e, t and c R then

a mapping given by F A C ( )= [F( )] C , E .

Proof:
For [0,1] and c R then

~
c[~tn ]e, ct

~
~
c([ tn ]e, t ) = c

~
[~
tn ]e, t

For given 0 we have

~
1
k I r : c[~
tn ]e , ct
hr

3.2 Definition

www.ijsret.org

International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 5, Issue 1, January 2016

~
1
~
k I r : c [ tn ]e, t
hr
~
1

~
----------------(1)
=
k I r : [ tn ]e, t
hr
c

Now consider the k m -th term of the statistical limit

expression

1
k n : [tn ]e, t
n

~
1
~
k I r : [ tn ]e, t = 0
hr
~
~
From (1) we get S lim c[ tn ]e, ct
As lim

=
=

(2) suppose that

~
~
1
~
~
k I r : [ sn ]e, [ tn ]e, (s t )
hr
~
~
1
~
~
=
k I r : ([ sn ]e, s) [ tn ]e, t )
hr
1

k I r : ([ sn ]e, s)
hr
2
~
1

k I r : ([~
tn ]e, t )
hr
2

~
~
~
S lim( [~
sn ]e, [ tn ]e, ) s t

hr

r 1

hr t r -----------------------(1)

k I : [t ]
r

n e ,

t'

0,

~
~

r 1

hr

r 1

hr t r is a regular weighted mean transform

1
k n : [tn ]e, t ' ,
n
n 1
1
we have
k n : [tn ]e, t ' 1
n
which contradicts to the fact that t t ' .

3.3 Theorem
Define a metric on b and c as

D([tn ]e, ,[tn' ]e, ) inf d ( [tn ]e, , [tn' ]e,

where d

is the standard metric on R (ie) d ( x, y) x y where

x, y R with this metric b and c is a complete

~~t be a sequence of fuzzy soft numbers and its

n

consider Cauchy sequence in b which is - bounded.

~
~
Suppose that s lim [ tn ]e, t and
~
~
S lim( [ tn ]e, ) t ' and t t '

Let [tn ]e , be sequence of real numbers in b which

is - bounded.
Then

Suppose

~
~
~
~
~
~
~
~
D([tn ]e, ,[ tm ]e, ) inf d ([ tn ]e, , [ tm ]e,
0 as n, m

t t' / 2 0

corresponding - level sequence be t [tn ]e ,

Proof

Let

~
~
~
~
S lim( [ tn ]e, ) s lim [ tn ]e,

~
1
k n : [~
tn ]e, t
n

metric space.
Proof:

3.2 Theorem

If s n s ( ) s ( ) then we have

lim

k km1 I r : [tn ]e, t '

of t, it goes to zero as m since (1) is a

subsequence of

Therefore given 0 we have,

We have

r 1

1
km

~
~
~
[~
sn ]e, [ tn ]e, ) ( s t )
~
~
~
[~
sn ]e, s [ tn ]e, t

Then we have t t ' 0

r 1

Since S lim( [ tn ]e, ) t ' . Since is a lacunary and

By Minkowskis inequality we get,

Hence

~
k I r : [~
tn ]e , t '

1
km

1
Where t r =
hr

~
S lim [~
sn ]e, s and
~
~
S lim [ tn ]e, t

51

Then

www.ijsret.org

-----(1)

~
~
~
~
[ tn ]e, [ tm ]e, 0 as n, m

International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 5, Issue 1, January 2016

~
~
~
~
[ tn ]e, [ tm ]e, for n, m n0

IV.

52

CONCLUSION

In

[t ] is a Cauchy sequence in R. And so it

this paper we have defined new concepts

convergent, bounded and - lacunary
statistically convergent sequence in the space of
fuzzy soft real numbers and related to this some basic
theorem are proved.

converges to t R

REFERENCES

d ( x, y) x y is a standard metric on real

As

numbers R and R is complete with this metric,

n e ,

~
~
(ie) lim [ tn ]e, t
n
~
~
This implies [ tn ]e, t for all n n0 .
Again consider (1)

~
~
~
~
~
~
~
~
D([tn ]e, ,[ tm ]e, ) inf d ([ tn ]e, , [ tm ]e,
Allow m then
~
~
~
lim D([ ~
tn ]e , , [~
tm ]e , ) inf d ([~
tn ]e, , t ) 0
m

as n
Hence

D([tn ]e, ,[t ]e, ) 0 as n

Thus b is complete and by similar argument c is
complete.
3.4 Theorem

Let tn be a sequence of fuzzy soft real numbers such

that S lim([tn ]e, ) t exists then it is unique.
Proof
Suppose there exists t1 , t 2 with t1 t2 such that

S lim([tn ]e, ) t1 and S lim([tn ]e, ) t2 .

Then for every 0 ,

1
k I r : [tn ]e , t1 0 and
r h
r
1
lim
k I r : [tn ]e, t2 0
r h
r

lim

This implies

[tn ]e, t1 and

[tn ]e, t2

Also

t1 t2 [tn ]e, t1 t2 [tn ]e,

t1 [tn ]e, [tn ]e, t2
2
Where is arbitrary
Hence t1 t 2 .

Journal Papers:
[1] M.Basarir, M, Mursaleen. Some sequence space of
fuzzy numbers generated by infinite matrices. J. Fuzzy
Math. 11 (3) (2003), 757-764.
[2] T.Bilgin, Lacunary strongly -Convergent
sequences of fuzzy numbers, Information sciences (in
press).
[3] J.X.Fang , H.Huang , On the level convergence of a
sequence of fuzzy numbers ,Fuzzy Sets and System (in
press).
[4] H. Fast, Sur la convergence statistique, Colloq.
Math (1951), 241-244.
[5]J.S. Kwon, On statistical and p-Cesaro convergence
of fuzzy numbers, Korean(J. Comput .Appl .Math.(1)
(2000), 195-203.
[6] P.K. Maji, A. R. Roy, R Biswas, Fuzzy soft sets, J.
Fuzzy Math. 9(3) (2001) 589-602.
[7] M.MatlokaSequence of fuzzy numbers, BUSEFAL,
28 (1986), 28-37.
[8] Molodstov. D.A., Soft set Theory First Results,
Computers and mathematics with Applications , 37, 1931, 1999.
[9] M.Mursaleen, M.Basarir, On Some new sequence
spaces of fuzzy numbers , Indian J.Pure and Appl.Math,
34 (9) (2003), 1351-1357.
[10] S.Nanda, On sequences of fuzzy numbers, Fuzzy
Sets and Syatems, 33 (1989), 123-126.
[11] F.Nuray, E.Savas, Stastical convergence of
sequences of fuzzy numbers, Fuzzy Sets and Systems, 99
(1998), 353-356.
[12] F.Nuray, Lacunary Stastical convergence of
sequence of fuzzy numbers, Information Science, 124
(2000), 297-300.
[13] Roy, S.& Samanta, T.K., A note on Fuzzy Soft
Topological Spaces, Annals of Fuzzy Mathematics and
Informatics 2011.
[14] E.Savas, A note on sequence of fuzzy
numbers,Information Sciences,124 (2000), 297-300.
[15] I.J.Schoenberg, The integrability of certain function
s and related summability method, Amer. Math.
Monthly, 66 (1959), 361-375.
[16] L.A.Zadeh, Fuzzy sets, Inform and control, 8
(1965), 338-353

www.ijsret.org