# Some new results on sequence spaces with respect to non-Newtonian calculus

- Ahmet Faruk Çakmak
^{1}and - Feyzi Başar
^{2}Email author

**2012**:228

https://doi.org/10.1186/1029-242X-2012-228

© Çakmak and Başar; licensee Springer 2012

**Received: **31 May 2012

**Accepted: **20 September 2012

**Published: **11 October 2012

## Abstract

As an alternative to classical calculus, Grossman and Katz (Non-Newtonian Calculus, 1972) introduced the non-Newtonian calculus consisting of the branches of geometric, anageometric and bigeometric calculus *etc.* Following Grossman and Katz, we construct the field $\mathbb{R}(N)$ of non-Newtonian real numbers and the concept of non-Newtonian metric. Also, we give the triangle and Minkowski’s inequalities in the sense of non-Newtonian calculus. Later, we respectively define the sets $\omega (N)$, ${\ell}_{\mathrm{\infty}}(N)$, $c(N)$, ${c}_{0}(N)$ and ${\ell}_{p}(N)$ of all, bounded, convergent, null and *p*-absolutely summable sequences in the sense of non-Newtonian calculus and show that each of the sets forms a vector space on the field $\mathbb{R}(N)$ and a complete metric space.

**MSC:**26A06, 11U10, 08A05.

## Keywords

## 1 Preliminaries, background and notations

During the Renaissance many scholars, including Galileo, discussed the following problem: Two estimates, 10 and $1\text{,}000$, are proposed as the value of a horse. Which estimate, if any, deviates more from the true value of 100? The scholars who maintained that deviations should be measured by differences concluded that the estimate of 10 was closer to the true value. However, Galileo eventually maintained that the deviations should be measured by ratios and concluded that two estimates deviated equally from the true value (*cf.* [1]).

From the story, the question comes out this way: What if we measure by ratios? The answer is the main idea of non-Newtonian calculus which consists of many calculi such as classical, geometric, anageometric, bigeometric calculus *etc.* Even you can create your own calculus by choosing a different function as a generator. Although all arithmetics are structurally equivalent, only by distinguishing among them do we obtain suitable tools for constructing all the non-Newtonian calculi. But the usefulness of arithmetics is not limited to the construction of calculus; we believe there is a more fundamental reason for considering alternative arithmetics. They may also be helpful in developing and understanding the new systems of measurement that could yield simpler physical laws (*cf.* [1]).

Bashirov *et al.* [2] have recently concentrated on multiplicative calculus and gave the results with applications corresponding to the well-known properties of derivatives and integrals in classical calculus. Quite recently, Uzer [3] has extended the multiplicative calculus to the complex valued functions and was interested in the statements of some fundamental theorems and concepts of multiplicative complex calculus, and demonstrated some analogies between the multiplicative complex calculus and classical calculus by theoretical and numerical examples.

Non-Newtonian calculus is an alternative to the usual calculus of Newton and Leibniz. It provides differentiation and integration tools based on non-Newtonian operations instead of classical operations. Every property in classical calculus has an analogue in non-Newtonian calculus. Generally speaking, non-Newtonian calculus is a methodology that allows one to have a different look at problems which can be investigated via calculus. In some cases, for example, for wage-rate (in dollars, euro *etc.*) related problems, the use of bigeometric calculus, which is a kind of non-Newtonian calculus, is advocated instead of the traditional Newtonian one (*cf.* [1]).

*generator*is a one-to-one function whose domain is ℝ and whose range is a subset of ℝ, the set of real numbers. Each generator generates exactly one arithmetic and, conversely, each arithmetic is generated by exactly one generator. As a generator, we choose the function exp from ℝ to the set ${\mathbb{R}}^{+}$ of positive reals, that is to say,

If $I(x)=x$ for all $x\in \mathbb{R}$, then *I* is called *identity function* whose inverse is itself. In the special cases $\alpha =I$ and $\alpha =exp$, *α* generates the classical and geometric arithmetics, respectively. The set $\mathbb{R}(N)$ of non-Newtonian real numbers is defined as $\mathbb{R}(N):=\{\alpha (x):x\in \mathbb{R}\}$.

Following Bashirov *et al.* [2], Uzer [3] and Türkmen and Başar [4], the main purpose of this paper is to construct the classical sequence spaces with respect to non-Newtonian calculus over the non-Newtonian real field. To do this, we need some preparatory knowledge about non-Newtonian calculus.

