International Journal of Analysis
Volume 2014 (2014), Article ID 746059, 10 pages
http://dx.doi.org/10.1155/2014/746059

Research Article

The Construction of Hilbert Spaces over the Non-Newtonian Field

Uğur Kadak1,2 and Hakan Efe¹

¹Department of Mathematics, Faculty of Sciences, Gazi University, 06500 Ankara, Turkey
²Department of Mathematics, Faculty of Sciences and Arts, Bozok University, 66100 Yozgat, Turkey

Received 23 January 2014; Revised 20 May 2014; Accepted 3 June 2014; Published 21 October 2014

Academic Editor: Seenith Sivasundaram

Copyright © 2014 Uğur Kadak and Hakan Efe. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Although there are many excellent ways to present the principle of the classical calculus, the novel presentations probably lead most naturally to the development of the non-Newtonian calculi. In this paper we introduce vector spaces over real and complex non-Newtonian field with respect to the -calculus which is a branch of non-Newtonian calculus. Also we give the definitions of real and complex inner product spaces and study Hilbert spaces which are special type of normed space and complete inner product spaces in the sense of -calculus. Furthermore, as an example of Hilbert spaces, first we introduce the non-Cartesian plane which is a nonlinear model for plane Euclidean geometry. Secondly, we give Euclidean, unitary, and sequence spaces via corresponding norms which are induced by an inner product. Finally, by using the -norm properties of complex structures, we examine Cauchy-Schwarz and triangle inequalities.

1. Introduction

The foundation of the theory of Hilbert spaces was laid down in 1912, D. Hilbert (1862–1943), on integral equations. However, an axiomatic basis of the theory was provided by J. Von Neumann (1903–1957). Since then this topic has become one of the most interesting and powerful subjects. Moreover, Hilbert spaces are the simplest type of infinite dimensional Banach spaces to play a remarkable role in functional analysis.

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, non-Newtonian calculus is a methodology that allows one to have a different look at problems which can be investigated via calculus. Furthermore the bigeometric calculus, which was created by Katz and Grossman in August 1970 as a branch of non-Newtonian calculus, has a derivative that is scale-free; that is, it is invariant under all changes of scales or units in function arguments and values. In some cases, for example, for wage-rate (in dollars, euro, etc.) related problems, the use of bigeometric calculus is advocated instead of a traditional Newtonian one (cf. [1–3]).

Bashirov et al. [4, 5] have recently concentrated on the multiplicative calculus and gave the results with applications corresponding to the well-known properties of derivatives and integrals in the classical calculus. Uzer [6] has extended the non-Newtonian 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. Çakmak and Başar [7] have studied the multiplicative differentiation for complex-valued functions and established the multiplicative Cauchy-Riemann conditions. Further, Tekin and Basar have introduced some certain sequence spaces over the non-Newtonian complex field by using -calculus in [8] and many authors have introduced multiplicative calculus in biomedical image analysis and have derived non-Newtonian calculus as an alternative to the quantum calculus in [9, 10]. Quite recently Kadak and Efe [11, 12] have determined duals and matrix transformations between certain sequence spaces over the non-Newtonian complex field. Also Çakmak and Başar have constructed certain spaces of functions over the field of non-Newtonian complex numbers [7]. Also Misirli and Gurefe [13] have introduced multiplicative Adams Bashforth-Moulton methods for differential equations.

The rest of the paper is organized as follows.

In Section 2, the systems of arithmetic which include -arithmetic and non-Newtonian norm and Banach spaces are established. Further, we give the corresponding results for the sequences of non-Newtonian real numbers concerning the convergent sequences of real numbers. In Section 3 we give the -calculus and its applications which include some basic complex notions, that is, conjugate, modulus, and also series of complex terms. Furthermore, we define the non-Newtonian vector spaces corresponding to operations and we give the concept of -basis, -norm, and some necessary inequalities, that is, Minkowski and triangle inequality. Additionally we deduce the non-Cartesian geometry with related structures and give a relationship between some notions of Euclidean and non-Newtonian geometry. Section 4 is devoted to the construction of Hilbert spaces over real and complex field via related inner product in the sense of -calculus. Finally, we introduce some applications that depend on complex inner product and examine some important inequalities, that is, Cauchy-Schwarz and triangle inequality.

