Indexed Families of Sets

Section 5.5 Indexed Families of Sets

Beginning Activity Beginning Activity 1: The Union and Intersection of a Family of Sets
A4 US

In Section 5.3, we discussed various properties of set operations. We will now focus on the associative properties for set union and set intersection. Notice that the definition of “set union” tells us how to form the union of two sets. It is the associative law that allows us to discuss the union of three sets. Using the associate law, if

A,

B,

and

C

are subsets of some universal set, then we can define

A \cup B \cup C

to be

(A \cup B) \cup C

A \cup (B \cup C) .

That is,

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

🔗

For this activity, the universal set is

N

and we will use the following four sets:

\begin{aligned} A & = {1, 2, 3, 4, 5} & B & = {2, 3, 4, 5, 6} \\ C & = {3, 4, 5, 6, 7} & D & = {4, 5, 6, 7, 8} \end{aligned}

🔗

1.

Use the roster method to specify the sets $A \cup B \cup C,$ $B \cup C \cup D,$ $A \cap B \cap C,$ and $B \cap C \cap D .$

🔗

2.

Use the roster method to specify each of the following sets. In each case, be sure to follow the order specified by the parentheses.

🔗

(a)

$(A \cup B \cup C) \cup D$

🔗

(b)

$A \cup (B \cup C \cup D)$

🔗

(c)

$A \cup (B \cup C) \cup D$

🔗

(d)

$(A \cup B) \cup (C \cup D)$

🔗

(e)

$(A \cap B \cap C) \cap D$

🔗

(f)

$A \cap (B \cap C \cap D)$

🔗

(g)

$A \cap (B \cap C) \cap D$

🔗

(h)

$(A \cap B) \cap (C \cap D)$

🔗

3.

Based on the work in Exercise 2, does the placement of the parentheses matter when determining the union (or intersection) of these four sets? Does this make it possible to define $A \cup B \cup C \cup D$ and $A \cap B \cap C \cap D ?$

🔗

We have already seen that the elements of a set may themselves be sets. For example, the power set of a set

T,

P (T),

is the set of all subsets of

T .

The phrase, “a set of sets” sounds confusing, and so we often use the terms collection and family when we wish to emphasize that the elements of a given set are themselves sets. We would then say that the power set of

T

is the family (or collection) of sets that are subsets of

T .

🔗

One of the purposes of the work we have done so far in this activity was to show that it is possible to define the union and intersection of a family of sets.

🔗

Definition.

Let $C$ be a family of sets. The union of $C$ is defined as the set of all elements that are in at least one of the sets in $C .$ We write

⋃_{X \in C}^{} X = {x \in U ∣ x \in X for some X \in C}

The intersection of $C$ is defined as the set of all elements that are in all of the sets in $C .$ That is,

⋂_{X \in C}^{} X = {x \in U ∣ x \in X for all X \in C}

🔗

For example, consider the four sets

A,

B,

C,

and

D

used earlier in this activity and the sets

S = {5, 6, 7, 8, 9} and T = {6, 7, 8, 9, 10} .

🔗

We can then consider the following families of sets:

A = {A, B, C, D}

and

B = {A, B, C, D, S, T} .

🔗

4.

Explain why

⋃_{X \in A}^{} X = A \cup B \cup C \cup D and ⋂_{X \in A}^{} X = A \cap B \cap C \cap D,

and use your work in Exercise 1, Exercise 2, and Exercise 3 to determine $⋃_{X \in A}^{} X$ and $⋂_{X \in A}^{} X .$

🔗

5.

Use the roster method to specify $⋃_{X \in B}^{} X$ and $⋂_{X \in B}^{} X .$

🔗

6.

Use the roster method to specify the sets ${(⋃_{X \in A}^{} X)}^{c}$ and $⋂_{X \in A}^{} X^{c} .$ Remember that the universal set is $N .$

🔗

Beginning Activity Beginning Activity 2: An Indexed Family of Sets
A4 US

🔗

We often use subscripts to identify sets. For example, in Beginning Activity 1, instead of using

A,

B,

C,

and

D

as the names of the sets, we could have used

A_{1},

A_{2},

A_{3},

and

A_{4} .

When we do this, we are using the subscript as an identifying tag, or index, for each set. We can also use this idea to specify an infinite family of sets. For example, for each natural number

n,

we define