In the foundations of science (formerly titled *Physics: The Elements*), Norman Robert Campbell, a pioneer in the theory of measurement, clearly recognized that alternative arithmetics might be useful in science for he wrote, ‘We must recognize the possibility that a system of measurement may be arbitrary otherwise than in the choice of unit; there may be arbitrariness in the choice of process of addition’ (*cf.* [1]).

*α*-

*arithmetic*. For instance,

*α*-

*zero*and

*α*-

*one*turn out to be $\alpha (0)$ and $\alpha (1)$. Similarly, the

*α*-

*integers*turn out to be the following:

*α*with range

*A*. By

*α*-

*arithmetic*, we mean the arithmetic whose domain is

*A*and whose operations are defined as follows: For $x,y\in \mathbb{R}$ and any generator

*α*,

*α*-generator

*I*, the identity function $\alpha (x)=x$ for all $x\in \mathbb{R}\Rightarrow {\alpha}^{-1}(x)=x$, then obviously

*α*-arithmetic turns out to be classical arithmetic.

*α*-generator as exp, $\alpha (z)={e}^{z}$ for $z\in \mathbb{C}$, then ${\alpha}^{-1}(z)=lnz$,

*α*-arithmetic turns out to be geometric arithmetic.

**Four calculi obtained by using classical and geometric arithmetic**

Name of calculus | First arithmetics (arguments) | Second arithmetics (values) |
---|---|---|

| Classical | Classical |

| Geometric | Geometric |

| Classical | Geometric |

| Geometric | Classical |

The rest of the paper is organized, as follows. In Section 2, it is shown that the set $\mathbb{R}(N)$ of non-Newtonian real numbers forms a field with the binary operations addition ($\dot{+}$) and ($\dot{\times}$). Further, the non-Newtonian exponent, surd and absolute value are defined and some of their properties are given. Section 3 is devoted to the vector space over the field $\mathbb{R}(N)$ of non-Newtonian real numbers. Additionally, some required inequalities are presented in the sense of non-Newtonian calculus, and the concepts of non-Newtonian metric and non-Newtonian norm are introduced. In Section 4, subsequent to giving the corresponding results for the sequences of non-Newtonian real numbers concerning the convergent sequences of real numbers, it is stated and proved that the *n*-dimensional non-Newtonian real space ${\mathbb{R}}^{n}(N)$ is a complete metric space. In Section 5, prior to showing the sets $\omega (N)$, ${\ell}_{\mathrm{\infty}}(N)$, $c(N)$, ${c}_{0}(N)$ and ${\ell}_{p}(N)$ of all, bounded, convergent, null and absolutely *p*-summable sequences of the non-Newtonian real numbers are the complete metric spaces, it is proved that each of those sets forms a vector space over the field $\mathbb{R}(N)$ with respect to the algebraic operations addition ($\dot{+}$) and scalar multiplication ($\dot{\times}$). In the final section of the paper, we note the significance of non-Newtonian calculus and record some further suggestions.

## 2 Non-Newtonian real field and related properties

In the present section, we construct the non-Newtonian real field $\mathbb{R}(N)$ and give some related properties.

**Theorem 2.1** $(\mathbb{R}(N),\dot{+},\dot{\times})$ *is a complete field*.

*Proof* One can show this by a routine verification, so we omit the detail. □

The *α*-square of a number *x* in $A\subset \mathbb{R}(N)$ is denoted by $x\phantom{\rule{0.2em}{0ex}}\dot{\times}\phantom{\rule{0.2em}{0ex}}x$ which will be denoted by ${x}^{{2}_{N}}$. For each *α*-nonnegative number *t*, the symbol ${\sqrt{x}}^{N}$ will be used to denote $t=\alpha \{\sqrt{{\alpha}^{-1}(x)}\}$ which is the unique *α*-nonnegative number whose *α*-square is equal to *x*, which means ${t}^{{2}_{N}}=x$.

*p*th non-Newtonian exponent and the

*q*th non-Newtonian root of $x\in \mathbb{R}(N)$ by ${x}^{{p}_{N}}$ and ${\sqrt[q]{x}}^{N}$, respectively. Therefore, we have

*α*-absolute value of a number

*x*in $A\subset \mathbb{R}(N)$ is defined as $\alpha (|{\alpha}^{-1}(x)|)$ and is denoted by ${|x|}_{N}$. For each number

