discrete mathematics · functions sequences and summations cardinality of sets discrete mathematics...

99
Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans Prof. Steven Evans Discrete Mathematics

Upload: others

Post on 24-Jun-2020

19 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Discrete MathematicsBasic Structures:

Sets, Functions, Sequences, and Sums

Prof. Steven Evans

Prof. Steven Evans Discrete Mathematics

Page 2: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

2.3: Functions

Prof. Steven Evans Discrete Mathematics

Page 3: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Functions

Definition

Let A and B be nonempty sets. A function f from A to B is anassignment of exactly one element of B to each element of A. Wewrite f (a) = b to denote that b is the element assigned to a, andwe write f : A→ B to signify that f is a function from A to B.

Adams

Chou

Goodfriend

Rodriguez

Stevens

A

B

C

D

F

Prof. Steven Evans Discrete Mathematics

Page 4: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Functions

Definition

Let A and B be nonempty sets. A function f from A to B is anassignment of exactly one element of B to each element of A. Wewrite f (a) = b to denote that b is the element assigned to a, andwe write f : A→ B to signify that f is a function from A to B.

Adams

Chou

Goodfriend

Rodriguez

Stevens

A

B

C

D

FProf. Steven Evans Discrete Mathematics

Page 5: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Functions

Remark

A function can be defined in terms of relations. Recall that arelation from A to B is a subset of A× B. A relation that containsexactly one ordered pair (a, b) for every element a ∈ A defines afunction f : A→ B. The function is given by f (a) = b, where(a, b) is the unique pair in the relation with a as its firstcomponent.

Prof. Steven Evans Discrete Mathematics

Page 6: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Functions

Definition

If f is a function from A to B, we say that A is its domain and Bits codomain. If f (a) = b, we say that b is the image of a and a isthe preimage of b. The range or image of f is the set of all theimages of all the elements of A. Also, we sometimes say f maps Ato B.

a b

A Bf

Prof. Steven Evans Discrete Mathematics

Page 7: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Functions

Equality

When specifying a function, we specify its domain, its codomain,and how it maps elements of the domain to the codomain. Twofunctions are equal when

1 their domains are equal,

2 their codomains are equal,

3 and they map each element in their common domain to thesame element in their common codomain.

Prof. Steven Evans Discrete Mathematics

Page 8: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Functions

Definition

Let f and g be functions from a set A to R, the set of realnumbers. Then there are functions f + g and f · g defined by theformulas

(f + g)(a) = f (a) + g(a)

(f · g)(a) = f (a) · g(a).

Prof. Steven Evans Discrete Mathematics

Page 9: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Functions

Definition

Let f be a function from A to B and let S be a subset of A. Theimage of S under f is the subset of B of images of elements of S .We write

f (S) = {t ∈ B | ∃s ∈ S(t = f (s))}.

We also use the shorthand {f (s) | s ∈ S} to refer to this set.

Prof. Steven Evans Discrete Mathematics

Page 10: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Functions

Definition

Let f be a function from A to B and let S be a subset of A. Theimage of S under f is the subset of B of images of elements of S .We write

f (S) = {t ∈ B | ∃s ∈ S(t = f (s))}.

We also use the shorthand {f (s) | s ∈ S} to refer to this set.

Prof. Steven Evans Discrete Mathematics

Page 11: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

Definition

A function f is said to be one-to-one, injective, or an injectionwhen f (a) = f (b) implies a = b for all a and b in the domain of f .

a

b

c

d

1

2

3

4

5

Prof. Steven Evans Discrete Mathematics

Page 12: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

Remark

Note that a function is one-to-one if and only if f (a) 6= f (b)whenever a 6= b. This is the contrapositive of the definition givenpreviously.

Remark

We can also express this property using quantifiers as:

∀a∀b(f (a) = f (b)→ a = b),

where the universe of discourse is the domain of the function.

Prof. Steven Evans Discrete Mathematics

Page 13: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

Remark

Note that a function is one-to-one if and only if f (a) 6= f (b)whenever a 6= b. This is the contrapositive of the definition givenpreviously.

Remark

We can also express this property using quantifiers as:

∀a∀b(f (a) = f (b)→ a = b),

where the universe of discourse is the domain of the function.

Prof. Steven Evans Discrete Mathematics

Page 14: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

Definition

Suppose that f is a function whose domain and codomain aresubsets of the real numbers. Then f is called

increasing if f (x) ≤ f (y)

strictly increasing if f (x) < f (y)

decreasing if f (x) ≥ f (y)

strictly decreasing if f (x) > f (y)

whenever x and y are in the domain of f and x < y .

Remark

Note that if f is strictly increasing or strictly decreasing, then it isone-to-one.

Prof. Steven Evans Discrete Mathematics