2. Preliminaries, Background, and Notation

The system of complete ordered field evolved from the axiomatization of the real number system, whose basic ideas are well known. Informally, a complete ordered field is a system of a set , four binary operations, , , and for , and an ordering relation for , all of which behave with respect to exactly as +, −, , , behave with respect to the set of real numbers. We call the realm of the complete ordered field [6, p. 32]. A complete ordered field is called arithmetic if its realm is a subset of . A bijective function with domain where its range is a subset of is called a generator. For example, the identity function , exponential function, and the function are generators. Each generator generates exactly one arithmetic, and conversely each arithmetic is generated by exactly one generator.

As a generator, we choose the function from to the set of positive reals, that is to say that

If for all , then 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 are defined as .

Consider any generator - with range . By -arithmetic, we mean the arithmetic whose domain is and whose operations are defined as follows: for , and any generator ,

Particularly if we choose -generator as , for , then for ; -arithmetic turns out to be Geometric arithmetic:

On the other hand, one can easily conclude that the summation turns out as follows:

The -positive real numbers, denoted by , are the numbers in such that ; the -negative real numbers, denoted by , are those for which . The -zero, , and the -one, , turn out to be , , and . Thus the set of all -integers turn out to be the following:

Theorem 1 (see [14]). is complete field.

The -square of a number in is denoted by which will be denoted by . For each -nonnegative number , the symbol will be used to denote which is the unique -nonnegative number whose -square is equal to , which means . Throughout this section we denote the th non-Newtonian exponent and the th non-Newtonian root of by and , respectively. Therefore, we have The -absolute value of a number in is defined as and is denoted by . For each number in , . Then we say

For any numbers and in , if , then the set of all numbers such that which is called an interval is denoted by . An -partition of an -interval is any -progression whose first and last term are and .

Let be an infinite sequence of the elements in . Then there is at most one element such that every -interval with in its -interior contains all but finitely many terms of . If there is such a number , then is said to be -convergent to , which is called the -limit of . It is trivial that ; -convergence reduces to the classical convergence.

Proposition 2 (see [14]). For any , , the following statements hold: (i);(ii) (triangle inequality);(iii)let and , for . Then,

Definition 3 (see [14]). Let be a nonempty set and let be a function such that, for all , , , the following -metric axioms hold: (NM1) if and only if ,(NM2),(NM3).Then, the pair and are called an -metric space and an -metric on , respectively.

Corollary 4 (see [14]). is a non-Newtonian metric space.

Theorem 5 (see [14]). -dimensional non-Newtonian Euclidian space consisting of all ordered -tuples of non-Newtonian real numbers is a metric space with the metric , defined by where , .

Definition 6 (see [14]). Let be a vector space over the field and let be a function from to satisfying the following non-Newtonian norm axioms: for and , (NM1),(NM2),(NM3).Then, is said to be a non-Newtonian normed space. It is trivial that a non-Newtonian norm on defines a non-Newtonian metric on which is given by and it is called the non-Newtonian metric induced by the non-Newtonian norm.

Definition 7 (see [14]). (a) 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 it is denoted by or , as .
(b) 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 , .

Theorem 8 (see [14]). is complete.

Corollary 9 (see [14]). is a Banach space with the norm defined by

3. “Star”-Calculus (-Calculus) and Some Related Applications

In the present section we give a new type of calculus denoted by -calculus which represents general structure of non-Newtonian calculus. Since all arithmetics are isomorphic, one can obtain easily all arithmetics by using a unique function from to the arithmetic.

