Section 2.3

Compactness

[47/21%]
Show
LaTeX
Problem 2.3.1

Prove that a Cauchy sequence in a metric space is bounded.

?
Problem 2.3.2

Prove that every totally bounded metric space is bounded.

?
Problem 2.3.3

Prove that every bounded subset of Rn\mathbb {R}^{n} is totally bounded.

?
Problem 2.3.4

Prove that the closure of a totally bounded set in a metric space is totally bounded.

?
Problem 2.3.5

Prove that a metric space ( M,dM, d ) is totally bounded if and only if every sequence in MM has a Cauchy subsequence.

?
Problem 2.3.6

Prove that the closure of a bounded set in a metric space is bounded.

?
Problem 2.3.7

Prove that a compact set in a metric space is closed.

?
Problem 2.3.8

Prove that a closed subset of a compact metric space is compact.

?
Problem 2.3.9

Prove that a metric space ( M,dM, d ) is compact if and only if every infinite subset of MM has a cluster point in MM.

?
Problem 2.3.10

Prove that a subset of a complete metric space MM is compact if and only if it is totally bounded and closed.

?
Problem 2.3.11

In the metric space (Q,d)(\mathbb {Q}, d), where d(x,y)=∣x−y∣d(x, y)=\left|x-y\right|, determine all subspaces that are:

?
(a)

complete.

(b)

compact.

Problem 2.3.12

Prove or disprove: the set N\mathbb {N} is a compact subset of ( R,d\mathbb {R}, d ), where d(x,y)=∣x−y∣d(x, y)=\left|x-y\right|.

?
Problem 2.3.13

Let ( M,dM, d ) be a complete metric space. Prove that a set A⊂MA \subset M is totally bounded if and only if Aˉ\bar{A} is compact.

?
Problem 2.3.14

Let ( M,dM, d ) be the metric space of all bounded sequences, with metric d(a,b)=sup⁡{∣an−bn∣:n∈N}d(a, b)=\sup \left\{ \left|a_{n}-b_{n}\right|: n \in \mathbb {N}\right\}, where a={an}a=\left\{ a_{n}\right\} and b={bn}b=\left\{ b_{n}\right\}. (See Exercise 2.1.13.) Let BB be the closed ball of radius 1 centered at the zero sequence (0,0,…)(0,0, \ldots ). Prove that BB is bounded and closed but not sequentially compact.

?
Problem 2.3.15

Let ( M,dM, d ) be a metric space and let A⊂MA \subset M be a set such that A∩KA \cap K is compact for every compact set K⊂MK \subset M. Prove that AA is closed in MM.

?
Problem 2.3.16

Let ( M,dM, d ) 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.

?
Problem 2.3.17

Let K1,K2K_{1}, K_{2} be disjoint compact subsets of a metric space ( M,dM, d ). Prove that there exist disjoint, open sets G1,G2G_{1}, G_{2} such that K1⊂G1K_{1} \subset G_{1} and K2⊂G2K_{2} \subset G_{2}.

?
Problem 2.3.18

Prove that a metric space MM is compact if and only if every collection of closed subsets of MM with the finite intersection property (meaning that every finite subcollection has non-empty intersection) has a non-empty intersection.

?
Problem 2.3.19

Prove that a metric space MM is compact if and only if every decreasing sequence of nonempty closed sets in MM has nonempty intersection.

?
Problem 2.3.20

Prove that the union of a finite number of compact sets in a metric space is compact.

?
Problem 2.3.21

Let MM be a compact metric space and let {Gn}n=1∞\left\{ G_{n}\right\}_{n=1}^{\infty } be an increasing sequence of open subsets of MM such that M=∪n=1∞GnM=\cup_{n=1}^{\infty } G_{n}. Prove that M=GkM=G_{k} for some k∈Nk \in \mathbb {N}.

?
Problem 2.3.22

Let {Mi}i=1n\left\{ M_{i}\right\}_{i=1}^{n} be compact metric spaces. Prove that M:=M1×M2×⋯×MnM:=M_{1} \times M_{2} \times \cdots \times M_{n} is a compact metric space with respect to metric dd as in Exercise 2.1.14.

?
Problem 2.3.23

Determine if C[0,1]C[0,1] is sequentially compact.

?
Problem 2.3.24