C_{n} = {n, n + 1, n + 2, n + 3, n + 4} .

🔗

So if we have a family of sets

C = {C_{1}, C_{2}, C_{3}, C_{4}},

we use the notation

⋃_{j = 1}^{4} C_{j}

to mean the same thing as

⋃_{X \in C}^{} X .

🔗

1.

Determine $⋃_{j = 1}^{4} C_{j}$ and $⋂_{j = 1}^{4} C_{j} .$

🔗

We can see that with the use of subscripts, we do not even have to define the family of sets

A .

We can work with the infinite family of sets

C^{*} = {A_{n} ∣ n \in N}

🔗

and use the subscripts to indicate which sets to use in a union or an intersection.

🔗

2.

Use the roster method to specify each of the following pairs of sets. The universal set is $N .$

🔗

(a)

$⋃_{j = 1}^{6} C_{j}$ and $⋂_{j = 1}^{6} C_{j}$

🔗

(b)

$⋃_{j = 1}^{8} C_{j}$ and $⋂_{j = 1}^{8} C_{j}$

🔗

(c)

$⋃_{j = 4}^{8} C_{j}$ and $⋂_{j = 4}^{8} C_{j}$

🔗

(d)

${(⋂_{j = 1}^{4} C_{j})}^{c}$ and $⋃_{j = 1}^{4} C_{j}^{c}$

🔗

Subsection The Union and Intersection of an Indexed Family of Sets

🔗

One of the purposes of the beginning activities was to show that we often encounter situations in which more than two sets are involved, and it is possible to define the union and intersection of more than two sets. In Beginning Activity 2, we also saw that it is often convenient to “index” the sets in a family of sets. In particular, if

n

is a natural number and

A = {A_{1}, A_{2}, \dots, A_{n}}

is a family of

n

sets, then the union of these

n

sets, denoted by

A_{1} \cup A_{2} \cup \dots \cup A_{n}

⋃_{j = 1}^{n} A_{j},

is defined as

⋃_{j = 1}^{n} A_{j} = {x \in U ∣ x \in A_{j}, for some j with 1 \leq j \leq n} .

🔗

We can also define the intersection of these

n

sets, denoted by

A_{1} \cap A_{2} \cap \dots \cap A_{n}

⋂_{j = 1}^{n} A_{j},

⋂_{j = 1}^{n} A_{j} = {x \in U ∣ x \in A_{j}, for all j with 1 \leq j \leq n} .

🔗

We can also extend this idea to define the union and intersection of a family that consists of infinitely many sets. So if

B = {B_{1}, B_{2}, \dots, B_{n}, \dots},

then

\begin{aligned} ⋃_{j = 1}^{\infty} B_{j} & = {x \in U ∣ x \in B_{j}, for some j with j \geq 1}, and \\ ⋂_{j = 1}^{\infty} B_{j} & = {x \in U ∣ x \in B_{j}, for all j with j \geq 1} . \end{aligned}

🔗

Progress Check 5.35. An Infinite Family of Sets.

For each natural number $n,$ let $A_{n} = {1, n, n^{2}} .$ For example,

A_{1} = {1} A_{2} = {1, 2, 4} A_{3} = {1, 3, 9},

and

⋃_{j = 1}^{3} A_{j} = {1, 2, 3, 4, 9} ⋂_{j = 1}^{3} A_{j} = {1}

Determine each of the following sets:

🔗

(a)

$⋃_{j = 1}^{6} A_{j}$

Solution.

$⋃_{j = 1}^{6} A_{j} = {1, 2, 3, 4, 5, 6, 9, 16, 25, 36}$

🔗

(b)

$⋂_{j = 1}^{6} A_{j}$

Solution.

$⋂_{j = 1}^{6} A_{j} = {1}$

🔗

(c)

$⋃_{j = 3}^{6} A_{j}$

Solution.

$⋃_{j = 3}^{6} A_{j} = {3, 4, 5, 6, 9, 16, 25, 36}$

🔗

(d)

$⋂_{j = 3}^{6} A_{j}$

Solution.

$⋂_{j = 3}^{6} A_{j} = {1}$

🔗

(e)

$⋃_{j = 1}^{\infty} A_{j}$

Solution.

$⋃_{j = 1}^{\infty} A_{j} = N$

🔗

(f)

$⋂_{j = 1}^{\infty} A_{j}$

