Theory and Modern Applications

# On ideal convergence Fibonacci difference sequence spaces

## Abstract

The Fibonacci sequence was firstly used in the theory of sequence spaces by Kara and Başarir (Casp. J. Math. Sci. 1(1):43–47, 2012). Afterward, Kara (J. Inequal. Appl. 2013(1):38, 2013) defined the Fibonacci difference matrix by using the Fibonacci sequence $$(f_{n})$$ for $$n\in{\{0, 1, \ldots\}}$$ and introduced new sequence spaces related to the matrix domain of . In this paper, by using the Fibonacci difference matrix defined by the Fibonacci sequence and the notion of ideal convergence, we introduce the Fibonacci difference sequence spaces $$c^{I}_{0}(\hat {F})$$, $$c^{I}(\hat{F})$$, and $$\ell^{I}_{\infty}(\hat{F})$$. Further, we study some inclusion relations concerning these spaces. In addition, we discuss some properties on these spaces such as monotonicity and solidity.

## Introduction

Let $$\mathbb{N}$$ and $$\mathbb{R}$$ denote the sets of natural and real numbers, respectively. By ω we denote the vector space of all real sequences. Any vector subspace of ω is called a sequence space. Throughout the paper, $$\ell_{\infty}$$, c, and $$c_{0}$$ are the classes of bounded, convergent, and null sequences, respectively, with norm $$\|x\|_{\infty}=\sup_{k\in\mathbb{N}}|x_{k}|$$. Let λ and μ be two sequence spaces, and let $$A =(a_{nk})$$ be an infinite matrix of real numbers $$a_{nk}$$, $$n,k\in{\mathbb{N}}$$. Then we say that A defines a matrix transformation from λ into μ, and we denote it by writing $$A:\lambda\longrightarrow\mu$$ if for every sequence $$x=(x_{k})\in{\lambda}$$, the sequence $$Ax=\{A_{n}(x)\}$$, the A-transform of x, is in μ, where

$$A_{n}(x)=\sum_{k=0}^{\infty}a_{nk}x_{k} \quad \mbox{for }n\in{\mathbb{N}}.$$
(1.1)

By $$(\lambda,\mu)$$ we denote the class of all matrices A. Thus $$A\in {(\lambda,\mu)}$$ if and only if the series on the right side of (1.1) converges for each $$n\in{\mathbb{N}}$$ and every $$x\in{\lambda}$$ and $$Ax\in{\mu}$$ for all $$x\in{\lambda}$$, where $$A_{n}=(a_{nk})_{k\in {\mathbb{N}}}$$ denotes the sequence in the nth row of A. The concept of matrix domain has fundamental importance for this study. So, the matrix domain of an infinite matrix A in a sequence space λ is defined by

$$\lambda_{A}:=\bigl\{ x=(x_{k})\in{\omega}:Ax \in{\lambda}\bigr\} ,$$
(1.2)

which is a sequence space. If $$A=\triangle$$, where is the backward difference matrix defined by

$$\triangle=\triangle_{nk}= \textstyle\begin{cases} (-1)^{n-k},& n-1\leq k\leq n, \\ 0, & 0\leq k< n-1 \mbox{ or } k>n, \end{cases}$$

for all $$n,k\in{\mathbb{N}}$$, then $$\lambda_{\triangle}$$ is called the difference sequence space defined by the domain of a triangle matrix A whenever λ is a normed linear space or paranormed sequence space. The notion of difference sequence spaces was introduced by Kizmaz  as follows:

$$\lambda(\triangle):= \bigl\{ x=(x_{n})\in{\omega}:(x_{n}-x_{n+1}) \in {\lambda} \bigr\}$$

for $$\lambda\in{\{\ell_{\infty},c,c_{0}\}}$$. In recent years, some researchers have addressed the approach to constructing a new sequence space by means of the matrix domain of a particular limitation method; see, for instance, [24, 10, 11, 15, 20, 26] and the references therein. Quite recently, Kara  has introduced the difference sequence space

$$\ell_{\infty}(\hat{F})= \biggl\{ x=(x_{n})\in{\omega}:\sup _{n\in{\mathbb {N}}} \biggl\vert \frac{f_{n}}{f_{n+1}}x_{n}- \frac{f_{n+1}}{f_{n}}x_{n-1} \biggr\vert < \infty \biggr\} ,$$

which is derived by the Fibonacci difference matrix $$\hat{F}=(\hat {f}_{nk})$$ defined as follows:

$$\hat{f}_{nk}= \textstyle\begin{cases} -\frac{f_{n+1}}{f_{n}}, & k=n-1, \\ \frac{f_{n}}{f_{n+1}}, & k=n, \\ 0, & 0\leq k< n-1 \mbox{ or }k>n, \end{cases}$$
(1.3)

for all $$n,k\in{\mathbb{N}}$$, where $$\{f_{n}\}_{n=0}^{\infty}$$ is the sequence of Fibonacci numbers defined by the linear recurrence equalities $$f_{0}= f_{1}=1$$ and $$f_{n}=f_{n-1}+f_{n-2}$$, $$n\geq2$$, with the following fundamental properties (see Koshy ):

