Math 277 Chapter One
Math 277 Chapter One
CHAPTER ONE
KNUST
M4. There is a unique real number 1 such that 16= 0and x .1 = x for all
x ∈ R.
M5. For each x ∈ R with x 6= 0, there is a unique real number 1/x such
that x.(1/x)=1. We also write x −1 or x1 in place of 1/x.[Existence of
reciprocal]
THEOREM 1.1
Let x,y, and z be real numbers.
(a) If x + z = y + z, then x = y.
(b) x ·0 = 0. (c) - 0 = 0.
(e) xy = 0 iff x = 0 or y = 0.
EXAMPLE 2
a c a c
Let and be irrational numbers with a,b,c,d ∈ Z. Show that +
b d b d
a c
and · are rational.
b d
EXAMPLE 3
Consider the field F of rational functions i.e F is the set of all quotient of
polynomials.
3
a. which is larger x 2 or ?
x
x x
b. which is larger is
x +2 x +1
(
x ifx ≥ 0,
|x | =
−x ifx < 0.
(a) |x| ≥ 0,
(b)|x| ≤ a iff -a ≤ x ≤ a,
(c)|xy| = |x | · |y |,
THEOREM 1.4
√
Let p be a prime number. Then p is not a rational number.
EXAMPLE
Find upper and lower bounds,
√ the maximum, and the minimum of the set
T = {q ∈ Q : 0 ≤ q ≤ 2}, if they exist.
YAO ELIKEM AYEKPLE(PhD) (KNUST) MATH 277 April 11, 2022 13 / 23
DEFINITION
Let S be a nonempty subset of R. If S is bounded above, then the least
upper bound of S is called supremum and is denoted by sup S. Thus m =
sup S iff
(a) m ≥ s, for all s ∈ S, and
(b) if m0 < m, then there exist s0 ∈ S such that s0 > m0 .
If S is bounded below, then the greatest lower bound of S is called its
infimum and is denoted by inf S.
Completeness axiom
Every nonempty subset S of R that is bounded above has a least upper
bound. That is, sup S exists and is a real number.
C = {x + y : x ∈ A and y ∈ B }.
sup C = sup A + B.
THEOREM 1.8
Each of the following is equivalent to the Archimedean property.
(a) For each z ∈ R,there exists an n ∈ N such that n > z
(b) For x > 0 and for each y ∈ R,there exists an n ∈ N such that nx > y .
(c) For each x > 0, there exists an ∈ N such that 0 < 1/n < x .
THEOREM 1.9
Let p be a prime number.Then there exists a positive real number x such
x 2 = p.
THEOREM 1.11
If x and y are real numbers with x < y, then there exists an irrational
number w such that x < w < y.