Solution.

$⋂_{j = 1}^{\infty} A_{j} = {1}$

🔗

In all of the examples we have studied so far, we have used

N

or a subset of

N

to index or label the sets in a family of sets. We can use other sets to index or label sets in a family of sets. For example, for each real number

x,

we can define

B_{x}

to be the closed interval

[x, x + 2] .

That is,

B_{x} = {y \in R ∣ x \leq y \leq x + 2} .

🔗

So we make the following definition. In this definition,

Λ

is the uppercase Greek letter lambda and

α

is the lowercase Greek letter alpha.

🔗

Definition.

Let $Λ$ be a nonempty set and suppose that for each $α \in Λ,$ there is a corresponding set $A_{α} .$ The family of sets ${A_{α} ∣ α \in Λ}$ is called an indexed family of sets indexed by $Λ .$ Each $α \in Λ$ is called an index and $Λ$ is called an indexing set.

🔗

Progress Check 5.36. Indexed Families of Sets.

In each of the indexed families of sets that we seen so far, if the indices were different, then the sets were different. That is, if $Λ$ is an indexing set for the family of sets $A = {A_{α} ∣ α \in Λ},$ then if $α, β \in Λ$ and $α \neq β,$ then $A_{α} \neq A_{β} .$ (Note: The letter $β$ is the Greek lowercase beta.)

🔗

(a)

Let $Λ = {1, 2, 3, 4},$ and for each $n \in Λ,$ let $A_{n} = {2 n + 6, 16 - 2 n},$ and let $A = {A_{1}, A_{2}, A_{3}, A_{4}} .$ Determine $A_{1},$ $A_{2},$ $A_{3},$ and $A_{4} .$

Solution.

$A_{1} = {7, 14}, A_{2} = {10, 12}, A_{3} = {10, 12}, A_{4} = {8, 14} .$

🔗

(b)

Is the following statement true or false for the indexed family $A$ in (1)?

For all $m, n \in Λ,$ if $m \neq n,$ then $A_{m} \neq A_{n} .$

Solution.

The statement is false. For example, $2 \neq 3$ and $A_{2} = A_{3} .$

🔗

(c)

Now let $Λ = R .$ For each $x \in R,$ define $B_{x} = {0, x^{2}, x^{4}} .$ Is the following statement true for the indexed family of sets $B = {B_{x} ∣ x \in R} ?$

For all $x, y \in R,$ if $x \neq y,$ then $B_{x} \neq B_{y} .$

Solution.

The statement is false. For example, $1 \neq - 1$ and $B_{1} = B_{- 1} .$

🔗

We now restate the definitions of the union and intersection of a family of sets for an indexed family of sets.

🔗

Definition.

Let $Λ$ be a nonempty indexing set and let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets. The union over $A$ is defined as the set of all elements that are in at least one of sets $A_{α},$ where $α \in Λ .$ We write

⋃_{α \in Λ}^{} A_{α} = {x \in U ∣ there exists an α \in Λ with x \in A_{α}} .

The intersection over $A$ is the set of all elements that are in all of the sets $A_{α}$ for each $α \in Λ .$ That is,

⋂_{α \in Λ}^{} A_{α} = {x \in U ∣ for all α \in Λ, x \in A_{α}} .

🔗

Example 5.37. A Family of Sets Indexed by the Positive Real Numbers.

For each positive real number $α,$ let $A_{α}$ be the interval $(- 1, α] .$ That is,

A_{α} = {x \in R ∣ - 1 < x \leq α} .

If we let $R^{+}$ be the set of positive real numbers, then we have a family of sets indexed by $R^{+} .$ We will first determine the union of this family of sets. Notice that for each $α \in R^{+},$ $α \in A_{α},$ and if $y$ is a real number with $- 1 < y \leq 0,$ then $y \in A_{α} .$ Also notice that if $y \in R$ and $y < - 1,$ then for each $α \in R^{+},$ $y \notin A_{α} .$ With these observations, we conclude that

⋃_{α \in R^{+}}^{} A_{α} = (- 1, \infty) = {x \in R ∣ - 1 < x} .

To determine the intersection of this family, notice that