*x*in $A\subset \mathbb{R}(N)$,

Let any $z\in \mathbb{R}(N)$ be given. Then *z* is called a *positive non-Newtonian real number* if $z\phantom{\rule{0.2em}{0ex}}\dot{>}\phantom{\rule{0.2em}{0ex}}\alpha (0)$ and *z* is called a *non-Newtonian negative real number* if $z\phantom{\rule{0.2em}{0ex}}\dot{<}\phantom{\rule{0.2em}{0ex}}\alpha (0)$, and finally, *z* is called an *unsigned non-Newtonian real number* if $z=\alpha (0)$. By ${\mathbb{R}}^{+}(N)$ and ${\mathbb{R}}^{-}(N)$, we denote the sets of non-Newtonian positive and negative real numbers, respectively.

In classical calculus, we have $|xy|=|x||y|$ for $x,y\in \mathbb{R}$. The following proposition shows that this also holds in non-Newtonian calculus.

**Proposition 2.2** *For any* $x,y\in \mathbb{R}(N)$, ${|x\phantom{\rule{0.2em}{0ex}}\dot{\times}\phantom{\rule{0.2em}{0ex}}y|}_{N}={|x|}_{N}\phantom{\rule{0.2em}{0ex}}\dot{\times}\phantom{\rule{0.2em}{0ex}}{|y|}_{N}$.

*Proof*By using the definition of the binary operation ($\dot{\times}$), one can easily see that

as desired. □

## 3 Non-Newtonian metric spaces

In this section, we deal with the vector spaces over the non-Newtonian real field $\mathbb{R}(N)$. First, we present the required inequalities in the sense of (NC).

**Lemma 3.1** (Triangle inequality)

*Let*$x,y\in \mathbb{R}(N)$.

*Then*

*Proof*Let $x,y\in \mathbb{R}(N)$. Taking into account the definition of absolute value given by (2.1), one can see that

This shows that (3.1) holds. □

**Lemma 3.2**

*Let*$u,v\in \mathbb{R}(N)$.

*Then*

*Proof*Let

*z*be

which completes the proof. □

**Lemma 3.3** (Minkowski’s inequality)

*α*to the equality (3.5) with Minkowski’s inequality that

which completes the proof. □

**Definition 3.4** Let *X* be a non-empty set and ${d}_{N}:X\times X\to {\mathbb{R}}^{+}(N)$ be a function such that for all $x,y,z\in X$, the following non-Newtonian metric axioms hold:

(NM1) ${d}_{N}(x,y)=1$ if and only if $x=y$,

(NM2) ${d}_{N}(x,y)={d}_{N}(y,x)$,

(NM3) ${d}_{N}(x,y)\phantom{\rule{0.2em}{0ex}}\dot{\le}\phantom{\rule{0.2em}{0ex}}{d}_{N}(x,z)\phantom{\rule{0.2em}{0ex}}\dot{+}\phantom{\rule{0.2em}{0ex}}{d}_{N}(z,y)$.

Then the pair $(X,{d}_{N})$ and ${d}_{N}$ are called a *non-Newtonian metric space* and a *non-Newtonian metric* on *X*, respectively.

**Corollary 3.5** $(\mathbb{R}(N),{d}_{N})$ *is a non*-*Newtonian metric space*.

*Proof* Define the non-Newtonian metric ${d}_{N}$ on $\mathbb{R}(N)$ by ${d}_{N}(x,y)={|x\ominus y|}_{N}$ ($x,y\in \mathbb{R}(N)$). Then it is immediate for any $u,x,y\in \mathbb{R}(N)$ that

This is what we wished to show. □

**Theorem 3.6**

*n*-

*dimensional non*-

*Newtonian Euclidian space*${\mathbb{R}}^{n}(N)$,

*consisting of all ordered*

*n*-

*tuples of non*-

*Newtonian real numbers*,

*is a metric space with the metric*${d}_{N}$

*defined by*

*where* $x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n})\in {\mathbb{R}}^{n}(N)$.

*Proof*Let $x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n})\text{and}z=({z}_{1},{z}_{2},\dots ,{z}_{n})\in {\mathbb{R}}^{n}(N)$. Then (NM1) and (NM2) are obvious. To prove (NM3), we use Minkowski’s inequality in NC with $p=2$, the

*Cauchy-Schwarz inequality*in NC. Therefore, we see that

