Chapter 0

Introduction

[15/87%]
Show
LaTeX
Problem 0.1

Examine the following formal descriptions of sets so that you understand which members they contain. Write a short informal English description of each set.

?
(a)

{1,3,5,7,…}\left\{ 1, 3, 5, 7, \ldots \right\}

(b)

{…,−4,−2,0,2,4,…}\left\{ \ldots ,-4,-2,0,2,4,\ldots \right\}

(c)

{n∣n=2m for some m in N}\left\{ n \mid n=2 m\text{ for some }m\text{ in }\mathcal{N}\right\}

(d)

{n∣n=2m for some m in N, and n=3k for some k in N}\left\{ n \mid n=2 m\text{ for some }m\text{ in }\mathcal{N}\text{, and }n=3 k\text{ for some }k\text{ in }\mathcal{N}\right\}

(e)

{w∣w is a string of 0s and 1s and w equals the reverse of w}\left\{ w \mid w\text{ is a string of 0s and 1s and }w\text{ equals the reverse of }w\right\}

(f)

{n∣n is an integer and n=n+1}\left\{ n \mid n\text{ is an integer and }n=n+1\right\}

Problem 0.2

Write formal descriptions of the following sets.

?
(a)

The set containing the numbers 1, 10, and 100

(b)

The set containing all integers that are greater than 5

(c)

The set containing all natural numbers that are less than 5

(d)

The set containing the string aba

(e)

The set containing the empty string

(f)

The set containing nothing at all

Problem 0.3

Let AA be the set {x,y,z}\left\{ \mathrm{x}, \mathrm{y}, \mathrm{z}\right\} and BB be the set {x,y}\left\{ \mathrm{x}, \mathrm{y}\right\}.

?
(a)

Is AA a subset of BB?

(b)

Is BB a subset of AA?

(c)

What is A∪BA \cup B?

(d)

What is A∩BA \cap B?

(e)

What is A×BA \times B?

(f)

What is the power set of BB?

Problem 0.4

If AA has aa elements and BB has bb elements, how many elements are in A×BA \times B? Explain your answer.

?
Problem 0.5

If CC is a set with cc elements, how many elements are in the power set of CC? Explain your answer.

?
Problem 0.6

Let XX be the set {1,2,3,4,5}\left\{ 1,2,3,4,5\right\} and YY be the set {6,7,8,9,10}\left\{ 6,7,8,9,10\right\}. The unary function f:X⟶Yf: X \longrightarrow Y and the binary function g:X×Y⟶Yg: X \times Y \longrightarrow Y are described in the following tables.

nnf(n)f(n)
16
27
36
47
56
gg678910
11010101010
2789106
377889
4987610
566666
?
(a)

What is the value of f(2)f(2)?

(b)

What are the range and domain of ff?

(c)

What is the value of g(2,10)g(2,10)?

(d)

What are the range and domain of gg?

(e)

What is the value of g(4,f(4))g(4, f(4))?

Problem 0.7

For each part, give a relation that satisfies the condition.

?
(a)

Reflexive and symmetric but not transitive

(b)

Reflexive and transitive but not symmetric

(c)

Symmetric and transitive but not reflexive

Problem 0.8

Consider the undirected graph G=(V,E)G=(V, E) where VV, the set of nodes, is {1,2,3,4}\left\{ 1,2,3,4\right\} and EE, the set of edges, is {{1,2},{2,3},{1,3},{2,4},{1,4}}\left\{ \left\{ 1,2\right\} ,\left\{ 2,3\right\} ,\left\{ 1,3\right\} ,\left\{ 2,4\right\} ,\left\{ 1,4\right\} \right\}. Draw the graph GG. What are the degrees of each node? Indicate a path from node 3 to node 4 on your drawing of GG.

?
Problem 0.9

Write a formal description of the following graph.

?
Problem 0.10

Find the error in the following proof that 2=12=1. Consider the equation a=ba=b. Multiply both sides by aa to obtain a2=aba^{2}=a b. Subtract b2b^{2} from both sides to get a2−b2=ab−b2a^{2}-b^{2}=a b-b^{2}. Now factor each side, (a+b)(a−b)=b(a−b)(a+b)(a-b)=b(a-b), and divide each side by (a−b)(a-b) to get a+b=ba+b=b. Finally, let aa and bb equal 1, which shows that 2=12=1.

?
Problem 0.11

Let S(n)=1+2+⋯+nS(n)=1+2+\cdots +n be the sum of the first nn natural numbers and let C(n)=13+23+⋯+n3C(n)=1^{3}+2^{3}+\cdots +n^{3} be the sum of the first nn cubes. Prove the following equalities by induction on nn, to arrive at the curious conclusion that C(n)=S2(n)C(n)=S^{2}(n) for every nn.

?
(a)

S(n)=12n(n+1)S(n)=\frac{1}{2} n(n+1).

(b)

C(n)=14(n4+2n3+n2)=14n2(n+1)2C(n)=\frac{1}{4}\left(n^{4}+2 n^{3}+n^{2}\right)=\frac{1}{4} n^{2}(n+1)^{2}.

Problem 0.12

Find the error in the following proof that all horses are the same color. Claim: In any set of hh horses, all horses are the same color. Proof: By induction on hh. Basis: For h=1h=1. In any set containing just one horse, all horses clearly are the same color. Induction step: For k≥1k \geq 1, assume that the claim is true for h=kh=k and prove that it is true for h=k+1h=k+1. Take any set HH of k+1k+1 horses. We show that all the horses in this set are the same color. Remove one horse from this set to obtain the set H1H_{1} with just kk horses. By the induction hypothesis, all the horses in H1H_{1} are the same color. Now replace the removed horse and remove a different one to obtain the set H2H_{2}. By the same argument, all the horses in H2H_{2} are the same color. Therefore, all the horses in HH must be the same color, and the proof is complete.

?
Problem 0.13

Show that every graph with two or more nodes contains two nodes that have equal degrees.

?
Problem 0.14
  • ᴬ Ramsey's theorem. Let GG be a graph. A clique in GG is a subgraph in which every two nodes are connected by an edge. An anti-clique, also called an independent set, is a subgraph in which every two nodes are not connected by an edge. Show that every graph with nn nodes contains either a clique or an anti-clique with at least 12log⁡2n\frac{1}{2} \log_{2} n nodes.
?
Problem 0.15

ᴬ Use Theorem 0.25 to derive a formula for calculating the size of the monthly payment for a mortgage in terms of the principal PP, the interest rate II, and the number of payments tt. Assume that after tt payments have been made, the loan amount is reduced to 0. Use the formula to calculate the dollar amount of each monthly payment for a 30 -year mortgage with 360 monthly payments on an initial loan amount of $100,000 with a 5 annual interest rate.

?