if $y \in R$ and $y < - 1,$ then for each $α \in R^{+},$ $y \notin A_{α};$
if $y \in R$ and $- 1 < y \leq 0,$ then $y \in A_{α}$ for each $α \in R^{+};$ and
if $y \in R$ and $y > 0,$ then if we let $β = \frac{y}{2},$ $y > β$ and $y \notin A_{β} .$

From these observations, we conclude that

⋂_{α \in R^{+}}^{} A_{α} = (- 1, 0] = {x \in R ∣ - 1 < x \leq 0} .

🔗

Progress Check 5.38. A Continuation of Example 5.37.

Using the family of sets from Example 5.37, for each $α \in R^{+},$ we see that

A_{α}^{c} = (- \infty, - 1] \cup (α, \infty) .

Use the results from Example 5.37 to help determine each of the following sets. For each set, use either interval notation or set builder notation.

🔗

(a)

${(⋃_{α \in R^{+}}^{} A_{α})}^{c}$

Solution.

Since $⋃_{α \in R^{+}}^{} A_{α} = (- 1, \infty),$ ${(⋃_{α \in R^{+}}^{} A_{α})}^{c} = (- \infty, 1] .$

🔗

(b)

$⋂_{α \in R^{+}}^{} A_{α}^{c}$

Solution.

$⋂_{α \in R^{+}}^{} A_{α}^{c} = (- \infty, - 1] .$

🔗

(c)

${(⋂_{α \in R^{+}}^{} A_{α})}^{c}$

Solution.

Since $⋂_{α \in R^{+}}^{} A_{α} = (- 1, 0],$ ${(⋂_{α \in R^{+}}^{} A_{α})}^{c} = (- \infty, - 1] \cup (0, \infty) .$

🔗

(d)

$⋃_{α \in R^{+}}^{} A_{α}^{c}$

Solution.

$⋃_{α \in R^{+}}^{} A_{α}^{c} = (- \infty, - 1] \cup (0, \infty) .$

🔗

Subsection Properties of Union and Intersection

🔗

In Theorem 5.39, we will prove some properties of set operations for indexed families of sets. Some of these properties are direct extensions of corresponding properties for two sets. For example, we have already proved De Morgan's Laws for two sets in Theorem 5.26. The work in the beginning activities and Progress Check 5.38 suggests that we should get similar results using set operations with an indexed family of sets. For example, in Beginning Activity 2, we saw that

{(⋂_{j = 1}^{4} A_{j})}^{c} = ⋃_{j = 1}^{4} A_{j}^{c} .

🔗

Theorem 5.39.

Let $Λ$ be a nonempty indexing set and let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets, each of which is a subset of some universal set $U .$ Then

For each $β \in Λ,$ $⋂_{α \in Λ}^{} A_{α} \subseteq A_{β} .$
For each $β \in Λ,$ $A_{β} \subseteq ⋃_{α \in Λ}^{} A_{α} .$
${(⋂_{α \in Λ}^{} A_{α})}^{c} = ⋃_{α \in Λ}^{} A_{α}^{c}$
${(⋃_{α \in Λ}^{} A_{α})}^{c} = ⋂_{α \in Λ}^{} A_{α}^{c}$

Item 3 and Item 4 are known as De Morgan's Laws.

🔗

Proof.

We will prove Item 1 and Item 3. The proofs of Item 2 and Item 4 are included in Exercise 4. So we let $Λ$ be a nonempty indexing set and let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets. To prove Item 1, we let $β \in Λ$ and note that if $x \in ⋂_{α \in Λ}^{} A_{α},$ then $x \in A_{α},$ for all $α \in Λ .$ Since $β$ is one element in $Λ,$ we may conclude that $x \in A_{β} .$ This proves that $⋂_{α \in Λ}^{} A_{α} \subseteq A_{β} .$

To prove Item 3, we will prove that each set is a subset of the other set. We first let $x \in {(⋂_{α \in Λ}^{} A_{α})}^{c} .$ This means that $x \notin (⋂_{α \in Λ}^{} A_{α}),$ and this means that

there exists a $β \in Λ$ such that $x \notin A_{β} .$

Hence,

x \in A_{β}^{c},

which implies that

x \in ⋃_{α \in Λ}^{} A_{α}^{c} .

Therefore, we have proved that

\begin{matrix} (53) & {(⋂_{α \in Λ}^{} A_{α})}^{c} \subseteq ⋃_{α \in Λ}^{} A_{α}^{c} . \end{matrix}