which completes the proof. □

Now, we define the notion of norm in the sense of non-Newtonian calculus.

**Definition 3.7** Let *X* be a vector space over the field $\mathbb{R}(N)$ and ${\parallel \cdot \parallel}_{N}$ be a function from *X* to ${\mathbb{R}}^{+}(N)$ satisfying the following non-Newtonian norm axioms: For $x,y\in X$ and $\alpha \in \mathbb{R}(N)$,

(NN1) ${\parallel x\parallel}_{N}=\dot{0}\iff x=\dot{0}$,

(NN2) ${\parallel \alpha \phantom{\rule{0.2em}{0ex}}\dot{\times}\phantom{\rule{0.2em}{0ex}}x\parallel}_{N}={|\alpha |}_{N}\phantom{\rule{0.2em}{0ex}}\dot{\times}\phantom{\rule{0.2em}{0ex}}{\parallel x\parallel}_{N}$,

(NN3) ${\parallel x\phantom{\rule{0.2em}{0ex}}\dot{+}\phantom{\rule{0.2em}{0ex}}y\parallel}_{N}\phantom{\rule{0.2em}{0ex}}\dot{\le}\phantom{\rule{0.2em}{0ex}}{\parallel x\parallel}_{N}\phantom{\rule{0.2em}{0ex}}\dot{+}\phantom{\rule{0.2em}{0ex}}{\parallel y\parallel}_{N}$.

*X*defines a non-Newtonian metric ${d}_{N}$ on

*X*which is given by

and is called the non-Newtonian metric induced by the non-Newtonian norm.

## 4 Convergence and completeness in (NC)

In this section, we emphasize some properties of convergent sequences in a non-Newtonian metric space and completeness of *n*-dimensional non-Newtonian metric space ${\mathbb{R}}^{n}(N)$.

**Definition 4.1** (Convergent sequence)

A sequence $({x}_{n})$ in a metric space $X=(X,{d}_{N})$ is said to be convergent if for every given $\epsilon \phantom{\rule{0.2em}{0ex}}\dot{>}\phantom{\rule{0.2em}{0ex}}\dot{0}$, there exist an ${n}_{0}={n}_{0}(\epsilon )\in \mathbb{N}$ and $x\in X$ such that ${d}_{N}({x}_{n},x)\phantom{\rule{0.2em}{0ex}}\dot{<}\phantom{\rule{0.2em}{0ex}}\epsilon $ for all $n>{n}_{0}$ and is denoted by or ${x}_{n}\stackrel{N}{\to}x$ as $n\to \mathrm{\infty}$.

**Definition 4.2** (Cauchy sequence)

A sequence $({x}_{n})$ in a non-Newtonian metric space $X=(X,{d}_{N})$ is said to be non-Newtonian Cauchy if for every $\epsilon \phantom{\rule{0.2em}{0ex}}\dot{>}\phantom{\rule{0.2em}{0ex}}\dot{0}$, there is an ${n}_{0}={n}_{0}(\epsilon )\in \mathbb{N}$ such that ${d}_{N}({x}_{n},{x}_{m})\phantom{\rule{0.2em}{0ex}}\dot{<}\phantom{\rule{0.2em}{0ex}}\epsilon $ for all $m,n>{n}_{0}$.

The space *X* is said to be non-Newtonian complete if every non-Newtonian Cauchy sequence in *X* converges.

**Theorem 4.3**

*Let*$X=(X,{d}_{N})$

*be a non*-

*Newtonian metric space*.

*Then*:

- (a)
*A convergent sequence in**X**is bounded and its limit is unique*. - (b)
*A convergent sequence in**X**is a Cauchy sequence in**X*.

*Proof* (a) Suppose that $({x}_{n})$ is a convergent sequence in a non-Newtonian metric space *X* with ${x}_{n}\stackrel{N}{\to}x$. Then taking $\epsilon =\alpha (1)=\dot{1}$, we can find an ${n}_{0}$ such that ${d}_{N}({x}_{n},x)\phantom{\rule{0.2em}{0ex}}\dot{<}\phantom{\rule{0.2em}{0ex}}\dot{1}$ for all $n>{n}_{0}$. Hence, by the non-Newtonian triangle inequality, for all *n*, we have ${d}_{N}({x}_{n},x)<\dot{1}\phantom{\rule{0.2em}{0ex}}\dot{+}\phantom{\rule{0.2em}{0ex}}a$, where $a=max\{{d}_{N}({x}_{0},x),{d}_{N}({x}_{1},x),\dots ,{d}_{N}({x}_{{n}_{0}},x)\}$. This shows that $({x}_{n})$ is bounded.

