The space $(F,d_\infty)$ is not complete

Question

The space $(F,d_\infty)$ is not complete. Find explicitly a nested family of closed balls $(K_n)_{n=1}^\infty$ with $r_n \mapsto 0 $ such that $\cap_{n=1}^\infty K_n = \emptyset$ Here, $F$ is the set of all finite sequences and $d_\infty(x,y) = sup_n |x_n - y_n|$

For the solution I know that for complete spaces $\cap_{n=1}^\infty K_n \ne \emptyset$, and it implies that for an incomplete space $\cap_{n=1}^\infty K_n = \emptyset$ but I do not know how to find closed balls to prove this.

Answer 1

I assume you meant by finite sequence a sequence in $\mathbb R$ or $\mathbb C$ with finite support.

For $n\in \mathbb N$ let $a^n \in F$ be definite by $$ a^n_m = \begin{cases} 2^{-m}, & m \le n \\ 0, & m > n. \end{cases} $$ Further let $r_n = 2^{-n}$ and $$K_n = \{ x\in F \mid d(x, a^n) \le r_n \}. $$

Then, $K_n$ is decreasing and the intersection is empty.