Theorem 20 (Associative Law). If x, y, z E N, then (x+y)+z = x+(y+z). Proof. (sketch). This follows from Lemma 17, and the identity AU (BUC) = (AUB) UC. Exercise 9. Write up the above proof. (You do not need to prove the identity AU (BUC) = (AUB) UC, since it is part of basic set theory.)

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.2: Mappings
Problem 22E
icon
Related questions
Question
Theorem 19 (Commutative Law). If m,n € N, then m + n = n + m.
Proof. Let A and B be disjoint sets such that A has size m and B has size n
(Lemma 16). Now AUB has size m + n by the above theorem, and BUA
has size n + m. Since AUB = BUA, we have m+n=n+m.
Theorem 20 (Associative Law). If x, y, z = N, then (x+y)+z = x+(y+z).
Proof. (sketch). This follows from Lemma 17, and the identity
AU (BUC) = (AUB) UC.
Exercise 9. Write up the above proof. (You do not need to prove the
identity AU (BUC) = (AUB) U C, since it is part of basic set theory.)
Transcribed Image Text:Theorem 19 (Commutative Law). If m,n € N, then m + n = n + m. Proof. Let A and B be disjoint sets such that A has size m and B has size n (Lemma 16). Now AUB has size m + n by the above theorem, and BUA has size n + m. Since AUB = BUA, we have m+n=n+m. Theorem 20 (Associative Law). If x, y, z = N, then (x+y)+z = x+(y+z). Proof. (sketch). This follows from Lemma 17, and the identity AU (BUC) = (AUB) UC. Exercise 9. Write up the above proof. (You do not need to prove the identity AU (BUC) = (AUB) U C, since it is part of basic set theory.)
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps

Blurred answer
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,