In Example, define operations of addition (+) and

Chapter 8, Problem 43E

(choose chapter or problem)

In Example, define operations of addition (+) and multiplication (•) as follows: For all (a, b), (c, d) ?A,[(a, b)] + [(c, d)] = [(ad+(bc, bd)][(a, b)]•[(c, d)]= [(ac, bd)].a. Prove that this addition is well defined. That is, show that if [(a, b)] = [(a', b')] and [(c, d)] = [(c', d')], then [(ad + bc, bd)] = [(a'd' + b'c', b'd')].________________b. Prove that this multiplication is well defined. That is, show that if [(a, b)\ = [(a', b')] and [(c, d)] = [(c', d')], then [(ac, bd)] = [(a'c', b'd')].________________c. Show that [(0, 1)] is an identity element for addition. That is, show that for any (a, b) ? A,[(a, b)] + [(0, 1)] = [(0, 1)] + [(a, b)] = [(a, b)]________________d. Find an identity element for multiplication. That is, find (i, j) in A so that for all (a, b) in A. [(a, b)] • [(i, j)]= [(i, j)] •[(a, b)] = [(a, b)].________________e. For any (a, b) ?A, show that [(-a, b)\ is an inverse for [(a, b)] for addition. That is, show that [(-a, b)] + [(a, b)] = [(a, b)] + [(-a, b)] = [(0, 1)].________________f. Given any (a, b) ? A with a = 0, find an inverse for [(a, b)] for multiplication. That is, find (c, d) in A so that [(a, b)]•[(c, d)] = [(c, d)]•[(a, b)] = [(i, j)], where [(i, j)] is the identity element you found in part (d).ExampleRational Numbers Are Really Equivalence ClassesFor a moment, forget what you know about fractional arithmetic and look at the numbers as symbols. Considered as symbolic expressions, these appear quite different. In fact, if they were written as ordered pairs(1, 3) and (2, 6)they would be different. The fact that we regard them as “the same” is a specific instance of our general agreement to regard any two numbers as equal provided the cross products are equal: ad = bc. This can be formalized as follows, using the language of equivalence relations.Let A be the set of all ordered pairs of integers for which the second element of thepair is nonzero. Symbolically,A = Z × (Z –{0}).Define a relation R on A as follows: For all (a, b), (c, d) ? A,(a, b) R (c, d) ? ad = bc.The fact is that R is an equivalence relation.a. Prove that R is transitive. (Proofs that R is reflexive and symmetric are left to theexercises.)b. Describe the distinct equivalence classes of R.Solutiona. [We must show that for all (a, b), (c, d), (e, f ) ? A, if (a, b) R (c, d) and (c, d)R (e, f ), then (a, b) R (e, f ).] Suppose (a, b), (c, d), and (e, f ) are particular but arbitrarily chosen elements of A such that (a, b) R (c, d) and (c, d) R (e, f ). [We must show that (a, b) R (e, f ).] By definition of R,(1) ad = bc and (2) cf = de.Since the second elements of all ordered pairs in A are nonzero, b ? 0, d ?0, and f ? 0. Multiply both sides of equation (1) by f and both sides of equation (2) by b to obtain(1?) ad f = bcf and (2?) bcf = bde.Thusad f = bdeand, since d ? 0, it follows from the cancellation law for multiplication (T7 in Appendix A) thata f = be.It follows, by definition of R, that (a, b) R (e, f ) [as was to be shown].________________b. There is one equivalence class for each distinct rational number. Each equivalence class consists of all ordered pairs (a, b) that, if written as fractions a/b, would equal each other. The reason for this is that the condition for two rational numbers to be equal is the same as the condition for two ordered pairs to be related. For instance, the class of (1, 2) is[(1, 2)] = {(1, 2), (–1,–2), (2, 4), (–2,–4), (3, 6), (–3,–6),…}Since and so forth.

Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.

Becoming a subscriber
Or look for another answer

×

Login

Login or Sign up for access to all of our study tools and educational content!

Forgot password?
Register Now

×

Register

Sign up for access to all content on our site!

Or login if you already have an account

×

Reset password

If you have an active account we’ll send you an e-mail for password recovery

Or login if you have your password back