\begin{aligned}& \lim_{n\to\infty}\frac{f_{n+1}}{f_{n}}=\frac{1+\sqrt{5}}{2}= \alpha\quad \mbox{(Golden Ratio)}, \\& \sum_{k=0}^{n}f_{k}=f_{n+2}-1 \quad (n\in{\mathbb{N}}), \\& \sum_{k}\frac{1}{f_{k}} \mbox{ converges}, \\& f_{n-1}f_{n+1}-f_{n}^{2}=(-1)^{n+1}, \quad n\geq1 \mbox{ (Cassini's formula)}, \end{aligned}
(1.4)

which yields $$f_{n-1}^{2}+f_{n}f_{n-1}-f_{n}^{2}=(-1)^{n+1}$$ by substituting for $$f_{n+1}$$ in Cassini’s formula.

For a more detailed information about Fibonacci sequence spaces, we refer to [57, 18, 25]. By using the same infinite Fibonacci matrix and the same technique, Başarir et al.  have introduced the Fibonacci difference sequence spaces $$c_{0}(\hat{F})$$ and $$c(\hat {F})$$ as the sets of all sequences whose -transforms are in the spaces $$c_{0}$$ and c, respectively, that is,

$$c_{0}(\hat{F}):= \Bigl\{ x=(x_{n})\in{\omega}:\lim _{n\to\infty}\hat {F}_{n}(x)=0 \Bigr\}$$

and

$$c(\hat{F}):= \Bigl\{ x=(x_{n})\in{\omega}:\exists{ \ell}\in{\mathbb {R}}\ni\lim_{n\to\infty}\hat{F}_{n}(x)=\ell \Bigr\} ,$$

where the sequence $$\hat{F}_{n}(x)$$ is the -transform of a sequence $$x=(x_{n})\in{\omega}$$, defined as follows:

$$\hat{F}_{n}(x)= \textstyle\begin{cases} \frac{f_{0}}{f_{1}}x_{0}=x_{0}, & n=0, \\ \frac{f_{n}}{f_{n+1}}x_{n}-\frac{f_{n+1}}{f_{n}}x_{n-1}, & n\geq1. \end{cases}$$
(1.5)

By an ideal we mean a family of sets $$I\subset P(X)$$ (where $$P(X)$$ is the power set of X) such that (i) $$\emptyset\in{I}$$, (ii) $$A\cup B \in {I}$$ for all $$A,B\in{I}$$, and (iii) for each $$A\in{I}$$ and $$B\subset A$$, we have $$B\in{I}$$; I is called admissible in X if it contains all singletons, that is, if $$I\supset\{\{x\}:x\in{X}\}$$. A filter on X is a nonempty family of sets $$\mathcal{F}\subset P(X)$$ satisfying (i) $$\emptyset\notin\mathcal{F}$$, (ii) $$A, B\in{\mathcal{F}}$$ implies that $$A\cap B \in\mathcal{F}$$, and (iii) for any $$A\in {\mathcal{F}}$$ and $$B\supset A$$, we have $$B\in{\mathcal{F}}$$. For each ideal I, there is a filter $$\mathcal{F}(I)$$ corresponding to I (a filter associated with ideal I), that is, $$\mathcal{F}(I)=\{ K\subseteq X: K^{c} \in{I}\}$$, where $$K^{c}=X\setminus K$$. In 1999, Kostyrko et al.  defined the notion of I-convergence, which depends on the structure of ideals of subsets of $$\mathbb{N}$$ as a generalization of statistical convergence introduced by Fast  and Steinhaus  in 1951. Later on, the notion of I-convergence was further investigated from the sequence space point of view and linked with the summability theory by Šalát et al. , Tripathy and Hazarika , Khan and Ebadullah , Das et al. , and many other authors. Šalát et al.  extended the notion of summability fields of an infinite matrix of operators A with the help of the notion of I-convergence, that is, the notion of I-summability and introduced new sequence spaces $$c_{A}^{I}$$ and $$m_{A}^{I}$$, the I-convergence field and bounded I-convergence field of an infinite matrix A, respectively. For further details on ideal convergence, we refer to [14, 16, 17].

Throughout the paper, $$c^{I}_{0}$$, $$c^{I}$$, and $$\ell^{I}_{\infty}$$ denote the I-null, I-convergent, and I-bounded sequence spaces, respectively. In this paper, by combining the definitions of Fibonacci difference matrix and ideal convergence we introduce the sequence spaces $$c_{0}^{I}(\hat{F})$$, $$c^{I}(\hat{F})$$, and $$\ell _{\infty}^{I}(\hat{F})$$. Further, we study some topological and algebraic properties of these spaces. Also, we study some inclusion relations concerning these spaces.

Now, we recall some definitions and lemmas, which will be used throughout the paper.

### Definition 1.1

([9, 29])

A sequence $$x=(x_{n})\in{\omega}$$ is said to be statistically convergent to a number $$\ell\in{\mathbb{R}}$$ if, for every $$\epsilon>0$$, the natural density of the set $$\{n\in{\mathbb{N}}:|x_{n}-\ell|\geq\epsilon\}$$ equals zero, and we write $$\mathit{st}\mbox{-}\lim x_{n}=\ell$$. If $$\ell=0$$, then $$x=(x_{n})\in{\omega}$$ is said to be st-null.

### Definition 1.2

()

A sequence $$x=(x_{n})\in{\omega}$$ is said to be I-Cauchy if, for every $$\epsilon>0$$, there exists a number $$N=N(\epsilon)$$ such that the set $$\{n\in{\mathbb {N}}:|x_{n}-x_{N}|\geq\epsilon \}\in{I}$$.

### Definition 1.3

()

A sequence $$x=(x_{n})\in{\omega}$$ is said to be I-convergent to a number $$\ell\in{\mathbb{R}}$$ if, for every $$\epsilon>0$$, the set $$\{n\in{\mathbb{N}}:|x_{n}-\ell|\geq\epsilon \}\in{I}$$, and we write $$I\mbox{-}\lim x_{n}=\ell$$. If $$\ell=0$$, then $$(x_{n})\in{\omega}$$ is said to be I-null.

### Definition 1.4

()

A sequence $$x=(x_{n})\in{\omega}$$ is said to be I-bounded if there exists $$K>0$$ such that the set $$\{n\in{\mathbb {N}}:|x_{n}|\geq K\}\in{I}$$.

### Definition 1.5

()

Let $$x=(x_{n})$$ and $$z=(z_{n})$$ be two sequences. We say that $$x_{n} = z_{n}$$ for almost all n relative to I (in short, a.a.n.r.I) if the set $$\{n\in{\mathbb{N}}: x_{n}\neq z_{n}\}\in{I}$$.

### Definition 1.6

()

A sequence space E is said to be solid or normal if $$(\alpha_{n}x_{n})\in{E}$$ for any sequence $$(x_{n})\in{E}$$ and any sequence of scalars $$(\alpha_{n})\in{\omega}$$ with $$|\alpha_{n}|<1$$ for all $$n\in{\mathbb{N}}$$.

### Lemma 1.1

()

Every solid space is monotone.

### Definition 1.7

()

A sequence space E is said to be a sequence algebra if $$(x_{n})*(z_{n})=(x_{n}\cdot z_{n})\in{E}$$ for all $$(x_{n}),(z_{n})\in{E}$$.

### Definition 1.8

()

Let $$K =\{n_{i}\in{\mathbb{N}}: n_{1}< n_{2}<\cdots \}\subseteq\mathbb{N}$$, and let E be a sequence space. The K-step space of E is the sequence space

$$\lambda^{E}_{K}=\bigl\{ (x_{n_{i}})\in{ \omega}:(x_{n})\in{E}\bigr\} .$$

A canonical preimage of a sequence $$(x_{n_{i}})\in{\lambda}^{E}_{K}$$ is the sequence $$(y_{n})\in{\omega}$$ defined as

$$y_{n} = \textstyle\begin{cases} x_{n} & \mbox{if } n\in{K}, \\ 0 & \mbox{otherwise}. \end{cases}$$

A canonical preimage of the step space $$\lambda_{K}^{E}$$ is the set of canonical preimages of all elements in $$\lambda_{K}^{E}$$, that is, y is in the canonical preimage of $$\lambda_{K}^{E}$$ iff y is the canonical preimage of some element $$x\in{\lambda}_{K}^{E}$$.

### Definition 1.9

()

A sequence space E is said to be monotone if it contains the canonical preimages of its step space (i.e., if for all infinite $$K\subseteq\mathbb{N}$$ and $$(x_{n})\in{E}$$, the sequence $$(\alpha_{n}x_{n})$$ with $$\alpha_{n}=1$$ for $$n\in{K}$$ and $$\alpha _{n}=0$$ otherwise belongs to E).

### Definition 1.10

A map h defined on a domain $$D\subset X$$ (i.e., $$h: D\subset X\longrightarrow\mathbb{R}$$) is said to satisfy the Lipschitz condition if $$|h(x)-h(y)|\leq K|x-y|$$, where K is called the Lipschitz constant.

### Remark 1.1

()

The convergence field of I-convergence is the set

$$\mathcal{F}(I)=\bigl\{ x=(x_{k})\in{\ell_{\infty}}: \mbox{there exists } I\mbox{-}\lim x \in{\mathbb{R}}\bigr\} .$$

### Definition 1.11

()

The convergence field $$\mathcal{F}(I)$$ is a closed linear subspace of $$\ell_{\infty}$$ with respect to the supremum norm, $$\mathcal{F}(I)=\ell_{\infty}\cap c^{I}$$.

### Lemma 1.2

()

Let $$K\in{\mathcal{F}}(I)$$ and $$M \subseteq\mathbb{N}$$. If $$M \notin{I}$$, then $$M\cap K \notin{I}$$.

### Definition 1.12

()

The function $$h: D\subset X\longrightarrow\mathbb {R}$$ defined by $$h(x)=I\mbox{-}\lim x$$ for all $$x\in{\mathcal{F}(I)}$$ is a Lipschitz function.

## I-Convergence Fibonacci difference sequence spaces

In this section, we introduce the sequence spaces as the sets of sequences whose -transforms are in the spaces $$c^{I}_{0}$$, $$c^{I}$$, and $$\ell^{I}_{\infty}$$. Further, we present some inclusion theorems and study some topological and algebraic properties on these resulting. Throughout the paper, we suppose that a sequence $$x=(x_{n})\in{\omega}$$ and $$\hat{F}_{n}(x)$$ are connected by relation (1.5) and I is an admissible ideal of subset of $$\mathbb{N}$$. We define

\begin{aligned}& c^{I}_{0}(\hat{F}):= \bigl\{ x=(x_{n})\in{\omega}: \bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat {F}_{n}(x) \bigr\vert \geq \epsilon \bigr\} \in{I} \bigr\} , \end{aligned}
(2.1)
\begin{aligned}& c^{I}(\hat{F}):= \bigl\{ x=(x_{n})\in{\omega}: \bigl\{ n\in{ \mathbb{N}}: \bigl\vert \hat {F}_{n}(x)-L \bigr\vert \geq\epsilon \mbox{ for some }L\in{\mathbb {R}} \bigr\} \in{I} \bigr\} , \end{aligned}
(2.2)
\begin{aligned}& \ell^{I}_{\infty}(\hat{F}):= \bigl\{ x=(x_{n})\in{ \omega}:\exists K>0 \mbox{ s.t. } \bigl\{ n\in {\mathbb{N}}: \bigl\vert \hat{F}_{n}(x) \bigr\vert \geq K \bigr\} \in{I} \bigr\} , \end{aligned}
(2.3)

We write

$$m_{0}^{I}(\hat{F}):=c^{I}_{0}(\hat{F}) \cap\ell_{\infty}(\hat{F})$$
(2.4)

and

$$m^{I}(\hat{F}):=c^{I}(\hat{F})\cap\ell_{\infty}( \hat{F}).$$
(2.5)

With notation (1.2), the spaces $$c_{0}^{I}(\hat{F})$$, $$c^{I}(\hat{F})$$, $$\ell_{\infty}^{I}(\hat{F})$$, $$m^{I}(\hat{F})$$, and $$m_{0}^{I}(\hat{F})$$ can be redefined as follows:

\begin{aligned}& c_{0}^{I}(\hat{F})=\bigl(c_{0}^{I} \bigr)_{\hat{F}},\qquad c^{I}(\hat{F})=\bigl(c^{I} \bigr)_{\hat {F}},\qquad \ell_{\infty}^{I}(\hat{F})=\bigl( \ell_{\infty}^{I}\bigr)_{\hat{F}}, \\& m^{I}( \hat{F})=\bigl(m^{I}\bigr)_{\hat{F}} ,\quad \mbox{and}\quad m_{0}^{I}(\hat {F})=\bigl(m_{0}^{I} \bigr)_{\hat{F}}. \end{aligned}

### Definition 2.1

Let I be an admissible ideal of subsets of $$\mathbb{N}$$. A sequence $$x=(x_{n})\in{\omega}$$ is called Fibonacci I-Cauchy if for each $$\epsilon>0$$, there exists a number $$N=N(\epsilon)\in{\mathbb{N}}$$ such that $$\{ n\in{\mathbb{N}}:|\hat{F}_{n}(x)-\hat{F}_{N}(x)|\geq\epsilon \}\in{I}$$.

### Example 2.1

Define $$I_{f}=\{A\subseteq\mathbb{N}: A \mbox{ is finite}\}$$. Then $$I_{f}$$ is an admissible ideal in $$\mathbb{N}$$, and $$c^{I_{f}}(\hat {F})=c(\hat{F})$$.

### Example 2.2

Define the nontrivial ideal $$I_{d}=\{A\subseteq\mathbb{N}: d(A)=0\}$$, where $$d(A)$$ is the natural density of a set A. In this case, $$c^{I_{d}}(\hat{F})=S(\hat{F})$$, where $$S(\hat{F})$$ is the space of Fibonacci difference statistically convergent sequence defined as

$$S(\hat{F}):= \bigl\{ x=(x_{n})\in{\omega}:d \bigl(\bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat {F}_{n}(x)-L \bigr\vert \geq \epsilon\bigr\} \bigr)=0 \mbox{ for some }L\in{\mathbb {R}} \bigr\} .$$
(2.6)

