Compactness
[47/21%]Prove that a Cauchy sequence in a metric space is bounded.
Prove that every totally bounded metric space is bounded.
Prove that every bounded subset of is totally bounded.
Prove that the closure of a totally bounded set in a metric space is totally bounded.
Prove that a metric space ( ) is totally bounded if and only if every sequence in has a Cauchy subsequence.
Prove that the closure of a bounded set in a metric space is bounded.
Prove that a compact set in a metric space is closed.
Prove that a closed subset of a compact metric space is compact.
Prove that a metric space ( ) is compact if and only if every infinite subset of has a cluster point in .
Prove that a subset of a complete metric space is compact if and only if it is totally bounded and closed.
In the metric space , where , determine all subspaces that are:
complete.
compact.
Prove or disprove: the set is a compact subset of ( ), where .
Let ( ) be a complete metric space. Prove that a set is totally bounded if and only if is compact.
Let ( ) be the metric space of all bounded sequences, with metric , where and . (See Exercise 2.1.13.) Let be the closed ball of radius 1 centered at the zero sequence . Prove that is bounded and closed but not sequentially compact.
Let ( ) be a metric space and let be a set such that is compact for every compact set . Prove that is closed in .
Let ( ) be a metric space. Prove that the distance between a closed set and a compact set that are disjoint cannot be 0 . Give an example to show that this is false if both sets are only closed.
Let be disjoint compact subsets of a metric space ( ). Prove that there exist disjoint, open sets such that and .
Prove that a metric space is compact if and only if every collection of closed subsets of with the finite intersection property (meaning that every finite subcollection has non-empty intersection) has a non-empty intersection.
Prove that a metric space is compact if and only if every decreasing sequence of nonempty closed sets in has nonempty intersection.
Prove that the union of a finite number of compact sets in a metric space is compact.
Let be a compact metric space and let be an increasing sequence of open subsets of such that . Prove that for some .
Let be compact metric spaces. Prove that is a compact metric space with respect to metric as in Exercise 2.1.14.
Determine if is sequentially compact.
Determine if the metric space ( ) is sequentially compact, where if and if .
Determine if the metric space ( ) is sequentially compact, where
Determine if the metric space ( ) is sequentially compact, where
Determine if the metric space is sequentially compact, where
Prove Theorem 2.3.18.
Theorem 2.3.18: Let be a compact metric space and let be continuous. Then is bounded and it attains its extreme values on .
Let ( ) be a metric space and let be continuous. Prove that and are continuous.
Let , let , and suppose that for every interval that contains , the function is unbounded on ( ). Prove that is not continuous at .
Let ( ) be a metric space, let be continuous, and let . Prove that .
Let be a strictly increasing continuous function. Prove that is continuous.
Let ( ) be a metric space, let be continuous, and let . Prove that and are continuous functions. Moreover, if on , prove that is continuous.
Let be a real-valued function on a metric space . Show that the set of points at which is continuous is the intersection of a countable collection of open sets. Conclude that there is no real-valued function on that is continuous at the rational numbers only.
Let ( ) be a metric space and a compact subset of . Suppose that a function is continuous. Prove that is a compact subset of .
Let ( ) be a metric space and . Suppose that functions are continuous and when . Prove that for all .
Let ( ) be a metric space, let , and let . Prove that is a continuous function on .
Let ( ) be a metric space and let and be disjoint, closed subsets of . Prove that there exists a continuous, real-valued function on such that , for all , on , and on .
Let be a sequence of continuous functions that converge to uniformly on and let be a sequence in that converges to . Prove that converges to .
Prove Theorem 2.3.17.
Theorem 2.3.17: Let be a metric space. Every uniformly continuous map is continuous. If, in addition, is compact then every continuous map is uniformly continuous.
Determine whether the function in Example 2.3.12 is uniformly continuous on .
Example 2.3.12: Let . The function , defined by , is continuous on the metric space .
Determine whether the function in Example 2.3.12 is continuous on ( ) with defined as in Exercise 2.1.3, by
Is it uniformly continuous?
Example 2.3.12: Let . The function , defined by , is continuous on the metric space with the metric .
Let ( ) be a metric space and a Cauchy sequence. Suppose that a function is uniformly continuous on . Prove that is a Cauchy sequence in . What if is assumed to be only continuous?
Let ( ) be a metric space and let . Prove that the following statements are equivalent:
The function is upper semicontinuous at every point of .
All sets with are open in .
All sets with are closed in .
Prove that the function is upper semicontinuous at every point except at and it is lower semicontinuous at every point except at .
Let ( ) be a metric space. Suppose that, for every , there exists , a metric space ( ), and a mapping so that is totally bounded, and whenever are such that , then . Prove that is totally bounded.
Prove Banach Fixed-point Theorem (Theorem 2.3.21).
Theorem 2.3.21 (Banach Fixed-point Theorem): A contraction on a metric space has exactly one fixed point, i.e., the point such that .