# Try It Now

Site: | Saylor Academy |

Course: | CS202: Discrete Structures |

Book: | Try It Now |

Printed by: | Guest user |

Date: | Friday, February 3, 2023, 7:02 PM |

## Description

Work these exercises to see how well you understand this material.

## Exercises

- List all partitions of the set A = {a, b, c}.
- A student, on an exam paper, defined the term partition the following way: “Let A be a set. A partition of A is any set of nonempty subsets A
_{1}, A_{2}, A_{3}, . . . of A such that each element of A is in one of the subsets.” Is this definition correct? Why? - Show that {{2n| n ∈ ℤ},{2n+ 1 | n ∈ ℤ}} is a partition of ℤ. Describe this partition using only words.
- A survey of 90 people, 47 of them played tennis and 42 of them swam. If 17 of them participated in both activities, how many of them participated in neither?
- Regarding the Theorem 2.3.9,
- (a) Use the two set inclusion-exclusion law to derive the three set inclusion- exclusion law. Note: A knowledge of basic set laws is needed for this exercise.
- (b) State and derive the inclusion-exclusion law for four sets.

- The definition of ℚ = {a/b| a, b ∈ ℤ, b ≠ 0} given in Chapter 1 is awkward. If we use the definition to list elements in ℚ, we will have duplications such as , , and . Try to write a more precise definition of the rational numbers so that there is no duplication of elements.

Source: Al Doerr and Ken Levasseur, http://faculty.uml.edu/klevasseur/ads-latex/ads.pdf

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License.

## Solutions

- Answer: {{a}, {b}, {c}}, {{a, b}, {c}}, {{a, c}, {b}}, {{a}, {b, c}}, {{a, b, c}}
- Answer: No. By this definition, it is possible that an element of A might belong to two of the subsets.
- Answer: The first subset is all the even integers and the second is all the odd integers. These two sets do not intersect and they cover the integers completely.
- Answer: Since 17 participated in both activities, 30 of the tennis players only played tennis and 25 of the swimmers only swam. Therefore, 17 + 30 + 25 = 72 of those who were surveyed participated in an activity and so 18 did not.
- Solution: We assume that |A
_{1}∪ A_{2}| = |A_{1}| + |A_{2}| − |A_{1}∩ A_{2}|.

|A_{1}∪ A_{2}∪ A_{3}| = |(A_{1}∪ A_{2}) ∪ A_{3}|*Why?*

= |A_{1}∪ A_{2}| + |A_{3}| − |(A_{1}∪ A_{2}) ∩ A_{3}|*Why?*

= A_{1}∪ A_{2}| + |A_{3}| − |(A_{1}∩ A_{3}) ∪ (A_{2}∩ A_{3})|*Why?*The law for four sets is:

= |A_{1}| + |A_{2}| − |A_{1}∩ A_{2}| + |A_{3}| − (|A_{1}∩ A_{3}| + |A_{2}∩ A_{3}| − |(A_{1}∩ A_{3}) ∩ (A_{2}∩ A_{3})|*Why**?*

= |A_{1}| + |A_{2}| + |A_{3}| − |A_{1}∩ A_{2}| − |A_{1}∩ A_{3}| − |A_{2}∩ A_{3}| + |A_{1}∩ A_{2}∩ A_{3}|*Why**?*

|A_{1}∪ A_{2}∪ A_{3}∪ A_{4}| = |A_{1}| + |A_{2}| + |A_{3}| + |A_{4}| − |A_{1}∩ A_{2}| − |A_{1}∩ A_{3}| − |A_{1}∩ A_{4}| − |A_{2}∩ A_{3}| − |A_{2}∩ A_{4}| − |A_{3}∩ A_{4}| + |A_{1}∩ A_{2}∩ A_{3}| + |A_{1}∩ A_{2 }∩ A_{4}| + |A_{1}∩ A_{3}∩ A_{4}| + |A_{2}∩ A_{3}∩ A_{4}| − |A_{1}∩ A_{2}∩ A_{3}∩ A_{4}|

Derivation:

|A_{1}∪ A_{2}∪ A_{3}∪ A_{4}| = |(A_{1}∪ A_{2}∪ A_{3}) ∪ A_{4}|

= |(A_{1}∪ A_{2}∪ A_{3}| + |A_{4}| − |(A_{1}∪ A_{2}∪ A_{3}) ∩ A_{4 }= |(A_{1}∪ A_{2}∪ A_{3}| + |A_{4}| − |(A_{1}∩ A_{4}) ∪ (A_{2}∩ A_{4}) ∪ (A_{3}∩ A_{4})|

= |A_{1}| + |A_{2}| + |A_{3}| − |A_{1}∩ A_{2}| − |A_{1}∩ A_{3}| − |A_{2}∩ A_{3}| + |A_{1}∩ A_{2}∩ A_{3}| + |A_{4}| − |A_{1}∩ A_{4}| + |A_{2}∩ A_{4}| + |A_{3}∩ A_{4}| − |(A_{1}∩ A_{4}) ∩ (A_{2}∩ A_{4})| − |(A_{1}∩ A_{4}) ∩ (A_{3}∩ A_{4})| − |(A_{2}∩ A_{4}) ∩ (A_{3}∩ A_{4})| + |(A_{1}∩ A_{4}) ∩ (A_{2}∩ A_{4}) ∩ (A_{3}∩ A_{4})|

= |A_{1}| + |A_{2}| + |A_{3}| + |A_{4}| − |A_{1}∩ A_{2}| − |A_{1}∩ A_{3}| − |A_{2}∩ A_{3}| − |A_{1}∩ A_{4}| − |A_{2}∩ A_{4}| − |A_{3}∩ A_{4}| + |A_{1}∩ A_{2}∩ A_{3}| + |A_{1}∩ A_{2}∩ A_{4}| + |A_{1}∩ A_{3}∩ A_{4}| + |A_{2}∩ A_{3}∩ A_{4}| − |A_{1}∩ A_{2}∩ A_{3}∩ A_{4}| - Answer: Partition the set of fractions into blocks, where each block contains fractions that are numerically equivalent. Describe how you would determine whether two fractions belong to the same block. Redefine the rational numbers to be this partition. Each rational number is a set of fractions.