I have this exercise;
First part: Let $E$ be a metric space, and $(F_n)$ a decreasing sequence of closed set from $E$ and let $(x_n)$ a convergent sequence such that $x_n\in F_n, $for all $n\geq0$.
Prove that $\lim_{n\rightarrow\infty} x_n\in \bigcap_{n\geq0} F_n$ and give an example such that $\bigcap_{n\geq0} F_n=\emptyset$
----> I know that $\bigcap_{n\geq0} F_n$ is closed but why the limite is exacly in the intersection?
Second part: Let $K_n$ a deceasing sequence of compact nonempty sets from $E$.
Prove that $K=\cap_{n\geq0} K_n$ is nonempty and any open set which contain $K$ then it contain $K_n$ .
Thank you
Let $\lim x_n = x$. Let $\epsilon > 0$. Then there exists an $x_n$ such that $d(x_n, x) < \epsilon$. $x_n \in F_n \subset \cap_{n \ge 0} F_n$ so $x$ is a limit point of $\cap_{n \ge 0} F_n$ and as $\cap_{n \ge 0} F_n$ is closed $x \in \cap_{n \ge 0} F_n$.