Page 15: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

Definition

Suppose that f is a function whose domain and codomain aresubsets of the real numbers. Then f is called

increasing if f (x) ≤ f (y)

strictly increasing if f (x) < f (y)

decreasing if f (x) ≥ f (y)

strictly decreasing if f (x) > f (y)

whenever x and y are in the domain of f and x < y .

Remark

Note that if f is strictly increasing or strictly decreasing, then it isone-to-one.

Prof. Steven Evans Discrete Mathematics

Page 16: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

Definition

A function f : A→ B is called onto, surjective, or a surjectionwhen for every element b ∈ B there is an element a ∈ A withf (a) = b.

a

b

c

d

1

2

3

Prof. Steven Evans Discrete Mathematics

Page 17: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

Definition

We say that a function is a one-to-one correspondence, bijective,or a bijection if it is both one-to-one and onto.

Prof. Steven Evans Discrete Mathematics

Page 18: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

1

2

3

4

One-to-one, not onto.

Prof. Steven Evans Discrete Mathematics

Page 19: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

1

2

3

4

One-to-one, not onto.

Prof. Steven Evans Discrete Mathematics

Page 20: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

d

1

2

3

Onto, not one-to-one.

Prof. Steven Evans Discrete Mathematics

Page 21: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

d

1

2

3

Onto, not one-to-one.

Prof. Steven Evans Discrete Mathematics

Page 22: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

d

1

2

3

4

One-to-one and onto.

Prof. Steven Evans Discrete Mathematics

Page 23: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

d

1

2

3

4

One-to-one and onto.

Prof. Steven Evans Discrete Mathematics

Page 24: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

d

1

2

3

4

Neither one-to-one nor onto.

Prof. Steven Evans Discrete Mathematics

Page 25: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

d

1

2

3

4

Neither one-to-one nor onto.

Prof. Steven Evans Discrete Mathematics

Page 26: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

1

2

3

4

Not a function!

Prof. Steven Evans Discrete Mathematics

Page 27: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

One-to-one and onto functions

a

b

c

1

2

3

4

Not a function!

Prof. Steven Evans Discrete Mathematics

Page 28: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Inverse functions and function composition

Definition

Let f be a one-to-one correspondence from A to B. The inversefunction of f is the function f −1 that assigns to b ∈ B the uniqueelement a ∈ A with f (a) = b. Hence, when f (a) = b, thenf −1(b) = a.

a = f −1(b) b = f (a)

A Bf

f −1

Prof. Steven Evans Discrete Mathematics

Page 29: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Inverse functions and function composition

Definition

Let f be a one-to-one correspondence from A to B. The inversefunction of f is the function f −1 that assigns to b ∈ B the uniqueelement a ∈ A with f (a) = b. Hence, when f (a) = b, thenf −1(b) = a.

a = f −1(b) b = f (a)

A Bf

f −1

Prof. Steven Evans Discrete Mathematics

Page 30: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Inverse functions and function composition

Definition

Let g : A→ B and f : B → C be two functions. Then theircomposition is a function f ◦ g : A→ C , pronounced “f after g”,is defined by the formula (f ◦ g)(a) = f (g(a)).

a g(a) f (g(a))

A B C

g(a) f (g(a))

(f ◦ g)(a)

g f

f ◦ g

Prof. Steven Evans Discrete Mathematics

Page 31: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Graphs of functions

Definition

Let f be a function f : A→ B; then the graph of f is the subset ofA× B of ordered pairs

{(a, b) | a ∈ A, b = f (a)}.

Prof. Steven Evans Discrete Mathematics

Page 32: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Some important functions

Definition

The floor function assigns to a real number x the largest integerwhich is less than or equal to it, denoted bxc. The ceiling functionassigns to a real number x the smallest integer which is greaterthan or equal to it, denoted dxe.

Prof. Steven Evans Discrete Mathematics

Page 33: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Useful properties of the floor and ceiling functions

Let x be a real number and n an integer.Value inequalities:

bxc = n if and only ifn ≤ x < n + 1.

dxe = n if and only ifn − 1 < x ≤ n.

bxc = n if and only ifx − 1 < n ≤ x .

dxe = n if and only ifx ≤ n < x + 1.

x − 1 < bxc ≤ x ≤ dxe < x + 1.

Negative identities:

b−xc = −dxe.d−xe = −bxc.

Translation identities:

bx + nc = bxc+ n.

dx + ne = dxe+ n.

Prof. Steven Evans Discrete Mathematics

Page 34: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Useful properties of the floor and ceiling functions

Let x be a real number and n an integer.Value inequalities:

bxc = n if and only ifn ≤ x < n + 1.

dxe = n if and only ifn − 1 < x ≤ n.