Determine if the metric space ( M,dM, d ) is sequentially compact, where d(x,y)=0d(x, y)=0 if x=yx=y and d(x,y)=1d(x, y)=1 if x≠yx \neq y.

?
Problem 2.3.25

Determine if the metric space ( R,d\mathbb {R}, d ) is sequentially compact, where

d(x,y):=∣x−y∣1+∣x−y∣ d(x, y):=\frac{\left|x-y\right|}{1+\left|x-y\right|}
?
Problem 2.3.26

Determine if the metric space ( C[0,1],dC[0,1], d ) is sequentially compact, where

d(f,g):=∫01∣f(x)−g(x)∣dx d(f, g):=\int _{0}^{1}\left|f(x)-g(x)\right| d x
?
Problem 2.3.27

Determine if the metric space (C(−∞,∞),d)(C(-\infty , \infty ), d) is sequentially compact, where

d(f,g):=∑n=1∞12nmax⁡{∣f(x)−g(x)∣:∣x∣≤n}1+max⁡{∣f(x)−g(x)∣:∣x∣≤n} d(f, g):=\sum _{n=1}^{\infty } \frac{1}{2^{n}} \frac{\max \left\{ \left|f(x)-g(x)\right|:\left|x\right| \leq n\right\} }{1+\max \left\{ \left|f(x)-g(x)\right|:\left|x\right| \leq n\right\} }
?
Problem 2.3.28

Prove Theorem 2.3.18.

Theorem 2.3.18: Let (M,d)(M,d) be a compact metric space and let f:M→Rf: M \rightarrow \mathbb {R} be continuous. Then ff is bounded and it attains its extreme values on MM.

?
Problem 2.3.29

Let ( M,dM, d ) be a metric space and let f,g:M→Rf, g: M \rightarrow \mathbb {R} be continuous. Prove that max⁡{f,g}\max \left\{ f, g\right\} and min⁡{f,g}\min \left\{ f, g\right\} are continuous.

?
Problem 2.3.30

Let f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}, let x0∈Rx_{0} \in \mathbb {R}, and suppose that for every interval (a,b)(a, b) that contains x0x_{0}, the function ff is unbounded on ( a,ba, b ). Prove that ff is not continuous at x0x_{0}.

?
Problem 2.3.31

Let ( M,dM, d ) be a metric space, let f:M→Rf: M \rightarrow \mathbb {R} be continuous, and let E⊂ME \subset M. Prove that sup⁡{∣f(x)∣:x∈E}=sup⁡{∣f(x)∣:x∈Eˉ}\sup \left\{ \left|f(x)\right|: x \in E\right\} =\sup \left\{ \left|f(x)\right|: x \in \bar{E}\right\}.

?
Problem 2.3.32

Let f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} be a strictly increasing continuous function. Prove that f−1f^{-1} is continuous.

?
Problem 2.3.33

Let ( M,dM, d ) be a metric space, let f,g:M→Rf, g: M \rightarrow \mathbb {R} be continuous, and let α∈R\alpha \in \mathbb {R}. Prove that αf,f+g\alpha f, f+g and fgf g are continuous functions. Moreover, if g(x)≠0g(x) \neq 0 on MM, prove that f/gf / g is continuous.

?
Problem 2.3.34

Let ff be a real-valued function on a metric space XX. Show that the set of points at which ff is continuous is the intersection of a countable collection of open sets. Conclude that there is no real-valued function on R\mathbb {R} that is continuous at the rational numbers only.

?
Problem 2.3.35

Let ( M,dM, d ) be a metric space and KK a compact subset of MM. Suppose that a function f:K→Rf: K \rightarrow \mathbb {R} is continuous. Prove that f(K)f(K) is a compact subset of R\mathbb {R}.

?
Problem 2.3.36

Let ( M,dM, d ) be a metric space and A⊂MA \subset M. Suppose that functions f,g:M→Rf, g: M \rightarrow \mathbb {R} are continuous and f(x)=g(x)f(x)=g(x) when x∈Ax \in A. Prove that f(x)=g(x)f(x)=g(x) for all x∈Aˉx \in \bar{A}.

?
Problem 2.3.37

Let ( M,dM, d ) be a metric space, let A⊂MA \subset M, and let h(x)=d(x,A)=inf⁡{d(x,a):a∈A}h(x)=d(x, A)= \inf \left\{ d(x, a): a \in A\right\}. Prove that dd is a continuous function on MM.

