Compactness
[7/100%]A set of a metric space is said to be bounded if it is contained in some ball . Show that a subset of a metric space which is compact must be bounded.
Show that a finite union of compact sets is compact.
Decide whether or not the following subsets of are compact:
;
;
.
A topological space is called Hausdorff if given there are disjoint open sets with , .
Show that in a Hausdorff space, compact sets are closed.
In a general topological space, a set will be open if given , then there is an open set with ; for then we can write as the union of the sets as ranges over the points of , and the union of open sets is open. With this criterion for a set to be open, the proof in the metric case can be modified to prove the result.
Consider the function given by .
Show that is a bijection that is continuous but is not a homeomorphism.
Consider the open set and its image.
Analogous to the definition of least upper bound is that of greatest lower bound. Give a definition of greatest lower bound for a set and use the least upper bound property to show that a set with a lower bound must have a greatest lower bound.
Give an example of a closed, bounded subset of a metric space that is not compact.
Consider the metric space itself to be a bounded noncompact subset of and .