Professional Documents
Culture Documents
Lecture 2.2
Uncountability of (0, 1) 2
Uncountability of (0, 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Cantor’s Argument . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Cantor’s Argument ...continue... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Cantor’s Argument ...continue... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
R is uncountable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Theorem (Dedekind) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
Completeness of R 11
Bounds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Max and Min . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
lub and glb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Note Well. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
The Completeness [Supremum] Property of R. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Theorem: Uniqueness of lub . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Theorem: Uniqueness of glb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
ACTIVITY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1
Proof of (i) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
ACTIVITY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2
Uncountability of (0, 1) 2 / 36
Uncountability of (0, 1)
The interval (0, 1) is uncountable.
Note Well.
• Every real number x ∈ (0, 1) has a decimal expansion
x = 0.a1 a2 a3 a4 . . . ,
1
For example, can be written as 0.5000 . . . or as 0.4999 . . . .
2
RSH MA313L2.2 – 3 / 36
Cantor’s Argument
Suppose (0, 1) is countable. Then there exists a bijection f : N → (0, 1).
Denote
x(n)
j
3
Cantor’s Argument ...continue...
Let
x = 0.x1 x2 x3 x4 . . . xn . . .
where:
◮ x1 is any integer between 2 and 8 that is not equal to x(1)
1
;
(2)
◮ x2 is any integer between 2 and 8 that is not equal to x2 ;
..
.
◮ xn is any integer between 2 and 8 that is not equal to xn(n) ;
..
.
The decimal expansion of x ∈ R is unique and 0 < x < 1 since it doesn’t end in 0’s or 9’s.
RSH MA313L2.2 – 5 / 36
x < ran( f ),
Example
Same diagonal argument can be used to show that [0, 1] is uncountable. ,
RSH MA313L2.2 – 7 / 36
4
R is uncountable
Enough to show that
card(R) = card((0, 1)).
To see this, consider the bijections
f : (0, 1) → − π2 , π2 and g : − π2 , π2 → R
defined by
f (x) = π x − 21 and g(x) = tan x,
respectively. Then
g ◦ f : (0, 1) → R
defined by
(g ◦ f )(x) = tan π x − 21
is a bijection.
RSH MA313L2.2 – 8 / 36
Theorem (Dedekind)
A set S is infinite if and only if there exists A ⊂ S such that card(A) = card(S).
Proof. Omitted.
RSH MA313L2.2 – 9 / 36
Example
R is infinite since (0, 1) ⊂ R and card((0, 1)) = card(R). ,
RSH MA313L2.2 – 10 / 36
5
Completeness of R 11 / 36
Bounds
The set S ⊂ R is said to be
• bounded above if there exists a real number M such that
lub S = a or sup S = a.
• Let S ⊂ R be bounded from below. A real number a is the greatest lower bound, or
infimum, for S if a is lower bound for S having the property that if b is a lower bound
for S, then a ≥ b; we write
glb S = a or inf S = a.
RSH MA313L2.2 – 14 / 36
6
Example
Let A = [0, 2], B = (0, 2), C = [0, +∞), D = (−∞, 0]. Then
• min A = min C = 0,
• max A = 2, max D = 0,
• lub A = lub B = 2,
• lub D = 0, glbA = glbB = glb C = 0,
• C does not have a maximum and a least upper bound,
• and D does not have a minimum and a greatest lower bound. ,
RSH MA313L2.2 – 15 / 36
Example
b = lub(a, b) = lub[a, b] and a = inf(a, b) = inf[a, b]. ,
RSH MA313L2.2 – 16 / 36
Example
For the set of natural numbers N,
,
RSH MA313L2.2 – 17 / 36
Example
Let n o n o
n+2
S= 3n−1
: n ∈ N = 32 , 45 , 85 , 116 , . . . .
Clearly,
n+2 1
→ as n → ∞.
3n − 1 3
Therefore
1 3
inf S = and sup S = .
3 2
,
RSH MA313L2.2 – 18 / 36
Note Well
• If M is an upper bound for S then any number greater than M is also an upper bound.
• If m is a lower bound for S then any number less than m is also a lower bound.
RSH MA313L2.2 – 19 / 36
7
Lemma
A number u is the supremum of a nonempty subset S of R if and only if u satisfies the
conditions:
(1) s ≤ u for all s ∈ S,
Proof. Exercise.
RSH MA313L2.2 – 20 / 36
Lemma
The following conditions are equivalent.
(i) An upper bound u of a nonempty set S ⊂ R is the supremum of S.
Theorem
Let S be a subset of R.
(i) If S has a smallest element, then this smallest element is the infimum of S.
(ii) If S has a greatest element, then this greatest element is the supremum of S.
Proof. (i) Let m be the smallest element of S. Then m is a lower bound of S since m ≤ s
for all s ∈ S. Suppose that m′ is a lower bound of S. Then m′ ≤ s for all s ∈ S. Thus
m′ ≤ m and hence m = inf S.
N.B.
1. This is a fundamental property of R, which is normally adopted as an axiom.
2. This is also known as the Least Upper Bound Principle.
3. The completeness property for infima can be deduced from this statement. How?
RSH MA313L2.2 – 23 / 36
8
Theorem: Uniqueness of lub
The least upper bound, if it exists, of S ⊂ R is unique.
Proof. Exercise.
RSH MA313L2.2 – 24 / 36
Proof. Exercise.
RSH MA313L2.2 – 25 / 36
ACTIVITY
Refer to Bartle–Sherbert’s Introduction to Real Analysis (3rd Edn).
sup(a + S) = a + sup S
Let S ⊂ R be nonempty. We write a + S := {a + s : s ∈ S}. We prove that
sup(a + S) = a + sup S by showing that
9
sup A ≤ inf B
Let A, B be nonempty subsets of R with the property that
Then
sup A ≤ inf B.
RSH MA313L2.2 – 29 / 36
Bounded functions
Let f : D → R. We say that f is:
Example
Let f, g be real–valued bounded functions with common domain D ⊆ R.
(a) If f (x) ≤ g(x) for all x ∈ D, then sup f (x) ≤ sup g(x).
(b) Take f (x) = x2 and g(x) = x in D = {x : 0 ≤ x ≤ 1}; f (x) ≤ g(x) for all x ∈ D. Then
Here sup f (D) ≤ sup g(D), so (a) is OK but sup f (D) ≥ inf g(D).
(c) If f (x) ≤ g(y) for all x, y ∈ D, then sup f (D) ≤ inf g(D).
RSH MA313L2.2 – 31 / 36
10
RSH MA313L2.2 – 32 / 36
Corrollaries
1
1. For any real number t > 0, there exists n ∈ N so that 0 < < t.
n
1
2. If S = : n ∈ N , then inf S = 0.
n
3. If y > 0, then there exists n ∈ N such that −n ≤ y ≤ n.
Proof. Exercise.
RSH MA313L2.2 – 33 / 36
Theorem: Density of Q in R
Let x, y ∈ R be such that x < y. Then there exists q ∈ Q such that
x < q < y.
Proof of (i)
Assume 0 < x < y. Then, by Corollary 1 to the Archimedean Property, there exists n ∈ N
such that
1
0 < < y − x ⇒ 0 < nx < ny − 1. (1)
n
Furthermore, there exists m ∈ N such that
m
m − 1 ≤ nx < m ⇒ x< . (2)
n
Finally, by (1) and (2),
m
m − 1 < ny − 1 ⇒ < y. (3)
n
m
Therefore, by (2) and (3), x< < y.
n
Cases (ii) and (iii) are left as Exercises.
RSH MA313L2.2 – 35 / 36
11
ACTIVITY
Refer to Bartle–Sherbert’s Introduction to Real Analysis (3rd Edn).
12