- Open Access
Some new results on sequence spaces with respect to non-Newtonian calculus
Journal of Inequalities and Applications volume 2012, Article number: 228 (2012)
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 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 , , , and 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 and a complete metric space.
MSC:26A06, 11U10, 08A05.
1 Preliminaries, background and notations
During the Renaissance many scholars, including Galileo, discussed the following problem: Two estimates, 10 and , 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. ).
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. ).
Bashirov et al.  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  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. ).
Throughout this document, non-Newtonian calculus is denoted by (NC), and classical calculus is denoted by (CC). A 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 of positive reals, that is to say,
If for all , then I is called identity function whose inverse is itself. In the special cases and , α generates the classical and geometric arithmetics, respectively. The set of non-Newtonian real numbers is defined as .
Following Bashirov et al. , Uzer  and Türkmen and Başar , 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. ).
We should know that all concepts in classical arithmetic have natural counterparts in α-arithmetic. For instance, α-zero and α-one turn out to be and . Similarly, the α-integers turn out to be the following:
Consider any generator α with range A. By α-arithmetic, we mean the arithmetic whose domain is A and whose operations are defined as follows: For and any generator α,
Particularly, if we choose α-generator I, the identity function for all , then obviously α-arithmetic turns out to be classical arithmetic.
If we choose α-generator as exp, for , then , α-arithmetic turns out to be geometric arithmetic.
An arithmetic is any system that satisfies the complete ordered field axioms and has a domain that is a subset of ℝ. There are infinitely many arithmetics, all of which are isomorphic, that is, structurally equivalent. Nevertheless, the fact that two systems are isomorphic does not preclude their separate uses. In , it is shown that each ordered pair of arithmetics gives rise to a calculus by a judicious use of the first arithmetic for function arguments and the second arithmetic for function values. Table 1 indicates the four calculi obtainable by using the classical and geometric arithmetics.
The rest of the paper is organized, as follows. In Section 2, it is shown that the set of non-Newtonian real numbers forms a field with the binary operations addition () and (). 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 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 is a complete metric space. In Section 5, prior to showing the sets , , , and 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 with respect to the algebraic operations addition () and scalar multiplication (). 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 and give some related properties.
We define the binary operations () addition and () multiplication for the set of non-Newtonian real numbers by
Theorem 2.1 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 is denoted by which will be denoted by . For each α-nonnegative number t, the symbol will be used to denote which is the unique α-nonnegative number whose α-square is equal to x, which means .
Throughout this section, we denote the p th non-Newtonian exponent and the q th non-Newtonian root of by and , respectively. Therefore, we have
The α-absolute value of a number x in is defined as and is denoted by . For each number x in ,
Then we say,
The non-Newtonian distance between two numbers and is defined by
Let any be given. Then z is called a positive non-Newtonian real number if and z is called a non-Newtonian negative real number if , and finally, z is called an unsigned non-Newtonian real number if . By and , we denote the sets of non-Newtonian positive and negative real numbers, respectively.
In classical calculus, we have for . The following proposition shows that this also holds in non-Newtonian calculus.
Proposition 2.2 For any , .
Proof By using the definition of the binary operation (), 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 . First, we present the required inequalities in the sense of (NC).
Lemma 3.1 (Triangle inequality)
Let . Then
Proof Let . Taking into account the definition of absolute value given by (2.1), one can see that
Therefore, we obtain by applying to the equality (3.2) that
which leads us to
This shows that (3.1) holds. □
Lemma 3.2 Let . Then
Proof Let z be
Therefore, one can easily observe by applying to the equality (3.4) that
which completes the proof. □
Lemma 3.3 (Minkowski’s inequality)
Let and for . Then
Proof Suppose that
Then we have
Therefore, one can easily observe by applying α 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 be a function such that for all , the following non-Newtonian metric axioms hold:
(NM1) if and only if ,
Then the pair and are called a non-Newtonian metric space and a non-Newtonian metric on X, respectively.
Corollary 3.5 is a non-Newtonian metric space.
Proof Define the non-Newtonian metric on by (). Then it is immediate for any that
(NM1) It is easy to see that
(NM2) One can obtain that
(NM3) A direct calculation leads us to
This is what we wished to show. □
Theorem 3.6 n-dimensional non-Newtonian Euclidian space , consisting of all ordered n-tuples of non-Newtonian real numbers, is a metric space with the metric defined by
Proof Let . Then (NM1) and (NM2) are obvious. To prove (NM3), we use Minkowski’s inequality in NC with , 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 and be a function from X to satisfying the following non-Newtonian norm axioms: For and ,
Then is said to be a non-Newtonian normed space. It is trivial that a non-Newtonian norm on X defines a non-Newtonian metric 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 .
Definition 4.1 (Convergent sequence)
A sequence in a metric space is said to be convergent if for every given , there exist an and such that for all and is denoted by or as .
Definition 4.2 (Cauchy sequence)
A sequence in a non-Newtonian metric space is said to be non-Newtonian Cauchy if for every , there is an such that for all .
The space X is said to be non-Newtonian complete if every non-Newtonian Cauchy sequence in X converges.
Theorem 4.3 Let be a non-Newtonian metric space. Then:
A convergent sequence in X is bounded and its limit is unique.
A convergent sequence in X is a Cauchy sequence in X.
Proof (a) Suppose that is a convergent sequence in a non-Newtonian metric space X with . Then taking , we can find an such that for all . Hence, by the non-Newtonian triangle inequality, for all n, we have , where . This shows that is bounded.
Assume that and as . Then we obtain from (NM3) that
which leads us to the result as that . This means with (NM1) that the non-Newtonian limit is unique.
Suppose that is a convergent sequence with the limit x in a non-Newtonian metric space . Then for every , there is an such that for all . Therefore, combining the hypothesis with the non-Newtonian triangle inequality one can observe for every , there is an such that
for all . Hence, is a non-Newtonian Cauchy sequence.
This completes the proof. □
Now, we can give the theorem on the completeness of the metric space .
Theorem 4.4 is complete.
Proof It is known by Theorem 3.6 that defined by (3.6) is a metric on . Suppose that is a Cauchy in , where for each fixed . Since is non-Newtonian Cauchy, for every there is an such that
for all . By non-Newtonian squaring, we have for all and all that
which implies that
This shows that for each fixed , is a convergent sequence with as . Using these n limits, we define in . From (4.1), letting it is obtained that for all which shows that converges in . Consequently, is a complete metric space. □
It is trivial that is a vector space over with respect to the algebraic operations addition () and scalar multiplication () defined on as follows:
where and .
Since is a complete metric space with the metric defined by (3.6) induced by the norm , as a direct consequence of Theorem 4.4, we have:
Corollary 4.5 is a Banach space with the norm defined by
5 Sequence spaces over the non-Newtonian real field
In this section, we define the sets , , , and of all, bounded, convergent, null and absolutely p-summable sequences over the non-Newtonian real field which correspond to the sets ω, , c, and over the real field ℝ, respectively. That is to say,
One can easily see that the set forms a vector space over with respect to the algebraic operations (+) addition and scalar multiplication (⋅) defined on as follows:
where and . It is not hard to show that the sets , , and are the subspaces of the space . This means that , , and are classical sequence spaces over the field .
Theorem 5.1 Let , . Define on the non-Newtonian space by
where . Then is a metric space.
Proof Since the axioms (NM1) and (NM2) easily hold, we omit the details. The inequality (3.3) implies that
holds for all . Additionally, since the inequalities
hold for all , the comparison test implies the convergence of the series
Therefore, by letting in (5.1),
i.e., (NM3) holds. This step completes the proof. □
Theorem 5.2 Let λ denote any of the spaces , c and , and . Define on the space by . Then is a complete metric space.
Proof Since the proof is similar for the spaces and , we prove the theorem only for the space . Let . Then:
Suppose that . This implies for all that , i.e., .
Conversely, let . Then we have for all which yields that .
That is to say, (NM1) holds.
It is immediate that , i.e., (NM2) holds.
By taking into account the triangle inequality in (3.1), we see that
Hence, (NM3) holds.
Since the axioms (NM1)-(NM3) are satisfied, is a metric space.
It remains to prove the completeness of the space . Let be any sequence in the space , where . Then for any , there is an such that for all ,
A fortiori, for every fixed and for all ,
Hence, for every fixed , the sequence is a Cauchy sequence of non-Newtonian real numbers. Since is a complete metric space in the non-Newtonian sense by Theorem 4.4 with , it converges, say as . Using these infinitely many limits , we define and show that . From (5.3) letting and we have
Since , there is a real number such that for all . Thus, (5.4) together with the triangle inequality in (3.1) gives for that
It is clear that (5.5) holds for every whose right-hand side does not involve k. Hence, is a bounded sequence of non-Newtonian real numbers, that is, . Also from (5.4) we obtain for that
This shows that as . Since was an arbitrary non-Newtonian Cauchy sequence, is complete. □
Since it is known by Theorem 5.2 that the spaces , and are complete metric spaces with the metric induced by the norm defined by
Corollary 5.3 The spaces , and are Banach spaces with the norm defined by (5.6).
To avoid undue repetition in the statements, we give the final theorem without proof concerning the complete metric space .
Theorem 5.4 Define on the non-Newtonian space by , where and . Then is a complete metric space.
Since it is known by Theorem 5.4 that the space is a complete metric space with the metric induced by the norm defined by
Corollary 5.5 The space is a Banach space with the norm defined by (5.7).
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 , , and consisting of bounded, convergent, null and absolutely p-summable sequences of fuzzy numbers in . 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.  and Uzer , we have given the corresponding results for non-Newtonian calculus to the results obtained for fuzzy valued sequences in Talo and Başar  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 , , and together with the characterization of matrix transformations between the classical sequence spaces over the non-Newtonian real field . 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 , , and can be extended to the complete paranormed sequence spaces , , and so as the Maddox’s spaces , , and (cf. Maddox [6, 7], Nakano  and Simons ) are derived on the real or complex field from the classical sequence spaces , c, and , respectively. We note from now on that our next paper will be devoted to the investigation of this subject.
Following Grossman and Katz , Türkmen and Başar  constructed the field 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 , , , and 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 . Of course, one can determine the α-, β- and γ-duals of the spaces , , and and characterize some classes of matrix transformation between these spaces in the sense of geometric calculus.
Grossman M, Katz R: Non-Newtonian Calculus. Lee Press, Pigeon Cove; 1972. Lowell Technological Institute
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.081
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.089
Türkmen C, Başar F: Some basic results on the sets of sequences with geometric calculus. AIP Conf. Proc. 2012, 1470: 95–98.
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.002
Maddox IJ: Paranormed sequence spaces generated by infinite matrices. Math. Proc. Camb. Philos. Soc. 1968, 64: 335–340. 10.1017/S0305004100042894
Maddox IJ: Spaces of strongly summable sequences. Q. J. Math. 1967, 18: 345–355. 10.1093/qmath/18.1.345
Nakano H: Modulared sequence spaces. Proc. Jpn. Acad. 1951, 27(2):508–512.
Simons S:The sequence spaces and . Proc. Lond. Math. Soc. 1965, 15: 422–436. 10.1112/plms/s3-15.1.422
The authors declare that they have no competing interests.
All the authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
About this article
Cite this article
Çakmak, A.F., Başar, F. Some new results on sequence spaces with respect to non-Newtonian calculus. J Inequal Appl 2012, 228 (2012). https://doi.org/10.1186/1029-242X-2012-228
- non-Newtonian calculus
- algebraic structures with respect to non-Newtonian calculus
- non-Newtonian inequalities
- non-Newtonian sequence spaces