Download - 1.2 the real number system
Chapter 1
Section 1.2
The Real Number System
as a Number Field
Uses of Number
1. Naming 2. Ordering 3. Counting 4. Measuring Note: The counting numbers are not sufficient for measuring.
Definition
Numbers that will be used for counting and measuring will be collectively called real numbers
The Set of Real Numbers
And the set of real numbers will be denoted by β.
Equality Axiom
Reflexive Property of Equality
For any π β β, π = π
Symmetric Property of Equality
For any π, π β β, if π = π then π = π
Transitive Property of Equality
For any π, π, π β β, if π = π and π = π then π = π
Basic Operations
Addition +
Multiplication β
In elementary mathematics, particularly in arithmetic, we learned two basic operations on real numbers, namely
Closure Axiom
Closure Property for Addition
For any π, π β β, π + π β β
Closure Property for Multiplication
For any π, π β β, π β π β β
β is closed under addition and multiplication.
Example
Determine whether or not each of the following sets is closed under addition and multiplication.
1. β 2. πΈ 3. π 4. π 5. πΆ
addition multiplication
YES YES
YES YES
NO YES
NO NO
NO YES
Associativity Axioms
Associative Property for Addition
For any π, π, π β β, π + π + π = π + π + π
Associative Property for Multiplication
For any π, π, π β β, π β π β π = π β π β π
Addition and Multiplication are associative on any subset of β.
Commutativity Axioms
Commutative Property for Addition
For any π, π β β, π + π = π + π
Commutative Property for Multiplication
For any π, π β β, π β π = π β π
Addition and multiplication are commutative on any subset of β.
Distributivity Axiom
Distributive Property for Multiplication over Addition
For any π, π, π β β,
π β π + π = π β π + π β π
These are satisfied by addition and multiplication on any subset of β.
π + π β π = π β π + π β π
Multiplicative Identity
Existence of Multiplicative Identity
There is a unique number 1 such that,
1 β π = π
π β 1 = π
for any real number π
Remark
Note that the set of counting (natural) numbers β together with addition and multiplication satisfies all the axioms we have discussed so far.
Equality Axiom
Addition Property of Equality (APE)
For any π, π, π β β, if π = π then π + π = π + π
Multiplication Property of Equality (MPE)
For any π, π, π β β, if π = π then π β π = π β π
Substitution
If two real numbers are equal, then one may be substituted for the other in any algebraic expression
If π₯ = 5π¦
then 2π₯ + 3π¦ = 2 5π¦ + 3π¦
Also, π₯3 = 5π¦ 3 = 125π¦3
Example
Tell which of the axioms of the real numbers justifies each of the following
statement.
1. 2 β 3 + 2 β 5 = 2 β 3 + 5
2. 4 β 10 β 10 = 4 β 10 β 10
3. 10 β 4 β 10 = 4 β 10 β 10
Solvable Equations
Consider 3 + π₯ = 5
π₯ = 2 is a solution and 2 β β.
Thus, we say that the equation is solvable in β
Now, consider 3 + π₯ = 0
This equation is not solvable in β.
Remark
β is not large enough to contain solutions even for such simple linear equation that we have seen.
Something must be done!
Additive Identity
Existence of Additive Identity
There is a unique number 0 such that,
0 + π = π
π + 0 = π
for any real number π
Identity Elements
Additive Identity 0
Multiplicative Identity 1
Remark: 0 β 1 and 0 β β
Thus we form another set of numbers which contains the natural numbers and the additive identity. This set is called the set of whole numbers denoted by π
π = β βͺ 0
Solvable Equations
Is 3 + π₯ = 3 solvable in π?
Is 3 + π₯ = 2 solvable in β? in π?
Additive Inverses
Existence of Additive Inverse
For every real number π, there is a number β π such that
π + βπ = 0
Example
What is the additive inverse of 0? By the existence of additive identity,
0 + 0 = 0 Therefore, β0 = 0.
What is the additive inverse of βπ? By the existence of additive identity,
π + βπ = βπ + π = 0 Therefore, β βπ = π.
Theorem
Cancellation Law for Addition
For π, π, π β β, if π + π = π + π, then π = π
Zero Property
For π β β, π β 0 = 0
Theorem
Theorem.
For π, π β β, βπ β π = β π β π
Corollary.
For π β β, β1 β π = βπ
Theorem
Corollary.
β1 β β1 = 1
Theorem.
For π, π β β, βπ β βπ = π β π
Theorem.
For π, π β β, β π + π = βπ + βπ
Definition
For any π, π β β π β π = π + βπ
Subtraction
For example: 9 β 7 = 9 + β7 = 2 2 β 2 = 2 + β2 = 0
Set of Integers
β€ = π βͺ β¦ ,β3,β2,β1 = β¦ ,β3,β2,β1,0,1,2,3, β¦
Remark: β€ is the smallest subset of β that satisfies all the previous axioms.
Subsets of β€
β€:: β β€;: β¦ ,β5,β4,β3,β2, β1
β€β: π
β€β: β¦ ,β5,β4,β3,β2, β1,0
Solvable Equations
Is 2 β π₯ = β6 solvable in β€?
Is 2 β π₯ = 1 solvable in β? in π? In β€?
Is 2 β π₯ = 3 solvable in β? in π? In β€?
Multiplicative Inverses
Existence of Multiplicative Inverses
For every real number π β 0, there is a
unique number 1
π such that
1
πβ π = 1
The multiplicative inverse of π is 1
π.
Because of the commutative property for multiplication, the multiplicative inverse of 1
π is π.
Theorem
Cancellation Law for Multiplication
For π, π β β, and any nonzero number π if π β π = π β π, then π = π
Theorem.
For π, π β β, such that π β π = 0, then either π = 0 or π = 0
Theorem
Theorem
If π, π, are nonzero real numbers, 1
π β π=
1
πβ
1
π
Definition
For any π, π β β and π β 0 π
π= π β
1
π
Division
Remark: Division by 0 is undefined.
Definition
A real number π₯ which can be written as a quotient of an integer π by a nonzero π is called a rational number.
Rational Numbers
β = π₯ π₯ =π
π, π β β€, π is a nonzero integer
Theorem
Theorem.
For any number π, π
1= π.
Theorem. (Prove)
If π is any nonzero real number then π
π= 1
Theorem. (Prove)
π
πβ
π
π=
ππ
ππ, a β 0, π β 0
Theorem
Theorem.
If π is a nonzero real number, π β π
π β π=
π
π
Theorem. (Prove)
If π
π=
π
π then π = π and
If π
π=
π
π then π β π = π β π, a β 0, π β 0
Theorem
Theorem.
If π
πβ 0, then
1π
π =
π
π
Theorem.
If π
πβ 0, then
ππ
ππ =
πβπ
πβπ
Theorem
Theorem. ;π
π= β
π
π=
π
;π, and
;π
;π=
π
π, π β 0.
Theorem. π
π+
π
π=
π β π + π β π
π β π, a β 0, π β 0
Example
Perform the indicated operations
1. 2
3β
5
12
2.4
5 20
25
3.2
5+
3
5
4.2
3+
4
5
.=2β5
3β2 .=
10
36 .=
5β2
18β2 .=
5
18
=4 β 25
20 β 5
=2 + 3
5
=2 β 5 + 3 β 4
3 β 5
=100
100= 1
=5
5= 1
=22
15
Theorem
Theorem.
For any number π, π β β and any nonzero number π, there exists a unique solution to
the equation π β π₯ + π = π
Solvable Equations
Is π₯2 = 9 solvable in β?
Is π₯2 = 2 solvable in β?
Why is there no rational number whose square is 2?
Definition
A real number which is not rational is called an irrational number.
Irrational Numbers
ββ² β set of irrational numbers β = β βͺ ββ²
Decimals
A real number can have decimal representation that is:
terminating 2.36 or non-terminating 2.363636β¦
A non-terminating decimal representation can be
repeating 2.3636β¦ or non-repeating Ο = 3.1415β¦
Decimals
β’ terminating or β’ nonterminating but repeating.
Rational Numbers
β’ nonterminating and non-repeating.
Irrational Numbers
Examples: 54 0. 33 = 1
3 β12
Examples: π π
Irrational Numbers
Some irrational numbers are of the form ππ where π is a real number
ππ : ππ‘β root of π (sometimes called radicals) π is called the radicand π is called the index
π: square root of π
nth Root
ππ is a solution to π₯π = π
β83
is a solution to π₯3 = β8. Since β2 is the only real number whose cube is β 8,
β83
= β2
4 is a solution to π₯2 = 4. Since β2 and 2 are real numbers whose
square is 4, we need to decide on which 4 is. Now we define the principal root.
Definition
If π is even and π is a non-negative, we define ππ as the positive πth root of π. If π is negative, ππ is undefined.
Principal Root
If π is odd and π is positive, βππ = β ππ
Hence by definition, 4 = 2.
Example
1. 16
2. 83
3. β273
4. 6254
5. β4
Determine the value of the following radicals
.= 4
.= 2
.= β3
.= 5
.undefined
Theorem
Theorem.
For a positive number π and an even number π
πππ = π
Example.
164
= 244= 2
Order Axioms
Our objective now is to identify how the real numbers can be arranged on a line.
In order to do this, we refer to the order axioms that the set of real numbers satisfy.
Less Than
First, we assume the existence of the relation βless thanβ between two numbers, denoted by the symbol <
π < π is read as π is less than π.
Trichotomy Axiom
For any π, π β β, one and only one of the following holds:
π < π π = π π < π
We will use this axiom to formally define positive and negative real numbers.
Definition
A real number π is said to be positive if 0 < π and negative if π < 0. The number 0 is neither positive nor negative.
The trichotomy axiom guarantees that every real number is either positive, negative or zero
Positive and Negative Numbers
Transitivity Axiom
Transitivity Axiom of Order
For any π, π, π β β, and if π < π and π <c, then π < π.
Addition Axiom
Addition Axiom of Order
If π, π, π β β, and π < π then π + π < π + π
Theorem
For a positive real number π, c < π + π.
Multiplication Axiom
Multiplication Axiom of Order
If π, π, π β β, and if π < π and 0 < π then π β π < π β π
Definition
If π, π β β, we say π > π, read as βπ is greater than bβ, if and only if π < π.
Greater Than
Thus, π is positive if π > 0 and negative if 0 > π.
Theorem
Theorem.
The set of positive real numbers is closed under addition and multiplication
Theorem.
If π > 0, thenβπ < 0 and if π < 0, then βπ > 0
Theorem.
If π < π, then βπ < βπ
Theorem
Theorem.
If π β β, either π2 = 0 or π2 > 0
Corollary.
1 > 0
Definition.
π < π if and only if there exists a positive real number c such that a + c =b
Theorem
Theorem.
If π, π, π β β, and π > π and π < 0, then ac < bc
Theorem.
If π > 0 then 1
π> 0
Theorem.
If π > π, then βπ > βπ
Definition
An inequality of the form π < π₯ < π is called a continued inequality and is to be understood to be π < π₯ and π₯ < π.
Continued Inequality
We shall also define π β€ π to mean π < π or π = π.
Similarly π β₯ π means π > π or π = π.
Real Number Line
The order properties of numbers allow us to arrange the real numbers on a line, called the real number line. We choose an arbitrary point to correspond to the number 0. To the right of 0, we place the positive real numbers while the negative real numbers are placed to the left of 0.
Real Number Line
Moreover, a number π₯ is greater than another number π¦ if π₯ is found to the right of π¦. The real number line is shown below.
β5 β1 0 1 5
Real Number Line
We can now say that every real number corresponds to a point on the line and every point corresponds to a real number. In other words, there is a one-to-one correspondence between the set of real numbers and the set of points on the line.
Real Number Line
The one-to-one correspondence allows us to set-up a coordinate system on the line. Thus, to a given point on the line, there corresponds a real number which we shall call the coordinate of the point.
Example
Locate the following numbers on the real number line
1.1
2
2. β3
2
3. 6
4. π
0 11 22 3
Definition
If π₯1 and π₯2 are points on the real number line, the distance π(π₯1, π₯2) between them
is given by π π₯1, π₯2 = π₯2 β π₯12
Distance
Example
If the points π΄ and π΅ have the given coordinates respectively, find the distance between them.
1. 3, 7
2. β2,β5
π 3,7 = 7 β 3 2 = 4
d β2,β5 = β2 β (β5) 2 = 3
Definition
The absolute value of a number π₯ is defined as
π₯ = π₯2 = π₯ if π₯ > 0βπ₯ if π₯ < 00 if π₯ = 0
With this definition, it follows that that the
distance π(π₯1, π₯2) = |π₯2 β π₯1| and it is always non-negative as expected.
Absolute Value
Example
If the points π΄ and π΅ have the given coordinates respectively, find the distance between them.
1. 3, 7
2. β2,β5
π 3,7 = 3 β 7 = 4
d β2,β5 = β2 β (β5) = 3
Theorem
Theorem.
For any π β β, β π β€ π β€ π
Theorem.
For any π, π β β, π β π = π π and
ππ = π
π
Triangle Inequality.
For any π, π β β, π + π β€ π + π
Example
Give an interpretation of the following statements: 1. π₯ = 5 2. π₯ β 2 = 3 3. π₯ < 3 4. π₯ > 3 5. π₯ β 1 < 2
Interval Notations
For real numbers π and π we define the following sets:
π, π = π₯ β β π < π₯ < π π, π is read as βopen interval from π to πβ
π, π = π₯ β β π β€ π₯ β€ π
π, π is read as βclosed interval from π to πβ
Definition
The number π’ is called an upper bound of a set π if π₯ β€ π’ for all π₯ β π. Similarly, the number π£ is called a lower bound of a set π if π₯ β₯ π£, for all π₯ β π
Upper and Lower Bounds
Example
1. 7,0,8 β 2,3 Upper bounds: Lower bounds:
2. 1,1
2,1
3, β¦
Upper bounds: Lower bounds:
Give upper and lower bounds for the following sets.
Example
3. π₯1
2< π₯ <
5
2
Upper bounds: Lower bounds: 4. π₯ π₯ < β1 or π₯ > 1 Upper bounds: Lower bounds:
5. π₯ β β1
2β€ π₯ β€
9
2
Upper bounds: Lower bounds:
Definition
An upper bound π’ is called the least upper bound (lub) if no upper bound is less than π’. A lower bound π£ is called the greatest lower bound (glb) if no lower bound is greater than π£.
Least Upper Bound and Greatest Lower Bound
Example
1. 7,0,8, β2,3 lub: glb:
2. 1,1
2,1
3, β¦
lub: glb:
Identify the lub and glb of the following
8
2
10
Example
3. π₯1
2< π₯ <
5
2
lub: glb: 4. π₯ π₯ < β1 or π₯ > 1 lub: glb:
5. π₯ β β1
2β€ π₯ β€
9
2
lub: glb:
52
12
none
none
1 4
Completeness Axiom
Completeness Axiom
Every subset π of β, that has an upper bound has a least upper bound in β.
Similarly, every subset π of β, that has a lower
bound has a greatest lower bound in β.