01.12.2012 Views

Solutions for exercises in chapter 1 E1.1 Prove by induction that for ...

Solutions for exercises in chapter 1 E1.1 Prove by induction that for ...

Solutions for exercises in chapter 1 E1.1 Prove by induction that for ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

complet<strong>in</strong>g the <strong>in</strong>ductive proof.<br />

<strong>E1.1</strong>0 For the Fibonacci sequence, prove <strong>that</strong> f 2 1 + f2 2 + · · · + f2 n = fnfn+1 <strong>for</strong> every<br />

positive <strong>in</strong>teger n.<br />

Proof. Induction on n. For n = 1, f1f2 = 1 = f2 1 . Now assume <strong>that</strong> n is a positive<br />

<strong>in</strong>teger and f2 1 + f2 2 + · · · + f2 n = fnfn+1. Then<br />

f 2 1 + f 2 2 + · · · + f 2 n + f 2 n+1 = fnfn+1 + f 2 n+1 = (fn + fn+1)fn+1 = fn+2fn+1,<br />

complet<strong>in</strong>g the <strong>in</strong>ductive proof.<br />

<strong>E1.1</strong>1 For 〈1, 3, 2〉 and 〈0, 4, 5〉, describe the doma<strong>in</strong> of the function 〈1, 3, 2〉 ⌢ 〈0, 4, 5〉, and<br />

give its values <strong>for</strong> each element of the doma<strong>in</strong>.<br />

This is the function h with doma<strong>in</strong> 6 such <strong>that</strong> h(0) = 1, h(1) = 3, h(2) = 2, h(3) = 0,<br />

h(4) = 4, and h(5) = 5.<br />

E11.12 Let ϕ = 〈2, 3, 4〉. Express 〈1〉 ⌢ ϕ ⌢ 〈5〉 as a s<strong>in</strong>gle sequence.<br />

〈1〉 ⌢ ϕ ⌢ 〈5〉 = 〈1, 2, 3, 4, 5〉.<br />

E11.13 Use the recursion theorem (Theorem 1.11) to show <strong>that</strong> <strong>for</strong> each m ∈ ω there is<br />

a function gm with the follow<strong>in</strong>g properties:<br />

(i) g1 is the function mapp<strong>in</strong>g R <strong>in</strong>to R such <strong>that</strong> g1(a) = a <strong>for</strong> all a ∈ R.<br />

(ii) For each positive <strong>in</strong>teger m, gm+1 is the function mapp<strong>in</strong>g m+1 R <strong>in</strong>to R such <strong>that</strong><br />

<strong>for</strong> any 〈a0, . . ., am ∈ R〉,<br />

gm+1(a0, . . ., am) = gm(a0, . . ., am−1) + am.<br />

[ m X is the set of all m-tuples of members of X, <strong>for</strong> any m ∈ ω and any set X. The value<br />

gm(a0, . . ., am−1) is denoted <strong>by</strong> �<br />

i

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!