We define statistical Cesàro and statistical logarithmic summability methods of sequences in intuitionistic fuzzy normed spaces(IFNS) and give slowly oscillating type and Hardy type Tauberian conditions under which statistical Cesàro summability and statistical logarithmic summability imply convergence in IFNS. Besides, we obtain analogous results for the higher order summability methods as corollaries. Also, two theorems concerning the convergence of statistically convergent sequences in IFNS are proved in the paper.
Events and problems that humankind encounter in real world are commonly complex and imprecise due to uncertainty of parameters and indefiniteness of the objects involved. Researchers proposed various theories of uncertainty to handle such events and problems involving incomplete information. Among them, Lotfi A. Zadeh proposed fuzzy logic as an extension Boolean logic with the introduction of the mathematical concept of fuzzy sets [1]. In [1], Zadeh extended classical sets to fuzzy sets by using gradual memberships taking real values in the interval [0, 1], instead of Boolean memberships which take only integer values {0, 1}. Following its introduction, fuzzy sets were utilized by many researchers in different fields of science to process non-categorical data. Besides, motivated by fuzzy sets, Atanassov [2, 3] defined intuitionistic fuzzy sets(IFS) by considering gradual non-memberships as well as Zadeh’s gradual memberships. Like fuzzy sets, IFS were also applied in many areas of science such as control systems, robotics, computer, medical diagnosis, education, etc. Theoretical basis of intuitionistic fuzzy set theory also developed in time. In particular, Park [4] defined IF-metric and it was pursued by IF-norm [5]. Convergence of sequences with respect to IF-norm was defined and various convergence methods in the statistical sense were proposed to achieve a limit where ordinary convergence fails [6–15]. Also, there are recent studies applying some weighted mean summation methods in IFNS to achieve limit of sequences and providing Tauberian conditions which guarantee ordinary convergence [16, 17].
In some cases of sequences as in Example 2.2, Example 2.9, Example 3.2 and Example 3.9, a limit can not be achieved via statistical convergence or via weighted mean summation methods in IFNS. In such cases, we need to use some stronger methods of convergence to achieve a limit in IFNS, and to investigate whether ordinary convergence can be guaranteed with some extra conditions. For this aim, in this study we introduce statistical Cesàro and statistical logarithmic summability of sequences in IFNS, and obtain Tauberian conditions of slowly oscillating type and Hardy type under which ordinary convergence in IFNS follows from statistical Cesàro and statistical logarithmic summability. Besides, we show that statistical convergence of slowly oscillating sequences in IFNS implies ordinary convergence in the space. Examples in the paper provide also new types of sequences for statistical Cesàro and statistical logarithmic summation methods in classical normed spaces. Before to continue main results, we now give some preliminaries.
Definition 1.1. [18] The triplicate (N, μ, ν) is said to be an IFNS if N is a real vector space, and μ, ν are fuzzy sets on satisfying the following conditions for every u, w ∈ N and :
μ (u, t) =0 for t ≤ 0,
μ (u, t) =1 for all if and only if u = θ
for all and c ≠ 0,
μ (u + w, t + s) ≥ min {μ (u, t) , μ (w, s)},
and ,
ν (u, t) =1 for t ≤ 0,
ν (u, t) =0 for all if and only if u = θ
for all and c ≠ 0,
max {ν (u, t) , ν (w, s)} ≥ ν (u + w, t + s),
and .
We call (μ, ν) an IF-norm on N.
Example 1.2. Let (N, || · ||) be a normed space and μ0, ν0 be fuzzy sets on defined by
Then (μ0, ν0) is IF-norm on N. We note that we will use this IF-norm in the examples of the paper.
Throughout the paper (N, μ, ν) will denote an IFNS.
Definition 1.3. [18] A sequence (uk) in (N, μ, ν) is said to be convergent to a ∈ N and denoted by uk → a if for every ɛ > 0 and t > 0 there exists such that μ (uk - a, t) >1 - ɛ and ν (uk - a, t) < ɛ for all k ≥ k0.
Definition 1.4. [6] Let sequence (uk) be in (N, μ, ν). We say that (uk) is statistically convergent to a ∈ N with respect to fuzzy norm (μ, ν) provided that, for every ɛ > 0 and t > 0,
In this case we write stμ,ν - lim u = a.
Theorem 1.5. [6] Let sequence (uk) be in (N, μ, ν) and a ∈ N. Then, stμ,ν - lim u = a if and only if st - lim μ (uk - a, t) =1 and st - lim ν (uk - a, t) =0 for each t.
Theorem 1.6. [6] Let sequence (uk) be in (N, μ, ν) and a ∈ N. If (uk) is convergent to a, then (uk) is statistically convergent to a.
Definition 1.7. [19] A sequence (uk) in (N, μ, ν) is called q-bounded if and .
Definition 1.8. [16] A sequence (uk) is slowly oscillating if and only if for all t > 0 and for all ɛ ∈ (0, 1) there exist λ > 1 and , depending on t and ɛ, such that
whenever m0≤ n < k ≤ ⌊ λn ⌋.
Definition 1.9. [17] A sequence (uk) is slowly oscillating with respect to logarithmic summability if and only if for all t > 0 and for all ɛ ∈ (0, 1) there exist λ > 1 and , depending on t and ɛ, such that
whenever m0≤ n < k ≤ ⌊ nλ ⌋.
Theorem 1.10. [16] Let sequence (uk) be in (N, μ, ν). If {k (uk - uk-1)} is q-bounded, then (uk) is slowly oscillating.
Theorem 1.11. [17] Let sequence (uk) be in (N, μ, ν). If {k ln k (uk - uk-1)} is q-bounded, then (uk) is slowly oscillating with respect to logarithmic summability.
Theorem 1.12. [16] Let sequence (uk) be in (N, μ, ν). If (uk) is Cesàro summable to some a ∈ N and slowly oscillating, then (uk) converges to a.
Theorem 1.13. [17] Let sequence (uk) be in (N, μ, ν). If (uk) is logarithmic summable to some a ∈ N and slowly oscillating with respect to logarithmic summability, then (uk) converges to a.
Tauberian theorems for statistical Cesàro summability in IFNS
Now, we define statistical Cesàro summability method in IFNS. For some other studies concerning the concepts of Cesàro summability and statistical convergence see [16, 20–23].
Definition 2.1. Let (uk) be a sequence in (N, μ, ν). Cesàro means σk of (uk) is defined by
We say that (uk) is statistically Cesàro summable to a ∈ N if stμ,ν - lim σ = a.
In view of Theorem 1.6 and [16, Theorem 3.2], convergence implies statistical Cesàro summability in IFNS. But converse statement is not true in general by the next example.
Example 2.2. Let
be in IF-normed space . Sequence (uk) is neither convergent nor statistically convergent in . Besides, it is not Cesàro summable.
Let us apply statistical Cesàro summability to achieve a limit. Cesàro means (σk) of sequence (uk) is
Sequence (σk) is statistically convergent to 1 since for each t > 0 we have st - lim μ0 (σk - 1, t) = 1 and st - lim ν0 (σk - 1, t) = 0 where
Hence, sequence (uk) is statistically Cesàro summable to 1 in .
In this section, we will give some Tauberian conditions for statistical Cesàro summability to imply convergence in IFNS. To this end, firstly we now show that statistical convergence of slowly oscillating sequences yields convergence in IFNS.
Theorem 2.3.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically convergent to some a ∈ N and slowly oscillating, then (uk) is convergent to a.
Proof. Let stμ,ν - lim u = a and sequence (uk) be slowly oscillating. Then by Theorem 1.5, for every t > 0 we have st - lim μ (uk - a, t) = 1 and st - lim ν (uk - a, t) = 0. Our aim to show that and .
Fix t > 0. Since , from the proof of [23, Lemma 6] there is a subsequence of integers 1≤ l1 < l2 < ⋯ such that for any λ > 1 inequality lm < lm+1 < λlm holds for large enough m; and
So, for given ɛ > 0 there exists m1 such that
Besides, since (uk) is slowly oscillating there exist m2 and λ > 1 such that
for m2 ≤ lm < k ≤ λlm. It follows from (2.1)–(2.2) that
holds for lm < k ≤ lm+1 where m > max {m1, m2}. By considering all m’s, we get
where m3 = max {m1, m2}. Hence is proved. The proof of can be done similarly.□
We need next lemma to prove main theorem of this section.
Lemma 2.4.Let (uk) be slowly oscillating sequence in (N, μ, ν). Let t be an arbitrary but fixed positive number. Then, for each ɛ > 0 followings hold:
and
where m0 ≤ k ≤ n/λ, and m0 = m0 (t, ɛ) and λ = λ (t, ɛ) are from definition of slow oscillation.
Proof. Let (uk) be slowly oscillating sequence in (N, μ, ν), and m0 and λ > 1 be from Definition 1.8. Let t be an arbitrary but fixed positive number. Fix m0 ≤ k ≤ n/λ. Consider the sequence(see [23, Proof of Lemma 8])
where q is determined by the condition
Then, we get
and
by virtue of the inequality which was calculated in [23, Proof of Lemma 8]. This proves (2.3).
On the other hand by using (2.3) we have:
and
by virtue of , which proves (2.4). □
Theorem 2.5.Let sequence (uk) be in (N, μ, ν). If (uk) is slowly oscillating, then sequence (σk) of Cesàro means is also slowly oscillating.
Proof. Let sequence (uk) be slowly oscillating and . Fix t > 0. For given ɛ > 0 there exists and 1 < λ < 2 such that
μ (uk - un, t/16) >1 - ɛ and ν (uk - un, t/16) < ɛ whenever m0≤ n < k ≤ ⌊ λn ⌋.
whenever m1≤ n < k ≤ ⌊ λn ⌋, by virtue of inequalities in (2.3).
Then, for max {m0, m1}≤ n < k ≤ ⌊ λn ⌋, we get
by virtue of the facts that and , and of Lemma 2.4. On the other hand, ν (σk - σn, t) < ɛ can be shown similarly. Hence, the proof is completed.□
Now we give the main theorem of this section.
Theorem 2.6.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically Cesàro summable to some a ∈ N and slowly oscillating, then (uk) is convergent to a.
Proof. Let (uk) be statistically Cesàro summable to some a ∈ N and slowly oscillating. Then, by Theorem 2.5 sequence (σk) of Cesàro means is also slowly oscillating. From Theorem 2.3, (σk) → a. This means that (uk) is Cesàro summable to a. Since (uk) is slowly oscillating, from Theorem 1.12 (uk) is convergent to a.□
In view of Theorem 1.10 and Theorem 2.6 we get following theorem.
Theorem 2.7.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically Cesàro summable to a ∈ N and {k (uk - uk-1)} is q-bounded, then (uk) converges to a.
In some cases of sequences as in Example 2.9, first order Cesàro means fails to converge both ordinarily and statistically in IFNS. To handle such sequences, we consider higher order Cesàro means and define statistical Hölder summability method in IFNS. In the sequel, we give corresponding Tauberian theorems as corollaries.
Definition 2.8. Let (uk) be in (N, μ, ν). m-th order Hölder means of (uk) is defined by
where . Sequence (uk) is said to be (H, m) summable to a ∈ N if and it is said to be statistically (H, m) summable to a if stμ,ν - lim Hm = a
Example 2.9. Let
be in IF-normed space where n ≥ 2. Sequence (uk) is neither convergent nor statistically convergent in . Furthermore, it is neither Cesàro summable nor statistically Cesàro summable.
Let us apply statistical (H, 3) summability to achieve a limit. Hölder means , and of sequence (uk) are
where sequence denotes m-fold Cesàro means of sequence { (-1) kk2} and n ≥ 2. Sequence is statistically convergent to 0 since for each t > 0 we have and where
in view of the fact that . Hence, sequence (uk) is statistically (H, 3) summable to 0 in .
In view of Theorem 1.12, Theorem 2.5 and Theorem 2.6 we get following Tauberian theorem.
Theorem 2.10.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically (H, m) summable to some a ∈ N and slowly oscillating, then (uk) is convergent to a.
Also, in view of theorem above and Theorem 1.10 we get following theorem.
Theorem 2.11.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically (H, m) summable to some a ∈ N and {k (uk - uk-1)} is q-bounded, then (uk) is convergent to a.
Tauberian theorems for statistical logarithmic summability in IFNS
We define statistical logarithmic summability method in IFNS as the following.
Definition 3.1. Let sequence (uk) be in (N, μ, ν). Logarithmic mean τk of (uk) is defined by
(uk) is said to be statistically logarithmic summable to a ∈ N if stμ,ν - lim τ = a.
In view of Theorem 1.6 and [17, Theorem 2.2], convergence implies statistical logarithmic summability in IFNS. But converse statement is not true in general by the next example.
Example 3.2. Consider the vector space C [0, 1] equipped with the norm . Let
be in IF-normed space (C [0, 1] , μ0, ν0) where . Sequence (fk) is neither convergent nor statistically convergent in (C [0, 1] , μ0, ν0). Besides, (fk) is neither Cesàro summable nor logarithmic summable. Furthermore, (fk) is not statistically Cesàro summable which we have defined in previous section.
Let us apply statistical logarithmic summability to achieve a limit. Logarithmic means (τk) of sequence (fk) is
Hence, (fk) is statistically logarithmic summable to 0 since for each t > 0 we have st - lim μ0 (τk, t) = 1 and st - lim ν0 (τk, t) = 0 where
In this section, we will give some Tauberian conditions for statistical logarithmic summability to imply convergence in IFNS. To this end, firstly we now show that statistical convergence of slowly oscillating sequences with respect to logarithmic summability implies convergence in IFNS.
Theorem 3.3.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically convergent to some a ∈ N and slowly oscillating with respect to logarithmic summability, then (uk) is convergent to a.
Proof. Let stμ,ν - lim u = a and sequence (uk) be slowly oscillating with respect to logarithmic summability. Then by Theorem 1.5, for every t > 0 we have st - lim μ (uk - a, t) = 1 and st - lim ν (uk - a, t) = 0. Our aim to show that and .
Fix t > 0. Since , from the proof of [24, Lemma 10] there is a subsequence of integers 1≤ j1 < j2 < ⋯ such that for any λ > 1 inequality holds for large enough m; and
So, for ɛ > 0 there exists m1 so that
Besides, since (uk) is slowly oscillating with respect to logarithmic summability there exist m2 and λ > 1 such that
for . It follows from (3.1)–(3.2) that
holds for jm < k ≤ jm+1 where m > max {m1, m2}. By considering all m’s, we get
where m3 = max {m1, m2}. Hence is proved. The proof of can be done similarly. □
We need the next lemma to prove main theorem of this section.
Lemma 3.4.Let sequence (uk) be slowly oscillating with respect to logarithmic summability in (N, μ, ν). Let t be an arbitrary but fixed positive number. Then, for each ɛ > 0 followings hold:
and
where 1 < m0 ≤ k ≤ n1/λ, and m0 = m0 (t, ɛ) and λ = λ (t, ɛ) are from definition of slow oscillation with respect to logarithmic summability.
Proof. Let sequence (uk) be slowly oscillating with respect to logarithmic summability in (N, μ, ν), and 1 < m0 and λ > 1 be from Definition 1.9. Let t be an arbitrary but fixed positive number. Fix m0 ≤ k ≤ n1/λ. Consider the sequence(see [24, Proof of Lemma 5])
where q is determined by the condition
Then, we get
and
by virtue of the inequality which was calculated in [24, Proof of Lemma 5]. This proves (3.3).
On the other hand by using (3.3) we have:
and
which proves (3.4). □
Theorem 3.5.Let sequence (uk) be in (N, μ, ν). If (uk) is slowly oscillating with respect to logarithmic summability, then sequence (τk) of logarithmic means is also slowly oscillating with respect to logarithmic summability.
Proof. Let sequence (uk) be slowly oscillating with respect to logarithmic summability and . Fix t > 0. For given ɛ > 0 there exists and 1 < λ < 2 such that
μ (uk - un, t/20) >1 - ɛ and ν (uk - un, t/20) < ɛ whenever m0≤ n < k ≤ ⌊ nλ ⌋.
whenever m1≤ n < k ≤ ⌊ nλ ⌋, by virtue of inequalities in (3.3).
Then, for max {m0, m1}≤ n < k ≤ ⌊ nλ ⌋, we get
by virtue of the facts that and , and of Lemma 3.4. On the other hand, ν (τk - τn, t) < ɛ can be shown similarly. Hence, the proof is completed.□
Now we give the main theorem of this section.
Theorem 3.6.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically logarithmic summable to some a ∈ N and slowly oscillating with respect to logarithmic summability, then (uk) is convergent to a.
Proof. Let (uk) be statistically logarithmic summable to some a ∈ N and slowly oscillating with respect to logarithmic summability. Then, by Theorem 3.5 sequence (τk) of logarithmic means is also slowly oscillating with respect to logarithmic summability. From Theorem 3.3, (τk) → a. This means that (uk) is logarithmic summable to a. Since (uk) is slowly oscillating with respect to logarithmic summability, from Theorem 1.13 (uk) is convergent to a.□
In view of Theorem 1.11 and Theorem 3.6 we get following theorem.
Theorem 3.7.Let sequence (uk) be in (N, μ, ν). If (uk) is logarithmic summable to a ∈ N and {k ln k (uk - uk-1)} is q-bounded, then (uk) converges to a.
For the case of higher order logarithmic summability methods we can give following Tauberian theorems as corollaries.
Definition 3.8. Let (uk) be in (N, μ, ν). m-th order logarithmic means of (uk) is defined by
where . We say that sequence (uk) is statistically (L, m) summable to a ∈ N if sequence is statistically convergent to a.
Example 3.9. Consider the vector space C [0, 1] equipped with the norm . Let
be in IF-normed space (C [0, 1] , μ0, ν0) where . Sequence (fk) is neither convergent nor statistically convergent in (C [0, 1] , μ0, ν0). Besides, (fk) is neither statistical Cesàro summable nor statistical logarithmic summable.
Let us apply statistical (L, 2) summability to achieve a limit. Logarithmic means and of sequence (fk) is
where sequence denotes m-fold logarithmic means of sequence { (- x) kk2}. Hence, (fk) is statistically (L, 2) summable to 0 since for each t > 0 we have and where
In view of Theorem 1.13, Theorem 3.5 and Theorem 3.6 we get following Tauberian theorem.
Theorem 3.10.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically (L, m) summable to some a ∈ N and slowly oscillating with respect to logarithmic summability, then (uk) is convergent to a.
Also, in view of theorem above and Theorem 1.11 we get following theorem.
Theorem 3.11.Let sequence (uk) be in (N, μ, ν). If (uk) is statistically (L, m) summable to some a ∈ N and {k ln k (uk - uk-1)} is q-bounded, then (uk) is convergent to a.
AtanassovK., Intuitionistic fuzzy sets, In: VII ITKR’s Session, Sofia, June 1983 (Deposed in Central Sci.-Techn. Library of Bulg. Acad. of Sci., 1697/84) (in Bulgarian). Reprinted: International Journal of Bioautomation 2016; 20(S1): S1-S6 (in English).
SaadatiR. and ParkJ.H., On the intuitionistic fuzzy topological spaces, Chaos Solitons Fractals27 (2006), 331–344.
6.
KarakuşS., DemirciK. and DumanO., Statistical convergence on intuitionistic fuzzy normed spaces, Chaos Solitons Fractals35 (2008), 763–769.
7.
MursaleenM. and MohiuddineS.A., On lacunary statistical convergence with respect to the intuitionistic fuzzy normed space, J Comput Appl Math233 (2009), 142–149.
8.
MohiuddineS.A. and LohaniQ.M.D., On generalized statistical convergence in intuitionistic fuzzy normed space, Chaos Solitons Fractals42 (2009), 1731–1737.
9.
MursaleenM., MohiuddineS.A. and EdelyO.H.H., On the ideal convergence of double sequences in intuitionistic fuzzy normed spaces, Comput Math Appl59 (2010), 603–611.
10.
EsiA. and HazarikaB., λ-ideal convergence in intuitionistic fuzzy 2-normed linear space, J Intell Fuzzy Syst24(4) (2013), 725–732.
11.
KarakayaV., ŞimşekN., GürsoyF. and ErtürkM., Lacunary statistical convergence of sequences of functions in intuitionistic fuzzy normed space, J Intell Fuzzy Syst26(3) (2014), 1289–1299.
12.
SavaşE. and GürdalM., Certain summability methods in intuitionistic fuzzy normed spaces, J Intell Fuzzy Syst27(4) (2014), 1621–1629.
13.
DebnathP., Results on lacunary difference ideal convergence in intuitionistic fuzzy normed linear spaces, J Intell Fuzzy Syst28(3) (2015), 1299–1306.
14.
AltundağS. and KamberE., Weighted statistical convergence in intuitionistic fuzzy normed linear spaces, J Inequal Spec Funct8 (2017), 113–124.
TaloÖ. and YavuzE., Cesàro summability of sequences in intuitionistic fuzzy normed spaces and related Tauberian theorems, Soft Comput25 (2021), 2315–2323.
17.
YavuzE., On the logarithmic summability of sequences in intuitionistic fuzzy normed spaces, FUJMA3(2) (2020), 101–108.
18.
LaelF. and NourouziK., Some results on the IF-normed spaces, Chaos Solitons Fractals37 (2008), 931–939.
19.
EfeH. and AlacaC., Compact and bounded sets in intuitionistic fuzzy metric spaces, Demonstr Math40(2) (2007), 449–456.
20.
NurayF., UlusuU. and DündarE., Cesàro summability of double sequences of sets, Gen Math Notes25(1) (2014), 8–18.
21.
UlusuU. and NurayF., Lacunary statistical summability of sequences of sets, Konuralp J Math3(2) (2015), 176–184.
22.
UlusuU., DündarE. and GülleE., -Cesàro summability of double sequences of sets, PJM9(1) (2020), 561–568.
23.
MóriczF., Ordinary convergence follows from statistical summability (C, 1) in the case of slowly decreasing or oscillating sequences, Colloq Math99(2) (2004), 207–219.
24.
MóriczF., Theorems relating to statistical harmonic summability and ordinary convergence of slowly decreasing or oscillating sequences, Analysis24 (2004), 127–145.