27.12.2013 Views

Book of Proof - Amazon S3

Book of Proof - Amazon S3

Book of Proof - Amazon S3

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

26 Sets<br />

Example 1.11 Here the sets A α will be subsets <strong>of</strong> R 2 . Let I = [0,2] =<br />

{<br />

x ∈ R : 0 ≤ x ≤ 2<br />

} . For each number α ∈ I, let Aα = { (x,α) : x ∈ R,1 ≤ x ≤ 2 } . For<br />

instance, given α = 1 ∈ I the set A 1 = { (x,1) : x ∈ R,1 ≤ x ≤ 2 } is a horizontal<br />

line segment one unit above the x-axis and stretching between x = 1 and<br />

x = 2, as shown in Figure 1.11(a). Likewise A 2 = { (x, 2) : x ∈ R,1 ≤ x ≤ 2 } is<br />

a horizontal line segment 2 units above the x-axis and stretching between<br />

x = 1 and x = 2. A few other <strong>of</strong> the A α are shown in Figure 1.11(a), but they<br />

can’t all be drawn because there is one A α for each <strong>of</strong> the infinitely many<br />

numbers α ∈ [0,2]. The totality <strong>of</strong> them covers the shaded region in Figure<br />

1.11(b), so this region is the union <strong>of</strong> all the A α . Since the shaded region<br />

is the set { (x, y) ∈ R 2 : 1 ≤ x ≤ 2,0 ≤ y ≤ 2 } = [1,2] × [0,2], it follows that<br />

⋃<br />

α∈[0,2]<br />

A α = [1,2] × [0,2].<br />

Likewise, since there is no point (x, y) that is in every set A α , we have<br />

⋂<br />

α∈[0,2]<br />

A α = .<br />

y<br />

y<br />

2<br />

A 2<br />

2<br />

1<br />

A 2<br />

A 1<br />

1<br />

⋃<br />

A α<br />

α∈[0,2]<br />

1<br />

A 0.5<br />

A 0.25<br />

x<br />

2<br />

1<br />

2<br />

x<br />

(a)<br />

(b)<br />

Figure 1.11. The union <strong>of</strong> an indexed collection <strong>of</strong> sets<br />

One final comment. Observe that A α = [1,2] × { α } , so the above expressions<br />

can be written as<br />

⋃<br />

[1,2] × { α } ⋂<br />

= [1,2] × [0,2] and [1,2] × { α } = .<br />

α∈[0,2]<br />

α∈[0,2]

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!