### Theorem 2.1

The sequence spaces $$c^{I}(\hat{F})$$, $$c_{0}^{I}(\hat{F})$$, $$\ell _{\infty}^{I}(\hat{F})$$, $$m_{0}^{I}(\hat{F})$$, and $$m^{I}(\hat{F})$$ are linear over $$\mathbb{R}$$.

### Proof

Let $$x=(x_{n})$$ and $$y=(y_{n})$$ be two arbitrary elements of the space $$c^{I}(\hat{F})$$, and let α, β are scalars. Then, for given $$\epsilon>0$$, there exist $$L_{1},L_{2}\in{\mathbb{R}}$$ such that

$$\biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)-L_{1} \bigr\vert \geq\frac{\epsilon}{2} \biggr\} \in{I}$$

and

$$\biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(y)-L_{2} \bigr\vert \geq\frac{\epsilon}{2} \biggr\} \in{I}.$$

Now, let

$$A_{1}= \biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x) -L_{1} \bigr\vert < \frac{\epsilon}{2|\alpha|} \biggr\} \in{\mathcal{F}(I)}$$

and

$$A_{2}= \biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(y)- L_{2} \bigr\vert < \frac{\epsilon}{2|\beta|} \biggr\} \in{\mathcal{F}(I)}$$

be such that $$A_{1}^{c},A_{2}^{c}\in{I}$$. Then

\begin{aligned} A_{3} = & \bigl\{ n\in{\mathbb{N}}: \bigl\vert \alpha \hat{F}_{n}(x)+\beta\hat {F}_{n}(y)-(\alpha L_{1}+ \beta L_{2}) \bigr\vert < \epsilon \bigr\} \\ \supseteq& \biggl\{ \biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat {F}_{n}(x)-L_{1} \bigr\vert < \frac{\epsilon}{2|\alpha|} \biggr\} \cap \biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(y)-L_{2} \bigr\vert < \frac {\epsilon}{2|\beta|} \biggr\} \biggr\} . \end{aligned}
(2.7)

