Document 10820959

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2012, Article ID 157467, 19 pages
doi:10.1155/2012/157467
Research Article
Statistical Convergence of Sequences of Functions
in Intuitionistic Fuzzy Normed Spaces
Vatan Karakaya,1 Necip Şimşek,2
Müzeyyen Ertürk,3 and Faik Gürsoy3
1
Department of Mathematical Engineering, Yildiz Technical University, Davutpasa Campus, Esenler,
34210 Istanbul, Turkey
2
Department of Mathematics, Istanbul Ticaret University, Uskudar, 34672 Istanbul, Turkey
3
Department of Mathematics, Yildiz Technical University, Davutpasa Campus, Esenler,
34220 Istanbul, Turkey
Correspondence should be addressed to Vatan Karakaya, vkkaya@yildiz.edu.tr
Received 29 June 2012; Revised 16 September 2012; Accepted 27 October 2012
Academic Editor: Ljubisa Kocinac
Copyright q 2012 Vatan Karakaya et al. This is an open access article distributed under the
Creative Commons Attribution License, which permits unrestricted use, distribution, and
reproduction in any medium, provided the original work is properly cited.
The purpose of this work is to investigate types of convergence of sequences of functions in
intuitionistic fuzzy normed spaces and some properties related with these concepts.
1. Introduction and Preliminaries
The fuzzy theory has emerged as one of the most active area of research in many branches
of mathematics and engineering. This new theory was introduced by Zadeh 1 in 1965
and since then a large number of research papers have appeared by using the concept of
fuzzy set/numbers and fuzzification of many classical theories have also been made. It has
also very useful application in various fields, for example, population dynamics 2, chaos
control 3, computer programming 4, nonlinear dynamical systems 5, fuzzy physics 6,
fuzzy topology 7, 8, and so forth. The notion of intuitionistic fuzzy sets, a generalization of
fuzzy sets, was introduced by Atanassov 9 in 1986 and later there has been much progress
in the study of intuitionistic fuzzy sets by many authors including Mursaleen et al. 10,
Mursaleen et al. 11, and Yılmaz 12. Using the idea of intuitionistic fuzzy sets, Park 13
defined the notion of intuitionistic fuzzy metric spaces with the help of the continuous tnorms and the continuous t-conorms as a generalization of fuzzy metric spaces due to George
and Veeramani 14. Samanta and Jebril 15 introduced the definitions of intuitionistic fuzzy
continuity and sequential intuitionistic fuzzy continuity and proved that they are equivalent.
2
Abstract and Applied Analysis
A few of the algebraic and topological properties of intuitionistic fuzzy continuity and
uniformly intuitionistic fuzzy continuity were investigated by Dinda and Samanta 16. On
the other hand, the Fast 17 introduced the concept of statistical convergence for real number
sequences. Different types of statistical convergence of sequences of real functions and related
notions were first studied in 18, and some important results and references on statistical
convergence and function sequences can be found in 19–23.
In this paper, primarily following the line of 18, we define statistical convergence
of sequences of functions in intuitionistic fuzzy normed space IFNS for short, and we
investigate some properties related with these concepts. To explain main problems of this
work, we have to give some definitions and literature acknowledgment. In 24, Schweizer
and Sklar introduced a continuous t-norm and a continuous t-conorm. Afterward Saadati and
Park 8 introduced the following definitions by using concepts mentioned above.
We now first recall some basic notions of intuitionistic fuzzy normed spaces.
Definition 1.1 see 8. Let ∗ be a continuous t-norm, a continuous t-conorm, and X a linear
space over the intuitionistic fuzzy field R or C. If μ and ν are fuzzy sets on X × 0, ∞
satisfying the following conditions, the five-tuple X, μ, ν, ∗, is said to be an IFNS and μ, ν
is called an intuitionistic fuzzy norm IFN for short. For every x, y ∈ X and s, t > 0,
i μx, t νx, t ≤ 1,
ii μx, t > 0,
iii μx, t 1 ⇔ x 0,
iv μax, t μx, t/|a| for each a /
0,
v μx, t ∗ μy, s ≤ μx y, t s,
vi μx, · : 0, ∞ → 0, 1 is continuous,
vii limt → ∞ μx, t 1 and limt → ∞ μx, t 0,
viii νx, t < 1,
ix νx, t 0 ⇔ x 0,
x νax, t νx, t/|a| for each a /
0,
xi νx, t νy, s ≥ νx y, t s,
xii νx, · : 0, ∞ → 0, 1 is continuous,
xiii limt → ∞ νx, t 0 and limt → ∞ νx, t 1.
For an IFNS, we further assume that X, μ, ν, ∗, satisfy the following axiom: see
16
xiv
aaa
a∗aa
∀a ∈ 0, 1.
1.1
Definition 1.2 see 8. Let X, μ, ν, ∗, be a intuitionistic fuzzy normed space. A subset A
of X is said to be IF-bounded if there exist t > 0 and 0 < r < 1 such that μx, t > 1 − r and
νx, t < r for each x ∈ A.
Abstract and Applied Analysis
3
Definition 1.3 see 25. Let X, μ, ν, ∗, be a intuitionistic fuzzy metric space. Let A be any
subset of X. Define
φt inf μ x, y, t : x, y ∈ A ,
ψt sup ν x, y, t : x, y ∈ A ,
1.2
i A is said to be q-bounded if limt → ∞ φt 1 and limt → ∞ ψt 0, ii A is said to be
semibounded if limt → ∞ φt k and limt → ∞ ψt 1 − k, 0 < k < 1 iii A is said to be
unbounded if limt → ∞ φt 0 and limt → ∞ ψt 1.
Theorem 1.4 see 25. Let X, μ, ν, ∗, be a intuitionistic fuzzy metric space. A subset of X is IF
bounded if and only if A is q-bounded or semibounded.
Definition 1.5 see 8. Let X, μ, ν, ∗, be an IFNS and xk be a sequence in X. The sequence
xk is said to be convergent to L ∈ X with respect to IFN μ, ν if for every ε > 0 and t > 0,
there exists a positive integer k0 ε such that μxk − L, t > 1 − ε and νxk − L, t < ε whenever
k > k0 . In this case, we write μ, ν − lim xk L as k → ∞.
Definition 1.6 see 16. Let X, μ, ν, ∗, and Y, μ , ν , ∗, be two IFNS. A mapping f from
X, μ, ν, ∗, to Y, μ , ν , ∗, is said to be intuitionistic fuzzy continuous at x0 ∈ X if for any
given ε > 0, there exist δ δa, ε, β βa, ε ∈ 0, 1 such that for all x ∈ X and for all
a ∈ 0, 1,
μx − x0 , δ > 1 − β ⇒ μ fx − fx0 , ε > 1 − a,
νx − x0 , δ < β ⇒ ν fx − fx0 , ε < a.
1.3
Definition 1.7 see 16. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions. The
sequence fk is said to be pointwise intuitionistic fuzzy convergent on X to a function f with
respect to μ , ν if for each x ∈ X, the sequence fk x is convergent to fx with respect to
μ , ν .
Definition 1.8 see 16. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions.
The sequence fk is said to be uniformly intuitionistic fuzzy convergent on X to a function f
with respect to μ, ν, if given 0 < r < 1, t > 0, there exist a positive integer k0 k0 r, t such
that ∀x ∈ X and ∀k > k0 ,
μ fk x − fx, t > 1 − r,
ν fk x − fx, t < r.
1.4
Now, we recall the notion of the statistical convergence of sequences in intuitionistic fuzzy
normed spaces.
Definition 1.9 see 26. Let K ⊂ N and Kn {k ∈ K : k ≤ n}. Then the asymptotic density is
defined by δK limn → ∞ |Kn |/n, where |Kn | denotes the cardinality of Kn .
Definition 1.10. Let A be subset of N. If a property P k holds for all k ∈ A with δA 1, we
say that P holds for almost all ka · a · k.
4
Abstract and Applied Analysis
Definition 1.11 see 26. A sequence x xk is said to be statistically convergent to the
number L, or in short st − lim x L, if for every ε > 0, the set Kε has asymptotic density
zero, where
Kε {k ∈ N : |xk − L| ≥ ε},
1.5
that is,
|xk − L| < ε
a · a · k.
1.6
Definition 1.12 see 23. Let X, μ, ν, ∗, be an IFNS. Then, sequence xk is said to be
statistically convergent to L ∈ X with respect to IFN μ, ν provided that for every ε > 0
and t > 0,
δ
k ∈ N : μxk − L, t ≤ 1 − ε or νxk − L, t ≥ ε 0,
1.7
or equivalently
lim
1 k ≤ n : μxk − L, t ≤ 1 − ε or νxk − L, t ≥ ε 0.
n→∞n
1.8
In this case, we write stμ,ν − limxk L.
Definition 1.13 see 23. Let X, μ, ν, ∗, be an IFNS. Sequence xk is said to be statistically
Cauchy with respect to IFN μ, ν provided that for every ε > 0 and t > 0, there exists a
number m ∈ N satisfying
δ
k ∈ N : μxk − xm , t ≤ 1 − ε or νxk − xm , t ≥ ε 0.
1.9
2. Statistical Convergence of Sequences of Functions in
Intuitionistic Fuzzy Normed Spaces
In this section, we define pointwise statistically and uniformly statistically convergent
sequences of functions in intuitionistic fuzzy normed spaces. Also, we give the statistical
analog of the Cauchy convergence criterion for pointwise and uniformly statistical
convergent in intuitionistic fuzzy normed space. Finally, we prove that uniformly statistical
convergence preserves continuity.
Definition 2.1. Let X, μ, ν, ∗, and Y, μ , ν , ∗, be two IFNS and fk : X, μ, ν, ∗, →
Y, μ , ν , ∗, a sequence of functions. We say that a sequence fk pointwise statistically
converges to f with respect to intuitionistic fuzzy norm μ , ν if fk x statistically converges
to fx for each x ∈ X with respect to intuitionistic fuzzy norm μ , ν and we write
stμ,ν − fk → f.
Theorem 2.2. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions. If fk is pointwise
intuitionistic fuzzy convergent on X with respect to μ, ν, then stμ,ν − fk → f. But the converse of
this is not true.
Abstract and Applied Analysis
5
Proof. Let fk be pointwise intuitionistic fuzzy convergent on X. In this case the sequence
fk x is convergent with respect to μ , ν for each x ∈ X. Then for each ε > 0 and t > 0,
there is number k0 ε ∈ N such that
μ fk x − fx, t > 1 − ε,
ν fk x − fx, t < ε
2.1
for all k ≥ k0 and for each x ∈ X. Hence for each x ∈ X the set
k ∈ N : μ fk x − fx, t ≤ 1 − ε or ν fk x − fx, t ≥ ε
2.2
has finite numbers of terms. Since density of finite subset of N is 0, hence
δ
k ∈ N : μ fk x − fx, t ≤ 1 − ε or ν fk x − fx, t ≥ ε 0.
2.3
That is, stμ,ν − fk → f.
Example 2.3. Let R, | · | denote the space of real numbers with the usual norm, and let a ∗ b a · b and a b min{a b, 1} for a, b ∈ 0, 1. For all x ∈ R and every t > 0, we consider
μx, t t
,
t |x|
νx, t |x|
.
t |x|
2.4
In this case, R, μ, ν, ∗, is an IFNS also, 0, 1, μ, ν, ∗, is intuitionistic fuzzy normed
space.. Let fk : 0, 1 → R be a sequence of functions whose terms are given by
⎧
1
⎪
k2
2
⎪
1
if
k
m
∈
N,
x
∈
0,
,
x
m
⎪
⎪
2
⎪
⎪
⎪
⎪
⎪
⎪
1
⎪
2
⎪
,
0
if k /
m m ∈ N, x ∈ 0,
⎪
⎪
⎪
2
⎪
⎨
fk x 1
2
⎪
,
1
,
0
if
k
m
∈
N,
x
∈
m
⎪
⎪
2
⎪
⎪
⎪
⎪
⎪
⎪
1
1
⎪
k
2
⎪
⎪
if
k
m
,
1
,
x
∈
N,
x
∈
m
/
⎪
⎪
2
2
⎪
⎪
⎩
2
if x 1.
2.5
6
Abstract and Applied Analysis
Then sequence fk is pointwise statistically intuitionistic convergent on 0, 1 with respect to
μ, ν. Indeed, for x ∈ 0, 1/2, since
Kn ε, t k ≤ n : μ fk x − fx, t ≤ 1 − ε or ν fk x − fx, t ≥ ε ,
fk x − 0
t
≤ 1 − ε or
≥ε
Kn ε, t k ≤ n :
t fk x − 0
t fk x − 0
εt
k ≤ n : fk x ≥
1−ε
2
k ≤ n : fk x xk 1
2.6
k ≤ n : k m2 , m ∈ N ,
we have
√n
1 2
δKn ε, t k ≤ n : k m , m ∈ N ≤
,
n
n
2.7
which yields limn → ∞ δKn ε, t 0. Thus, for each x ∈ 0, 1/2, sequence fk is statistically
convergent to 0 with respect to intuitionistic fuzzy norm μ, ν.
If we take x ∈ 1/2, 1, then we have
fk x − 1/2
t
≤ 1 − ε or
≥ε
k≤n:
t fk x − 1/2
t fk x − 1/2
εt
1
k ≤ n : fk x − ≥
2
1−ε
εt
1
2 k ≤ n : k m2 , fk x − ≥
∪ k ≤ n : k
m
,
/
fk x −
2
1−ε
εt
1 1 2 k
≥
x
k ≤ n : k m2 ∪ k ≤ n : k −
m
:
/
2 2 1 − ε
Kn ε, t
k ≤ n : k m2 ∪ k ≤ n : k /
m2 : xk ≥
εt
.
1−ε
εt
1 ≥
2 1 − ε
2.8
Therefore, density of Kn ε, t is 0 and for each x ∈ 1/2, 1, sequence fk is statistically
convergent to 1/2 with respect to IFN μ, ν. If we take x 1, it can be seen easily that fk is
Abstract and Applied Analysis
7
intuitionistic fuzzy convergent to 2. Hence fk is intuitionistic fuzzy statistically convergent
to 2. That is
⎧
⎪
⎪
⎪0,
⎪
⎪
⎪
⎨
1
stμ,ν − fk x ,
⎪
⎪
2
⎪
⎪
⎪
⎪
⎩
2,
1
x ∈ 0,
2
1
x∈
,1
2
2.9
x 1.
Since fk x is statistically convergent to different points with respect to intuitionistic fuzzy
norm μ, ν for each x ∈ X, it can be seen that fk is pointwise statistically intuitionistic fuzzy
convergent on 0, 1.
Lemma 2.4. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be sequence of functions. Then the following
statements are equivalent:
i stμ,ν − fk → f,
ii δ{k ∈ N : μ fk x − fx, t ≤ 1 − ε} δ{k ∈ N : ν fk x − fx, t ≥ ε} 0 for each
x ∈ X, for each ε > 0 and t > 0,
iii δ{k ∈ N : μ fk x − fx, t > 1 − ε and ν fk x − fx, t < ε} 1 for each x ∈ X, for
each ε > 0 and t > 0,
iv st − lim μ fk x − fx, t 1 and st − lim ν fk x − fx, t 0 for each x ∈ X and
t > 0.
Theorem 2.5. Let fk and gk be two sequences of functions from X, μ, ν, ∗, to Y, μ , ν , ∗, .
If stμ,ν − fk → f and stμ,ν − gk → g, then stμ,ν − αfk βgk → αf βg where α, β ∈ R or C.
Proof. The proof is clear for α 0 and β 0. Now let α /
0 and β /
0. Since stμ,ν − fk → f and
stμ,ν − gk → g, for each x ∈ X, if we define
t
t
≤ 1 − ε or ν fk x − fx,
≥ε ,
A1 k ∈ N : μ fk x − fx,
2|α|
2|α|
t
t
A2 k ∈ N : μ gk x − gx, ≤ 1 − ε or ν gk x − gx, ≥ ε ,
2β
2β
2.10
then
δA1 0 ,
δA2 0.
2.11
Since δA1 0 and δA2 0, if we state A by A1 ∪ A2 then
δA 0.
2.12
8
Abstract and Applied Analysis
N and there exists ∃m ∈ N such that
Hence, A1 ∪ A2 /
t
> 1 − ε,
μ fm x − fx,
2|α|
t
μ gm x − gx, > 1 − ε,
2β
t
ν fm x − fx,
< ε,
2|α|
t
ν gm x − gx, < ε.
2β
2.13
Let
B k ∈ N : μ αfk βgk x − αfx βgx , t > 1 − ε,
ν αfk βgk x − αfx βgx , t < ε .
2.14
We will show that for each x ∈ X
Ac ⊂ B.
2.15
Let m ∈ Ac . In this case,
t
> 1 − ε,
μ fm x − fx,
2|α|
t
μ gm x − gx, > 1 − ε,
2β
t
ν fm x − fx,
< ε,
2|α|
t
ν gm x − gx, < ε.
2β
2.16
Using those above, we have
μ
αfm βgm
t
t
∗ μ βgm x − βgx,
x − αf βg x, t ≥ μ αfm x − αfx,
2
2
t
t
μ fm x − fx,
∗ μ gm x − gx, 2|α|
2β
> 1 − ε ∗ 1 − ε
1 − ε,
t
t
ν αfm βgm x − αf βg x, t ≤ ν αfm x − αfx,
∗ ν βgm x − βgx,
2
2
t
t
ν fm x − fx,
∗ ν gm x − gx, 2|α|
2β
< εε
ε.
2.17
Abstract and Applied Analysis
9
This implies that
Ac ⊂ B.
2.18
δB c 0,
2.19
k ∈ N : μ αfk βgk x − αf βg x, t ≤ 1 − ε,
ν αfk βgk x − αf βg x, t ≥ ε 0
2.20
stμ,ν − αfk βgk −→ αf βg.
2.21
Since Bc ⊂ A and δA 0, hence
that is
δ
which means
Definition 2.6. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions. The sequence
fk is a pointwise statistically Cauchy sequence in IFNS provided that for each ε > 0 and
t > 0 there exists N Nε, t, x such that
δ
k ∈ N : μ fk x − fN x, t ≤ 1 − ε or ν fk x − fN x, t ≥ ε for each x ∈ X 0.
2.22
That is, there exists a number N Nε, t, x for each x ∈ X such that
μ fk x − fN x, t > 1 − ε, ν fk x − fN x, t < ε
for a · a · k.
2.23
Theorem 2.7. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions. If fk is a
pointwise statistically convergent sequence with respect to intuitionistic fuzzy norm μ, ν, then fk is a pointwise statistically Cauchy sequence with respect to intuitionistic fuzzy norm μ, ν.
Proof. Suppose that stμ,ν − fk → f and let ε > 0, t > 0. For given each ε > 0, choose s > 0 such
that 1 − ε ∗ 1 − ε > 1 − s and ε ε < s. If we state, respectively, Ax ε, t and Acx ε, t by
t
t
k ∈ N : μ fk x − fx,
≤ 1 − ε or ν fk x − fx,
≥ε ,
2
2
t
t
k ∈ N : μ fk x − fx,
> 1 − ε, ν fk x − fx,
<ε ,
2
2
2.24
for each x ∈ X. Then, we have
δAx ε, t 0,
2.25
10
Abstract and Applied Analysis
which implies that
δAcx ε, t 1.
2.26
Let N ∈ Acx ε, t. Then
t
> 1 − ε,
μ fN x − fx,
2
t
ν fN x − fx,
< ε.
2
2.27
We want to show that there exists a number N Nx, ε, t such that
δ
k ∈ N : μ fk x − fN x, t ≤ 1 − s or ν fk x − fN x, t ≥ s for each x ∈ X 0.
2.28
Therefore, define for each x ∈ X,
Bx ε, t k ∈ N : μ fk x − fN x, t ≤ 1 − s or ν fk x − fN x, t ≥ s .
2.29
We have to show that
Bx ε, t ⊂ Ax ε, t.
2.30
⊆Ax ε, t.
Bx ε, t/
2.31
Suppose that
In this case, Bx ε, t has at least one different element which Ax ε, t does not has. Let k ∈
Bx ε, t \ Ax ε, t. Then we have
μ fk x − fN x, t ≤ 1 − s,
t
> 1 − ε,
μ fk x − fx,
2
2.32
in particularly μ fN x − fx, t/2 > 1 − ε. In this case,
t
t
∗ μ fN x − fx,
1 − s ≥ μ fk x − fN x, t ≥ μ fk x − fx,
2
2
2.33
≥ 1 − ε ∗ 1 − ε > 1 − s,
which is not possible. On the other hand
ν fk x − fN x, t ≥ s,
ν fk x − fx, t < ε,
2.34
Abstract and Applied Analysis
11
in particularly ν fN x − fx, t < ε. In this case,
t
t
s ≤ ν fk x − fN x, t ≤ ν fk x − fx,
ν fN x − fx,
2
2
2.35
< εε <s
which is not possible. Hence Bx ε, t ⊂ Ax ε, t. Therefore, by δAx ε, t 0, δBx ε, t 0.
That is, fk is a pointwise statistical Cauchy sequence with respect to intuitionistic fuzzy
norm μ, ν.
Afterward this step, we introduce a uniformly statistical convergence of sequences of
function in an IFNS. To do this, we need the following definition
Definition 2.8. Let X, μ, ν, ∗, and Y, μ , ν , ∗, be two intuitionistic fuzzy normed linear
space over the same field IF and fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions.
fk converges uniform statistically to f with respect to μ, ν ⇔ ∀ε > 0, ∃M ⊂ N, δM 1
and ∃k0 k0 ε, t ∈ M ∀k > k0 and k ∈ M and ∀x ∈ X,
μ fk x − fx, t > 1 − ε,
ν fk x − fx, t < ε.
2.36
Lemma 2.9. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions. Then the following
statements are equivalent:
i stμ,ν − fk ⇒ f.
ii δ{k ∈ N : μ fk x − fx, t ≤ 1 − ε} δ{k ∈ N : ν fk x − fx, t ≥ ε} 0 for all
x ∈ X, for every ε > 0 and t > 0.
iii δ{k ∈ N : μ fk x − fx, t > 1 − ε and ν fk x − fx, t < ε} 1 for all x ∈ X, for
every ε > 0 and t > 0.
iv st − lim μ fk x − fx, t 1 and st − lim ν fk x − fx, t 0 for all x ∈ X and
t > 0.
Proposition 2.10. Let the sequence fk and f be bounded functions from X, μ, ν, ∗, to
Y, μ , ν , ∗, . fk is intuitionistic fuzzy uniformly statistically convergent to f if and only if
st − lim inf μ fk x − fx, t 1,
st − lim sup ν fk x − fx, t 0,
2.37
where the supremum and infimum are taken over all x ∈ X.
Proof. Suppose that stμ,ν − fk ⇒ f on X. Since fk and f are bounded in X, μ, ν, ∗, for
each k ∈ N, by using Definition 1.3 and Theorem 1.4, we have inf μ fk x − fx, t rk and
sup ν fk x − fx, t 1 − rk for each k ∈ N and for each t > 0, 0 < rk < 1. By using iv of
Lemma 2.9, we get
st − lim inf μ fk x − fx, t 1,
st − lim sup ν fk x − fx, t 0,
where the supremum and infimum are taken over all x ∈ X.
2.38
12
Abstract and Applied Analysis
Conversely, suppose that
st − lim inf μ fk x − fx, t 1,
st − lim sup ν fk x − fx, t 0,
2.39
where the supremum and infimum are taken over all x ∈ X. Since
inf μ fk x − fx, t ∈ 0, 1,
sup ν fk x − fx, t ∈ 0, 1,
2.40
from definition statistical convergence, for a · a · k, for every ε > 0 and t > 0
inf μ fk x − fx, t − 1 < ε,
sup ν fk x − fx, t − 0 < ε.
2.41
For all x ∈ X
μ fk x − fx, t ≥ inf μ fk x − fx, t
⇒ − μ fk x − fx, t < − inf μ fk x − fx, t
⇒ 1 − μ fk x − fx, t < 1 − inf μ fk x − fx, t
since μ fk x − fx, t ∈ 0, 1 ∀ x ∈ X
⇒ 1 − μ fk x − fx, t < 1 − inf μ fk x − fx, t 2.42
⇒ 1 − μ fk x − fx, t < 1 − inf μ fk x − fx, t < ε
⇒ 1 − μ fk x − fx, t < ε a · a · k,
ν fk x − fx, t ≤ sup ν fk x − fx, t
⇒ ν fk x − fx, t − 0 ≤ sup ν fk x − fx, t − 0 < ε
⇒ ν fk x − fx, t − 0 < ε a · a · k.
Therefore, st − lim μ fk x − fx, t 1 and st − lim ν fk x − fx, t 0 for all x ∈ X and
t > 0. From Lemma 2.9, we get stμ,ν − fk ⇒ f.
Example 2.11. Let R, μ, ν, ∗, be as Example 2.3. Consider fk : 0, 1 → R be sequence of
functions whose terms are given by
fk xk 1,
2,
if k /
m2
m ∈ N
otherwise.
2.43
Then, for every 0 < ε < 1 and for every t > 0, we define
Kn k ≤ n : μ fk x − fx, t ≤ 1 − ε or ν fk x − fx, t ≥ ε .
2.44
Abstract and Applied Analysis
13
For all x ∈ X, we have
δKn δ
k ≤ n : μ fk x − 1, t ≤ 1 − ε or ν fk x − 1, t ≥ ε 0.
2.45
Since
stμ,ν − fk x 1,
2.46
for all x ∈ X, the sequence fk is uniformly statistically intuitionistic fuzzy convergent to 1
on 0, 1.
Example 2.12. Let R, μ, ν, ∗, be as Example 2.3. Consider fk : −1, 1 → R be sequence of
functions whose terms are given by
⎧
2
⎪
⎨ x− 1 ,
fk k
⎪
⎩2,
if k / m2
m ∈ N
2.47
otherwise.
Since stμ,ν − fk x x2 for all x ∈ −1, 1,fk is uniformly statistically intuitionistic fuzzy
convergent to x2 on −1, 1. We can show this using Proposition 2.10 as the following, since
fk is bounded functions sequence on −1, 1.
We want to find
inf μ fk x − fx, t t
,
k → ∞ x∈−1,1
t |−2x/k 1/k2 |
−2x/k 1/k2 ·
lim sup ν fk x − fx, t k → ∞ x∈−1,1
t |−2x/k 1/k2 |
lim
2.48
Firstly, we need to find limk → ∞ inf μfk x − fx, t and limk → ∞ sup νfk x − fx, t for
over all x ∈ −1, 1/2k and for over all x ∈ 1/2k, 1, respectively. In case of x ∈ −1, 1/2k,
we have −2x/k 1/k2 ≥ 0. Since
0≤−
1
1
1
1
2
2x
2
2x
2 ≤ 2 ⇒ t ≤ t −
2 ≤t 2
k
k k
k
k k
k
k
⇒
1
1
≤
2
t 2/k 1/k t − 2x/k 1/k2 ⇒
t
t
≤
≤ 1,
2
t 2/k 1/k t − 2x/k 1/k2 ≤
1
t
2.49
we get
lim
inf
μ fk x − x2 , t lim
k → ∞ x∈−1,1/2k
inf
k → ∞ x∈−1,1/2k t
t
− 2x/k 1/k2 t
lim
1.
k → ∞ t 2/k 1/k 2 2.50
14
Abstract and Applied Analysis
On the other hand, we have
−2x/k 1/k2
2/k 1/k2
,
≤
t
t − 2x/k 1/k2 2.51
−2x/k 1/k2
lim sup ν fk x − x , t lim sup
k → ∞ x∈−1,1/2k
k → ∞ x∈−1,1/2k t − 2x/k 1/k 2 2/k 1/k2
0.
lim
k→∞
t
2.52
and so
2
In case of x ∈ 1/2k, 1, we have −2x/k 1/k2 < 0. Since
−
1
1
1
1
2
2x
2x
2
2 ≤ 0 ⇒ 0 ≤
− 2 < − 2
<−
k k2
k
k
k k
k
k
⇒ t < t 1
1
2x
2
− 2 ≤t − 2
k
k k
k
1
1
1
<
≤
⇒
t 2/k − 1/k2 t 2x/k − 1/k2 t
⇒
2.53
t
t
≤
< 1,
t 2/k − 1/k2 t 2x/k − 1/k2 we get
lim
inf
k → ∞ x∈1/2k,1
μ fk x − x2 , t lim
inf
k → ∞ x∈1/2k,1 t
t
2x/k − 1/k2 t
1.
k → ∞ t 2/k − 1/k 2 2.54
lim
On the other hand, we have
2x/k − 1/k2
2/k − 1/k2
,
≤
t
t 2x/k − 1/k2 2.55
2x/k − 1/k2
lim sup ν fk x − x , t lim sup
k → ∞ x∈1/2k,1
k → ∞ x∈1/2k,1 t 2x/k − 1/k 2 2/k − 1/k2
0.
lim
k→∞
t
2.56
and so
2
Abstract and Applied Analysis
15
That is, the sequence fk is uniformly statistically intuitionistic fuzzy convergent to x2 on
−1, 1.
Remark 2.13. If stμ,ν − fk ⇒ f, then stμ,ν − fk → f. But the converse of this is not true.
We prove this with the following example.
Example 2.14. Let us define the sequence of functions
fk x ⎧
⎨0
⎩
k n2
k x
1 k 3 x2
2
otherwise,
2.57
on 0, 1. This sequence of functions is pointwise statistically intuitionistic fuzzy convergent
to 0 indeed, for x 1/k, stμ,ν − fk 1/k 1 and for x 0, stμ,ν − fk 0 0. But, it is
not uniformly statistical intuitionistic fuzzy convergent. Since the sequence of functions is
bounded on 0, 1, we can use Proposition 2.10 to prove our claim. Let us take infumum for
μfk x − 0, t μk 2 x/1 k3 x2 , t t/t k2 x/1 k3 x2 and supremum for νfk x −
0, t νk2 x/1 k 3 x2 , t k2 x/1 k3 x2 /t k2 x/1 k 3 x2 , over all x ∈ 0, 1.
Firstly, we try to find supx∈0,1 k2 x/1 k3 x2 and infx∈0,1 k2 x/1 k3 x2 . For this, we
have
k2 x
1 k 3 x2
k 2 1 − k 3 x2
1 n3 x2 2
Since fk 0 0, fk 1 k2 /1 k3 and fk k−3/2 √
k/2 and infx∈0,1 k2 x/1 k3 x2 0. Then,
0 ⇒ x k−3/2 .
2.58
√
k/2, we get supx∈0,1 k2 x/1 k3 x2 √
√
k2 x
k
k
k2 x
⇒ t ≤
≤t
3
2
3
2
2
2
1k x
1k x
⇒
⇒
0≤
t
t
1
√
1
≤
2 x/1 k 3 x2 t
k
k/2
t
√
t
,
≤
2 x/1 k 3 x2 t
k
k/2
k x
k x
⇒ t 0 ≤ t 1 k 3 x2
1 k 3 x2
2
2
⇒
1
t
k2 x/1
k3 x2 ≤
1
t
√
k2 x/ 1 k3 x2
k2 x/ 1 k3 x2
k
≤
,
⇒
≤
t
2t
t k2 x/1 k3 x2 2.59
16
Abstract and Applied Analysis
so, we get
lim inf μ
k→∞
k2 x
,t
1 k 3 x2
lim inf
k→∞
t
t
lim
√
t k2 x/1 k3 x2 k → ∞ t k/2
2t
1,
√ 0/
k → ∞ 2t k
√
k2 x/ 1 k3 x2
k2 x
k
∞/
0.
lim
, t lim sup
lim sup v
k→∞
k→∞
1 k 3 x2
t k2 x/1 k3 x2 k → ∞ 2t
lim
2.60
Therefore, we conclude that fk does not intuitionistic fuzzy uniformly statistical convergent
to 0.
Theorem 2.15. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions. If fk is
uniformly intuitionistic fuzzy convergent on X to a function f with respect to μ, ν, then stμ,ν −fk ⇒
f. But the converse of this is not true.
Proof. Let fk be uniformly intuitionistic fuzzy convergent on X to a function f. In this case,
given 0 < ε < 1, t > 0, there exist a positive integer k0 k0 r, t such that ∀x ∈ X and ∀k > k0 ,
μ fk x − fx, t > 1 − ε,
ν fk x − fx, t < ε.
2.61
μ fk x − fx, t ≤ 1 − ε,
ν fk x − fx, t ≥ ε,
2.62
That is, for k ≤ k0
is satisfied and these k’s are finite. Since finite set has 0-density, density of complement of
finite set is 1. If complement of this finite set is stated by M, for every ε > 0, there exist
M ⊂ N, δM 1 and ∃k0 k0 ε, t ∈ M such that ∀k > k0 and k ∈ M and ∀x ∈ X,
μ fk x − fx, t > 1 − ε,
ν fk x − fx, t < ε.
2.63
This shows that stμ,ν − fk ⇒ f.
Definition 2.16. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be a sequence of functions.The
sequence fk is a uniformly statistically Cauchy sequence in intuitionistic fuzzy normed
space provided that for every ε > 0 and t > 0, there exists a number N Nε, t such that
δ
k ∈ N : μ fk x − fN x, t ≤ 1 − ε or ν fk x − fN x, t ≥ ε ∀ x ∈ X 0.
2.64
Theorem 2.17. Let fk : X, μ, ν, ∗, → Y, μ , ν , ∗, be sequence of functions. If fk is a
uniformly statistically convergent sequence with respect to intuitionistic fuzzy norm μ, ν, then fk is uniformly statistically Cauchy sequence with respect to intuitionistic fuzzy norm μ, ν.
Abstract and Applied Analysis
17
Proof. Suppose that stμ,ν − fk ⇒ f. In this case, ∀ε > 0, there exists M ⊂ N, δM 1 and
k0 k0 ε, t ∈ M such that ∀k > k0 , k ∈ M and ∀x ∈ X,
t
> 1 − ε,
μ fk x − fx,
2
t
ν fk x − fx,
< ε.
2
2.65
Choose N Nε, t ∈ M, N > k0 . So, μ fN x−fx, t/2 > 1−ε and ν fN x−fx, t/2 < ε.
We investigate N Nε, t such that
δ
k ∈ N : μ fk x − fN x, t ≤ 1 − ε or ν fk x − fN x, t ≥ ε ∀ x ∈ X 0,
2.66
or
δ K δ k ∈ N : μ fk x − fN x, t > 1 − ε or ν fk x − fN x, t < ε ∀ x ∈ X 1.
2.67
For every k ∈ M, we have
μ fk x − fN x, t μ fk x − fx fx − fN x, t
t
t
≥ μ fk x − fx,
∗ μ fx − fN x,
2
2
> 1 − ε ∗ 1 − ε
1 − ε,
ν fk x − fN x, t ν fk x − fx fx − fN x, t
t
t
≤ ν fk x − fx,
∗ ν fx − fN x,
2
2
2.68
> εε
ε.
Since δM 1, fk is a uniformly statistically Cauchy sequence in intuitionistic fuzzy
normed space.
Theorem 2.18. Let X, μ, ν, ∗, and Y, μ , ν , ∗, be two IFNS and the mapping fk :
X, μ, ν, ∗, → Y, μ , ν , ∗, be the intuitionistic fuzzy continuous on X of sequence of functions.
If stμ,ν − fk ⇒ f, the mapping f : X → Y is the intuitionistic fuzzy continuous on X.
Proof. Let x0 ∈ X be an arbitrary point. By the intuitionistic fuzzy continuity of fk ’s, for every
ε > 0 and t > 0 there exists δ δx0 , ε, t/3 > 0 such that
t
> 1 − ε,
μ fk x0 − fk x,
3
ν
t
fk x0 − fk x,
3
< ε,
2.69
18
Abstract and Applied Analysis
for every k ∈ N and all x such that μx0 − x, t > 1 − δ and νx0 − x, t < δ. Let x ∈ Bx0 , δ, t
be fixed Bx0 , δ, t stands for an open ball in X, μ, ν, ∗, with center x0 and radius δ. Since
stμ,ν − fk ⇒ f on X, for all x ∈ X, if we state, respectively, A and B by these sets
t
t
k ∈ N : μ fk x − fx,
≤ 1 − ε or ν fk x − fx,
≥ ε ∀x ∈ X ,
3
3
t
t
B k ∈ N : μ fk x0 − fx0 ,
≤ 1 − ε or ν fk x0 − fx0 ,
≥ ε ∀x ∈ X
3
3
A
2.70
then, δA 0 and δB 0, hence δA ∪ B 0 and A ∪ B is different from N. Thus, there
exists m ∈ N such that
t
μ fm x − fx,
>1−ε ,
3
t
μ fm x0 − fx0 ,
> 1 − ε,
3
t
ν fm x − fx,
< ε,
3
t
ν fm x0 − fx0 ,
< ε.
3
2.71
Now, we will show that f is intuitionistic fuzzy contunious at x0 . Using Definition 1.1, we
have
μ fx − fx0 , t μ fx − fm x fm x − fm x0 fm x0 − fx0 , t
t
t
t
≥ μ fx − fm x,
∗ μ fm x − fm x0 ,
∗ μ fm x0 − fx0 ,
3
3
3
> 1 − ε ∗ 1 − ε ∗ 1 − ε
1 − ε,
ν fx − fx0 , t ν fx − fm x fm x − fm x0 fm x0 − fx0 , t
t
t
t
≤ ν fx − fm x,
∗ ν fm x − fm x0 ,
∗ ν fm x0 − fx0 ,
3
3
3
< εεε
ε.
2.72
Thus, the proof is completed.
Acknowledgments
This work is supported by The Scientific and Technological Research Council of Turkey
TÜBİTAK under the Project number 110T699. We have benefited a lot from the report of the
anonymous referee. So, the authors are thankful for his/her valuable comments and careful
corrections on the first draft of this paper which improved the presentation and readability.
Abstract and Applied Analysis
19
References
1 L. A. Zadeh, “Fuzzy sets,” Information and Computation, vol. 8, pp. 338–353, 1965.
2 L. C. Barros, R. C. Bassanezi, and P. A. Tonelli, “Fuzzy modelling in population dynamics,” Ecological
Modelling, vol. 128, no. 1, pp. 27–33, 2000.
3 A. L. Fradkov and R. J. Evans, “Control of chaos: methods and applications in engineering,” Annual
Reviews in Control, vol. 29, no. 1, pp. 33–56, 2005.
4 R. Giles, “A computer program for fuzzy reasoning,” Fuzzy Sets and Systems, vol. 4, no. 3, pp. 221–234,
1980.
5 L. Hong and J.-Q. Sun, “Bifurcations of fuzzy nonlinear dynamical systems,” Communications in
Nonlinear Science and Numerical Simulation, vol. 11, no. 1, pp. 1–12, 2006.
6 J. Madore, “Fuzzy physics,” Annals of Physics, vol. 219, no. 1, pp. 187–198, 1992.
7 P. Das, “Fuzzy topology on fuzzy sets: product fuzzy topology and fuzzy topological groups,” Fuzzy
Sets and Systems, vol. 100, no. 1–3, pp. 367–372, 1998.
8 R. Saadati and J. H. Park, “On the intuitionistic fuzzy topological spaces,” Chaos, Solitons and Fractals,
vol. 27, no. 2, pp. 331–344, 2006.
9 K. T. Atanassov, “Intuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 20, no. 1, pp. 87–96, 1986.
10 M. Mursaleen, S. A. Mohiuddine, and O. H. H. Edely, “On the ideal convergence of double sequences
in intuitionistic fuzzy normed spaces,” Computers & Mathematics with Applications, vol. 59, no. 2, pp.
603–611, 2010.
11 M. Mursaleen, V. Karakaya, and S. A. Mohiuddine, “Schauder basis, separability, and approximation
property in intuitionistic fuzzy normed space,” Abstract and Applied Analysis, vol. 2010, Article ID
131868, 14 pages, 2010.
12 Y. Yılmaz, “Schauder bases and approximation property in fuzzy normed spaces,” Computers &
Mathematics with Applications, vol. 59, no. 6, pp. 1957–1964, 2010.
13 J. H. Park, “Intuitionistic fuzzy metric spaces,” Chaos, Solitons and Fractals, vol. 22, no. 5, pp. 1039–1046,
2004.
14 A. George and P. Veeramani, “On some results in fuzzy metric spaces,” Fuzzy Sets and Systems, vol.
64, no. 3, pp. 395–399, 1994.
15 T. K. Samanta and I. H. Jebril, “Finite dimensional intuitionistic fuzzy normed linear space,”
International Journal of Open Problems in Computer Science and Mathematics, vol. 2, no. 4, pp. 574–591,
2009.
16 B. Dinda and T. K. Samanta, “Intuitionistic fuzzy continuity and uniform convergence,” International
Journal of Open Problems in Computer Science and Mathematics, vol. 3, no. 1, pp. 8–26, 2010.
17 H. Fast, “Sur la convergence statistique,” vol. 2, pp. 241–244, 1951.
18 M. Balcerzak, K. Dems, and A. Komisarski, “Statistical convergence and ideal convergence for
sequences of functions,” Journal of Mathematical Analysis and Applications, vol. 328, no. 1, pp. 715–729,
2007.
19 A. Caserta, G. Di Maio, and L. D. R. Kočinac, “Statistical convergence in function spaces,” Abstract
and Applied Analysis, vol. 2011, Article ID 420419, 11 pages, 2011.
20 A. Caserta and L. D. R. Kocinac, “On statistical exhaustiveness,” Applied Mathematics Letters, vol. 25,
no. 10, pp. 1447–1451, 2012.
21 G. Di Maio and L. D. R. Kočinac, “Statistical convergence in topology,” Topology and its Applications,
vol. 156, no. 1, pp. 28–45, 2008.
22 O. Duman and C. Orhan, “μ-statistically convergent function sequences,” Czechoslovak Mathematical
Journal, vol. 54, no. 2, pp. 413–422, 2004.
23 S. Karakus, K. Demirci, and O. Duman, “Statistical convergence on intuitionistic fuzzy normed
spaces,” Chaos, Solitons and Fractals, vol. 35, no. 4, pp. 763–769, 2008.
24 B. Schweizer and A. Sklar, “Statistical metric spaces,” Pacific Journal of Mathematics, vol. 10, pp. 313–
334, 1960.
25 H. Efe and C. Alaca, “Compact and bounded sets in intuitionistic fuzzy metric spaces,” Demonstratio
Mathematica, vol. 40, no. 2, pp. 449–456, 2007.
26 J. A. Fridy, “On statistical convergence,” Analysis, vol. 5, no. 4, pp. 301–313, 1985.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download