bxc = n if and only ifx − 1 < n ≤ x .

dxe = n if and only ifx ≤ n < x + 1.

x − 1 < bxc ≤ x ≤ dxe < x + 1.

Negative identities:

b−xc = −dxe.d−xe = −bxc.

Translation identities:

bx + nc = bxc+ n.

dx + ne = dxe+ n.

Prof. Steven Evans Discrete Mathematics

Page 35: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Useful properties of the floor and ceiling functions

Let x be a real number and n an integer.Value inequalities:

bxc = n if and only ifn ≤ x < n + 1.

dxe = n if and only ifn − 1 < x ≤ n.

bxc = n if and only ifx − 1 < n ≤ x .

dxe = n if and only ifx ≤ n < x + 1.

x − 1 < bxc ≤ x ≤ dxe < x + 1.

Negative identities:

b−xc = −dxe.d−xe = −bxc.

Translation identities:

bx + nc = bxc+ n.

dx + ne = dxe+ n.

Prof. Steven Evans Discrete Mathematics

Page 36: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Useful properties of the floor and ceiling functions

Let x be a real number and n an integer.Value inequalities:

bxc = n if and only ifn ≤ x < n + 1.

dxe = n if and only ifn − 1 < x ≤ n.

bxc = n if and only ifx − 1 < n ≤ x .

dxe = n if and only ifx ≤ n < x + 1.

x − 1 < bxc ≤ x ≤ dxe < x + 1.

Negative identities:

b−xc = −dxe.d−xe = −bxc.

Translation identities:

bx + nc = bxc+ n.

dx + ne = dxe+ n.

Prof. Steven Evans Discrete Mathematics

Page 37: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Some important functions

Definition

We’ll use the notation log x to denote the base 2 logarithm of x .Generally, for b > 1 we write logb x to denote the base b logarithmof x , and we reserve ln x for the natural logarithm of x .

Definition

The factorial function f : N→ Z+ is denoted by f (n) = n! anddefined by the pair of formulas

0! = 1, n! = n · (n − 1)!.

Prof. Steven Evans Discrete Mathematics

Page 38: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Some important functions

Definition

We’ll use the notation log x to denote the base 2 logarithm of x .Generally, for b > 1 we write logb x to denote the base b logarithmof x , and we reserve ln x for the natural logarithm of x .

Definition

The factorial function f : N→ Z+ is denoted by f (n) = n! anddefined by the pair of formulas

0! = 1, n! = n · (n − 1)!.

Prof. Steven Evans Discrete Mathematics

Page 39: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Some important functions

Remark

Stirling’s formula tells us

n! ∼√

2πn ·(ne

)n,

where f ∼ g denotes the sentence

limn→∞

f (n)

g(n)= 1.

The symbol ∼ is read “is asymptotic to”.

Prof. Steven Evans Discrete Mathematics

Page 40: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

2.4: Sequences and Summations

Prof. Steven Evans Discrete Mathematics

Page 41: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Sequences

Definition

A sequence is a function from a subset of the set of integers(usually either {0, 1, 2, . . .} or {1, 2, 3, . . .}) to a set S . We oftenwrite an, called a term, to denote the image of n. To denote thesequence as a whole, we often write {an} or (an). (Note that {an}unfortunately conflicts with the notation for sets introducedearlier.)

Prof. Steven Evans Discrete Mathematics

Page 42: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Sequences

Definition

A geometric progression is a sequence

a, ar , ar2, ar3, . . . ,

where a is the initial term and r is the common ratio.

Definition

A arithmetic progression is a sequence

a, a + d , a + 2d , a + 3d , . . . ,

where a is the initial term and d is the common difference.

Prof. Steven Evans Discrete Mathematics

Page 43: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Sequences

Definition

A geometric progression is a sequence

a, ar , ar2, ar3, . . . ,

where a is the initial term and r is the common ratio.

Definition

A arithmetic progression is a sequence

a, a + d , a + 2d , a + 3d , . . . ,

where a is the initial term and d is the common difference.

Prof. Steven Evans Discrete Mathematics

Page 44: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Recurrence relations

Definition

A recurrence relation for a sequence {an} is an equation whichexpression an in terms of the previous terms a0, . . . , an−1, forn ≥ n0 for some fixed index n0. A solution of the recurrencerelation is a sequence satisfying the given equations.

Example

The Fibonacci sequence f0, f1, f2, . . . is determined by the equations

f0 = 0,

f1 = 1,

fn = fn−1 + fn−2

for n = 2, 3, 4, . . ..

Prof. Steven Evans Discrete Mathematics

Page 45: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Recurrence relations

Definition

