Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/1037
Title: | Number systems characterized by their operative properties | Authors: | Marjanović, Milosav M. Kadelburg, Zoran |
Keywords: | Characterization of number systems as the smallest ordered semifields;Number system;Ordered semifield | Issue Date: | 1-Jan-2019 | Journal: | Teaching of Mathematics | Abstract: | In our paper Structuring Systems of Natural, Positive Rational and Rational Numbers [The Teaching of Mathematics 22, 1 (2019)], we have studied operative properties of number systems (i.e., the properties of operations and the order relation). In the same paper we have selected a number of operative properties of the system N of natural numbers with 0 which we called the basic operative properties of N. Let {S, +, ·, <} be a structure, where S is a non-empty set, “+”, “·” are two binary operations and “<” is the order relation. We called provisionally such a structure N-structure, when its axioms are basic operative properties of N taken abstractly and we proved that the system N of natural numbers with 0 is the smallest N-structure. Here we rename the N-structure and call it the ordered semifield. Adding to the axioms of the ordered semifield the axiom: (∀a)(∃b) a + b = 0, then such a structure we call the ordered semifield with additive inverse and adding to the same axioms, the axiom: (∀a ≠ 0)(∃b) a · b = 1, we call such a structure the ordered semifield with multiplicative inverse. When both of these axioms are added to the axioms of the ordered semifield, then such a system of axioms coincides with the axioms of the ordered field. In this note we prove that the system of integers is the smallest ordered semifield with additive inverse and that the system of positive rational numbers with 0 is the smallest ordered semifield with multiplicative inverse. The fact that the system of rational numbers is the smallest ordered field is well known. At the end of this note we also include a proof of this fact. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/1037 | ISSN: | 14514966 |
Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
2
checked on Dec 18, 2024
Page view(s)
9
checked on Dec 24, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.