sols5 - M114S Solutions to HW#5 x5.3 Both properties of...

This preview shows pages 1–2. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: M114S, Solutions to HW #5 x5.3. Both properties of exponentiation are proved by induction on k . First we show that n ( m + k ) = n m ยท n k . If k = 0, then n ( m + k ) = n m , and n k = n = 1. Now it is a general fact that for all p , p ยท 1 = p . (Proof: By (5-4) and Lemma 5.13, p ยท S (0) = ( p ยท 0)+ p = 0 ยท p = p .) It follows that n ( m +0) = n m = n m ยท n . This proves the first fact in the case when k = 0. Next, assume that n ( m + k ) = n m ยท n k . Using this, n ( m + S ( k )) = n S ( m + k ) = n ( m + k ) ยท n = ( n m ยท n k ) ยท n . By 5.2 , this last number is n m ยท ( n k ยท n ) = n m ยท n S ( k ) . This completes the proof. The second fact is to check that n m ยท k = ( n m ) k . When k = 0, this is true because n m ยท = n = 1 = ( n m ) . So assume this for k , and note that n m ยท S ( k ) = n ( m ยท k )+ m = n ( m ยท k ) ยท n m = ( n m ) k ยท n m = ( n m ) S ( k ) . Note that we used the first part of the problem in one of these steps, just before we appealed to the induction hypothesis. x5.4. The canonical isomorphism afii9843 : N 1 ึ โ N 2 constructed in the proof of the Uniqueness Theorem 5.4 satisfies the following two properties: afii9843 (0 1 ) = 0 2 , afii9843 ( S 1 ( m )) = S 2 ( afii9843 ( m )) ( m โ N 1 ) . These and the recursive definitions of addition and subtraction suffice to prove that afii9843 preserves these operations....
View Full Document

{[ snackBarMessage ]}

Page1 / 4

sols5 - M114S Solutions to HW#5 x5.3 Both properties of...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online