Abstract
We study new sequence spaces associated to sequences in normed spaces and the band matrix F̂ defined by the Fibonacci sequence. We give some characterizations of continuous linear operators and weakly unconditionally Cauchy series by means of completeness of the new sequence spaces. Also, we characterize the barreledness of a normed space via weakly∗ unconditionally Cauchy series in \(X^{*}\).
Similar content being viewed by others
1 Introduction
By w, we denote the space of all real sequences \(x=(x_{k})\). Any vector subspace of w is called a sequence space. We have \(\ell_{\infty }\), c and \(c_{0}\) for the spaces of all bounded, convergent and null sequences \(x=(x_{k})\), respectively, normed by \(\Vert x \Vert _{\infty }=\sup_{k}\vert x_{k} \vert \), where \(k\in \mathbb{N}\), the set of positive integers.
A sequence space λ with a linear topology is called a K-space provided each of the maps \(p_{i}:\lambda \to \mathbb{R}\) defined by \(p_{i}(x)=x_{i}\) is continuous for all \(i\in \mathbb{N}\). A K-space λ is called an FK-space provided λ is a complete linear metric space. We say that an FK space \(\lambda \supset c_{00}\) has AD if \(c_{00}\) is dense in λ, where \(c_{00}=\operatorname{\operatorname{span}}\{e^{n}:n\in \mathbb{N}\}\), the set of all finitely non-zero sequences.
Let \(A=(a_{nk})\) be an infinite matrix of real numbers \(a_{nk}\), where \(n,~k \in \mathbb{N}\). Then we write \(Ax= ((Ax)_{n} )\), the A-transform of \(x\in w\), if \((Ax)_{n}=\sum_{k} a_{nk}x_{k}\) converges for each \(n\in \mathbb{N}\). For a sequence space λ, the matrix domain \(\lambda_{A}\) of an infinite matrix A is defined by
which is a sequence space.
A series \(\sum_{k}x_{k}\) in a real Banach space X is called weakly unconditionally Cauchy series (wuCs) if \(\sum_{k}\vert f(x_{k}) \vert <\infty \) for every \(f\in X^{*}\) (the dual space of X), and is called unconditionally convergent (ucs) if \(\sum_{k}x_{\pi (k)}\) is convergent for every permutation π of \(\mathbb{N}\). By \(\operatorname{ucs}(X)\), \(\ell_{1}(X)\), \(\operatorname{cs}(X)\), \(\operatorname{wcs}(X)\) and \(\operatorname{wuCs}(X)\), we denote the X-valued sequence spaces of unconditionally convergent, absolutely convergent, convergent, weakly convergent and weakly unconditionally Cauchy series, respectively.
It is well known that (see [1] and [2]) that \(x=(x_{k})\in \operatorname{ucs}(X)\) if and only if \((a_{k}x_{k})\in \operatorname{cs}(X)\) for every \(a=(a_{k})\in l_{\infty }\), and \(x=(x_{k})\in \operatorname{wuCs}(X)\) if and only if \((a_{k}x_{k})\in \operatorname{cs}(X)\) for every \(a=(a_{k})\in c_{0}\). It is also well known (see [3] and [4]) that X has a copy of \(c_{0}\) if and only if \(\operatorname{wuCs}(X)\setminus \operatorname{ucs}(X)\neq \emptyset \), and if X is a normed space then \(x=(x_{k})\in \operatorname{wuCs}(X)\) if and only if the set
is bounded. Another characterization of weakly unconditionally Cauchy series that appears in [1] states that a sequence \(x=(x_{k})\) is in \(\operatorname{wuCs}(X)\) if and only if there is a bounded operator \(T:c_{0} \rightarrow X\) defined by \(T(a)=\sum_{k} a_{k}x_{k}\) with \(Te_{n}=x _{n}\) where \(e^{n}\,\,(n\in \mathbb{N})\) the sequences with \(e^{n}_{n}=1\) and \(e^{n}_{k}=0 \) for \(k\neq n\).
In the literature, the Fibonacci numbers are the numbers in the following integer sequence:
The sequence \((f_{n})\) of Fibonacci numbers is given by the linear recurrence relations
This sequence has many interesting properties and applications in arts, sciences and architecture. For example, the ratio sequence of Fibonacci numbers converges to the golden ratio which is important in sciences and arts.
In [5], the Fibonacci matrix \(\widehat{F}= (\widehat{f}_{nk})\) obtained using the Fibonacci numbers were defined as follows:
for all \(k,n\in \mathbb{N}\), and studied some topological properties of the sequence space \(\ell_{p}(\widehat{F})\) for \(1\leq p<\infty \). Later, in [6] the sequence spaces \(\ell_{\infty }(\widehat{F})\) and \(c_{0}(\widehat{F})\) were introduced as follows:
and
Also in [7–14], many authors have defined and studied some new sequence spaces by using the matrix domain of a triangle infinite matrix.
In [15], for a sequence \(x=(x_{k})\) in a normed space X the spaces \(S(x)\) and \(S_{w}(x)\) were defined by the set of all sequences \(a=(a_{i})\in \ell_{\infty }\) such that \((a_{i}x_{i})\in \operatorname{cs}(X)\) and \((a_{i}x_{i})\in \operatorname{wcs}(X)\), respectively and several types of convergence of a series in a normed space have been characterized via these spaces. The completeness and barreledness of a normed space can also be characterized by means of the sequence spaces obtained by series in a normed space in [16] and [17, 18]. The characterizations of wucs are studied on locally convex spaces in [19].
In this paper, we introduce the sets \(S\widehat{F}(x)\), \(S\widehat{F} _{w}(x)\) and \(S\widehat{F}_{w}^{*}(g)\) by means of sequences in normed spaces and the Fibonacci matrix \(\widehat{F}= (\widehat{f}_{nk})\). We will characterize wucs by means of completeness of the spaces \(S\widehat{F}(x)\) and \(S\widehat{F}_{w}(x)\), and we will obtain necessary and sufficient conditions for the operator \(T:S\widehat{F}(x) (\textrm{ and } S\widehat{F}_{w}(x))\rightarrow X\) to be continuous. Finally, we will give a characterization of the barreledness of a normed space through w∗ucs in \(X^{*}\).
2 Main results
Let \(x= {x_{k}}\) and \(g=(g_{k})\) be sequences in normed spaces X and \(X^{*}\), respectively. We introduce the subspaces of \(\ell_{\infty }( \widehat{F})\) which are defined by
and
endowed with sup norm, where \(w-\sum_{k}\widehat{F}(a_{k})x_{k}\) and \(w^{*}-\sum_{k}\widehat{F}(a_{k})g_{k}\) define the limit in the weak topology and in the weak∗ topology, respectively.
In the following theorem we obtain a sufficient condition for the space \(S\widehat{F}(x)\) to be a Banach space.
Theorem 2.1
Let X be a normed space and \(x=(x_{k})\) be a sequence in X. If
-
(i)
X is a Banach space,
-
(ii)
\(x\in \operatorname{wuCs}(X)\),
then \(S\widehat{F}(x)\) is a Banach space.
Proof
Since \(x\in \operatorname{wuCs}(X)\), the set E given in (1.1), is bounded. Therefore, there exists \(M>0\) such that \(\Vert E \Vert \leq M\). Let \((a^{m})\) be a Cauchy sequence in \(S\widehat{F}(x)\). Since \(\ell_{\infty }( \widehat{F})\) is a Banach space, there exists \(a=(a_{k}^{0})\in \ell_{\infty }(\widehat{F})\) such that \(\lim_{m} a^{m}=a^{0}\) in \(\ell_{\infty }(\widehat{F})\). We will show that \(a^{0}\in S \widehat{F}(x)\).
For \(\epsilon >0\) there exists \(m_{0}\in \mathbb{N}\) such that for every \(m\geq m_{0}\) and \(k\in \mathbb{N}\)
Since \(\frac{3M}{\epsilon }\vert \widehat{F}(a^{m})-\widehat{F}(a^{0}) \vert <1\), then \(\frac{3M}{\epsilon }\sum_{k=1}^{n} ( \widehat{F}(a^{m}_{k})- \widehat{F}(a^{0}_{k}) ) x_{i}\in E\) and hence for \(m>m_{0}\)
Since \((a^{m})\) is a Cauchy sequence in \(S\widehat{F}(x)\) there exists a sequence \((y_{m})\subset X\) such that for \(n\geq n_{0}\)
and hence for \(p>q>m_{0}\) and \(n\in \mathbb{N}\) we have
Therefore \((y_{m})\) is a Cauchy sequence in X. Then for \(\epsilon >0\) there exists \(y_{0}\in X\) such that for \(m>m_{1}\)
If we suppose that \(m_{2}=\max \{m_{0},m_{1}\}\), from the above inequalities, then we have
Consequently, \(a^{0}\in S\widehat{F}(x)\). □
Remark 2.2
Now, we will see that if the space \(S\widehat{F}(x)\) is complete, then \(c_{0}(\widehat{F})\subseteq S\widehat{F}(x)\). If we suppose that \(c_{0}(\widehat{F})\nsubseteq S\widehat{F}(x)\), then there exists a sequence \(a^{0}=(a_{k}^{0})\in c_{0}(\widehat{F})\) such that \(\sum_{k}\widehat{F}(a^{0}_{k})x_{k}\) is not convergent. Since \(c_{0}(\widehat{F})\) is a AD-space, there exists a Cauchy sequence \(a=(a_{k}^{m})\) in \(c_{00}\) (also in \(S\widehat{F}(x)\)) such that
Then \(S\widehat{F}(x)\) is not complete.
The theorem that follows gives us a characterization of wucs.
Theorem 2.3
Let X is a normed space and \(x=(x_{k})\) be a sequence in X. If X is a Banach space, then \(x\in \operatorname{wuCs}(X)\) if and only if \(S \widehat{F}(x)\) is a Banach space.
Proof
We prove that if \(S\widehat{F}(x)\) is a Banach space, then \(x\in \operatorname{wuCs}(X)\). Let us assume that \(x\notin \operatorname{wuCs}(X)\). Then there exists a \(g\in X^{*}\) such that \(\sum_{k} \vert g(x_{k}) \vert =\infty \). We will construct a sequence that is \(a=(a_{k})\in c_{0}({\widehat{F}}) \setminus S\widehat{F}(x)\). Let us choose \(m_{1}\in \mathbb{N}\) such that \(\sum_{k=1}^{m_{1}} \vert g(x_{k}) \vert >2.2\). We define
for \(k\in \{1,2, \ldots ,m_{1}\}\). Analogously, we can choose \(m_{2}>m_{1}\) such that \(\sum_{k=m_{1}+1}^{m_{2}} \vert g(x_{k}) \vert >3.3\), and we can also define
for \(k\in \{m_{1}+1, \ldots ,m_{2}\}\). Following this way, we obtain an increasing sequence \((m_{k})\) in \(\mathbb{N}\) and the sequence \(a=(a_{k})\in c_{0}(\widehat{F})\) such that
Then \(a\notin S\widehat{F}(x)\) and hence \(c_{0}(\widehat{F})\nsubseteq S\widehat{F}(x)\). From Remark 2.2, \(S\widehat{F}(x)\) is not a Banach space. □
Remark 2.4
If X is not Banach space, then the above theorem is not satisfied. Actually, If X is not Banach space then there exists a sequence \(x=(x_{k})\in \ell_{1}(X)\setminus cs(X)\) such that for every \(k\in \mathbb{N}\) and \(x^{**}\in X^{**}\setminus X\)
We define the sequence \(y=(y_{k})\) by
It obvious that \(y=(y_{k})\in \operatorname{wuCs}(X)\). On the other hand, we consider the sequence \(a=(a_{k})\in c_{0}({\widehat{F}})\) such that
Then \(\sum_{k}\widehat{F}(a_{k})y_{k}=\frac{1}{2}x^{**}\in X^{**} \setminus X\). Therefore \(a\notin S\widehat{F}(y)\) and hence \(c_{0}({\widehat{F}})\nsubseteq S\widehat{F}(y)\). This shows that the space \(S\widehat{F}(y)\) is not complete.
Theorem 2.5
Let X be a normed space and \(x=(x_{k})\) be a sequence in X. We also define the linear operator
Then T is continuous if and only if \(x=(x_{k})\in \operatorname{wuCs}(X)\).
Proof
If the operator T is continuous, then we prove that \(x=(x_{k}) \in \operatorname{wuCs}(X)\). Since T is continuous, there exists \(K>0\) such that \(\Vert T(a_{k}) \Vert \leq K\Vert (a_{k}) \Vert \) for \(a=(a_{k})\in S\widehat{F}(x)\).
Let \(b=(b_{k})\in B_{c_{00}}\). Then there exists a sequence \(a=(a_{k})\in c_{00}(\widehat{F})\) such that \(\widehat{F}(a_{k})=b _{k}\) for every \(k\in \mathbb{N}\). Since \(c_{00}\subseteq S \widehat{F}(x)\), we have
Therefore the set E, defined in (1.1), is bounded and hence \(x=(x_{k})\in \operatorname{wuCs}(X)\).
Conversely, let \(x\in \operatorname{wuCs}(X)\). Since the set E is bounded, there exists \(K>0\) such that \(\Vert e \Vert < K\) for every \(e\in E\). If we take \((a_{k})\in S\widehat{F}(x)\), then
for \(n\in \mathbb{N}\). Thus, T is continuous. □
Now, we will extend some of the above results to weak topology. First, let us start with the following result.
Theorem 2.6
Let X be a Banach space and \(x=(x_{k})\) be a sequence in X. If \(x\in \operatorname{wuCs}(X)\), then \(S\widehat{F}_{w}(x)\) is a Banach space.
Proof
In the first place, as in Theorem 2.1, since \(x\in \operatorname{wuCs}(X)\), we suppose that \(\Vert e \Vert \leq M\) for every \(e\in E\) and \((a^{m})\) be a Cauchy sequence in \(S\widehat{F}_{w}(x)\) such that \(a^{m}\rightarrow a^{0} \in \ell_{\infty }(\widehat{F})\), as \(m\rightarrow \infty \).
Let \(\epsilon >0\) and let \(m_{0}\in \mathbb{N}\) such that for every \(m\geq m_{0}\) and \(k\in \mathbb{N}\)
Since \(\frac{3M}{\epsilon }\vert \widehat{F}(a^{m})-\widehat{F}(a^{0}) \vert <1\), \(\frac{3M}{\epsilon }\sum_{k=1}^{n} ( \widehat{F}(a^{m}_{k})- \widehat{F}(a^{0}_{k}) ) x_{i}\in E\) and hence for \(m>m_{0}\)
Since \((a^{m})\) is a Cauchy sequence in \(S\widehat{F}_{w}(x)\) there exists a sequence \((y_{m})\subset X\) such that for \(n\geq n_{0}\) and for all \(f\in X^{*}\)
From the Hahn-Banach theorem there exists a functional f in \(X^{*}\) such that
Then we have
for \(p>q>m_{0}\) and \(n\in \mathbb{N}\), and hence \((y_{m})\) is a Cauchy sequence in X. Let us suppose that \(y_{0}\in X\) such that for \(m>m_{1}\)
If we take \(m_{2}=\max \{m_{0},m_{1}\}\), then we have
Therefore, \(a^{0}\in S\widehat{F}_{w}(x)\). □
Theorem 2.7
Let X be a normed space and \(x=(x_{k})\) be a sequence in X. If X is a Banach space, then \(x\in \operatorname{wuCs}(X)\) if and only if \(S \widehat{F}_{w}(x)\) is a Banach space.
Proof
By Theorem 2.6, it is enough to show that if \(S\widehat{F}_{w}(x)\) is a Banach space, then \(x\in \operatorname{wuCs}(X)\). We suppose that there exists a \(g\in X^{*}\) such that \(\sum_{k} \vert g(x_{k}) \vert = \infty \). Similarly as in the proof of Theorem 2.3, we can construct a sequence \(a=(a_{k})\in c_{0}(\widehat{F})\) such that
From the definition of \(S\widehat{F}_{w}(x)\), we have \(a=(a_{k}) \notin S\widehat{F}_{w}(x)\). Then \(S\widehat{F}_{w}(x)\) is not complete. □
Theorem 2.8
Let X be a normed space and \(x=(x_{k})\) be a sequence in X. We also define the linear operator
Then T is continuous if and only if \(x=(x_{k})\in \operatorname{wuCs}(X)\).
Proof
The proof is similar to that of Theorem 2.5. □
For a normed space X and a sequence \(g=(g_{i})\) in \(X^{*}\), the set \(S\widehat{F}_{w^{*}}(g)\) was defined by
The next theorem shows that if the normed space X is barreled, then weakly unconditionally Cauchy series and weakly∗ unconditionally Cauchy series in \(X^{*}\) are equivalent.
Theorem 2.9
Let X be a normed space and \(g=(g_{i})\) be a sequence in \(X^{*}\). Consider the following statements:
-
(i)
\(g\in \operatorname{wuCs}(X^{*})\).
-
(ii)
\(S\widehat{F}_{w^{*}}(g)=\ell_{\infty }(\widehat{F})\).
-
(iii)
\(g\in w^{*}\operatorname{ucs}(X^{*})\); that is, \(\sum_{k}\vert g_{k}(x) \vert < \infty \) for every \(x\in X\).
We have (i) ⇒ (ii) ⇒ (iii). Furthermore X is a barreled normed space if and only if the three conditions are equivalent.
Proof
(i) ⇒ (ii). Since \(S\widehat{F}_{w^{*}}(g)\subset \ell_{\infty }(\widehat{F})\), we will show that \(\ell_{\infty }( \widehat{F})\subset S\widehat{F}_{w^{*}}(g)\). If \(a=(a_{k})\in \ell_{\infty }(\widehat{F})\), then \((\widehat{F}(a_{k})g_{k})\in \operatorname{wuCs}(X ^{*})\). Thus \(\sum_{k=1}^{\infty }\widehat{F}(a_{k})g_{k}\) is weak∗ convergent in \(X^{*}\) and hence \(a=(a_{k})\in S\widehat{F}_{w ^{*}}(g)\).
(ii) ⇒ (iii). It is obvious.
If X is a barreled space then we will show that (iii) ⇒ (i). We define the set \(E'\) by
It is easily see that the set \(E'\) is pointwise bounded. Since X is barreled, \(E'\) is bounded for the norm topology of \(X^{*}\). Therefore \((g_{k})\in \operatorname{wuCs}(X^{*})\).
Conversely, if (iii) ⇒ (i) are equivalent, then we will prove that X is a barreled space. Let us suppose that X is not a barreled space. Then there exists a weak∗-bounded set \(N\subseteq X^{*}\) which is not bounded. Let \((g_{k})\in N\) such that \(\Vert g_{k} \Vert >2^{k}.2^{k}\) for \(k\in \mathbb{N}\). If we take \(h_{k}= \frac{1}{2^{k}}g_{k}\) for \(k\in \mathbb{N}\) then it is clear that \((h_{k}(x))\in \ell_{1}\) for every \(x\in X\). Since \(\Vert h_{k} \Vert >2^{k}\) for every \(k\in \mathbb{N}\), the series \(\sum_{k=1}^{\infty } \frac{1}{2^{k}}h_{k}\) does not convergence. Hence \((h_{k})\notin \operatorname{wuCs}(X ^{*})\). □
3 Conclusion
In this paper, we introduced and studied the sets \(S\widehat{F}(x)\), \(S\widehat{F}_{w}(x)\) and \(S\widehat{F}_{w}^{*}(g)\) via sequences in normed spaces and the Fibonacci matrix \(\widehat{F}= (\widehat{f}_{nk})\). We obtained the characterizations of continuous linear operator and weakly unconditionally Cauchy series by means of completeness of the space \(S\widehat{F}(x)\), and we extended the obtained results to weak topology. Also, we gave necessary and sufficient conditions for a normed space X to be barreled space. Furthermore, one can obtain more general conclusion corresponding to the results of this paper by taking more general matrices instead of the Fibonacci matrix.
References
Albiac, F, Kalton, NJ: Topics in Banach Spaces Theory. Springer, New York (2006)
Diestel, J: Sequences and Series in Banach Spaces. Springer, New York (1984)
Bessaga, C, Pelczynski, A: On bases and unconditional convergence of series in Banach spaces. Stud. Math. 17, 151-164 (1958)
McArthur, CW: On relationships amongst certain spaces of sequences in an arbitrary Banach space. Can. J. Math. 8, 192-197 (1956)
Kara, EE: Some topological and geometrical properties of new Banach sequence spaces. J. Inequal. Appl. 2013, 38 (2013)
Başarır, M, Başar, F, Kara, EE: On the spaces of Fibonacci difference null and convergent sequences. arXiv:1309.0150v1 [math.FA] (2013)
Alotaibi, A, Mursaleen, M, Alamri, BAS, Mohiuddine, SA: Compact operators on some Fibonacci difference sequence spaces. J. Inequal. Appl. 2015, 203 (2015)
Altay, B, Başar, F: Certain topological properties and duals of the domain of a triangle matrix in a sequence space. J. Math. Anal. Appl. 336(2), 632-645 (2007)
Başar, F, Altay, B: On the space of sequences of p-bounded variation and related matrix mappings. Ukr. Mat. Zh. 55(1), 108-118 (2003). Reprinted in Ukr. Math. J. 55(1), 136-147 (2003)
Kara, EE, Başarır, M, Mursaleen, M: Compactness of matrix operators on some sequence spaces derived by Fibonacci numbers. Kragujev. J. Math. 39(2), 217-230 (2015)
Karakaya, V, Savaş, E, Polat, H: Some paranormed Euler sequence spaces of difference sequences of order m. Math. Slovaca 63(4), 849-862 (2013)
Kirişçi, M, Başar, F: Some new sequence spaces derived by the domain of generalized difference matrix. Comput. Math. Appl. 60, 1299-1309 (2010)
Malkowsky, E, Rakočević, V: On matrix domains of triangles. Appl. Math. Comput. 189, 1146-1163 (2007)
Mursaleen, M, Noman, AK: On the spaces of λ-convergent and bounded sequences. Thai J. Math. 8(2), 311-329 (2010)
Aizpuru, A, Pérez-Fernández, FJ: Characterizations of series in Banach spaces. Acta Math. Univ. Comen. 58(2), 337-344 (1999)
Pérez-Fernández, FJ, Benítez-Trujillo, F, Aizpuru, A: Characterizations of completeness of normed spaces through weakly unconditionally Cauchy series. Czechoslov. Math. J. 50(125), 889-896 (2000)
Kama, R, Altay, B: On some new characterizations of completeness and barrelledness of normed spaces. Contemp. Anal. Appl. Math. (2017, in press)
Kama, R, Altay, B: Some sequence spaces and completeness of normed spaces. Creat. Math. Inform. (2017, in press)
Ronglu, L, Cho, M-H: Weakly unconditional Cauchy series on locally convex spaces. Northeast. Math. J. 11(2), 187-190 (1995)
Acknowledgements
We would like to express our thanks to the anonymous reviewers for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kama, R., Altay, B. Weakly unconditionally Cauchy series and Fibonacci sequence spaces. J Inequal Appl 2017, 133 (2017). https://doi.org/10.1186/s13660-017-1407-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1407-y