We now let $y \in ⋃_{α \in Λ}^{} A_{α}^{c} .$ This means that there exists a $β \in Λ$ such that $y \in A_{β}^{c}$ or $y \notin A_{β} .$ However, since $y \notin A_{β},$ we may conclude that $y \notin ⋂_{α \in Λ}^{} A_{α}$ and, hence, $y \in {(⋂_{α \in Λ}^{} A_{α})}^{c} .$ This proves that

\begin{matrix} (54) & ⋃_{α \in Λ}^{} A_{α}^{c} \subseteq {(⋂_{α \in Λ}^{} A_{α})}^{c} . \end{matrix}

Using the results in (53) and (54), we have proved that ${(⋂_{α \in Λ}^{} A_{α})}^{c} = ⋃_{α \in Λ}^{} A_{α}^{c} .$

🔗

Many of the other properties of set operations are also true for indexed families of sets. Theorem 5.40 states the distributive laws for set operations.

🔗

Theorem 5.40.

Let $Λ$ be a nonempty indexing set, let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets, and let $B$ be a set. Then

$B \cap (⋃_{α \in Λ}^{} A_{α}) = ⋃_{α \in Λ}^{} (B \cap A_{α}),$ and
$B \cup (⋂_{α \in Λ}^{} A_{α}) = ⋂_{α \in Λ}^{} (B \cup A_{α}) .$

🔗

The proof of Theorem 5.40 is Exercise 5.

🔗

Subsection Pairwise Disjoint Families of Sets

🔗

In Section 5.2, we defined two sets

A

and

B

to be disjoint provided that

A \cap B = \emptyset .

In a similar manner, if

Λ

is a nonempty indexing set and

A = {A_{α} ∣ α \in Λ}

is an indexed family of sets, we can say that this indexed family of sets is disjoint provided that

⋂_{α \in Λ}^{} A_{α} = \emptyset .

However, we can use the concept of two disjoint sets to define a somewhat more interesting type of “disjointness” for an indexed family of sets.

🔗

Definition.

Let $Λ$ be a nonempty indexing set, and let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets. We say that $A$ is pairwise disjoint provided that for all $α$ and $β$ in $Λ,$ if $A_{α} \neq A_{β},$ then $A_{α} \cap A_{β} = \emptyset .$

🔗

Progress Check 5.41. Disjoint Families of Sets.

Figure 5.42 shows two families of sets,

A = {A_{1}, A_{2}, A_{3}, A_{4}} and B = {B_{1}, B_{2}, B_{3}, B_{4}}

Figure 5.42. Two Families of Indexed Sets

🔗

(a)

Is the family of sets $A$ a disjoint family of sets? A pairwise disjoint family of sets?

🔗

(b)

Is the family of sets $B$ a disjoint family of sets? A pairwise disjoint family of sets?

🔗

(c)

Now let the universal set be $R .$ For each $n \in N,$ let $C_{n} = (n, \infty),$ and let $C = {C_{n} ∣ n \in N} .$

Is the family of sets $C$ a disjoint family of sets? A pairwise disjoint family of sets?

Solution.

All three families of sets $(A, B, and C)$ are disjoint families of sets. Only the family $A$ is a pairwise disjoint family of sets.

🔗

Exercises Exercises

🔗

1.

For each natural number $n,$ let $A_{n} = {n, n + 1, n + 2, n + 3} .$ Use the roster method to specify each of the following sets:

🔗

(a)

$⋂_{j = 1}^{3} A_{j}$

Answer.

${3, 4}$

🔗

(b)

$⋃_{j = 1}^{3} A_{j}$

🔗

(c)

$⋂_{j = 3}^{7} A_{j}$

🔗

(d)

$⋃_{j = 3}^{7} A_{j}$

Answer.

${3, 4, 5, 6, 7, 8, 9, 10}$

🔗

(e)

$A_{9} \cap (⋃_{j = 3}^{7} A_{j})$

🔗

(f)

$⋃_{j = 3}^{7} (A_{9} \cap A_{j})$

🔗

2.

For each natural number $n,$ let $A_{n} = {k \in N | k \geq n} .$ Assuming the universal set is $N,$ use the roster method or set builder notation to specify each of the following sets:

🔗

(a)

$⋂_{j = 1}^{5} A_{j}$

Answer.

${5, 6, 7, \dots}$