Thus, the sets on the right-hand side of (2.7) belong to $$\mathcal {F}(I)$$. By the definition of the filter associated with an ideal the complement of the set on the left-hand side of (2.7) belongs to I. This implies that $$(\alpha x+\beta y )\in{c^{I}}(\hat {F})$$. Hence $$c^{I}(\hat{F})$$ is a linear space. The proof of the remaining results is similar. □

### Theorem 2.2

The spaces $$X(\hat{F})$$ are normed spaces with the norm

$$\|x\|_{X(\hat{F})}=\sup_{n} \bigl\vert \hat{F}_{n}(x) \bigr\vert , \quad \textit{where }X\in{ \bigl\{ m^{I}, m_{0}^{I} \bigr\} }.$$
(2.8)

### Proof

The proof of the result is easy by existing techniques and hence is omitted. □

### Theorem 2.3

Let $$I \subseteq2^{\mathbb{N}}$$ be a nontrivial ideal. Then the inclusion $$c(\hat{F})\subset c^{I}(\hat{F})$$ is strict.

### Proof

We know that $$c\subseteq c^{I}$$ and, for any X and Y spaces, $$X\subseteq Y$$ implies $$X(\hat{F})\subseteq Y(\hat{F})$$ (see , Lemma 2.1). Hence it is easy to see that $$c(\hat {F})\subset c^{I}(\hat{F})$$. The following example shows the strictness of the inclusion.

### Example 2.3

Define the sequence $$x=(x_{n})\in{\omega}$$ such that

$$\hat{F}_{n}(x)= \textstyle\begin{cases} \sqrt{n} & \mbox{if }n\mbox{ is a square}, \\ 0 & \mbox{otherwise}. \end{cases}$$

Then $$x\in{c^{I_{d}}(\hat{F})}$$, but $$x\notin{c(\hat{F})}$$.

### Example 2.4

Define the ideal I such that

$$A\in{I}\quad \Longleftrightarrow\quad A \mbox{ eventually contains only even natural numbers}.$$

Then I is a nontrivial ideal in $$\mathbb{N}$$. When

$$\hat{F}_{n}(x)=(1,1,1,0,1,1,1,0,0,1,0,1,0,\ldots),$$

we have

$$A_{\epsilon}=\bigl\{ n\in{\mathbb{N}}:\hat{F}_{n}(x)\neq0\bigr\} =\{ 1,2,3,5,6,7,10,12,14,16,18,\ldots\}$$

and $$(x_{n})\in{c_{0}^{I}(\hat{F})}$$. Hence $$A_{\epsilon}\in{I}$$ and $$\hat{F}_{n}(x)\in{c^{I}}$$. Now let us look at the statistical convergence of the sequence:

$$\lim_{n\to\infty}\frac{1}{n} \vert A_{\epsilon} \vert =\lim_{n\to\infty}\frac {1}{n} \biggl\vert B+ \frac{n}{2} \biggr\vert =\frac{1}{2},$$

where B is a finite number, and $$|A_{\epsilon}|$$ is the cardinality of $$A_{\epsilon}$$. Hence $$\hat{F}_{n}(x)\notin{S}$$. □

### Theorem 2.4

A sequence $$x=(x_{n})\in{\omega}$$ Fibonacci I-converges if and only if for every $$\epsilon>0$$, there exists $$N=N(\epsilon)\in{\mathbb {N}}$$ such that

$$\bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)- \hat{F}_{N}(x) \bigr\vert < \epsilon \bigr\} \in{\mathcal{F}(I)}.$$
(2.9)

### Proof

Suppose that a sequence $$x=(x_{n})\in{\omega}$$ is Fibonacci I-convergent to some number $$L\in{\mathbb{R}}$$. Then, for given $$\epsilon>0$$, the set

$$B_{\epsilon}= \biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)-L \bigr\vert < \frac{\epsilon}{2} \biggr\} \in{\mathcal{F}(I)}.$$

Fix an integer $$N=N(\epsilon)\in{B_{\epsilon}}$$. Then we have

$$\bigl\vert \hat{F}_{n}(x)-\hat{F}_{N}(x) \bigr\vert \leq \bigl\vert \hat {F}_{n}(x)-L \bigr\vert + \bigl\vert L- \hat{F}_{N}(x) \bigr\vert < \frac{\epsilon}{2}+\frac{\epsilon}{2}= \epsilon$$

for all $$n\in{B_{\epsilon}}$$. Hence (2.9) holds.

Conversely, suppose that (2.9) holds for all $$\epsilon>0$$. Then

$$C_{\epsilon}= \bigl\{ n\in{{\mathbb{N}}}:\hat{F}_{n}(x)\in{ \bigl[ \hat {F}_{n}(x)-\epsilon,\hat{F}_{n}(x)+\epsilon \bigr]} \bigr\} \in{ \mathcal{F}(I)}\quad \mbox{for all } \epsilon>0.$$

Let $$J_{\epsilon}= [\hat{F}_{n}(x)-\epsilon, \hat {F}_{n}(x)+\epsilon ]$$. Fixing $$\epsilon>0$$, we have $$C_{\epsilon}\in{\mathcal{F}(I)}$$ and $$C_{\frac{\epsilon}{2}}\in {\mathcal{F}(I)}$$. Hence $$C_{\epsilon}\cap C_{\frac{\epsilon}{2}}\in{\mathcal{F}(I)}$$. This implies that

$$J=J_{\epsilon}\cap J_{\frac{\epsilon}{2}}\neq{\emptyset},$$

that is,

$$\bigl\{ n\in{{\mathbb{N}}}:\hat{F}_{n}(x)\in{J} \bigr\} \in{ \mathcal{F}(I)}$$

and thus

$$\operatorname{diam} (J)\leq\frac{1}{2}\operatorname{diam} (J_{\epsilon}),$$

where $$\operatorname{diam} (J)$$ denotes the length of an interval J. Proceeding in this way, by induction we get a sequence of closed intervals

$$J_{\epsilon}= I_{0}\supseteq I_{1}\supseteq\cdots \supseteq I_{n}\supseteq\cdots$$

such that

$$\operatorname{diam} (I_{n})\leq\frac{1}{2} \operatorname{diam} (I_{n-1})\quad \mbox{for } n = 2,3,\ldots$$

and

$$\bigl\{ n\in{{\mathbb{N}}}:\hat{F}_{n}(x)\in{I_{n}} \bigr\} \in{\mathcal{F}(I)}.$$

Then there exists a number $$L\in{\bigcap_{n\in{\mathbb{N}}}{I_{n}}}$$, and it is a routine work to verify that $$L=I\mbox{-}\lim{\hat{F}_{n}(x)}$$, showing that $$x=(x_{n})\in{\omega}$$ Fibonacci I-converges. Hence the result. □

### Theorem 2.5

Let I be an admissible ideal. Then the following are equivalent:

1. (a)

