Section 2.18:

Definition: Let X be metric space. All points and sets mentioned before are understood to be elements and subsets of X.

(a) A neighbourhood of a point p is a set consisting of all points q such that . The number r is called the radius of .

(b) A point p is a limit point of the set E if every neighbourhood of p contains a point such that .

(c) If and p is not a limit point of E, then p is called an isolated point of E.

(d) E is closed if every limit point of E is a point of E.

(e) A point p is an interior point if there is a neighbourhood N of p such that .

(f) E is open if every point of E is an interior point of E.

(g) The complement of E (denoted by ) is the set of all points such that .

(h) E is perfect if E is closed and if every point of E is a limit point of E.

(i) E is bounded if there is a real number M and a point such that for all points p in E.

(j) E is dense in X if every point of X is a limit point of E, or a point of E (or both).

Let us note that in neighbourhoods are segments, whereas in neighbourhoods are interiors of circles.

2.19 Theorem: Every neighbourhood is an open set.

2.20 Theorem If p is a limit point of a set E, then every neighbourhood of p contains infinitely many points of E.

2.20 Corollary A finite point set has no limit points

2.21 Examples Let us consider the following subsets of .

2.21 a: The set of all complex z such that This is not closed, it is open, it is not perfect set but it is bounded

2.21b: The set of all integers z such that This is closed set, it is not open set, it is a perfect set and it is also bounded.

2.21c: A finite set: Such a set is vacuously closed, it is not open, it is not perfect, it is bounded.

2.21d: The set of all integers. This is a closed set in , this set is not open in , this is not a perfect set in , and it is not bounded

2.21e: The set consisting of the numbers where . Let us note that this set E has a limit point, namely, but that no point of E is a limit point of E, we wish to stress the difference between having a limit point and containing one. What can we say about the basic topological properties of this set ? It is not closed in , it is not open in , it is not perfect in but it is bounded in .

2.21f: The set of all complex numbers that is : this is closed in , this is also open in , this is also perfect set in , but this set is not bounded.

2.21g: the segment . This set is not closed in , it is not open if we regard it as an open set in , whereas it is open in , and it is also bounded in .

NOTE: It is very enriching to compare all the above definitions with the following basic starting point of topology: A set S is said to be topologized if we can answer the following question: Given any real point p and any subset X we can answer the question: is p a limit point of X ? There are two extreme cases here: each point is a limit point….in this case there are simply too many limit points, this is a worthless topology; on the other extreme, there is the case in which no point is a limit point. This is called discrete topology. The very fact that this is endowed with a name means this is not as worthless as the other case !! Now this in view, compare all above definitions with this. Remember Rudin’s emphasis is analysis whereas here it is topology which is emphasised.

2.22 Theorem Let be an arbitrary (finite or infinite) collection of sets . Then

2.23 A set E is open if and only if its complement is closed.

2.23 Corollary: A set F is closed if and only if its complement is open.

2.24 Theorem:

2.24a: For any collection of open sets, is open.

2.24b: For any collection of closed sets, is closed.

2.24c: For any finite collection of open sets is open.

2.24d: For any finite collection of closed sets, is closed.

2.25 Example: In parts (c) and (d) of the preceding theorem, the finitiness of the collections is essential. For, let be the segment where . Then, is an open subset of . Put . Then G consists of a single point (namely, x=0) and is, therefore not an open subset of .

Thus, the intersection of an infinite collection of open sets need not be open. Similarly, the union of an infinite collection of closed sets need not be closed.

2.26 Definition: If X is a metric space, if and if denotes the set of all limit points of E in X, then the closure of E is the set

(Remark: The following few theorems, in my theorem, give an approach to solving problems in analysis: )

(Remark: I have tried to fill the missing gaps in Prof Rudin’s terse, distilled proofs!)

2.27 Theorem: If X is a metric space and , then prove that

2.27a: is closed

2.27b: if and only if E is closed.

2.27c: for every closed set such that .

By (a) and (c), is the smallest closed subset of X that contains E.

Proof:

2.27a: If and , then p is neither a point of E nor a limit point of E. Hence, p has a neighbourhood which does not intersect E. The complement of is therefore open. Hence, is closed.

2.27b: If , from part a, we conclude that E is closed. Conversely, if E is closed, then and by definition of closed and 2.26 theorem above, we get that .

2.27c: Given that F is a closed set, and that , then hence, . Thus, .

2.28 Theorem : Let E be a nonempty set of real numbers which is bounded above. Let . Then prove that . Hence, if E is closed.

****************************************************

Remark: The author Prof Rudin wants us to pause now and compare above with the examples in Sec 1.9. I reproduce Sec 1.8 and Sec 1.9 below for easy reference and understanding:

Sec 1.8: Definition: Suppose S is an ordered set, with , and E is bounded above. Suppose there exists an with the following properties:

(i) is an upper bound of E.

(ii) If then is not an upper bound of E. Then is called the least upper bound of E (that there is at most one such is clear from (ii)) or the supremum of E, and we write:

.

The greatest lower bound or infimum of a set E which is bounded below is defined in the same manner. The statement means that is a lower bound of E and that no with is a lower bound.

Sec 1.9 Examples:

Sec 1.9a example: Let $llatex p^{2}=2$. Let A be the set of all positive rationals p such that and let B consist of all positive rationals p such that . A and B are subsets of the ordered set Q. The set A is bounded above. In fact, the upper bounds of A are exactly the members of B. Since B contains no smallest member, A has no least upper bound in Q.

Similarly, B is bounded below. The set of all lower bounds of B consists of A and of all with . Since A has no largest member, B has no greatest lower bound in Q.

Sec 1.9b example: If exists, then may or may not be a member of E. For instance, let be the set of all with . Let be the set of all with . Then

and and .

Sec 1.9c example: Let E consist of all numbers where . Then , which is in E and inf E = 0, which is not in E.

****************************************************

Now, we come back to our current discussion:

2.28 Theorem: Let E be a nonempty set of real numbers which is bounded above. Let . Then prove that if E is closed.

Proof: If , then . Assume . For every , there exists then a point such that , for otherwise would be an upper bound of E. Thus, y is a limit point of E. Hence,

2.29 Remark Suppose where X is a metric space. To say that E is an open subset of X means that to each point , there is associated a positive number r such that the conditions , imply that . But we have already observed (Sec 2.16) that Y is also a metric space, so that our definitions may equally well be made within Y. To be quite explicit, let us say that E is open relative to Y if to each there is associated an such that whenever and . Example 2.21g showed that a set may be open relative to Y without being an open subset of X. However, there is a simple relation between these concepts, which we now state.

2.30 Theorem Suppose . A subset E of Y is open relative to Y if and only if for some open subset G of X.

Proof:

Suppose E is open relative to Y. To each , there is a positive number such that the conditions and imply that . Let be the set of all such that and define

Thus G is an open subset of X, by theorems 2.19 and 2.24.

Since for all , it is clear that .

By our choice of , we have for every , so that . Thus, , and one half of the theorem is proved.

Conversely, if G is open in X and , every has a neighbourhood . Then , so that E is open relative to Y.

Cheers,

Nalin Pithwa