15.12.2012 Views

Why Read This Book? - Index of

Why Read This Book? - Index of

Why Read This Book? - Index of

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.

5.4 Interior, Exterior, Boundary, and Cluster Points 177<br />

EXERCISE 5.4.5 Show that zero is a cluster point <strong>of</strong> the following sets.<br />

(a) {1/n} ∞ n=1<br />

(b) [0, 1]<br />

The definition <strong>of</strong> cluster point motivates a new term for convenience.<br />

Definition 5.4.6 For a real number x and ɛ>0, the set Nɛ(x) −{x} is called<br />

the deleted ɛ-neighborhood <strong>of</strong> x and is denoted DNɛ(x). Another way to write<br />

DNɛ(x) is {y ∈ R : 0 < |y − x| 0, A ∩ DNɛ(x) is nonempty.<br />

Cluster points have other common names, for example, limit points or<br />

accumulation points.<br />

EXERCISE 5.4.7 Suppose L is the LUB <strong>of</strong> a set A and L/∈ A. Then L is a cluster<br />

point <strong>of</strong> A.<br />

EXERCISE 5.4.8 What does it mean for x not to be a cluster point <strong>of</strong> A?<br />

If x ∈ A, but x is not a cluster point <strong>of</strong> A, we say that x is an isolated point <strong>of</strong> A.<br />

Notice in the pro<strong>of</strong> <strong>of</strong> the next theorem how we must replace an arbitrarily chosen<br />

ɛ>0 with ɛ2 > 0, which might be smaller. The desired point that we find in<br />

the ɛ2-neighborhood will therefore also be in the ɛ-neighborhood.<br />

Theorem 5.4.9 If A is an open set, then every element <strong>of</strong> A is a cluster point.<br />

Pro<strong>of</strong>. Suppose A is open and pick any x ∈ A. To show x is a cluster point <strong>of</strong> A,we<br />

must first choose ɛ>0. Since A is open, there exists ɛ1 > 0 such that Nɛ1 (x) ⊆ A.<br />

Let ɛ2 = min{ɛ, ɛ1}. Then the point x + ɛ2/2 ∈ A ∩ DNɛ(x).<br />

EXERCISE 5.4.10 Show that the converse <strong>of</strong> Theorem 5.4.9 is not true.<br />

Sometimes one statement might seem stronger than another but is actually<br />

equivalent. In the next exercise, the fact that every deleted neighborhood contains<br />

some point <strong>of</strong> A is actually strong enough to allow you to show that every deleted<br />

neighborhood contains infinitely many points <strong>of</strong> A.<br />

EXERCISE 5.4.11 If x is a cluster point <strong>of</strong> A, then every ɛ-neighborhood <strong>of</strong> x<br />

contains infinitely many elements <strong>of</strong> A. 16<br />

16 Try a pro<strong>of</strong> by contrapositive.

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

Saved successfully!

Ooh no, something went wrong!