Advanced Engineering Mathematics
Advanced Engineering Mathematics
10th Edition
ISBN: 9780470458365
Author: Erwin Kreyszig
Publisher: Wiley, John & Sons, Incorporated
Bartleby Related Questions Icon

Related questions

Question
Theorem 19 (Commutative Law). If \( m, n \in \mathbb{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 \( A \cup B \) has size \( m + n \) by the above theorem, and \( B \cup A \) has size \( n + m \). Since \( A \cup B = B \cup A \), we have \( m + n = n + m \). □

Theorem 20 (Associative Law). If \( x, y, z \in \mathbb{N} \), then \( (x+y)+z = x+(y+z) \).

**Proof.** (sketch). This follows from Lemma 17, and the identity

\[ A \cup (B \cup C) = (A \cup B) \cup C. \]

□

**Exercise 9.** Write up the above proof. (You do not need to prove the identity \( A \cup (B \cup C) = (A \cup B) \cup C \), since it is part of basic set theory.)
expand button
Transcribed Image Text:Theorem 19 (Commutative Law). If \( m, n \in \mathbb{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 \( A \cup B \) has size \( m + n \) by the above theorem, and \( B \cup A \) has size \( n + m \). Since \( A \cup B = B \cup A \), we have \( m + n = n + m \). □ Theorem 20 (Associative Law). If \( x, y, z \in \mathbb{N} \), then \( (x+y)+z = x+(y+z) \). **Proof.** (sketch). This follows from Lemma 17, and the identity \[ A \cup (B \cup C) = (A \cup B) \cup C. \] □ **Exercise 9.** Write up the above proof. (You do not need to prove the identity \( A \cup (B \cup C) = (A \cup B) \cup C \), since it is part of basic set theory.)
Expert Solution
Check Mark
Knowledge Booster
Background pattern image
Recommended textbooks for you
Text book image
Advanced Engineering Mathematics
Advanced Math
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Wiley, John & Sons, Incorporated
Text book image
Numerical Methods for Engineers
Advanced Math
ISBN:9780073397924
Author:Steven C. Chapra Dr., Raymond P. Canale
Publisher:McGraw-Hill Education
Text book image
Introductory Mathematics for Engineering Applicat...
Advanced Math
ISBN:9781118141809
Author:Nathan Klingbeil
Publisher:WILEY
Text book image
Mathematics For Machine Technology
Advanced Math
ISBN:9781337798310
Author:Peterson, John.
Publisher:Cengage Learning,
Text book image
Basic Technical Mathematics
Advanced Math
ISBN:9780134437705
Author:Washington
Publisher:PEARSON
Text book image
Topology
Advanced Math
ISBN:9780134689517
Author:Munkres, James R.
Publisher:Pearson,