?
Problem 2.3.38

Let ( M,dM, d ) be a metric space and let AA and BB be disjoint, closed subsets of MM. Prove that there exists a continuous, real-valued function ff on MM such that 0≤f(x)≤10 \leq f(x) \leq 1, for all x∈Mx \in M, f(x)=0f(x)=0 on AA, and f(x)=1f(x)=1 on BB.

?
Problem 2.3.39

Let {fn}\left\{ f_{n}\right\} be a sequence of continuous functions that converge to ff uniformly on [a,b][a, b] and let {xn}\left\{ x_{n}\right\} be a sequence in [a,b][a, b] that converges to xx. Prove that {fn(xn)}\left\{ f_{n}\left(x_{n}\right)\right\} converges to f(x)f(x).

?
Problem 2.3.40

Prove Theorem 2.3.17.

Theorem 2.3.17: Let (M,d)(M,d) be a metric space. Every uniformly continuous map f:M1→M2f: M_{1} \rightarrow M_{2} is continuous. If, in addition, M1M_{1} is compact then every continuous map f:M1→M2f: M_{1} \rightarrow M_{2} is uniformly continuous.

?
Problem 2.3.41

Determine whether the function FF in Example 2.3.12 is uniformly continuous on C[0,1]C[0,1].

Example 2.3.12: Let a∈[0,1]a \in [0,1]. The function F:C[0,1]→RF: C[0,1] \rightarrow \mathbb {R}, defined by F(f)=f(a)F(f) = f(a), is continuous on the metric space C[0,1]C[0,1].

?
Problem 2.3.42

Determine whether the function FF in Example 2.3.12 is continuous on ( C[0,1],dC[0,1], d ) with dd defined as in Exercise 2.1.3, by

d(f,g)=∫01∣f(x)−g(x)∣dx d(f, g)=\int _{0}^{1}\left|f(x)-g(x)\right| d x

Is it uniformly continuous?

Example 2.3.12: Let a∈[0,1]a \in [0,1]. The function F:C[0,1]→RF: C[0,1] \rightarrow \mathbb {R}, defined by F(f)=f(a)F(f)=f(a), is continuous on the metric space C[0,1]C[0,1] with the metric d(f,g)=sup⁡{∣f(x)−g(x)∣:x∈[0,1]}d(f, g)=\sup \left\{ \left|f(x)-g(x)\right|: x \in [0,1]\right\}.

?
Problem 2.3.43

Let ( M,dM, d ) be a metric space and {xn}⊂A⊂M\left\{ x_{n}\right\} \subset A \subset M a Cauchy sequence. Suppose that a function f:M→Rf: M \rightarrow \mathbb {R} is uniformly continuous on AA. Prove that {f(xn)}\left\{ f\left(x_{n}\right)\right\} is a Cauchy sequence in R\mathbb {R}. What if ff is assumed to be only continuous?

?
Problem 2.3.44

Let ( M,dM, d ) be a metric space and let f:M→Rf: M \rightarrow \mathbb {R}. Prove that the following statements are equivalent:

?
(a)

The function is upper semicontinuous at every point of MM.

(b)

All sets {x∈M:f(x)<y}\left\{ x \in M: f(x)<y\right\} with y∈Ry \in \mathbb {R} are open in MM.

(c)

All sets {x∈M:f(x)≥y}\left\{ x \in M: f(x) \geq y\right\} with y∈Ry \in \mathbb {R} are closed in MM.

Problem 2.3.45

Prove that the function f=χ(0,1]f=\chi_{(0,1]} is upper semicontinuous at every point except at x=0x=0 and it is lower semicontinuous at every point except at x=1x=1.

?
Problem 2.3.46

Let ( M,dM, d ) be a metric space. Suppose that, for every ε>0\varepsilon >0, there exists δ>0\delta >0, a metric space ( W,ρW, \rho ), and a mapping Φ:M→W\Phi : M \rightarrow W so that Φ(M)\Phi (M) is totally bounded, and whenever x,y∈Mx, y \in M are such that ρ(Φ(x),Φ(y))<δ\rho (\Phi (x), \Phi (y))<\delta, then d(x,y)<εd(x, y)<\varepsilon. Prove that MM is totally bounded.

?
Problem 2.3.47

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 xx such that f(x)=xf(x)=x.

?