$$(x_{n})\in{c^{I}(\hat{F})}$$;

2. (b)

There exists $$(y_{n})\in{c(\hat{F})}$$ such that $$x_{n}= y_{n}$$ for a.a.n.r.I;

3. (c)

There exist $$(y_{n})\in{c(\hat{F})}$$ and $$(z_{n})\in {c_{0}^{I}(\hat{F})}$$ such that $$x_{n}=y_{n}+z_{n}$$ for all $$n\in {\mathbb{N}}$$ and $$\{n\in{{\mathbb{N}}}: \vert \hat {F}_{n}(x)-L \vert \geq\epsilon \}\in{I}$$;

4. (d)

There exists a subset $$K= \{n_{i}:i\in{\mathbb{N}}, n_{1}< n_{2}< n_{3}<\cdots \}$$ of $$\mathbb{N}$$ such that $$K\in {\mathcal{F}(I)}$$ and $$\lim_{n\to\infty} \vert \hat {F}_{n_{i}}(x)-L \vert =0$$.

### Proof

(a) implies (b). Let $$x=(x_{n})\in{c^{I}(\hat{F})}$$. Then, for any $$\epsilon>0$$, there exists $$L\in{\mathbb{R}}$$ such that

$$\bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)-L \bigr\vert \geq\epsilon \bigr\} \in{I}.$$

Let $$(m_{t})$$ be an increasing sequence with $$m_{t}\in{\mathbb{N}}$$ such that

$$\bigl\{ n\leq m_{t}: \bigl\vert \hat{F}_{n}(x)-L \bigr\vert \geq t^{-1} \bigr\} \in{I}.$$

Define the sequence $$y=(y_{n})$$ as $$y_{n}=z_{n}$$ for all $$n\leq m_{1}$$ and, for $$m_{t}< n < m_{t+1}$$, $$t\in{\mathbb{N}}$$, as

$$y_{n}= \textstyle\begin{cases} x_{n} & \mbox{if } \vert \hat{F}_{n}(x)-L \vert < t^{-1} , \\ L & \mbox{otherwise}. \end{cases}$$

Then $$y_{n}\in{c(\hat{F})}$$, and from the inclusion

$$\{n\leq m_{t}:x_{n}\neq y_{n} \}\subseteq \bigl\{ n\in{\mathbb {N}}: \bigl\vert \hat{F}_{n}(x)-L \bigr\vert \geq \epsilon \bigr\} \in{I}$$

we get $$x_{n}=y_{n}$$ for a.a.n.r.I.

(b) implies (c). For $$x=(x_{n})\in{c^{I}(\hat{F})}$$, there exists $$y=(y_{n})\in{c(\hat{F})}$$ such that $$x_{n}=y_{n}$$ for a.a.n.r.I. Let $$K=\{n\in{\mathbb{N}}:x_{n}\neq y_{n}\}$$. Then $$K\in{I}$$. Define the sequence $$z=(z_{n})$$ as

$$z_{n}= \textstyle\begin{cases} x_{n}-y_{n} & \mbox{if } n\in{K} ,\\ 0 & \mbox{otherwise}. \end{cases}$$

Then $$(z_{n})\in{c_{0}^{I}(\hat{F})}$$ and $$(y_{n})\in{c(\hat{F})}$$.

(c) implies (d). Let $$P= \{n\in{\mathbb{N}}:|\hat {F}_{n}(x)|\geq\epsilon \}\in{I}$$ and

$$K=P^{c}= \{n_{i}\in{\mathbb{N}}: i\in{\mathbb{N}}, n_{1}< n_{2}< n_{3}< \cdots \}\in{ \mathcal{F}(I)}.$$

Then we have

$$\lim_{i\to\infty} \bigl\vert \hat{F}_{n_{i}}(x)-L \bigr\vert = 0.$$

(d) implies (a). Let $$\epsilon>0$$ be given and suppose that (c) holds. Then, for any $$\epsilon>0$$, by Lemma 1.2 we have

$$\bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)-L \bigr\vert \geq\epsilon \bigr\} \subseteq K^{c} \cup \bigl\{ n\in{K}: \bigl\vert \hat{F}_{n}(x)-L \bigr\vert \geq\epsilon \bigr\} .$$

Thus $$(x_{n})\in{c^{I}(\hat{F})}$$. □

### Theorem 2.6

The inclusions $${c_{0}^{I}(\hat{F})}\subset{c^{I}(\hat{F})}\subset {\ell_{\infty}^{I}(\hat{F})}$$ are strict.

### Proof

The inclusion $${c_{0}^{I}(\hat{F})}\subset{c^{I}(\hat{F})}$$ is obvious. Now, to show its strictness, consider the sequence $$x=(x_{n})\in{\omega }$$ such that $$\hat{F}_{n}(x)=1$$. It easy to see that $$\hat{F}_{n}(x)\in {c^{I}}$$ but $$\hat{F}_{n}(x)\notin{c_{0}^{I}}$$, that is, $$x\in {c^{I}(\hat{F})\setminus c_{0}^{I}(\hat{F})}$$. Next, let $$x=(x_{n})\in {c^{I}(\hat{F})}$$. Then there exists $$L\in{\mathbb{R}}$$ such that $$I\mbox{-}\lim|\hat{F}_{n}(x)-L|=0$$, that is,

$$\bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)-L \bigr\vert \geq\epsilon \bigr\} \in{I}.$$

We have

$$\bigl\vert \hat{F}_{n}(x) \bigr\vert = \bigl\vert \hat{F}_{n}(x)-L+L \bigr\vert \leq \bigl\vert \hat{F}_{n}(x)-L \bigr\vert + \vert L \vert .$$

From this it easily follows that the sequence $$(x_{n})$$ must belong to $$\ell_{\infty}^{I}(\hat{F})$$. Further, we show the strictness of the inclusion $${c^{I}(\hat{F})}\subset{\ell_{\infty}^{I}(\hat{F})}$$ by constructing the following example.

### Example 2.5

Consider the sequence $$x=(x_{n})\in{\omega}$$ such that

$$\hat{F}_{n}(x)= \textstyle\begin{cases} \sqrt{n} & \mbox{if }n\mbox{ is a square}, \\ 1 & \mbox{if }n\mbox{ is odd nonsquare}, \\ 0 & \mbox{if }n\mbox{ is even nonsquare}. \end{cases}$$

Then $$\hat{F}_{n}(x)\in{\ell_{\infty}^{I}}$$, but $$\hat{F}_{n}(x)\notin {c^{I}}$$, which implies that $$x\in{\ell_{\infty}^{I}(\hat{F})\setminus c^{I}(\hat{F})}$$.

Thus the inclusion $${c_{0}^{I}(\hat{F})}\subset{c^{I}(\hat{F})}\subset {\ell_{\infty}^{I}(\hat{F})}$$ is strict.  □

### Remark 2.1

A Fibonacci bounded sequence is obviously Fibonacci I-bounded as the empty set belongs to the ideal I. However, the converse is not true. For example, consider the sequence

$$\hat{F}_{n}(x)= \textstyle\begin{cases} n & \mbox{if }n\mbox{ is a square}, \\ 0 & \mbox{otherwise}. \end{cases}$$

