Journal of Mathematics
Volume 2017 (2017), Article ID 6507013, 4 pages
https://doi.org/10.1155/2017/6507013

Research Article

Non-Newtonian Comment of Lebesgue Measure in Real Numbers

Cenap Duyar and Birsen Sağır

Department of Mathematics, Art and Science Faculty, Ondokuz Mayis University, Kurupelit Campus, Samsun, Turkey

Correspondence should be addressed to Cenap Duyar; cenapd@omu.edu.tr

Received 1 July 2016; Accepted 15 December 2016; Published 28 February 2017

Academic Editor: Ji Gao

Copyright © 2017 Cenap Duyar and Birsen Sağır. 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.

We would like to generalize to non-Newtonian real numbers the usual Lebesgue measure in real numbers. For this purpose, we introduce the Lebesgue measure on open and closed sets in non-Newtonian sense and examine their basic properties.

1. Introduction

A generator is a one-to-one function , whose domain is , the set of all real numbers, and whose range is a subset of . Identity function and exponential function can be given as examples of generators. We denote by , called non-Newtonian real line, the range of generator . Non-Newtonian arithmetic operations on are represented as follows [1–5]:

 -addition   -subtraction   -multiplication   -division   -order  

A closed interval on is represented by

and similarly an open interval can be represented [2, 6]. Let be a subset in . A point is called an interior point of if there exists an interval with . A set is said to be open in if all of its points are interior points. The component interval of an open set in is an open interval providing conditions , , and . It is known that any open set in is written as any composition of the component intervals, and also it would be an easy detection that the same thing is valid in [6–8].

In this work, the symbol in is used instead of the usual summation symbol .

This work is deviated mainly to establish a measure in Lebesgue’s sense on .

The measure of an open interval in is the length of this interval.

All proven properties here are the generalization of basic measurement properties known in real analysis. The readers can refer to the textbook [9] for these properties.

2. Main Results

Definition 1. The measure of an open interval in is defined by

One can restate the above relation as follows:

Lemma 2. If a finite number of pairwise disjoint open intervals , , are contained in the open interval , then

Proof. We may suppose that . Then, by the properties of the generator and the definition non-Newtonian sum, we have

This completes the proof.

Corollary 3. If an infinite number of pairwise disjoint open intervals , , in , are contained in the open interval , then

Definition 4. The measure of a nonvoid bounded open set in is the sum of the measures of all its component intervals :

Here it should be noted that

where . Also it should be noted that

since the generator is a one-to-one function, and here the intervals

are the component intervals of .

Theorem 5. Let and be two bounded open sets in . If , then .

Proof. We can write and as a composition of the component intervals and . Since each is in one and only one , we have

This completes the proof.

Theorem 6. If the bounded open set is the composition of at most numerable family of pairwise disjoint open sets , then .

Proof. If each is written as a composition of the component intervals , then

This completes the proof.

Lemma 7. Let be a closed interval in . If this interval is covered by a finite family of open intervals in , namely, , then .

Proof. If , then , where is the family of open intervals in . Thus

and, according to this, is covered by a finite family of open intervals in . Then the following inequality holds:

Therefore we have

and hence

Lemma 8. If an open interval in is the composition of at most numerable family of open sets in , namely, , then

Proof. If we say , then By the proposition of real Lebesgue measure, we can write

This completes the proof.

Theorem 9. If a bounded open set is the composition of at most numerable family of open sets in , namely, , then

Proof. We can easily see that

This completes the proof.

Competing Interests

The authors declare that they have no competing interests.

References

A. E. Bashirov, E. M. Kurp{\i}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. 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, 17 pages, 2012.

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.

A. F. Çakmak and F. Başar, “On line and double integrals in the non-Newtonian sense,” AIP Conference Proceedings, vol. 1611, no. 1, pp. 415–423, 2014.

A. F. Çakmak and F. Başar, “Some sequence spaces and matrix transformations in multiplicative sense,” TWMS Journal of Pure and Applied Mathematics, vol. 6, no. 1, pp. 27–37, 2015.

C. Duyar, B. SagIr, and O. Ogur, “Some basic topological properties on non-newtonian real line,” British Journal of Mathematics & Computer Science, vol. 9, no. 4, pp. 300–307, 2015.

M. Grossman and R. Katz, Non-Newtonian Calculus, Lee Press, Pigeon Cove, Mass, USA; Lowell Technological Institute, 1972.

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

I. P. Natanson, Theory of Functions of a Real Variable, vol. 1, Frederick Ungar Publishing Co., New York, NY, USA, 1964.