Suppose that and are two arbitrarily selected generators and (“star-”) is also the ordered pair of arithmetics (-arithmetic and -arithmetic). The set (, , , , ) is a complete ordered field and -generator generates -arithmetic. Definitions given for -arithmetic are also valid for -arithmetic. For example, -convergence is defined by means of -intervals and their -interiors. In non-Newtonian calculus, -arithmetic is used for arguments and -arithmetic is used for values; in particular, changes in arguments and values are measured by -differences and -differences, respectively. The operators of this calculus type are applied only to functions with arguments in and values in . The -limit of a function with two generators and is defined by A function is -continuous at a point in if and only if is an argument of and . When and are the identity function , the concepts of -limit and -continuity are identical with those of classical limit and continuity.

The isomorphism from -arithmetic to -arithmetic is a unique function (iota) that obtains some required properties:(i) is one to one;(ii) is from onto ;(iii)for any numbers and in , It turns out that for every in and that for every integer . Since, for example, , it should be clear that any statement in -arithmetic can readily be transformed into a statement in -arithmetic.

3.1. Non-Newtonian Complex Field with respect to the Calculus

Let and be arbitrarily chosen elements from corresponding arithmetics. Then the ordered pair is called as a -point. The set of all -points is called the set of -complex numbers and is denoted by ; that is, Defining the binary operations addition and multiplication of -complex numbers and , where , and , .

Theorem 10 (see [8]). is a field.

Let . Then the number is called the -square and is denoted by . Let be a nonnegative number in . Then is called the -square root of and is denoted by . The -distance between two arbitrarily elements and of the set is defined by

Definition 11 (see [11] (complex conjugate)). Let . We define the non-Newtonian complex conjugate of by . Conjugation changes the sign of the -imaginary part of but leaves the real part the same. Thus

Definition 12 (modulus). Consider . We define the -modulus or -absolute value of by .

Proposition 13. Let , , and . Then the following results are obvious: (i) if and only if ;(ii);(iii), and where where .

Definition 14 (see [11]). Given a sequence of non-Newtonian complex numbers, the formal notation is called an infinite non-Newtonian series with complex terms, or simply complex -series. Also, for integers , the finite -sums are called the partial sums of complex -series. If the sequence -converges to a complex number then we say that the series -converges and write . The number is then called the -sum of this series. If   -diverges, we say that the series -diverges, or that it is -divergent.

3.2. Non-Newtonian Vector Space over the Field

We assume throughout this paper that denotes either the non-Newtonian real field or the non-Newtonian complex field .

Definition 15. A non-Newtonian vector space (-vector space) over the field is a set on which two operations are defined, called -addition and scalar -multiplication, denoted + and by where the -vectors are , and the scalar . Then the operations must satisfy the following conditions. (i)Closure. For all and all , the -sum and the scalar -product are uniquely defined and belong to .(ii)Associativity. For all and all then and .(iii)Additive Commutativity. For all then .(iv)Additive Identity. The set contains an additive -identity element, denoted by , such that for all , .(v)Additive Inverse. The set contains an additive -inverse element, denoted by , such that for all , .(vi)Multiplicative Identity. The set contains a multiplicative -identity element, denoted by , such that for all , .(vii)Multiplicative Inverse. The set contains a multiplicative -inverse element, denoted by , where and such that for all , .(viii)Distributive Laws. For all and all then and .

Definition 16. Let be a set of -vectors in -vector space over the field . Any -vector of the form by , for all , is called a linear combination of the -vectors in . The set is said to -span if each element of can be expressed as a linear combination of the -vectors in .

Definition 17. Let be a set of -vectors in -vector space over the field . Then the following statements hold. (i)The -vectors in are said to be linearly dependent if one of the -vectors can be expressed as a linear combination of the others. If not, then is said to be a linearly independent set.(ii)A subset of -vector space is called a -basis for if it -spans and is linearly independent.(iii)If has a finite -basis, then it is said to be finite dimensional, and the number of -vectors in the -basis is called the dimension of .

A -vector space is said to be finite-dimensional if there exists a finite subset of which is a -basis of . If no such finite subset exists, then is said to be infinite-dimensional.

Now, we define the norm function and derive some required inequalities in the sense of non-Newtonian complex calculus.

