Chapter 2: Problem 10
This is the `discrete metric' on a set. Certainly is well defined and iff Symmetry, is immediate from the definition and the triangle inequality
All subsets are open, since if and then and implies and hence Since the complements of open sets are closed it follows that all subsets are closed. The only compact subsets are finite. Indeed if is compact then the open balls of radius with centers in cover and each contains only one point of so the existence of a finite subcover implies that itself is finite.
Chapter 2: Problem 12
We are to show that is compact as a subset of directly from the definition of compactness. So, let be an open cover of It follows that for some But since is open it contains some ball of radius around Thus all the points for For each we can find some such that since the cover Thus we have found a finite subcover
Chapter 2: Problem 16
Here is the metric space, with the `usual' metric. Set
To see that is not compact, recall that if it were compact as a subset of it would be compact as a subset of by Theorem 2.33. Since it is not closed as a subset of it cannot be compact. Alternatively, for a direct proof of non-compactness, take the open cover given by the open sets This can have no finite subcover since contains points arbitrarily close to the real point
Yes is open in since it is of the form where is open, so Theorem 2.30 applies.
Chapter 2: Problem 22
We need to show that the set of rational points, is dense in We can use the fact that is dense. Thus, given and there exists such that for each Thus, as points in
Chapter 2: Problem 23
We are to show that a given separable metric space, has a countable base. The hint is to choose a countable dense subset and then to consider the collection, of all open subsets of of the form where and This is a countable union, over of countable sets so is countable. Now, we need to show that this is a base. So, suppose is a given open set. If then for some since it is open. Also, by the density of in there exists some with But then implies Thus It follows that
Chapter 2: Problem 25
We wish to show that a given compact metric space has a countable base. As the hint says, for each consider the balls of radius around each of the points of
Alternatively one can see directly that the form an open base.
Richard B. Melrose 2004-05-18