Math 104 Assignment 5

1. Intersections of non-compact sets can be badly behaved

   We showed in lecture that if $\set{K_\alpha}$ is a collection of compact subsets of $M$ so that the interesction of every finite subcollection is non-empty, then the intersection of all the $K_\alpha$ is non-empty.

   1. Show that this may fail if the $K_\alpha$ are merely assumed to be closed.
   2. Show that this may fail if the $K_\alpha$ are merely assumed to be bounded.
   3. Suppose that $\set{K_\alpha \mid \alpha\in\mathcal{I}}$ is a collection of compact subsets of $M$ so that the intersection $K_\alpha\cap K_\beta$ is non-empty for each $\alpha, \beta \in \mathcal{I}$. Show that it may nonetheless be the case that \[\bigcap_\alpha K_\alpha = \emptyset.\]

2. Compact sets are bounded

   Prove that compact sets are bounded.

3. Open sets in the plane

   Recall that $d_1(\mathbf{x}, \mathbf y) = \abs{x_1-y_1}+\abs{x_2-y_2}$, $d_2(\mathbf{x}, \mathbf{y}) = \sqrt{\abs{x_1-y_1}^2 + \abs{x_2-y_2}^2}$, and $d_\infty(\mathbf x, \mathbf y) = \max(\abs{x_1-y_1}, \abs{x_2-y_2})$ are all metrics on $\R^2$.

   Let $r \gt 0$ and $\mathbf x \in \R^2$.

   1. Prove that there is some $s \gt 0$ so that \[B_s^{d_1}(\mathbf x) \subseteq B_r^{d_2}(\mathbf x).\]
   2. Prove that there is some $s \gt 0$ so that \[B_s^{d_2}(\mathbf x) \subseteq B_r^{d_\infty}(\mathbf x).\]
   3. Prove that there is some $s \gt 0$ so that \[B_s^{d_\infty}(\mathbf x) \subseteq B_r^{d_1}(\mathbf x).\]
   4. Prove that if $G \subseteq \R^2$ is open with respect to any of the three metrics, then it is open with respect to all of them.

   (Note that there is no reason to find the best $s$ for a given $r$, just any one that works. It may be interesting to think about what the best is, though. Consider also what this says about drawing diamonds inside circles inside squares.)

4. Products of compact sets

   Suppose that $(X_1, d_1), (X_2, d_2)$ are compact metric spaces. Let $K = X_1 \times X_2$ be equipped with the metric $$d\paren{(x_1, x_2), (y_1, y_2)} = \sqrt{d_1(x_1, y_1)^2 + d_2(x_2, y_2)^2}.$$
   1. Suppose $G \subseteq K$ is open and $(x_1, x_2) \in G$. Show that for some $r \gt 0$, $$B_r^{X_1}(x_1) \times B_r^{X_2}(x_2) = \set{(y_1, y_2) \in K \middle\vert d_i(x_i, y_i) \lt r \text{ for } i = 1, 2} \subseteq G.$$
   2. Let $\mathscr{U}$ be an open cover of $K$, fix $x \in X_1$, and write $$\mathscr{U}_x = \set{ G \subseteq X_2 \middle\vert \begin{aligned} G \text{ is open, and } \exists r \gt 0 \text{ and } \\ E \in \mathscr{U} \text{ so that } B_r^{X_1}(x) \times G \subseteq E \end{aligned} }.$$ Prove that $\mathscr{U}_x$ is an open cover of $X_2$.
   3. Prove that there is $r_x \gt 0$ and a finite set $$\mathscr{V}_x \subseteq \mathscr{U}$$ which is an open cover of $B_{r_x}(x) \times X_2 \subseteq K$.
   4. Prove that $K$ is compact. (Hint: $\set{B_{r_x}(x) \mid x \in X_1}$ covers $X_1$.)
   5. Prove that if $(X_1, d_1), (X_2, d_2), \ldots, (X_n, d_n)$ are compact metric spaces, then so is $X_1 \times X_2 \times \cdots \times X_n$ when equipped with the metric $$d(\mathbf{x}, \mathbf{y}) = \sqrt{\sum_{i=1}^n d_i(x_i, y_i)^2},$$ where $\mathbf{x} = (x_1, \ldots, x_n)$ and $\mathbf{y} = (y_1, \ldots, y_n)$.

Here are some further problems to think about out of interest. You do not need to attempt them, nor should you submit them with the assignment.

• More compact products

  1. Repeat question 4, but using the metric $d_\infty(\mathbf{x}, \mathbf{y}) = \max\paren{d_i(x_i, y_i)}$ instead.
  2. Suppose that $\mathcal{I}$ is an infinite set, and that for each $i \in \mathcal{I}$, $(X_i, d_i)$ is a compact metric space with the property that for all $x, y \in X_i$, $d_i(x, y) \leq 1$. Let $$X = \prod_{i\in\mathcal{I}} X_i := \set{ f : \mathcal{I} \to \bigcup_{i\in\mathcal{I}} X_i \,\middle\vert\, \forall\,i \in \mathcal{I}, f(i) \in X_i }.$$ Then $X$ is a metric space when equipped with the metric $$d_\infty(f, g) = \sup\set{d_i(f(i), g(i)) \mid i \in \mathcal{I}}.$$ Prove that $X$ is compact, or show by example that this need not be the case.
  3. Suppose that for each $i \in \N$, $(X_i, d_i)$ is a compact metric space. Designate a fixed "base point" $0_i \in X_i$ for each $i$, and let $$Y = \set{ f : \N \to \bigcup_{i\in\N} X_i \,\middle\vert\, \forall\,i\in\N, f(i) \in X_i \text{ and } \sum_{i=1}^\infty d_i(f(i), 0_i)^2 \lt \infty}.$$ Then $Y$ is a metric space when equipped with the metric $$d(f, g) = \sqrt{\sum_{i=1}^\infty d_i(f(i), g(i))^2}.$$ Prove that $Y$ is compact, or show by example that this need not be the case.

• Intersections of non-compact sets can be badly behaved

  Find an example that shows the statement in problem 1 may fail if the $K_\alpha$ are closed and bounded, but not necessarily compact. (Hint: for this, you will need to work in a metric space other than $\R^n$.)

• Open sets in higher-dimensional Euclidean spaces

  1. Define $d_1, d_2, d_\infty$ on $\R^n$ analogously to how they are defined on $\R^2$. Prove that if $G \subseteq \R^n$ is open with respect to any of the three metrics, then it is open with respect to all of them.
  2. Let $p \gt 1$ and define the metric $d_p$ on $\R^n$ by $d_p(\mathbf x, \mathbf y) = \paren{\sum_{i=1}^n \abs{x_i-y_i}^p}^{1/p}$. Prove that $G \subseteq \R^n$ is open with respect to $d_p$ if and only if it is open with respect to $d_1$.

  (Note that there is no reason to find the best $s \gt 0$ for a given $r$, just any one that works. It may be interesting to think about what the best is, though. Consider what this says about drawing diamonds inside circles inside squares.)

• Unbounded sets and limit points

  Let $(M, d)$ be a metric space, and suppose that $E \subseteq M$ is not bounded. Prove that $E$ has an infinite subset with no limit points in $M$. Use this to show that compact sets are bounded.

  Note that this gives another way to prove that compact sets are bounded.