# Is the space $(X,p)$ complete? If not what is its completion?

Consider the set $X = \{(x_n): \sup n|x_n| < \infty\}$ with the metric $p(x,y) = \sum_{n=1}^\infty |x_n-y_n|/n$. Is the space $(X,p)$ complete? If not what is its completion?

In such questions I do not know how to start with or approach it. If it is not complete then I need to find a cauchy sequence that does not converge. If I take $x_n = 1/n$ then it is in the set X. But how can I say it it cauchy under this distance metric. I need to show $\exists N$ s.t. $\forall n,m>N$: $d(x_n,x_m)< \epsilon \ \forall\epsilon>0$ but I cannot figure out how to apply this $d(x_n,x_m)< \epsilon$ under the metric p.

• Note that it is often simpler to find a convergent sequence (in an extension of $X$) but whose limit does not belong to $X$ because the limit does not verify the $\sup$ property. – zwim Dec 18 '17 at 1:17

The space is not complete. Let $\{x_n\}$ be any sequence such that $\{nx_n\}$ is not bounded but $\sum |x_n|^{2}<\infty$. For example, we can take $x_n=\frac {log {n}} n$. Consider the sequence $x^{(j)}$ in X where $x^{(j)}_n =x_n$ if $n \leq j$ and 0 otherwise. Coordinate wise this sequence in X converges to $\{x_n\}$ which does not belong to X. It is easy to check (using Cauchy-Schwartz inequality) that the sequence $x^{(j)}$ is Cauchy which does not converge in X.
• The completion is $\{\{x_n\}:\sum \frac {|x_n|} n <\infty\}$ – Kavi Rama Murthy Dec 18 '17 at 8:23