Clearly, $$\hat{F}_{n}(x)$$ is not a bounded sequence. However, $$\{n\in {\mathbb{N}}: \vert \hat{F}_{n}(x) \vert \geq\frac{1}{2}\}\in{I}$$. Hence $$x=(x_{n})$$ is Fibonacci I-bounded.

### Theorem 2.7

The spaces $$m^{I}(\hat{F})$$ and $$m_{0}^{I}(\hat{F})$$ are Banach spaces normed by (2.8).

### Proof

Let $$(x_{n}^{(i)})$$ be a Cauchy sequence in $${m^{I}}(\hat{F})\subset {\ell_{\infty}(\hat{F})}$$. Then $$(x_{n}^{(i)})$$ converges in $${\ell _{\infty}(\hat{F})}$$, and $$\lim_{i\to\infty}\hat {F}_{n}^{(i)}(x)=\hat{F}_{n}(x)$$. Let $$I\mbox{-}\lim \hat{F}_{n}^{(j)}(x)=L_{i}$$ for $$i\in {\mathbb{N}}$$. Then we have to show that

1. (i)

$$(L_{i})$$ is convergent say to L and

2. (ii)

$$I\mbox{-}\lim\hat{F}_{n}(x)=L$$.

(i) Since $$(x_{n}^{(i)})$$ is a Cauchy sequence, for each $$\epsilon>0$$, there exists $$n_{0}\in{\mathbb{N}}$$ such that

$$\bigl\vert \hat{F}_{n}^{(i)}(x)- \hat{F}_{n}^{(j)}(x) \bigr\vert < \frac{\epsilon }{3}\quad \mbox{for all } i,j\geq n_{0}.$$
(2.10)

Now let $$E_{i}$$ and $$E_{j}$$ be the following sets in I:

$$E_{i}= \biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}^{(i)}(x)-L_{i} \bigr\vert \geq \frac{\epsilon}{3} \biggr\}$$
(2.11)

and

$$E_{j}= \biggl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}^{(j)}(x)-L_{j} \bigr\vert \geq \frac{\epsilon}{3} \biggr\} .$$
(2.12)

Consider $$i,j\geq n_{0}$$ and $$n\notin E_{i}\cap E_{j}$$. Then we have

\begin{aligned} \vert L_{i}-L_{j} \vert &\leq \bigl\vert \hat{F}_{n}^{(i)}(x)-L_{i} \bigr\vert + \bigl\vert \hat{F}_{n}^{(j)}(x)-L_{j} \bigr\vert + \bigl\vert \hat {F}_{n}^{(i)}(x)-\hat{F}_{n}^{(j)}(x) \bigr\vert \\ &< \epsilon\quad \mbox{by (2.10), (2.11), and (2.12)}. \end{aligned}

Thus $$(L_{i})$$ is a Cauchy sequence in $$\mathbb{R}$$ and thus converges, say to L, that is, $$\lim_{i\to\infty}L_{i}=L$$.

(ii) Let $$\delta>0$$ be given. Then we can find $$m_{0}$$ such that

$$\vert L_{i}-L \vert < \frac{\delta}{3} \quad \mbox{for each } i>m_{0}.$$
(2.13)

We have $$(x_{n}^{(i)})\rightarrow x_{n}$$ as $$i\to\infty$$. Thus

$$\bigl\vert \hat{F}_{n}^{(i)}(x)- \hat{F}_{n}(x) \bigr\vert < \frac{\delta}{3}\quad \mbox{for each } i>m_{0}.$$
(2.14)

Since $$(\hat{F}_{n}^{(j)})$$ is I-converges to $$L_{j}$$, there exists $$D\in{I}$$ such that, for each $$n\notin D$$, we have

$$\bigl\vert \hat{F}_{n}^{(j)}(x)-L_{j} \bigr\vert < \frac{\delta}{3}.$$
(2.15)

Without loss of generality, let $$j>m_{0}$$. Then, for all $$n\notin D$$, we have by (2.13), (2.14), and (2.15) that

$$\bigl\vert \hat{F}_{n}(x)-L \bigr\vert \leq \bigl\vert \hat{F}_{n}(x)-\hat {F}_{n}^{(j)}(x) \bigr\vert + \bigl\vert \hat{F}_{n}^{(j)}(x)-L_{j} \bigr\vert + \vert L_{j}-L \vert < \delta.$$

Hence $$(x_{n})$$ is Fibonacci I-convergent to L. Thus $$m^{I}(\hat{F})$$ is a Banach space. The other cases can be similarly established. □

The following results are consequences of Theorem 2.7.

### Theorem 2.8

The spaces $$m^{I}(\hat{F})$$ and $$m_{0}^{I}(\hat{F})$$ are K-spaces.

### Theorem 2.9

The set $${m^{I}}(\hat{F})$$ is a closed subspace of $${\ell_{\infty}(\hat{F})}$$.

Since the inclusions $$m^{I}(\hat{F})\subset{\ell_{ \infty}}(\hat{F})$$ and $$m_{0}^{I}(\hat{F})\subset{\ell_{\infty}(\hat{F})}$$ are strict, in view of Theorem 2.9, we have the following result.

### Theorem 2.10

The spaces $$m^{I}(\hat{F})$$ and $$m^{I}_{0}(\hat{F})$$ are nowhere dense subsets of $$\ell_{\infty}(\hat{F})$$.

### Theorem 2.11

The spaces $${c^{I}_{0}(\hat{F})}$$ and $${m_{0}^{I}(\hat{F})}$$ are solid and monotone.

### Proof

We will prove the result for $${c^{I}_{0}(\hat{F})}$$; for $${m_{0}^{I}(\hat{F})}$$, the result can be established similarly. Let $$x=(x_{n})\in{c^{I}_{0}(\hat{F})}$$. For $$\epsilon>0$$, the set

$$\bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x) \bigr\vert \geq\epsilon \bigr\} \in{I}.$$
(2.16)

Let $$\alpha=(\alpha_{n})$$ be a sequence of scalars with $$|\alpha|\leq 1$$ for all $$n\in{\mathbb{N}}$$. Then

$$\bigl\vert \hat{F}_{n}(\alpha x) \bigr\vert = \bigl\vert \alpha \hat{F}_{n}(x) \bigr\vert \leq|\alpha| \bigl\vert \hat{F}_{n}(x) \bigr\vert \leq \bigl\vert \hat{F}_{n}(x) \bigr\vert \quad \mbox{for all } n\in{\mathbb{N}}.$$

From this inequality and from (2.16) we have that

$$\bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(\alpha x) \bigr\vert \geq\epsilon \bigr\} \subseteq \bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x) \bigr\vert \geq\epsilon \bigr\} \in{I}$$

implies

$$\bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(\alpha x) \bigr\vert \geq\epsilon \bigr\} \in{I.}$$

Therefore $$(\alpha x_{n})\in{c_{0}^{I}(\hat{F})}$$. Hence the space $${c_{0}^{I}(\hat{F})}$$ is solid, and hence by Lemma 1.1 the space $${c_{0}^{I}(\hat{F})}$$ is monotone. □

