4

Let $S$ and $W$ be subsets of $\mathbb{R}$, with the usual metric,

\begin{align*} S &= \left\{\frac{1}{n} :n\in \mathbb{N}\right\}\cup\{0\} \\ W &= \left\{n+\frac{1}{n}: n\in\mathbb{N}\right\} \end{align*}

I have to check for completeness of these two subsets.

Here is my attempt:

$S$ being closed subset of $\mathbb{R}$ is complete.

$W$ is not closed in $\mathbb{R}$ since it doesn't contain all of its points and hence not complete.

I am not sure whether I am correct or not? Please help me with this.

Thanks

Asaf Karagila
  • 393,674
Srijan
  • 12,518
  • 10
  • 73
  • 115
  • @RossMillikan It was same as I have written. – Srijan Jun 03 '12 at 06:36
  • Then see my comment to the answer – Ross Millikan Jun 03 '12 at 06:37
  • @RossMillikan What would be conclusion then? – Srijan Jun 03 '12 at 06:40
  • If your definition of complete is that all Cauchy sequences converge, it is complete. All Cauchy sequences in $W$ must be eventually constant and converge to something in $W$ – Ross Millikan Jun 03 '12 at 06:42
  • @RossMillikan Do you meaan $W$ has discrete metric induced on it? I am confused with this. I am not able to visualize that $W$ looks like $\mathbb{N}$. – Srijan Jun 03 '12 at 06:47
  • You can use the induced metric from $\mathbb R$, but each point is at distance at least $\frac 12$ from its neighbors ($2$ is included for $n=1$ and $\frac 52$ is included for $n=2$). So once your $\epsilon$ in the Cauchy series is less than $\frac 12$ the series must be constant. My comment that it looks like $\mathbb N$ is because it is an infinite series of isolated points. – Ross Millikan Jun 03 '12 at 06:51
  • @RossMillikan Thank you very much. – Srijan Jun 03 '12 at 07:01

1 Answers1

4

Not only is $S$ closed, it’s also bounded and therefore compact, so it’s certainly complete.

Correction: I somehow misread the definition of $W$ as $\Bbb Z^+\cup\left\{\frac1n:n\in\Bbb Z^+\right\}$, so what I originally said about it is nonsense.

$$W=\left\{n+\frac1n:n\in\Bbb Z^+\right\}=\left\{2,\frac52,\frac{10}3,\dots,\frac{n^2+1}n\dots\right\}\;,$$

which is a closed, discrete set and therefore complete. The minimum distance between any two distinct points of $W$ is $1/2$, between $2$ and $5/2$. To prove this, suppose that $m,n\in\Bbb Z^+$ with $m<n$. Then since $\dfrac1m\le 1$, $m+\dfrac1m\le n<n+\dfrac1n$, and

$$\begin{align*} \left|\left(m+\frac1m\right)-\left(n+\frac1n\right)\right|&=n+\frac1n-\left(m+\frac1m\right)\\ &=n-m-\left(\frac1m-\frac1n\right)\\ &=n-m-\frac{n-m}{mn}\;. \end{align*}$$

Now $n-m<n$, and $mn\ge n$, so $\dfrac{n-m}{mn}<1$, and $n-m-\dfrac{n-m}{mn}>n-m-1$. This is at least $1$ unless $n=m+1$.

If $n=m+1$, $n-m-\dfrac{n-m}{mn}=1-\dfrac1{m(m+1)}$ is maximized when $m=1$, in which case it’s $\dfrac12$.

In all cases, therefore,

$$\left|\left(m+\frac1m\right)-\left(n+\frac1n\right)\right|\ge\frac12$$ when $1\le m<n$.

Brian M. Scott
  • 616,228