Definition 18. Let be a -vector space over the field and let be a function from to satisfying the following non-Newtonian norm axioms: for , and ,(N1),(N2) ( is -complex modulus),(N3).Then, is said to be a -normed space. It is trivial that a -norm on defines a -metric on which is given by ; and is called the -metric induced by the -norm.

In other words, where and . Moreover, for all we have .

Lemma 19 (see [8]). Let . Then the following statements hold: (i), (-triangle inequality);(ii).

Theorem 20 (see [8]). is a complete metric space.

Corollary 21 (see [8]). is a Banach space with the -norm defined by

Remark 22 (see [7, p. 9]). Let and be two generator functions and . Then holds.

At the final stage of this section, following Tekin and Basar [8], we give the definitions of some classical sets of sequences over the complex field with respect to the -calculus. That is to say that

3.3. Non-Cartesian Geometry

Classical calculus and Cartesian analytic geometry are based on classical arithmetic, which is usually called the real number system. But it was use nonclassical arithmetics that led to the general theory of the non-Newtonian calculi, to the development of non-Cartesian analytic geometries, which is a nonlinear model for plane Euclidian geometry, to the creation of a new theory of subjective probability, and to the conception of new kinds of vectors, centroids, least-square methods, and complex numbers. Within non-Cartesian geometry, which is an arithmetic model for Euclidian geometry, one can define counterparts of all Euclidian notions, some of which will be discussed in this section.

Definition 23 (see [2]). Let be a -positive real valued function. The -slope of is its -change over any -interval of -extent . For example, -slope of the (iota) function turns out to be . In particular, the -slope of equals .

Definition 24 (see [2]). By -plane one means plane that is ruled off in squares and labeled as follows: the horizontal axis is marked -integers which equals , but on the vertical the equispaced points are marked with the -integers , which equals . The origin corresponds to . The -graph of a set of -points is the result of plotting them on the -plane.

For example, if and , then -plane is semilog paper that is logarithmically scaled on the vertical axis.

Definition 25 (see [2]). A -line is a set of at least two distinct -points such that, for any distinct -points and in , an -positive point is in if and only if , , and are -collinear.

Theorem 26 (see [2]). The following statements hold. (a)Let the function be an generator. Then the class of nonvertical -lines is identical with the class of power functions.(b)The nonvertical -lines are -parallel if and only if they are identical or have no common point. For example, the -lines with equations and , where , are -parallel.(c)The nonvertical -lines are -parallel if and only if they have the same -slope.(d)The nonvertical -lines are -perpendicular if and only if the product of their -slope is .

4. Main Results

In the present section we give two definitions about real and complex inner product spaces with non-Newtonian calculus, respectively. For the real case we use only an alpha generator corresponding to the operations addition and multiplication . Furthermore for complex case we use two generator alpha and beta corresponding to the operations complex addition and complex multiplication .

Definition 27. A non-Newtonian real inner product (real -inner product) space is a real -vector space with a real -inner product defined on . A non-Newtonian Hilbert space over the field is a complete -inner product space. Here, a -inner product on is mapping of into the scalar real field of ; that is, with every pair of -vectors and there is associated scalar which is written and is called the real -inner product of and , such that, for all -vectors, , , and , , one has the following: (RIP1);(RIP2);(RIP3);(RIP4) and if and only if for .

A real -inner product on defines an -norm on given by and a non-Newtonian metric on is given by Hence all real -inner product spaces are -normed spaces, and all Hilbert spaces are Banach spaces in non-Newtonian means.

Definition 28. A non-Newtonian complex inner product (complex -inner product) space is a complex -vector space with a complex -inner product defined on . Here, a -inner product on is mapping of into the scalar complex field of ; that is, with every pair of -vectors and , there is associated scalar which is written and is called the complex -inner product of and , such that for all -vectors, , , and , , one has the following: (CIP1);(CIP2);(CIP3);(CIP4) if and only if .

A complex -inner product on defines a -norm on given by and a non-Newtonian metric on is given by

