Try our Free Online Math Solver!

INTEGER AND RATIONAL NUMBERS
Theorem 7.5 If a, b, c, d ∈ Z with c ≠ 0 and d > 0, then
i. a = b a + c = b +
c.
ii. a = b ac = bc.
iii. a < b a + c < b
+ c.
iv. a < b ad < bd.
Proof Let
i.
ii.
iii.
iv.
Definition An injection of a set a into a
set b is a bijection from a to a
subset of b. We will use the symbol , to
indicate that a map is an injection.
There is a natural injection, J, from N to Z defined by
When there exists an injection from one set to another that preserves
order and arithmetic properties , we say the first set is embedded into
the
second. It is easy to verify that the natural injection is an embedding.
Lemma 7.6 If [a, b] is an integer, then there exists a natural number c,
such that [a, b] = [c, 0], or [a, b] = [0, c].
Proof By trichotomy, either a > b, a = b, or a < b. If a > b let c be
such
that b + c = a, thus [a, b] = [c, 0]. If a = b let c = 0 (recall for us that 0
is a natural number), thus [a, b] = [0, 0] = [c, 0]. If a < b let c be such that
a + c = b, thus [a, b] = [0, c].
When a + c = b, and a, b, c ∈ N, we express c as b  a.
It is convenient to represent an equivalence class by one of its elements.
When a choice function is defined to choose from each of the equivalence
classes a representative element, that element is known as the canonical
representative.
For the integers we define our choice function to be
Thus every integer can be represented by [a, 0] or [0, a].
When the num
bers are understood to be integers we will use a to represent [a, 0] and a to
represent [0, a]. As an exercise the reader may wish to show that a > 0, and
a < 0, that is [a, 0] > [0, 0], and [0, a] < [0, 0].
Definition The set of integers strictly greater than 0 is called the
Positive
Integers and are denoted by . Those
integers strictly less than 0 are called
the Negative Integers and are denoted by .
An Integral Domain
We leave it the reader to verify the following properties for Z .
8. such that a + e = e
+ a =
9. such that au = ua =
10. such that a + (¡a) = (¡a) + a = 0
11*. If ab = 0, then either a = 0, or b = 0.
Properties 1 and 2 are called the closure properties, for
addition and mul 
tiplication respectively, properties 3 and 4 are the associative properties, 5
and 6 are the commutative properties. Property 7 is the distributive prop 
erty, we say multiplication distributes over addition. In properties 8 and 9
e and u are called the identities (again additive identity and multiplicative
identity respectively). The a in property 10 is called the additive inverse,
or opposite. We say that a number a is a zero divisor if ab = 0, but neither
a nor b equal 0 (of course b is also a zero divisor ). Property 11* is called the
"no zero divisors " property.
Definition Any set with two binary operations satisfying these 11 proper
ties is called an Integral Domain.
Rational Numbers
Another question we may wish to answer is: Two times what number is
1? This can be represented symbolically by 2x = 1. Again this question has
a vacant answer in the set of integers.
We extend the integers to the set of rational numbers by defining the
appropriate equivalence relation on the cartesian product of the integers with
themselves. We use the bold face letter Q to represent rational numbers.
The letter Q comes from the term quotient , i.e., the rational numbers are a
collection of quotients.
Definition The rational numbers are the collection of equivalence
classes
of Z × (Z  { 0} ) with respect to the equivalence relation
(x, y) ≡ (z,w) xw =
yz.
From the above comment we can see the rationale for this definition.
Using our previous notion of quotients we see
provided
y,w ≠ 0. The reader should again verify that the relation is an equivalence
relation.
If we let a, b ∈ Z such that a ≥ 0 and b > 0, then the reader should
verify that [a,b] ≡ [a, b] and [a,b] ≡ [a, b]. Thus we may (and shall)
assume for any rational number [a, b] that b > 0. Let d be the least element
of { y l (x, y) ∈ [a, b] and b > 0 }. We then let the unique element (c,
d) ∈ [a, b]
be the canonical representative of the rational number [a, b].
We again have the natural order defined on the rational numbers given
by
[x, y] < [z,w] iff xw < yz.
Prev  Next 