- (b)Suppose that $({x}_{n})$ is a convergent sequence with the limit
*x*in a non-Newtonian metric space $X=(X,{d}_{N})$. Then for every $\epsilon \phantom{\rule{0.2em}{0ex}}\dot{>}\phantom{\rule{0.2em}{0ex}}\dot{0}$, there is an ${n}_{0}={n}_{0}(\epsilon )\in \mathbb{N}$ such that ${d}_{N}({x}_{n},x)\phantom{\rule{0.2em}{0ex}}\dot{<}\phantom{\rule{0.2em}{0ex}}\epsilon /2$ for all $n>{n}_{0}$. Therefore, combining the hypothesis with the non-Newtonian triangle inequality one can observe for every $\epsilon \phantom{\rule{0.2em}{0ex}}\dot{>}\phantom{\rule{0.2em}{0ex}}\dot{0}$, there is an ${n}_{0}={n}_{0}(\epsilon )\in \mathbb{N}$ such that${d}_{N}({x}_{n},{x}_{m})\phantom{\rule{0.2em}{0ex}}\dot{\le}\phantom{\rule{0.2em}{0ex}}{d}_{N}({x}_{n},x)\phantom{\rule{0.2em}{0ex}}\dot{+}\phantom{\rule{0.2em}{0ex}}{d}_{N}(x,{x}_{m})\phantom{\rule{0.2em}{0ex}}\dot{<}\phantom{\rule{0.2em}{0ex}}\epsilon $

for all $m,n\phantom{\rule{0.2em}{0ex}}\dot{>}\phantom{\rule{0.2em}{0ex}}{n}_{0}$. Hence, $({x}_{n})$ is a non-Newtonian Cauchy sequence.

This completes the proof. □

Now, we can give the theorem on the completeness of the metric space $({\mathbb{R}}^{n}(N),{d}_{N})$.

**Theorem 4.4** $({\mathbb{R}}^{n}(N),{d}_{N})$ *is complete*.

*Proof*It is known by Theorem 3.6 that ${d}_{N}$ defined by (3.6) is a metric on ${\mathbb{R}}^{n}(N)$. Suppose that $({x}_{m})=\{{x}_{k}^{(m)}\}$ is a Cauchy in ${\mathbb{R}}^{n}(N)$, where ${x}_{m}=({x}_{1}^{(m)},{x}_{2}^{(m)},{x}_{3}^{(m)},\dots ,{x}_{n}^{(m)})$ for each fixed $m\in \mathbb{N}$. Since $({x}_{m})$ is non-Newtonian Cauchy, for every $\epsilon \phantom{\rule{0.2em}{0ex}}\dot{>}\phantom{\rule{0.2em}{0ex}}\dot{0}$ there is an ${n}_{0}\in \mathbb{N}$ such that

This shows that for each fixed $k\in \{1,2,\dots ,n\}$, $({x}_{k}^{(1)},{x}_{k}^{(2)},{x}_{k}^{(3)},\dots )$ is a convergent sequence with ${x}_{k}^{(m)}\stackrel{N}{\to}{x}_{k}$ as $m\to \mathrm{\infty}$. Using these *n* limits, we define $x=({x}_{1},{x}_{2},\dots ,{x}_{n})$ in ${\mathbb{R}}^{n}(N)$. From (4.1), letting $r\to \mathrm{\infty}$ it is obtained that ${d}_{N}({x}_{m},x)\le \epsilon $ for all $m\phantom{\rule{0.2em}{0ex}}\dot{>}\phantom{\rule{0.2em}{0ex}}{n}_{0}$ which shows that $({x}_{m})$ converges in ${\mathbb{R}}^{n}(N)$. Consequently, $({\mathbb{R}}^{n},{d}_{N})$ is a complete metric space. □

where $x=({x}_{1},{x}_{2},\dots ,{x}_{n}),y=({y}_{1},{y}_{2},\dots ,{y}_{n})\in {\mathbb{R}}^{n}(N)$ and $\alpha \in \mathbb{R}(N)$.

