1.2. The Real Number System as a Number Field
In this section, we will attempt to present the set of real numbers together with the defined
operations on the set as a
. By this, we mean, we are going to construct the
real numbers by use a minimum number of axioms (generally accepted propositions or
statements) and proceeding to deduce more statements (generally called theorems) that will
characterize the system. Since most statements will be about algebraic properties, it is natural to
call this system an
Numbers have several uses; naming, ordering, counting, and measuring, to name a few. In this
course, we shall be using numbers for counting and measuring. We have seen numbers used to
count the elements of a set, hence the term “counting numbers”. In some instances, we will be
using numbers to measure the length of a line segment or the area of a region; thus, the counting
numbers will not suffice for these purposes. These numbers will be collective called
and we shall denote by
the set of all real numbers.
First let us state the axioms that deal with equality of real numbers. These properties are so basic
that we sometimes take them for granted.
Reflexive Property of Equality
For any a
a = a.
Symmetric Property of Equality
For a, b
R, if a = b then b = a.
Transitive Property of Equality
For a, b, c
, if a = b and b = c, then a = c.
In elementary mathematics, particularly in arithmetic, we learned two basic operations on real
We will assume we all know how to perform
. Addition of real numbers is denoted by “+” while multiplication is denoted by
”. Thus we write, 2 + 3 = 5 and 2
3 = 6. The result of addition is called the
performing multiplication results to a
In the axioms that follow, there will be one form for addition and one for multiplication and we
will indicate this by placing an “A” or an “M” after the number of the axiom.
The next axioms are so familiar that reference to them is often neglected but they are important
in the study of algebraic systems.
Closure Property for Addition
For any a, b
, a + b
. (The sum of two real numbers is a real number.)
Closure Property for Multiplication
For any a, b
. (The product of two real numbers is a real number.)