A recurrence relation for a sequence {an} is an equation whichexpression an in terms of the previous terms a0, . . . , an−1, forn ≥ n0 for some fixed index n0. A solution of the recurrencerelation is a sequence satisfying the given equations.

Example

The Fibonacci sequence f0, f1, f2, . . . is determined by the equations

f0 = 0,

f1 = 1,

fn = fn−1 + fn−2

for n = 2, 3, 4, . . ..

Prof. Steven Evans Discrete Mathematics

Page 46: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Recurrence relations: an example

Consider the recurrence relation an = 2an−1 − an−2 for n ≥ 2.

Does an = 3n satisfy this relation?

an = 2an−1 − an−2

= 2(3(n − 1))− 3(n − 2)

= 6n − 6− 3n + 6

= 3n. OK!Does an = 2n satisfy this relation?

a0 = 1,

a1 = 2,

a2 = 4,

a2 = 2a1 − a0

= 4− 1 = 3. (Not OK.)

Prof. Steven Evans Discrete Mathematics

Page 47: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Recurrence relations: an example

Consider the recurrence relation an = 2an−1 − an−2 for n ≥ 2.

Does an = 3n satisfy this relation?

an = 2an−1 − an−2

= 2(3(n − 1))− 3(n − 2)

= 6n − 6− 3n + 6

= 3n. OK!

Does an = 2n satisfy this relation?

a0 = 1,

a1 = 2,

a2 = 4,

a2 = 2a1 − a0

= 4− 1 = 3. (Not OK.)

Prof. Steven Evans Discrete Mathematics

Page 48: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Recurrence relations: an example

Consider the recurrence relation an = 2an−1 − an−2 for n ≥ 2.

Does an = 3n satisfy this relation?

an = 2an−1 − an−2

= 2(3(n − 1))− 3(n − 2)

= 6n − 6− 3n + 6

= 3n. OK!Does an = 2n satisfy this relation?

a0 = 1,

a1 = 2,

a2 = 4,

a2 = 2a1 − a0

= 4− 1 = 3. (Not OK.)

Prof. Steven Evans Discrete Mathematics

Page 49: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Recurrence relations: an example

Consider the recurrence relation an = 2an−1 − an−2 for n ≥ 2.

Does an = 3n satisfy this relation?

an = 2an−1 − an−2

= 2(3(n − 1))− 3(n − 2)

= 6n − 6− 3n + 6

= 3n. OK!Does an = 2n satisfy this relation?

a0 = 1,

a1 = 2,

a2 = 4,

a2 = 2a1 − a0

= 4− 1 = 3. (Not OK.)

Prof. Steven Evans Discrete Mathematics

Page 50: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Recurrence relations: an example

Consider the recurrence relation an = 2an−1 − an−2 for n ≥ 2.

Does an = 5 satisfy this relation?

an = 2an−1 − an−2

= 2 · 5− 5

= 5. OK!

Prof. Steven Evans Discrete Mathematics

Page 51: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Recurrence relations: an example

Consider the recurrence relation an = 2an−1 − an−2 for n ≥ 2.

Does an = 5 satisfy this relation?

an = 2an−1 − an−2

= 2 · 5− 5

= 5. OK!

Prof. Steven Evans Discrete Mathematics

Page 52: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Definition

Pick a sequence {an}. We use the notations

n∑j=m

aj ,∑n

j=m aj , or∑

m≤j≤n aj

(read as “the sum of aj with j ranging from m to n”) to denote

am + am+1 + · · ·+ an−1 + an.

The variable j is called the index of summation.

Prof. Steven Evans Discrete Mathematics

Page 53: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Remark

The choice of the letter j is entirely arbitrary — we can replace itwith any unbound symbol we please. For instance:

n∑j=m

aj =n∑

i=m

ai =n∑

k=m

ak .

Prof. Steven Evans Discrete Mathematics

Page 54: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Theorem: Geometric summation

If a and r are real numbers with r 6= 0,

n∑j=0

ar j =

