This is the question, I have solved (a) and know that (c) follows immediately from (b). But I cannot work out (b). The furthest I can go is that I know each $f(F_n)$ is compact by continuity of $f.$

Let $X$ be a compact metric space, let $Y$ be a metric space, and let $f : X → Y$ be continuous. Let $\{F_n\}$ be a sequence of nonempty closed subsets of $X,$ which therefore are also compact sets. Suppose that $F_n ⊃ F_{n+1}$ for all $n.$ It’s obvious that $\bigcap\limits_n F_n$ is nonempty.

(a) Prove that $\bigcap\limits_n f(F_n)$ is nonempty.

(b) Let $y ∈ \bigcap\limits_n f(F_n)$. Prove that there is a subsequence $\{F_{n_j} \}$ of $\{F_n\}$ and a corresponding sequence of points $\{x_{n_j} \}$ such that $x_{n_j} ∈ F_{n_j} ,~ f(x_{n_j} ) = y,$ and $\{x_{n_j} \}$ converges to a point $x.$ Prove that $x ∈ \bigcap\limits_n F_n.$

(c) Prove that $\bigcap\limits_n f(F_n) ⊂ f(\bigcap\limits_n F_n).$

| cite | improve this question | | | | |

You can just choose a sequence $\{x_n\}_{n\in\Bbb{N}}$ such that $x_n\in F_n$ and $f(x_n)=y$ by the assumption $y\in \bigcap\limits_n f(F_n).$ Then all $x_n$ falls in $F_1$ and by the compactness there exists a convergent subsequence $\{x_{n_j}\}.$ The limit falls in the intersection is then clear by the convergence.

In fact, for $n_k\ge n_j,$ we have $x_{n_k}\in F_{n_j},$ which is a closed set since it's a compact set in a Hausdorff space. Thus $x\in F_{n_j}$ for any $j\in\Bbb{N}$ so $x$ is in the intersection.

| cite | improve this answer | | | | |
  • $\begingroup$ Thanks. But this is a problem for continuity, will it be strange if you solution does not use the continuity of f somewhere? And can you explain why by compactness there exists a convergent subsequence of {x_n}? I’m using Rudin but I cannot find a theorem about this. $\endgroup$ – Zhou Chenliang Nov 19 '17 at 15:43
  • $\begingroup$ Sorry I found the theorem that a sequence in a compact metric has a convergent subsequence. So is there anywhere we can use continuity in this question? $\endgroup$ – Zhou Chenliang Nov 19 '17 at 16:11
  • $\begingroup$ You need the continuity to prove (a) I think. $\endgroup$ – User Nov 19 '17 at 23:49
  • $\begingroup$ Thanks I understood. Just one more thing, can you explain why " The limit falls in the intersection is then clear by the convergence." ? $\endgroup$ – Zhou Chenliang Nov 20 '17 at 1:09
  • $\begingroup$ Let me edit my answer to make it clearer. $\endgroup$ – User Nov 20 '17 at 10:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.