Lesson 18 Solutions

Exercise 1)  Let A=\{1, 2\},\ B=\{2, 3\}, \mathrm{\ and\ } C=\{1, 3\}.  How many elements are in (A\sqcup B)\sqcup C?  How many elements are in (B\sqcup C)\sqcup A?  Are the sets (A\sqcup B)\sqcup C and (B\sqcup C)\sqcup A equal?  (This is a subtle question, so if you’re a bit stumped have no worries, I’ll try to explain fully in the solutions).

Solution: Recall from the lesson that the disjoint union of a set with N elements and a set with M elements has N+M elements.  Thus, the disjoint union of A and B has 4 elements (since they both have 2 elements), and so the disjoint union of “A disjoint union B” and C (where “A disjoint union B” is a single set!) has 4+2=6 elements.  I.e., (A\sqcup B)\sqcup C has 6 elements.  The exact same logic applies to show that (B\sqcup C)\sqcup A also has 6 elements.

Now in order to answer the last question in this exercise, we need to get a bit more detailed.  Let’s, for the sake of argument, write out all of the 6 elements in (A\sqcup B)\sqcup C.  I am going to do this by strictly sticking to the notation developed in this lesson, and I’ll warn you now that this will get ugly.  But remember, it’s just notation, and we should never let notation scare us!  All we need to do is take a deep breath and remember what the notation means.

To do this, we first need to write out the elements in A\sqcup B.  From what we learned in the lesson, we see that we have A\sqcup B=\{(1, A), (2, A), (2, B), (3,B)\}, where we put the element in the “first slot” and the set that “labels” the element in the second slot.  Now, to write out the elements in (A\sqcup B)\sqcup C, we simply do this again.  Namely, we write out the elements of each of these two sets in the first slot, with the title of the set “labeling” it in the second slot.  Thus we have

(A\sqcup B)\sqcup C=\{((1,A), A\sqcup B), ((2,A), A\sqcup B), ((2,B), A\sqcup B), ((3,B), A\sqcup B), (1, C), (3, C)\}

If you look closely, you’ll see that we did nothing but take all of the elements in one set and put them in the first slot (only now for the set A\sqcup B the elements themselves already have one set of parentheses (hence the nested parentheses)) while labeling them with the name of the set in the second slot.  The elements in C don’t already have parentheses (and therefore they don’t have nested parentheses) because we have not already disjoint union-ed them with anything.

Viewing things in this way, it becomes clear that the answer to the last question is no, simply because the elements that we create when making the set (A\sqcup B)\sqcup C are different than those that we create when we make the set (B\sqcup C)\sqcup A.  In particular, we have that

(B\sqcup C)\sqcup A=\{((2,B), B\sqcup C), ((3,B), B\sqcup C), ((1,C), B\sqcup C), ((3,C), B\sqcup C), (1, A), (2, A)\}

and these elements are clearly different than those in (A\sqcup B)\sqcup C!

Remember, all of these crazy looking sets are just the inevitable results of the basic notation that we set up in the lesson, and are therefore nothing to be scared of.

Exercise 2)  Let A and B be as above in Exercise 1).  How many elements are in the set (A\cup B) \sqcup C?  (Recall that this means “the disjoint union of the set ‘A union B’ with the set C”).

Solution:  Compared to the first exercise, this one’s a bit easier.  Again, the main fact is that the disjoint union of a set with N elements and a set with M elements has N+M elements, so all we need to do is see how many elements the “component” sets have.  Well C clearly has two elements, so all we need to do is ask about A\cup B.  Remember, though, that the regular union does not distinguish between repeated elements, so A\cup B only has 3 elements because “2” is in both sets.  Thus we’re taking the disjoint union of a set with 3 elements and a set with 2 elements, so the result will have 5 elements.  Done!

Back to Lesson 18

On to the Interlude

On to Lesson 19


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s