In (CIP3), the bar denotes complex conjugation in Definition 11. The proof that the inclusion (24) satisfies the axioms (N1) to (N4) of a -norm will be given later. Additionally, from (CIP1) and (CIP3) we obtain the following formulas:(a);(b);(c),

for all which we will use quite often. The above inclusion (a) shows that the complex -inner product is linear in the first factor. Since in case (c) we have complex conjugates and on the right, we say that the complex -inner product is conjugate linear (semilinear) in the second factor.

Following Çakmak and Başar [7] we can obtain by a simple straightforward calculation that an -norm on a real -inner product space satisfies the fact that the important equality holds for all . Similarly, it is trivial that a -norm on a complex -inner product space satisfies the equality which holds for all , .

Example 29. The following examples can be given as follows. (1)In the previous section, we give in some details the non-Cartesian plane (-plane) as an example of a -vector space.(2) Euclidian space: the space is a Hilbert space with real -inner product defined by  where , . In fact, from (28), we obtain (3) Unitary Space; the space is a Hilbert space with complex -inner product given by  In fact, from (30), we obtain the -norm defined by (4) Sequence Space: by taking into account -sum with complex terms in (18), the space in Section 3.2, is a Hilbert space with -inner product defined by  and since the -convergence of this series is straightforward we omit the details.

Lemma 30. Let be a complex -inner product space. For all and . Then (i);(ii);(iii)let and be the same generator. Then can be evaluated as  where the modulus function and .

Proof. For , , and , , , by the using complex conjugate in Definition 11, then (i);(ii);(iii)suppose that and are the same, then, the -inner product can be rewritten as =. This completes the proof.

First of all, we should verify that (24) in the preceding section defines a -norm: (N1) and (N2) in Definition 18 follow from (CIP4). Furthermore, (N3) is obtained by the use of (CIP2) and (CIP3); in fact . Finally, (N4) is included in the following.

Lemma 31. A -inner product and the corresponding norm satisfy the Cauchy-Schwarz inequality and the triangle inequality as follows. (a)Cauchy-Schwarz: one has  where the equality sign holds if and only if is a linearly dependent set.(b)Triangle inequality: one has  where the equality sign holds if and only if or where .

Proof. Since the proof of real parts is trivial then we only show the complex parts. (a)If , then (34) holds. Let . From the part (iii) of Lemma 30, for every scalar we have  We see that the expression in above brackets is if we choose . The remaining inequality is  and hence ; here we used . Equality holds in this derivation if and only if ; hence , so that , which shows linear dependence.(b)We have  By the Cauchy-Schwarz inequality, . By using -triangle inequality in Lemma 19(i), we thus obtain  Taking -square roots on both sides, we have (35). Equality holds in this derivation if and only if . The left hand side is where denotes the real part. From this and the inclusion (34), we obtain  Since the real part of a non-Newtonian complex number cannot exceed the absolute value, we must have equality, which implies linear dependence by part (a), say, or . We show that . From (40) with the equality sign we have . But if the real part of a non-Newtonian complex number equals the absolute value, the imaginary part must be . Hence by (40), and follows from .

Since every -inner product has an induced corresponding norm, a natural question is whether every non-Newtonian norm is induced by a -inner product. The answer is no, because non-Newtonian norms induced by a -inner products have some special properties that these norms in general do not possess.

Lemma 32. Let be a complex -inner product space and suppose that and are -convergent sequence with complex terms in , with and . Then .

Proof. Consider the following: Since the sequence is -convergent, is -bounded, so the right-hand side of this inequality tends to as . This completes the proof.

We finally mention the following interesting fact. We know that for a complex -inner product there corresponds a norm which is given by (24). Conversely, we can rewrite the complex -inner product from the corresponding norm. In fact, one may verify by straightforward calculation that for a real -product space we have and for a complex -inner product space we have and for all .

5. Concluding Remarks

Although all arithmetics are isomorphic, 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 calculi; we believe there is a more fundamental reason for considering alternative arithmetics; they may also be helpful in developing and understanding new systems of measurement that could yield simpler physical laws.