Since ${\mathbb{R}}^{n}(N)$ is a complete metric space with the metric ${d}_{N}$ defined by (3.6) induced by the norm ${\parallel \cdot \parallel}_{N}$, as a direct consequence of Theorem 4.4, we have:

## 5 Sequence spaces over the non-Newtonian real field

*p*-summable sequences over the non-Newtonian real field $\mathbb{R}(N)$ which correspond to the sets

*ω*, ${\ell}_{\mathrm{\infty}}$,

*c*, ${c}_{0}$ and ${\ell}_{p}$ over the real field ℝ, respectively. That is to say,

where $x=({x}_{k}),y=({y}_{k})\in \omega (N)$ and $\alpha \in \mathbb{R}(N)$. It is not hard to show that the sets ${\ell}_{\mathrm{\infty}}(N)$, $c(N)$, ${c}_{0}(N)$ and ${\ell}_{p}(N)$ are the subspaces of the space $\omega (N)$. This means that ${\ell}_{\mathrm{\infty}}(N)$, $c(N)$, ${c}_{0}(N)$ and ${\ell}_{p}(N)$ are classical sequence spaces over the field $\mathbb{R}(N)$.

**Theorem 5.1**

*Let*$\dot{1}=\alpha (1)$, $\dot{2}=\alpha (2)$.

*Define*${d}_{N}$

*on the non*-

*Newtonian space*$\omega (N)$

*by*

*where* $x=({x}_{k}),y=({y}_{k})\in \omega (N)$. *Then* $(\omega (N),{d}_{N})$ *is a metric space*.

*Proof*Since the axioms (NM1) and (NM2) easily hold, we omit the details. The inequality (3.3) implies that

*i.e.*, (NM3) holds. This step completes the proof. □

**Theorem 5.2** *Let* *λ* *denote any of the spaces* ${\ell}_{\mathrm{\infty}}$, *c* *and* ${c}_{0}$, *and* $x=({x}_{k}),y=({y}_{k})\in \lambda (N)$. *Define* ${d}_{{N}_{\mathrm{\infty}}}$ *on the space* $\lambda (N)$ *by* ${d}_{{N}_{\mathrm{\infty}}}(x,y)={sup}_{k\in \mathbb{N}}{|{x}_{k}\phantom{\rule{0.2em}{0ex}}\dot{-}\phantom{\rule{0.2em}{0ex}}{y}_{k}|}_{N}$. *Then* $(\lambda (N),{d}_{{N}_{\mathrm{\infty}}})$ *is a complete metric space*.

*Proof*Since the proof is similar for the spaces $c(N)$ and ${c}_{0}(N)$, we prove the theorem only for the space ${\ell}_{\mathrm{\infty}}(N)$. Let $x=({x}_{k}),y=({y}_{k}),z=({z}_{k})\in {\ell}_{\mathrm{\infty}}(N)$. Then:

- (i)
Suppose that ${d}_{{N}_{\mathrm{\infty}}}(x,y)=\dot{0}$. This implies for all $k\in \mathbb{N}$ that ${x}_{k}\phantom{\rule{0.2em}{0ex}}\dot{-}\phantom{\rule{0.2em}{0ex}}{y}_{k}=\dot{0}$,

*i.e.*, $x=y$.

Conversely, let $x=y$. Then we have ${x}_{k}\phantom{\rule{0.2em}{0ex}}\dot{-}\phantom{\rule{0.2em}{0ex}}{y}_{k}=\dot{0}$ for all $k\in \mathbb{N}$ which yields that ${d}_{{N}_{\mathrm{\infty}}}(x,y)=\dot{0}$.

- (ii)
It is immediate that ${d}_{{N}_{\mathrm{\infty}}}(x,y)={d}_{{N}_{\mathrm{\infty}}}(y,x)$,