🔗

(b)

${(⋂_{j = 1}^{5} A_{j})}^{c}$

🔗

(c)

$⋂_{j = 1}^{5} A_{j}^{c}$

Answer.

$\emptyset$

🔗

(d)

$⋃_{j = 1}^{5} A_{j}^{c}$

Answer.

${1, 2, 3, 4}$

🔗

(e)

$⋃_{j = 1}^{5} A_{j}$

🔗

(f)

${(⋃_{j = 1}^{5} A_{j})}^{c}$

Answer.

$\emptyset$

🔗

(g)

$⋂_{j \in N}^{} A_{j}$

🔗

(h)

$⋃_{j \in N}^{} A_{j}$

🔗

3.

For each positive real number $r,$ define $T_{r}$ to be the closed interval $[- r^{2}, r^{2}] .$ That is,

T_{r} = {x \in R | - r^{2} \leq x \leq r^{2}} .

Let $Λ = {m \in N | 1 \leq m \leq 10} .$ Use either interval notation or set builder notation to specify each of the following sets:

🔗

(a)

$⋃_{k \in Λ}^{} T_{k}$

Answer.

${x \in R | - 100 \leq x \leq 100}$

🔗

(b)

$⋂_{k \in Λ}^{} T_{k}$

Answer.

${x \in R | - 1 \leq x \leq 1}$

🔗

(c)

$⋃_{r \in R^{+}}^{} T_{r}$

🔗

(d)

$⋂_{r \in R^{+}}^{} T_{r}$

🔗

(e)

$⋃_{k \in N}^{} T_{k}$

🔗

(f)

$⋂_{k \in N}^{} T_{k}$

🔗

4.

Prove Item 2 and Item 4 of Theorem 5.39. Let $Λ$ be a nonempty indexing set and let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets.

🔗

(a)

For each $β \in Λ,$ $A_{β} \subseteq ⋃_{α \in Λ}^{} A_{α} .$

Answer.

We let $β \in Λ$ and let $x \in A_{β} .$ Then $x \in A_{α},$ for at least one $α \in Λ$ and, hence, $x \in ⋃_{α \in Λ}^{} A_{α} .$ This proves that $A_{β} \subseteq ⋃_{α \in Λ}^{} A_{α} .$

🔗

(b)

${(⋃_{α \in Λ}^{} A_{α})}^{c} = ⋂_{α \in Λ}^{} A_{α}^{c}$

🔗

5.

Prove Theorem 5.40. Let $Λ$ be a nonempty indexing set, let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets, and let $B$ be a set. Then

🔗

(a)

$B \cap (⋃_{α \in Λ}^{} A_{α}) = ⋃_{α \in Λ}^{} (B \cap A_{α}),$ and

Answer.

We first let $x \in B \cap (⋃_{α \in Λ}^{} A_{α}) .$ Then $x \in B$ and $x \in ⋃_{α \in Λ}^{} A_{α} .$ This means that there exists an $α \in Λ$ such that $x \in A_{α} .$ Hence, $x \in B \cap A_{α},$ which implies that $x \in ⋃_{α \in Λ}^{} (B \cap A_{α}) .$ This proves that $B \cap (⋃_{α \in Λ}^{} A_{α}) \subseteq ⋃_{α \in Λ}^{} (B \cap A_{α}) .$

We now let $y \in ⋃_{α \in Λ}^{} (B \cap A_{α}) .$ So there exists an $α \in Λ$ such that $y \in B \cap A_{α} .$ Then $y \in B$ and $y \in A_{α},$ which implies that $y \in B$ and $y \in ⋃_{α \in Λ}^{} A_{α} .$ Therefore, $y \in B \cap (⋃_{α \in Λ}^{} A_{α}),$ and this proves that $⋃_{α \in Λ}^{} (B \cap A_{α}) \subseteq B \cap (⋃_{α \in Λ}^{} A_{α}) .$

🔗

(b)

$B \cup (⋂_{α \in Λ}^{} A_{α}) = ⋂_{α \in Λ}^{} (B \cup A_{α}) .$

🔗

6.

Let $Λ$ and $Γ$ be nonempty indexing sets. (Note: The letter $Γ$ is the uppercase Greek letter gamma.) Also, let $A = {A_{α} ∣ α \in Λ}$ and $B = {B_{β} ∣ β \in Γ}$ be indexed families of sets. Use the distributive laws in Exercise 5 to:

🔗

(a)

Write $(⋃_{α \in Λ}^{} A_{α}) \cap (⋃_{β \in Γ}^{} B_{β})$ as a union of intersections of two sets.

🔗

(b)

Write $(⋂_{α \in Λ}^{} A_{α}) \cup (⋂_{β \in Γ}^{} B_{β})$ as an intersection of unions of two sets.

🔗

7.

Let $Λ$ be a nonempty indexing set and let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets. Also, assume that $Γ \subseteq Λ$ and $Γ \neq \emptyset .$ Prove that

🔗

(a)

$⋃_{α \in Γ}^{} A_{α} \subseteq ⋃_{α \in Λ}^{} A_{α}$

🔗

(b)

$⋂_{α \in Λ}^{} A_{α} \subseteq ⋂_{α \in Γ}^{} A_{α}$

🔗

8.

Let $Λ$ be a nonempty indexing set and let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets.

🔗

(a)

Prove that if $B$ is a set such that $B \subseteq A_{α}$ for every $α \in Λ,$ then $B \subseteq ⋂_{α \in Λ}^{} A_{α} .$

Answer.

Let $x \in B .$ For each $α \in Λ,$ $B \subseteq A_{α}$ and, hence, $x \in A_{α} .$ This means that for each $α \in Λ,$ $x \in A_{α}$ and, hence, $x \in ⋂_{α \in Λ}^{} A_{α} .$ Therefore, $B \subseteq ⋂_{α \in Λ}^{} A_{α} .$

🔗

(b)

Prove that if $C$ is a set such that $A_{α} \subseteq C$ for every $α \in Λ,$ then $⋃_{α \in Λ}^{} A_{α} \subseteq C .$

🔗

9.

For each natural number $n,$ let $A_{n} = {x \in R | n - 1 < x < n} .$ Prove that ${A_{n} | n \in N}$ is a pairwise disjoint family of sets and that $⋃_{n \in N}^{} A_{n} = (R^{+} - N) .$

🔗

10.

For each natural number $n,$ let $A_{n} = {k \in N | k \geq n} .$ Determine if the following statements are true or false. Justify each conclusion.

🔗

(a)

For all $j, k \in N,$ if $j \neq k,$ then $A_{j} \cap A_{k} \neq \emptyset .$

🔗

(b)

$⋂_{k \in N}^{} A_{k} = \emptyset$

🔗

11.

Give an example of an indexed family of sets ${A_{n} | n \in N}$ such all three of the following conditions are true:

For each $m \in N,$ $A_{m} \subseteq (0, 1);$
For each $j, k \in N,$ if $j \neq k,$ then $A_{j} \cap A_{k} \neq \emptyset;$ and
$⋂_{k \in N}^{} A_{k} = \emptyset .$

🔗

12.

Let $Λ$ be a nonempty indexing set, let $A = {A_{α} ∣ α \in Λ}$ be an indexed family of sets, and let $B$ be a set. Use the results of Theorem 5.39 and Theorem 5.40 to prove each of the following:

🔗

(a)

$(⋃_{α \in Λ}^{} A_{α}) - B = ⋃_{α \in Λ}^{} (A_{α} - B)$

Answer.

We first rewrite the set difference and then use a distributive law.

\begin{aligned} (⋃_{α \in Λ}^{} A_{α}) - B & = (⋃_{α \in Λ}^{} A_{α}) \cap B^{c} \\ = ⋃_{α \in Λ}^{} (A_{α} \cap B^{c}) \\ = ⋃_{α \in Λ}^{} (A_{α} - B) \end{aligned}

🔗

(b)

$(⋂_{α \in Λ}^{} A_{α}) - B = ⋂_{α \in Λ}^{} (A_{α} - B)$

🔗

(c)

$B - (⋃_{α \in Λ}^{} A_{α}) = ⋂_{α \in Λ}^{} (B - A_{α})$

🔗

(d)

$B - (⋂_{α \in Λ}^{} A_{α}) = ⋃_{α \in Λ}^{} (B - A_{α})$

🔗

Activity 33. An Indexed Family of Subsets of the Cartesian Plane.

Let $R^{*}$ be the set of nonnegative real numbers, and for each $r \in R^{*},$ let