Consider the concept of the average speed. The definition “distance traveled per unit time” is incomplete because it fails to provide a method of determining the average speed of an accelerated particle. The definition “distance divided by time,” though not incorrect, is a gross oversimplification that fails to reveal the underlying issues. Fortunately there is a completely satisfactory definition, which undoubtedly was known to Galileo. Then we isolate a constant in each given uniform motion by defining speed to be the distance traveled in any unit time-interval. Finally, for a particle that moves nonuniformly a distance in time , we define the average speed to be the speed that a particle in uniform motion must have in order to travel a distance in time . In our opinion, neither the simplicity nor the obviousness of the answer, , justifies its use as the definition of average speed. The critical step in defining average speed is the isolation of a constant (speed) in the phenomenon of uniform motion. Similarly, the critical step in defining the -gradient is the identification of a constant (-slope) for any given power function [2].

The theory of Hilbert spaces does not deal with angles in general. But the presence of the additional algebraic structures of inner product greatly enriches the geometric properties of the space. Most significantly, it enables us to introduce a notion of perpendicularity for two vectors and the geometry corresponds in several fundementals respects with Euclidean geometry in classical mean. In particular, this leads to the important projection theorems, a generalized theory of Fourier series, a most sensible definition of an operator, and a powerful body of the theory based on this new concept. By using the above-mentioned ideas, one can conclude that the study gives us a new tool about inner product spaces and Hilbert spaces via -calculus.

As a natural continuation of this paper, we should record from now on that it is meaningful to define non-Newtonian trigonometric structures on non-Cartesian plane and study the notion of orthogonality with respect to the -calculus.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

M. Grossman, Bigeometric Calculus, Archimedes Foundation Box 240, Rockport, Massachusetts, Mass, USA, 1983.

M. Grossman and R. Katz, Non-Newtonian Calculus, 1978.

M. Grossman, The First Nonlinear System of Differential and Integral Calculus, 1979.

A. E. Bashirov, E. M. Kurpınar, and A. Özyapıcı, “Multiplicative calculus and its applications,” Journal of Mathematical Analysis and Applications, vol. 337, no. 1, pp. 36–48, 2008.

A. Bashirov and M. Riza, “On complex multiplicative differentiation,” TWMS Journal of Applied and Engineering Mathematics, vol. 1, no. 1, pp. 75–85, 2011.

A. Uzer, “Multiplicative type complex calculus as an alternative to the classical calculus,” Computers and Mathematics with Applications, vol. 60, no. 10, pp. 2725–2737, 2010.

A. F. Çakmak and F. Başar, “Certain spaces of functions over the field of non-Newtonian complex numbers,” Abstract and Applied Analysis, vol. 2014, Article ID 236124, 12 pages, 2014.

S. Tekin and F. Basar, “Certain sequence spaces over the non-Newtonian complex field,” Abstract and Applied Analysis, vol. 2013, Article ID 739319, 11 pages, 2013.

L. Florack and H. van Assen, “Multiplicative calculus in biomedical image analysis,” Journal of Mathematical Imaging and Vision, vol. 42, no. 1, pp. 64–75, 2012.

S. L. Blyumin, “Discreteness versus continuity in information technologies: quantum calculus and its alternatives,” Automation and Remote Control, vol. 72, no. 11, pp. 2402–2407, 2011.

U. Kadak, “Determination of the Köthe-Toeplitz duals over the non-Newtonian complex field,” The Scientific World Journal, vol. 2014, Article ID 438924, 10 pages, 2014.

U. Kadak and H. Efe, “Matrix transformations between certain sequence spaces over the non-Newtonian complex field,” The Scientific World Journal, vol. 2014, Article ID 705818, 2014.

E. Misirli and Y. Gurefe, “Multiplicative Adams Bashforth-Moulton methods,” Numerical Algorithms, vol. 57, no. 4, pp. 425–439, 2011.

A. F. Çakmak and F. Başar, “Some new results on sequence spaces with respect to non-Newtonian calculus,” Journal of Inequalities and Applications, vol. 2012, article 228, 2012.