### Theorem 2.12

The spaces $$c_{0}^{I}(\hat{F})$$ and $$c^{I}(\hat{F})$$ are sequence algebras.

### Proof

Let $$x=(x_{n}),y=(y_{n})\in{c_{0}^{I}(\hat{F})}$$. Then

$$I\mbox{-}\lim_{n\to\infty} \bigl\vert \hat{F}_{n}(x) \bigr\vert =0 \quad \mbox{and}\quad I\mbox{-}\lim _{n\to\infty} \bigl\vert \hat{F}_{n}(y) \bigr\vert =0.$$
(2.17)

Therefore, from (2.17) we have $$I\mbox{-}\lim|\hat {F}_{n}(x\cdot y)|=0$$. This implies that $$\{n\in{\mathbb{N}}:|\hat {F}_{n}(x\cdot y)|\geq\epsilon \}\in{I}$$. Thus, $$(x\cdot y)\in {c_{0}^{I}(\hat{F})}$$. Hence $${c_{0}^{I}(\hat{F})}$$ is sequence algebra. Similarly, we can prove that $${c^{I}(\hat{F})}$$, is a sequence algebra. □

### Theorem 2.13

The function $$h:{m^{I}(\hat{F})}\rightarrow\mathbb{R}$$ defined by , where $$m^{I}(\hat {F})={\ell_{\infty}(\hat{F})}\cap{c^{I}(\hat{F})}$$, is a Lipschitz function and hence uniformly continuous.

### Proof

First of all, we show that the function is well defined. Let $$x,y\in {m^{I}}(\hat{F})$$ be such that

\begin{aligned} x=y&\quad \Rightarrow\quad I\mbox{-}\lim \hat{F}_{n}(x)=I\mbox{-}\lim\hat {F}_{n}(y) \\ & \quad \Rightarrow\quad \bigl\vert I\mbox{-}\lim\hat{F}_{n}(x) \bigr\vert = \bigl\vert I\mbox{-}\lim\hat {F}_{n}(y) \bigr\vert \quad \Rightarrow\quad h(x)=h(y). \end{aligned}

Thus h is well defined. Next, let $$x=(x_{n}), y=(y_{n})\in{m^{I}(\hat {F})}$$, $$x\neq y$$. Then

$$A_{x}= \bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)-h(x) \bigr\vert \geq |x-y|_{*} \bigr\} \in{I}$$

and

$$A_{y}= \bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(y)-h(y) \bigr\vert \geq |x-y|_{*} \bigr\} \in{I},$$

where $$|x-y|_{*}= \sup_{n} \vert \hat{F}_{n}(x)-\hat{F}_{n}(y) \vert$$. Thus

$$B_{x}= \bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)-h(x) \bigr\vert < |x-y|_{*} \bigr\} \in{ \mathcal{F}(I)}$$

and

$$B_{y}= \bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(y)-h(y) \bigr\vert < |x-y|_{*} \bigr\} \in{ \mathcal{F}(I)}.$$

Hence $$B=B_{x}\cap B_{y}\in{\mathcal{F}(I)}$$, so that B is a nonempty set. Therefore, choosing $$n\in{B}$$, we have

\begin{aligned} \bigl\vert h(x)-h(y) \bigr\vert & \leq \bigl\vert h(x)-\hat{F}_{n}(x) \bigr\vert + \bigl\vert \hat{F}_{n}(x)- \hat {F}_{n}(y) \bigr\vert + \bigl\vert \hat{F}_{n}(y)-h(y) \bigr\vert \\ & \leq3|x-y|_{*}. \end{aligned}

Thus, h is a Lipschitz function and hence uniformly continuous. □

### Theorem 2.14

If $$x=(x_{n}),y=(y_{n})\in{m^{I}(\hat{F})}$$ with $$\hat{F}_{n}(x\cdot y)=\hat {F}_{n}(x)\cdot \hat{F}_{n}(y)$$, then $$(x\cdot y)\in{m^{I}(\hat{F})}$$ and $$h(x\cdot y) = h(x)\cdot h(y)$$, where $$h:{m^{I}(\hat{F})}\rightarrow\mathbb{R}$$ is defined by $$h(x)= \vert I\mbox{-}\lim\hat{F}_{n}(x) \vert$$.

### Proof

For $$\epsilon>0$$,

$$B_{x}= \bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(x)-h(x) \bigr\vert < \epsilon \bigr\} \in{\mathcal{F}(I)}$$
(2.18)

and

$$B_{y}= \bigl\{ n\in{\mathbb{N}}: \bigl\vert \hat{F}_{n}(y)-h(y) \bigr\vert < \epsilon \bigr\} \in{\mathcal{F}(I)},$$
(2.19)

where $$\epsilon=|x-y|_{*}= \sup_{n} \vert \hat{F}_{n}(x)-\hat {F}_{n}(y) \vert$$. Now, we have

\begin{aligned} \bigl\vert \hat{F}_{n}(x\cdot y)-h(x)h(y) \bigr\vert &= \bigl\vert \hat{F}_{n}(x)\hat {F}_{n}(y)-\hat{F}_{n}(x)h(y)+ \hat{F}_{n}(x)h(y)-h(x)h(y) \bigr\vert \\ & \leq \bigl\vert \hat{F}_{n}(x) \bigr\vert \bigl\vert \hat{F}_{n}(y)-h(y) \bigr\vert + \bigl\vert h(y) \bigr\vert \bigl\vert \hat{F}_{n}(x)-h(x) \bigr\vert . \end{aligned}
(2.20)

As $${m^{I}(\hat{F})}\subseteq{\ell_{\infty}(\hat{F})}$$, there exists $$M\in{\mathbb{R}}$$ such that $$|\hat{F}_{n}(x)|< M$$. Therefore, from equations (2.18), (2.19), and (2.20) we have

\begin{aligned} \bigl\vert \hat{F}_{n}(xy)-h(x)h(y) \bigr\vert & = \bigl\vert \hat{F}_{n}(x)\cdot \hat {F}_{n}(y)- h(x)h(y) \bigr\vert \\ & \leq M\epsilon+ \bigl\vert h(y) \bigr\vert \epsilon=\epsilon_{1} \quad \mbox{(say)} \end{aligned}

for all $$n\in{B_{x}\cap B_{y}}\in{\mathcal{F}(I)}$$. Hence $$(x\cdot y)\in {m^{I}(\hat{F})}$$ and $$h(x\cdot y)= h(x)\cdot h(y)$$. □

## Conclusion

In this paper, we have introduced and studied new difference sequence spaces $$c_{0}^{I}(\hat{F})$$, $$c^{I}(\hat{F})$$, and $$\ell_{\infty }^{I}(\hat{F})$$. We investigated the general type of convergence, that is, Fibonacci I-convergence for sequences related to the Fibonacci difference matrix derived by the sequence of Fibonacci numbers. We studied some inclusion relations concerning these spaces. Further, we investigated some topological and algebraic properties of these spaces. These definitions and results provide new tools to deal with the convergence problems of sequences occurring in many branches of science and engineering.

## References