\begin{aligned} C_{r} & = {(x, y) \in R \times R ∣ x^{2} + y^{2} = r^{2}} \\ D_{r} & = {(x, y) \in R \times R ∣ x^{2} + y^{2} \leq r^{2}} \\ T_{r} & = {(x, y) \in R \times R ∣ x^{2} + y^{2} > r^{2}} = D_{r}^{c} . \end{aligned}

If $r > 0,$ then the set $C_{r}$ is the circle of radius $r$ with center at the origin as shown in Figure 5.43, and the set $D_{r}$ is the shaded disk (including the boundary) shown in Figure 5.43.

Two graphs of the same circle with center at the origin and radius r. The second circle is shaded in. — Figure 5.43. Two Sets for Activity 33

🔗

(a)

Determine $⋃_{r \in R^{*}}^{} C_{r}$ and $⋂_{r \in R^{*}}^{} C_{r} .$

🔗

(b)

Determine $⋃_{r \in R^{*}}^{} D_{r}$ and $⋂_{r \in R^{*}}^{} D_{r} .$

🔗

(c)

Determine $⋃_{r \in R^{*}}^{} T_{r}$ and $⋂_{r \in R^{*}}^{} T_{r} .$

🔗

(d)

Let $C = {C_{r} ∣ r \in R^{*}},$ $D = {D_{r} ∣ r \in R^{*}},$ and $T = {T_{r} ∣ r \in R^{*}} .$ Are any of these indexed families of sets pairwise disjoint? Explain.

Now let $I$ be the closed interval $[0, 2]$ and let $J$ be the closed interval $[1, 2] .$

🔗

(e)

Determine $⋃_{r \in I}^{} C_{r},$ $⋂_{r \in I}^{} C_{r},$ $⋃_{r \in J}^{} C_{r},$ and $⋂_{r \in J}^{} C_{r} .$

🔗

(f)

Determine $⋃_{r \in I}^{} D_{r},$ $⋂_{r \in I}^{} D_{r},$ $⋃_{r \in J}^{} D_{r},$ and $⋂_{r \in J}^{} D_{r} .$

🔗

(g)

Determine ${(⋃_{r \in I}^{} D_{r})}^{c},$ ${(⋂_{r \in I}^{} D_{r})}^{c},$ ${(⋃_{r \in J}^{} D_{r})}^{c},$ and ${(⋂_{r \in J}^{} D_{r})}^{c} .$

🔗

(h)

Determine $⋃_{r \in I}^{} T_{r},$ $⋂_{r \in I}^{} T_{r},$ $⋃_{r \in J}^{} T_{r},$ and $⋂_{r \in J}^{} T_{r} .$

🔗

(i)

Use De Morgan's Laws to explain the relationship between your answers in Task 33.g and Task 33.h.

Section 5.5 Indexed Families of Sets

Beginning Activity Beginning Activity 1: The Union and Intersection of a Family of Sets A4US

1.

2.

(a)

(b)

(c)

(d)

(e)

(f)

(g)

(h)

3.

Definition.

4.

5.

6.

Beginning Activity Beginning Activity 2: An Indexed Family of Sets A4US

1.

2.

(a)

(b)

(c)

(d)

Subsection The Union and Intersection of an Indexed Family of Sets

Progress Check 5.35. An Infinite Family of Sets.

(a)

(b)

(c)

(d)

(e)

(f)

Definition.

Progress Check 5.36. Indexed Families of Sets.

(a)

(b)

(c)

Definition.

Example 5.37. A Family of Sets Indexed by the Positive Real Numbers.

Progress Check 5.38. A Continuation of Example 5.37.

(a)

(b)

(c)

(d)

Subsection Properties of Union and Intersection

Theorem 5.39.

Proof.

Theorem 5.40.

Subsection Pairwise Disjoint Families of Sets

Definition.

Progress Check 5.41. Disjoint Families of Sets.

(a)

(b)

(c)

Exercises Exercises

1.

(a)

(b)

(c)

(d)

(e)

(f)

2.

(a)

(b)

(c)

(d)

(e)

(f)

(g)

(h)

3.

(a)

(b)

(c)

(d)

(e)

(f)

4.

(a)

Beginning Activity Beginning Activity 1: The Union and Intersection of a Family of Sets
A4 US

Beginning Activity Beginning Activity 2: An Indexed Family of Sets
A4 US