Some new results on sequence spaces with respect to non-Newtonian calculus
© Çakmak and Başar; licensee Springer 2012
Received: 31 May 2012
Accepted: 20 September 2012
Published: 11 October 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. ).
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. ).
Four calculi obtained by using classical and geometric arithmetic
Name of calculus
First arithmetics (arguments)
Second arithmetics (values)
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.
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 .
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 , .
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)
This shows that (3.1) holds. □
which completes the proof. □
Lemma 3.3 (Minkowski’s inequality)
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
This is what we wished to show. □
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 ,
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)
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.
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.
- (b)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.
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. □
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:
5 Sequence spaces over the non-Newtonian real field
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 .
where . Then is a metric space.
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.
Suppose that . This implies for all that , i.e., .
Conversely, let . Then we have for all which yields that .
It is immediate that , i.e., (NM2) holds.
- (iii)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.
This shows that as . Since was an arbitrary non-Newtonian Cauchy sequence, is complete. □
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 .
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 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 and . Proc. Lond. Math. Soc. 1965, 15: 422–436. 10.1112/plms/s3-15.1.422MathSciNetView ArticleGoogle Scholar
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.