{arn+1−ar−1 if r 6= 1,

(n + 1)a if r = 1.

Prof. Steven Evans Discrete Mathematics

Page 55: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Here are some other summation formulas:∑nk=0 ar

k = arn+1−a

r−1 for r 6= 1.

∑nk=0 k = n(n+1)

2 .∑nk=0 k

2 = n(n+1)(2n+1)6 .∑n

k=0 k3 = n2(n+1)2

4 .∑∞k=0 x

k = 11−x for |x | < 1.∑∞

k=1 kxk−1 = 1

(1−x)2 for |x | < 1.

Prof. Steven Evans Discrete Mathematics

Page 56: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Here are some other summation formulas:∑nk=0 ar

k = arn+1−a

r−1 for r 6= 1.∑nk=0 k = n(n+1)

2 .

∑nk=0 k

2 = n(n+1)(2n+1)6 .∑n

k=0 k3 = n2(n+1)2

4 .∑∞k=0 x

k = 11−x for |x | < 1.∑∞

k=1 kxk−1 = 1

(1−x)2 for |x | < 1.

Prof. Steven Evans Discrete Mathematics

Page 57: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Here are some other summation formulas:∑nk=0 ar

k = arn+1−a

r−1 for r 6= 1.∑nk=0 k = n(n+1)

2 .∑nk=0 k

2 = n(n+1)(2n+1)6 .

∑nk=0 k

3 = n2(n+1)2

4 .∑∞k=0 x

k = 11−x for |x | < 1.∑∞

k=1 kxk−1 = 1

(1−x)2 for |x | < 1.

Prof. Steven Evans Discrete Mathematics

Page 58: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Here are some other summation formulas:∑nk=0 ar

k = arn+1−a

r−1 for r 6= 1.∑nk=0 k = n(n+1)

2 .∑nk=0 k

2 = n(n+1)(2n+1)6 .∑n

k=0 k3 = n2(n+1)2

4 .

∑∞k=0 x

k = 11−x for |x | < 1.∑∞

k=1 kxk−1 = 1

(1−x)2 for |x | < 1.

Prof. Steven Evans Discrete Mathematics

Page 59: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Here are some other summation formulas:∑nk=0 ar

k = arn+1−a

r−1 for r 6= 1.∑nk=0 k = n(n+1)

2 .∑nk=0 k

2 = n(n+1)(2n+1)6 .∑n

k=0 k3 = n2(n+1)2

4 .∑∞k=0 x

k = 11−x for |x | < 1.

∑∞k=1 kx

k−1 = 1(1−x)2 for |x | < 1.

Prof. Steven Evans Discrete Mathematics

Page 60: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Summations

Here are some other summation formulas:∑nk=0 ar

k = arn+1−a

r−1 for r 6= 1.∑nk=0 k = n(n+1)

2 .∑nk=0 k

2 = n(n+1)(2n+1)6 .∑n

k=0 k3 = n2(n+1)2

4 .∑∞k=0 x

k = 11−x for |x | < 1.∑∞

k=1 kxk−1 = 1

(1−x)2 for |x | < 1.

Prof. Steven Evans Discrete Mathematics

Page 61: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

2.5: Cardinality of Sets

Prof. Steven Evans Discrete Mathematics

Page 62: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Definition

The sets A and B have the same cardinality if there is a one-to-onecorrespondence A→ B. In this case, we write |A| = |B|.

Definition

When there is an injection A→ B, we write |A| ≤ |B|, so that thecardinality of B is at least that of A. If A and B also have distinctcardinalities, we write |A| < |B|.

Prof. Steven Evans Discrete Mathematics

Page 63: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Definition

The sets A and B have the same cardinality if there is a one-to-onecorrespondence A→ B. In this case, we write |A| = |B|.

Definition

When there is an injection A→ B, we write |A| ≤ |B|, so that thecardinality of B is at least that of A. If A and B also have distinctcardinalities, we write |A| < |B|.

Prof. Steven Evans Discrete Mathematics

Page 64: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Definition

A set which is either finite or the same cardinality as the integers iscalled countable, and uncountable otherwise. When an infinite setis countable, we write its cardinality as ℵ0.

Example

Show that the set of odd integers is countable.

{1, 3, 5, 7, 9, 11, 13, 15, 17, · · · }

{1, 2, 3, 4, 5, 6, 7, 8, 9, · · · }.

Prof. Steven Evans Discrete Mathematics

Page 65: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Definition

A set which is either finite or the same cardinality as the integers iscalled countable, and uncountable otherwise. When an infinite setis countable, we write its cardinality as ℵ0.

Example

Show that the set of odd integers is countable.

{1, 3, 5, 7, 9, 11, 13, 15, 17, · · · }

{1, 2, 3, 4, 5, 6, 7, 8, 9, · · · }.

Prof. Steven Evans Discrete Mathematics

Page 66: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Definition

A set which is either finite or the same cardinality as the integers iscalled countable, and uncountable otherwise. When an infinite setis countable, we write its cardinality as ℵ0.

Example

Show that the set of odd integers is countable.

{1, 3, 5, 7, 9, 11, 13, 15, 17, · · · }

{1, 2, 3, 4, 5, 6, 7, 8, 9, · · · }.

Prof. Steven Evans Discrete Mathematics

Page 67: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Definition

A set which is either finite or the same cardinality as the integers iscalled countable, and uncountable otherwise. When an infinite setis countable, we write its cardinality as ℵ0.

Example

Show that the set of odd integers is countable.

{1, 3, 5, 7, 9, 11, 13, 15, 17, · · · }

{1, 2, 3, 4, 5, 6, 7, 8, 9, · · · }.

Prof. Steven Evans Discrete Mathematics

Page 68: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Example

The set of positive rational numbers is countable.

11

21

31

41

51 · · ·

12

22

32

42 · · ·

13

23

33

43 · · ·

14

24

34

44 · · ·

15

......

...

...

Prof. Steven Evans Discrete Mathematics

Page 69: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Example

The set of positive rational numbers is countable.

11

21

31

41

51 · · ·

12

22

32

42 · · ·

13

23

33

43 · · ·

14

24

34

44 · · ·

15

......

...

...

Prof. Steven Evans Discrete Mathematics

Page 70: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Example

The set of positive rational numbers is countable.

11

21

31

41

51 · · ·

12

22

32

42 · · ·

13

23

33

43 · · ·

14

24

34

44 · · ·

15

......

...

...

Prof. Steven Evans Discrete Mathematics

Page 71: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Example

The set of positive rational numbers is countable.

11

21

31

41

51 · · ·

12

22

32

42 · · ·

13

23

33

43 · · ·

14

24

34

44 · · ·

15

......

...

...

Prof. Steven Evans Discrete Mathematics

Page 72: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Example

The set of positive rational numbers is countable.

11

21

31

41

51 · · ·

12

22

32

42 · · ·

13

23

33

43 · · ·

14

24

34

44 · · ·

15

......

...

...

Prof. Steven Evans Discrete Mathematics

Page 73: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

We will show that the reals are an uncountable set.

Suppose thatthey were countable. In particular, the set of real numbers in theinterval [0, 1) would also be countable. Suppose we have such anenumeration:

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,r4 = 0.d4,1d4,2d4,3d4,4 · · · ,

...

We will produce a number in [0, 1) not in this list. Define anumber x = 0.x1x2x3x4 · · · whose digits xi are given by the rule

xi =

{4 if di ,i = 5,

5 otherwise.

Prof. Steven Evans Discrete Mathematics

Page 74: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

We will show that the reals are an uncountable set. Suppose thatthey were countable.

In particular, the set of real numbers in theinterval [0, 1) would also be countable. Suppose we have such anenumeration:

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,r4 = 0.d4,1d4,2d4,3d4,4 · · · ,

...

We will produce a number in [0, 1) not in this list. Define anumber x = 0.x1x2x3x4 · · · whose digits xi are given by the rule

xi =

{4 if di ,i = 5,

5 otherwise.

Prof. Steven Evans Discrete Mathematics

Page 75: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

We will show that the reals are an uncountable set. Suppose thatthey were countable. In particular, the set of real numbers in theinterval [0, 1) would also be countable.

Suppose we have such anenumeration:

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,r4 = 0.d4,1d4,2d4,3d4,4 · · · ,

...

We will produce a number in [0, 1) not in this list. Define anumber x = 0.x1x2x3x4 · · · whose digits xi are given by the rule

xi =

{4 if di ,i = 5,

5 otherwise.

Prof. Steven Evans Discrete Mathematics

Page 76: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

We will show that the reals are an uncountable set. Suppose thatthey were countable. In particular, the set of real numbers in theinterval [0, 1) would also be countable. Suppose we have such anenumeration:

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,r4 = 0.d4,1d4,2d4,3d4,4 · · · ,

...

We will produce a number in [0, 1) not in this list. Define anumber x = 0.x1x2x3x4 · · · whose digits xi are given by the rule

xi =

{4 if di ,i = 5,

5 otherwise.

Prof. Steven Evans Discrete Mathematics

Page 77: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

We will show that the reals are an uncountable set. Suppose thatthey were countable. In particular, the set of real numbers in theinterval [0, 1) would also be countable. Suppose we have such anenumeration:

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,r4 = 0.d4,1d4,2d4,3d4,4 · · · ,

...

We will produce a number in [0, 1) not in this list.

Define anumber x = 0.x1x2x3x4 · · · whose digits xi are given by the rule

xi =

{4 if di ,i = 5,

5 otherwise.

Prof. Steven Evans Discrete Mathematics

Page 78: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

We will show that the reals are an uncountable set. Suppose thatthey were countable. In particular, the set of real numbers in theinterval [0, 1) would also be countable. Suppose we have such anenumeration:

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,r4 = 0.d4,1d4,2d4,3d4,4 · · · ,

...

We will produce a number in [0, 1) not in this list. Define anumber x = 0.x1x2x3x4 · · · whose digits xi are given by the rule

xi =

{4 if di ,i = 5,

5 otherwise.Prof. Steven Evans Discrete Mathematics

Page 79: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,

...

xi =

{4 if di ,i = 5,

5 otherwise.

The number x does not appear in the enumeration.

If it did, itwould be equal to ri for some i . But the ith digit xi is designednot to match the ith digit di ,i of ri . Hence, it cannot be equal to rifor any i . So, [0, 1) cannot be enumerated. So, R cannot beenumerated.

Prof. Steven Evans Discrete Mathematics

Page 80: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,

...

xi =

{4 if di ,i = 5,

5 otherwise.

The number x does not appear in the enumeration. If it did, itwould be equal to ri for some i . But the ith digit xi is designednot to match the ith digit di ,i of ri . Hence, it cannot be equal to rifor any i .

So, [0, 1) cannot be enumerated. So, R cannot beenumerated.

Prof. Steven Evans Discrete Mathematics

Page 81: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,

...

xi =

{4 if di ,i = 5,

5 otherwise.

The number x does not appear in the enumeration. If it did, itwould be equal to ri for some i . But the ith digit xi is designednot to match the ith digit di ,i of ri . Hence, it cannot be equal to rifor any i . So, [0, 1) cannot be enumerated.

So, R cannot beenumerated.

Prof. Steven Evans Discrete Mathematics

Page 82: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

An uncountable set

r1 = 0.d1,1d1,2d1,3d1,4 · · · ,r2 = 0.d2,1d2,2d2,3d2,4 · · · ,r3 = 0.d3,1d3,2d3,3d3,4 · · · ,

...

xi =

{4 if di ,i = 5,

5 otherwise.

The number x does not appear in the enumeration. If it did, itwould be equal to ri for some i . But the ith digit xi is designednot to match the ith digit di ,i of ri . Hence, it cannot be equal to rifor any i . So, [0, 1) cannot be enumerated. So, R cannot beenumerated.

Prof. Steven Evans Discrete Mathematics

Page 83: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Now, we’ll show that when A and B are countable sets, A ∪ B isalso countable.

We can make two assumptions:

1 We may assume A and B are disjoint. If they weren’t, thenwe can replace B by B ′ = B \ A. This new B ′ is alsocountable, and it satisfies A ∪ B = A ∪ B ′, so we will stilllearn about the cardinality of A ∪ B.

2 We will proceed by cases. We need not consider both the casewhere A is infinite and B is finite as well as the case where Ais finite and B is infinite. In the latter case, set A′ = B andB ′ = A; then A′ ∪ B ′ = B ∪ A = A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 84: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Now, we’ll show that when A and B are countable sets, A ∪ B isalso countable. We can make two assumptions:

1 We may assume A and B are disjoint.

If they weren’t, thenwe can replace B by B ′ = B \ A. This new B ′ is alsocountable, and it satisfies A ∪ B = A ∪ B ′, so we will stilllearn about the cardinality of A ∪ B.

2 We will proceed by cases. We need not consider both the casewhere A is infinite and B is finite as well as the case where Ais finite and B is infinite. In the latter case, set A′ = B andB ′ = A; then A′ ∪ B ′ = B ∪ A = A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 85: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Now, we’ll show that when A and B are countable sets, A ∪ B isalso countable. We can make two assumptions:

1 We may assume A and B are disjoint. If they weren’t, thenwe can replace B by B ′ = B \ A. This new B ′ is alsocountable, and it satisfies A ∪ B = A ∪ B ′, so we will stilllearn about the cardinality of A ∪ B.

2 We will proceed by cases. We need not consider both the casewhere A is infinite and B is finite as well as the case where Ais finite and B is infinite. In the latter case, set A′ = B andB ′ = A; then A′ ∪ B ′ = B ∪ A = A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 86: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Now, we’ll show that when A and B are countable sets, A ∪ B isalso countable. We can make two assumptions:

1 We may assume A and B are disjoint. If they weren’t, thenwe can replace B by B ′ = B \ A. This new B ′ is alsocountable, and it satisfies A ∪ B = A ∪ B ′, so we will stilllearn about the cardinality of A ∪ B.

2 We will proceed by cases. We need not consider both the casewhere A is infinite and B is finite as well as the case where Ais finite and B is infinite.

In the latter case, set A′ = B andB ′ = A; then A′ ∪ B ′ = B ∪ A = A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 87: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Now, we’ll show that when A and B are countable sets, A ∪ B isalso countable. We can make two assumptions:

1 We may assume A and B are disjoint. If they weren’t, thenwe can replace B by B ′ = B \ A. This new B ′ is alsocountable, and it satisfies A ∪ B = A ∪ B ′, so we will stilllearn about the cardinality of A ∪ B.

2 We will proceed by cases. We need not consider both the casewhere A is infinite and B is finite as well as the case where Ais finite and B is infinite. In the latter case, set A′ = B andB ′ = A; then A′ ∪ B ′ = B ∪ A = A ∪ B.

Prof. Steven Evans Discrete Mathematics

Page 88: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 1: A finite, B finite

If A and B are both finite, then |A ∪ B| = |A|+ |B| is also finite.Every finite set is automatically countable.

Prof. Steven Evans Discrete Mathematics

Page 89: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 1: A finite, B finite

If A and B are both finite, then |A ∪ B| = |A|+ |B| is also finite.Every finite set is automatically countable.

Prof. Steven Evans Discrete Mathematics

Page 90: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 2: A infinite, B finite

We can list the elements of B as b1, b2, . . . , bn. We can also listthe elements of A as a1, a2, . . .. The elements of A ∪ B can belisted by concatenating the two lists:

b1, b2, . . . , bn, a1, a2, . . . .

Since the elements of A ∪ B can be listed, it is countable.

Prof. Steven Evans Discrete Mathematics

Page 91: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 2: A infinite, B finite

We can list the elements of B as b1, b2, . . . , bn. We can also listthe elements of A as a1, a2, . . ..

The elements of A ∪ B can belisted by concatenating the two lists:

b1, b2, . . . , bn, a1, a2, . . . .

Since the elements of A ∪ B can be listed, it is countable.

Prof. Steven Evans Discrete Mathematics

Page 92: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 2: A infinite, B finite

We can list the elements of B as b1, b2, . . . , bn. We can also listthe elements of A as a1, a2, . . .. The elements of A ∪ B can belisted by concatenating the two lists:

b1, b2, . . . , bn, a1, a2, . . . .

Since the elements of A ∪ B can be listed, it is countable.

Prof. Steven Evans Discrete Mathematics

Page 93: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 2: A infinite, B finite

We can list the elements of B as b1, b2, . . . , bn. We can also listthe elements of A as a1, a2, . . .. The elements of A ∪ B can belisted by concatenating the two lists:

b1, b2, . . . , bn, a1, a2, . . . .

Since the elements of A ∪ B can be listed, it is countable.

Prof. Steven Evans Discrete Mathematics

Page 94: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 3: A infinite, B infinite

We can list the elements of A as a1, a2, . . . and the elements of Bas b1, b2, . . .. The elements of A ∪ B can be listed by interleavingthe two lists:

a1, b1, a2, b2, . . . , an, bn, . . . .

Since the elements of A ∪ B can be listed, it is countable.

Prof. Steven Evans Discrete Mathematics

Page 95: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 3: A infinite, B infinite

We can list the elements of A as a1, a2, . . . and the elements of Bas b1, b2, . . ..

The elements of A ∪ B can be listed by interleavingthe two lists:

a1, b1, a2, b2, . . . , an, bn, . . . .

Since the elements of A ∪ B can be listed, it is countable.

Prof. Steven Evans Discrete Mathematics

Page 96: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 3: A infinite, B infinite

We can list the elements of A as a1, a2, . . . and the elements of Bas b1, b2, . . .. The elements of A ∪ B can be listed by interleavingthe two lists:

a1, b1, a2, b2, . . . , an, bn, . . . .

Since the elements of A ∪ B can be listed, it is countable.

Prof. Steven Evans Discrete Mathematics

Page 97: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

The union of a pair of countable sets is countable

Case 3: A infinite, B infinite

We can list the elements of A as a1, a2, . . . and the elements of Bas b1, b2, . . .. The elements of A ∪ B can be listed by interleavingthe two lists:

a1, b1, a2, b2, . . . , an, bn, . . . .

Since the elements of A ∪ B can be listed, it is countable.

Prof. Steven Evans Discrete Mathematics

Page 98: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Theorem: (Cantor–)Schroder–Bernstein

If A and B are two sets with |A| ≤ |B| and |B| ≤ |A|, then|A| = |B|. (That is, if there are injections f : A→ B andg : B → A, then there is guaranteed to be a bijection h : A→ B.)

Example

Show that |(0, 1)| and |(0, 1]| are equal.

Prof. Steven Evans Discrete Mathematics

Page 99: Discrete Mathematics · Functions Sequences and Summations Cardinality of Sets Discrete Mathematics Basic Structures: Sets, Functions, Sequences, and Sums Prof. Steven Evans

FunctionsSequences and Summations

Cardinality of Sets

Cardinalities

Theorem: (Cantor–)Schroder–Bernstein

If A and B are two sets with |A| ≤ |B| and |B| ≤ |A|, then|A| = |B|. (That is, if there are injections f : A→ B andg : B → A, then there is guaranteed to be a bijection h : A→ B.)

Example

Show that |(0, 1)| and |(0, 1]| are equal.

Prof. Steven Evans Discrete Mathematics