Ytukyg

Ex 3.21 If ${E_n}$ is a sequence of closed nonempty and bounded sets in a complete metric space $X$, if $E_{n+1}subset E_n$ and if $$lim_{nrightarrowinfty} mathbb{diam} E_n=0$$
then $bigcap_{n=1}^infty E_n$ consists of exactly one point.

my proof: Let $E=bigcap_{n=1}^infty E_n$, suppose there are two points $p,q$ in $E$, then, $forall nin mathbb{N},Esubseteq E_n$ and $mathbb{diam} E_ngeq mathbb{diam} Egeq d(p,q)$, therefore there is a contradiction for
$$lim_{nrightarrowinfty} mathbb{diam} E_n=0$$
therefore, if $E$ is nonempty, $E$ has a unique point.

now show that $E$ is nonempty,
Select $x_nin E_n$, and let $$X_N:={x_n:ngeq N}$$then $$X_nin E_n,mathbb{diam} E_ngeq mathbb{diam} X_n,lim_{nrightarrowinfty} mathbb{diam} X_n=0$$ therefore sequence ${x_n}$ is cauchy sequence, and because X is complete, ${x_n}$ has limit point $x$, and $E_n$ is closed ,$$forall nin mathbb{N}, xin E_n,(because X_nsubseteq E_n)$$$$therefore xin E blacksquare$$
Question 1. Is there any error in my proof?

Question 2. why are we need boundness of $E_n$?

For the condition that $operatorname{diam}(E_n) to 0$ to make sense we must have that at most finitely many $E_n$ have infinite diameter, and then we could just start the sequence at the first finite diameter set. All sets in the sequence are then bounded, with diameters tending to $0$. So the condition "forces" bounded sets, and anyway, there are counterexamples for unbounded closed sets as $E_n = [n, infty)$ in the reals, another good reason to stay with bounded sets (and if one $E_n$ is bounded, the tail will consist of bounded sets by nestedness and we could just as well have used only bounded sets).

As to your proof, the idea is fine, but the write-up could sometimes be better.

Unicity is fine, if $p neq q $ are both in $cap_n E_n$, for all $n$ $operatorname{diam}(E_n) ge d(p,q) >0$ and the limit condition cannot hold.

Existence: just pick $x_n in E_n$ arbitarily. If $varepsilon >0$, pick $N$ so that $operatorname{diam}(E_N) < varepsilon$. Then for $n,m ge N$, we know that $x_n, x_m in E_{m'} subseteq E_N$ where $m'=max(n,m) ge N$ because the sets are nested and thus $$d(x_n, x_m) le operatorname{diam}(E_{m'}) le operatorname{diam}(E_N) < varepsilon$$ and $(x_n)$ is Cauchy because $varepsilon>0$ was arbitrary.

We know by completeness that $(x_n)$ converges to some $p in X$.
Fix $n$ for now. Then for all $m ge n$, $x_m in E_m subseteq E_n$ and as $E_n$ is closed and $(x_m)_{m ge n} to p$ also, $p in E_n$. As $n$ was arbitary, $p in bigcap_n E_n$ as required. Your sets $X_n$ are superfluous.