*i.e.*, (NM2) holds. - (iii)By taking into account the triangle inequality in (3.1), we see that$\begin{array}{rcl}{d}_{{N}_{\mathrm{\infty}}}(x,y)& =& \underset{k\in \mathbb{N}}{sup}{|{x}_{k}\phantom{\rule{0.2em}{0ex}}\dot{-}\phantom{\rule{0.2em}{0ex}}{y}_{k}|}_{N}\\ =& \underset{k\in \mathbb{N}}{sup}{|{x}_{k}\phantom{\rule{0.2em}{0ex}}\dot{-}\phantom{\rule{0.2em}{0ex}}{y}_{k}\phantom{\rule{0.2em}{0ex}}\dot{+}\phantom{\rule{0.2em}{0ex}}{z}_{k}\phantom{\rule{0.2em}{0ex}}\dot{-}\phantom{\rule{0.2em}{0ex}}{z}_{k}|}_{N}\\ \le & \underset{k\in \mathbb{N}}{sup}{|{x}_{k}\phantom{\rule{0.2em}{0ex}}\dot{-}\phantom{\rule{0.2em}{0ex}}{z}_{k}|}_{N}+\underset{k\in \mathbb{N}}{sup}{|{y}_{k}\phantom{\rule{0.2em}{0ex}}\dot{-}\phantom{\rule{0.2em}{0ex}}{z}_{k}|}_{N}\\ =& {d}_{{N}_{\mathrm{\infty}}}(x,z)\phantom{\rule{0.2em}{0ex}}\dot{+}\phantom{\rule{0.2em}{0ex}}{d}_{{N}_{\mathrm{\infty}}}(z,y).\end{array}$

Hence, (NM3) holds.

Since the axioms (NM1)-(NM3) are satisfied, $({\ell}_{\mathrm{\infty}}(N),{d}_{{N}_{\mathrm{\infty}}})$ is a metric space.

*A fortiori*, for every fixed $k\in \mathbb{N}$ and for all $m,n>{n}_{0}$,

*k*. Hence, $({x}_{k})$ is a bounded sequence of non-Newtonian real numbers, that is, $x=({x}_{k})\in {\ell}_{\mathrm{\infty}}(N)$. Also from (5.4) we obtain for $m>{n}_{0}$ that

This shows that ${x}^{m}\stackrel{N}{\to}x$ as $m\to \mathrm{\infty}$. Since $({x}^{m})$ was an arbitrary non-Newtonian Cauchy sequence, ${\ell}_{\mathrm{\infty}}(N)$ is complete. □

we have:

**Corollary 5.3** *The spaces* ${\ell}_{\mathrm{\infty}}(N)$, $c(N)$ *and* ${c}_{0}(N)$ *are Banach spaces with the norm* ${\parallel \cdot \parallel}_{{N}_{\mathrm{\infty}}}$ *defined by* (5.6).

To avoid undue repetition in the statements, we give the final theorem without proof concerning the complete metric space ${\ell}_{p}(N)$.

**Theorem 5.4** *Define* ${d}_{{N}_{p}}$ *on the non*-*Newtonian space* ${\ell}_{p}(N)$ *by*
, *where* $x=({x}_{k}),y=({y}_{k})\in {\ell}_{p}(N)$ *and* $p\ge 1$. *Then* $({\ell}_{p}(N),{d}_{{N}_{p}})$ *is a complete metric space*.

we have:

**Corollary 5.5** *The space* ${\ell}_{p}(N)$ *is a Banach space with the norm* ${\parallel \cdot \parallel}_{{N}_{p}}$ *defined by* (5.7).

## 6 Conclusion

One of the purposes of this work is to extend non-Newtonian calculus to non-Newtonian real calculus for dealing with real valued functions. Some of the analogies between (CC) and (NC) are demonstrated by theoretical examples. Some important inequalities, such as non-Newtonian triangle, non-Newtonian Minkowski and some other inequalities which are frequently used in (NC) are proved. We derive classical sequence spaces in the sense of non-Newtonian calculus and try to understand their structure of being a non-Newtonian vector space. Generally, we work on vector spaces which concern physics and computing. There are lots of techniques that have been developed in the sense of (CC). If (NC) is employed together with (CC) in the formulations, then many of the complicated phenomena in physics or engineering may be analyzed more easily.

Quite recently, Talo and Başar have studied the certain sets of sequences of fuzzy numbers and introduced the classical sets ${\ell}_{\mathrm{\infty}}(F)$, $c(F)$, ${c}_{0}(F)$ and ${\ell}_{p}(F)$ consisting of bounded, convergent, null and absolutely *p*-summable sequences of fuzzy numbers in [5]. Next, they have defined the *α*-, *β*- and *γ*-duals of a set of sequences of fuzzy numbers, and gave the duals of the classical sets of sequences of fuzzy numbers together with the characterization of the classes of infinite matrices of fuzzy numbers transforming one of the classical sets into another. Following Bashirov *et al.* [2] and Uzer [3], we have given the corresponding results for non-Newtonian calculus to the results obtained for fuzzy valued sequences in Talo and Başar [5] as a beginning. As a natural continuation of this paper, we should record that it is meaningful to define the *α*-, *β*- and *γ*-duals of a space of sequences of non-Newtonian real entries and to determine the duals of classical spaces ${\ell}_{\mathrm{\infty}}(N)$, $c(N)$, ${c}_{0}(N)$ and ${\ell}_{p}(N)$ together with the characterization of matrix transformations between the classical sequence spaces over the non-Newtonian real field $\mathbb{R}(N)$. Further, one can obtain similar results by using another type of calculus instead of non-Newtonian calculus.

