Cantor's intersection Theorem: If $(D_n)_{n=1}^\infty$ is a sequence of nonempty closed sets in a complete metric space $(X,d)$ such that $D_{n+1}\subset D_n$ for all $n\in\mathbb{N}$ and $\text{diam}(D_n)\to0$ as $n\to\infty$, then $\bigcap_{n=1}^\infty D_n$ consists of precisely one point.
Give examples with $X=\mathbb{R}$ to show that $\bigcap_{n=1}^\infty D_n$ may be empty or may contain more than one point if the hypothesis $\text{diam}(D_n)\to0$ as $n\to\infty$ is omitted.
My first idea and attempt:
Let $D_0=[\pi-1,\pi]$, so $X$ is closed and nonempty. For each $n\in\mathbb{N}$, we make the $n^{th}$ decimal place $0$, hence $D_{n+1}\subset D_n$. So $D_n$ converges to the set $[\pi-1,3]$. So it contains more than one point. And we have also omitted the hypothesis $\text{diam}(D_n)\to0$ as $n\to\infty$.
Does my example answer the question?
If it does, how can I write it in a more rigorous way?
Another attempt:
What if $D_n=[n,\infty)$? The set is closed right? I am not sure whether this example answer the question.
Thank you for the help!
While your first example is (sort of) fine I'd like you to note that $D_n = D_{n+1}$ for infinitely many $n$'s, namely those for which the $n+1$st decimal place of $\pi$ is $0$. (Actually, I'm not even sure if it has been proven that the decimal representation of $\pi$ contains infinitely many $0$'s, so let's say for many $n$'s and maybe even infinitely many of them.) This can be fixed by setting the leftmost decimal place not equal to zero to zero. You may also set $D_n = [0, 1 + \frac{1}{n}]$. Clearly $D_{n+1} \subsetneq D_n$ for all $n$ and $\bigcap_{n=1}^\infty D_n = [0,1]$.
Regarding your second example: Let $D_n = [n, \infty)$. Then $\mathbb R \setminus D_n = (-\infty, n)$ is open and therefore $D_n$ is closed for all $n$. Moreover $D_{n+1} \subsetneq D_n$ for all $n$ and $\bigcap_{n=1}^\infty D_n = \emptyset$. So this is a valid example as how to violate the conclusion of Cantor's Intersection Theorem - if we drop the premise that $\operatorname{Diam}(D_n) \overset{n \to \infty} \to 0$.