1. Başarir, M., Başar, F., Kara, E.E.: On the spaces of Fibonacci difference absolutely p-summable, null and convergent sequences. Sarajevo J. Math. 12(25)(2), 167–182 (2016)

2. Candan, M.: Domain of the double sequential band matrix in the spaces of convergent and null sequences. Adv. Differ. Equ. 2014(1), 163 (2014)

3. Candan, M., Kara, E.E.: A study on topological and geometrical characteristics of new Banach sequence spaces. Gulf J. Math. 3(4), 67–84 (2015)

4. Candan, M., Kayaduman, K.: Almost convergent sequence space derived by generalized Fibonacci matrix and Fibonacci core. Br. J. Math. Comput. Sci. 7(2), 150–167 (2015)

5. Das, A., Hazarika, B.: Some new Fibonacci difference spaces of non-absolute type and compact operators. Linear Multilinear Algebra 65(12), 2551–2573 (2017)

6. Das, A., Hazarika, B.: Matrix transformation of Fibonacci band matrix on generalized bv-space and its dual spaces. Bol. Soc. Parana. Mat. 36(3), 41–52 (2018)

7. Das, A., Hazarika, B., Kara, E.E., Başar, F.: On composition operators of Fibonacci matrix and applications of Hausdorff measure of noncompactness. Bol. Soc. Parana. Mat. (accepted)

8. Das, P., Kostyrko, P., Wilczynski, W., Malik, P.: I and $$I^{\ast}$$-convergence of double sequences. Math. Slovaca 58(5), 605–620 (2008)

9. Fast, H.: Sur la convergence statistique. In: Colloquium Mathematicae, vol. 2, p. 241–244 (1951)

10. Hazarika, B., Das, A.: Some properties of generalized Fibonacci difference bounded and p-absolutely convergent sequences. Bol. Soc. Parana. Mat. 36(1), 37–50 (2018)

11. Hazarika, B., Tamanag, K.: On Zweier generalized difference ideal convergent sequences in a locally convex space defined by Musielak–Orlicz function. Bol. Soc. Parana. Mat. 35(2), 19–37 (2016)

12. Kara, E.E.: Some topological and geometrical properties of new Banach sequence spaces. J. Inequal. Appl. 2013(1), 38 (2013)

13. Kara, E.E., Başarir, M.: An application of Fibonacci numbers into infinite Toeplitz matrices. Casp. J. Math. Sci. 1(1), 43–47 (2012)

14. Kara, E.E., Daştan, M., Ilkhan, M.: On almost ideal convergence with respect to an Orlicz function. Konuralp J. Math. 4(2), 87–94 (2016)

15. Kara, E.E., Ilkhan, M.: On some Banach sequence spaces derived by a new band matrix. Br. J. Math. Comput. Sci. 9(2), 141–159 (2015)

16. Kara, E.E., Ilkhan, M.: On some paranormed A-ideal convergent sequence spaces defined by Orlicz function. Asian J. Math. Comput. Res. 4(4), 183–194 (2015)

17. Kara, E.E., Ilkhan, M.: Lacunary I-convergent and lacunary I-bounded sequence spaces defined by an Orlicz function. Electron. J. Math. Anal. Appl. 4(2), 150–159 (2016)

18. Kara, E.E., Ilkhan, M.: Some properties of generalized Fibonacci sequence spaces. Linear Multilinear Algebra 64(11), 2208–2223 (2016)

19. Khan, V.A., Ebadullah, K.: I-Convergent difference sequence spaces defined by a sequence of moduli. J. Math. Comput. Sci. 2(2), 265–273 (2012)

20. Kirişçi, M.: The application domain of infinite matrices with algorithms. Univers. J. Math. Appl. 1(1), 1–9 (2018)

21. Kirişçi, M., Karaisa, A.: Fibonacci numbers, statistical convergence and applications. Preprint. arXiv:1607.02307 (2016)

22. Kizmaz, H.: Certain sequence spaces. Can. Math. Bull. 24(2), 169–176 (1981)

23. Koshy, T.: Fibonacci and Lucas Numbers with Applications. Wiley, New York (2001)

24. Kostyrko, P., Macaj, M., Šalát, T.: Statistical convergence and I-convergence. In: Real Analysis Exchange (1999)

25. Murat, K., Karaisa, A.: Fibonacci statistical convergence and Korovkin type approximation theorems. J. Inequal. Appl. 2017, 229 (2017)

26. Mursaleen, M., Noman, A.K.: On some new sequence spaces of non-absolute type related to the spaces $$\ell_{p}$$ and $$\ell_{\infty}$$. Filomat 25(2), 33–51 (2011)

27. Šalát, T., Tripathy, B.C., Ziman, M.: On some properties of I-convergence. Tatra Mt. Math. Publ. 28(2), 274–286 (2004)

28. Šalát, T., Tripathy, B.C., Ziman, M.: On I-convergence field. Ital. J. Pure Appl. Math. 17(5), 1–8 (2005)

29. Steinhaus, H.: Sur la convergence ordinaire et la convergence asymptotique. In: Colloquium Mathematicae, vol. 2, pp. 73–74 (1951)

30. Tripathy, B., Hazarika, B.: Paranorm I-convergent sequence spaces. Math. Slovaca 59(4), 485–494 (2009)

31. Tripathy, B.C., Hazarika, B.: I-Convergent sequence spaces associated with multiplier sequences. Math. Inequal. Appl. 11(3), 543–548 (2008)

32. Tripathy, B.C., Hazarika, B.: Some I-convergent sequence spaces defined by Orlicz functions. Acta Math. Appl. Sin. Engl. Ser. 27(1), 149–154 (2011)

### Acknowledgements

The authors would like to thank the referees for a careful reading and several constructive comments and making some useful corrections that have improved the presentation of the paper.

### Authors’ information

Vakeel A. Khan received the M.Phil. and Ph.D., degrees in Mathematics from Aligarh Muslim University, Aligarh, India. Currently, he is an Associate Professor at Aligarh Muslim University, Aligarh, India. A vigorous researcher in the area of sequence spaces, he has published a number of research papers in reputed national and international journals, including Numerical Functional Analysis and Optimization (Taylors and Francis), Information Sciences (Elsevier), Applied Mathematics Letters (Elsevier), A Journal of Chinese Universities (Springer-Verlag, China). Rami K.A. Rababah is working as an Assistant Professor in the Department of Mathematics, Amman Arab University, Jordan. Kamal M.A.S. Alshlool received M.Sc., from Aligarh Muslim University and is currently a Ph.D., scholar at Aligarh Muslim University. Sameera A.A. Abdullah received M.Sc., from Aligarh Muslim University and is currently a Ph.D., scholar at Aligarh Muslim University. Ayaz Ahmad is working as an Assistant Professor in the National Institute Technology, Patna, India.

## Funding

This work was supported by Department of Mathematics, Amman Arab University, Amman, Jordan.

## Author information

Authors

### Contributions

All authors of the manuscript have read and agreed to its content and are accountable for all aspects of the accuracy and integrity of the manuscript.

### Corresponding author

Correspondence to Vakeel A. Khan.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests. 