It is natural to expect that the Banach spaces ${\ell}_{\mathrm{\infty}}(N)$, $c(N)$, ${c}_{0}(N)$ and ${\ell}_{p}(N)$ can be extended to the complete paranormed sequence spaces ${\ell}_{\mathrm{\infty}}(p,N)$, $c(p,N)$, ${c}_{0}(p,N)$ and $\ell (p,N)$ so as the Maddox’s spaces ${\ell}_{\mathrm{\infty}}(p)$, $c(p)$, ${c}_{0}(p)$ and $\ell (p)$ (*cf.* Maddox [6, 7], Nakano [8] and Simons [9]) are derived on the real or complex field from the classical sequence spaces ${\ell}_{\mathrm{\infty}}$, *c*, ${c}_{0}$ and ${\ell}_{p}$, respectively. We note from now on that our next paper will be devoted to the investigation of this subject.

Following Grossman and Katz [1], Türkmen and Başar [4] constructed the field $\mathbb{C}(G)$ of geometric complex numbers and gave the triangle and Minkowski’s inequalities in the sense of geometric calculus. Later, they respectively defined the classical sets $w(G)$, ${\ell}_{\mathrm{\infty}}(G)$, $c(G)$, ${c}_{0}(G)$ and ${\ell}_{p}(G)$ of all, bounded, convergent, null and *p*-absolutely summable sequences of geometric complex entries and showed that each of the set forms a complete vector space on the field $\mathbb{C}(G)$. Of course, one can determine the *α*-, *β*- and *γ*-duals of the spaces ${\ell}_{\mathrm{\infty}}(G)$, $c(G)$, ${c}_{0}(G)$ and ${\ell}_{p}(G)$ and characterize some classes of matrix transformation between these spaces in the sense of geometric calculus.

## Declarations

## Authors’ Affiliations

## References

- Grossman M, Katz R:
*Non-Newtonian Calculus*. Lee Press, Pigeon Cove; 1972. Lowell Technological InstituteGoogle Scholar - Bashirov AE, Kurpıınar EM, Özyapıcı A: Multiplicative calculus and its applications.
*J. Math. Anal. Appl.*2008, 337: 36–48. 10.1016/j.jmaa.2007.03.081MathSciNetView ArticleGoogle Scholar - Uzer A: Multiplicative type complex calculus as an alternative to the classical calculus.
*Comput. Math. Appl.*2010, 60: 2725–2737. 10.1016/j.camwa.2010.08.089MathSciNetView ArticleGoogle Scholar - Türkmen C, Başar F: Some basic results on the sets of sequences with geometric calculus.
*AIP Conf. Proc.*2012, 1470: 95–98.View ArticleGoogle Scholar - Talo Ö, Başar F: Determination of the duals of classical sets of sequences of fuzzy numbers and related matrix transformations.
*Comput. Math. Appl.*2009, 58: 717–733. 10.1016/j.camwa.2009.05.002MathSciNetView ArticleGoogle Scholar - Maddox IJ: Paranormed sequence spaces generated by infinite matrices.
*Math. Proc. Camb. Philos. Soc.*1968, 64: 335–340. 10.1017/S0305004100042894MathSciNetView ArticleGoogle Scholar - Maddox IJ: Spaces of strongly summable sequences.
*Q. J. Math.*1967, 18: 345–355. 10.1093/qmath/18.1.345MathSciNetView ArticleGoogle Scholar - Nakano H: Modulared sequence spaces.
*Proc. Jpn. Acad.*1951, 27(2):508–512.View ArticleGoogle Scholar - Simons S:The sequence spaces $\ell ({p}_{v})$ and $m({p}_{v})$.
*Proc. Lond. Math. Soc.*1965, 15: 422–436. 10.1112/plms/s3-15.1.422MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.