Compact subsets of metric space with French railway metric

Question

Let $A=\{0,1,2,...\}$ with $f$ the French railway metric that has centre $0$ and $f(a,0)=1$ for all $a\in A$ with $a\neq0$.

1. How do I show that the metric space $(A,d)$ is complete?
2. How do I show that $A$ is bounded, but not totally bounded?
3. What is an example of a sequence in $A$ without convergent subsequence?
4. What is an example of an open cover for $A$ without a finite subcover?
5. How do I find all the compact subsets of $A$?

What I know: For the French railway metric we know that for $a,b\in A$ with $a\neq b$ we have $$f(a,b)=f(a,0)+f(0,b)=1+1=2$$ (provided that neither $a$ nor $b$ are $0$, otherwise $f(a,b)=1$).

1. Being complete means that all Cauchy sequences in $A$ converge. I think the trick to proving this lies in the above described French metric, but I don't see it at the moment.
2. Being totally bounded means that there are finite $a_1,...,a_n$ in $A$ such that $A=\bigcup_{i=1}^nB_\epsilon(a_i)$. It seems intuitive that this is not the case, but how do I prove this exactly?
3. Sadly, I have no idea how to handle this one.
4. An open cover is a collection $X$ of open subsets of $A$ such that $A\subset\bigcup_{U\in X}U$. Then we need to find one such that no finite subcolection of $X$ is an open cover for $A$.
5. I was thinking we could take all the finite subsets of $A$; since being compact means that for all open covers of such a subset, there are finitely many elements in that open cover such that these elements are an open cover. But I am not at all sure of this, or even wheteher these would be all the compact subsets.

Answer 1

Hint: $$B_{\varepsilon}(0) = \{0\} \mathrm{\ if\ } \varepsilon \leq 1 \mathrm{\ and\ } B_\varepsilon(0) = A \mathrm{\ otherwise.}$$ Similarly for $a \not=0$: $$B_{\varepsilon}(a) = \{a\} \mathrm{\ if\ } \varepsilon \leq 1, B_\varepsilon(a) = \{0,a\} \mathrm{\ if\ } 1 < \varepsilon \leq 2 \mathrm{\ and\ } B_\varepsilon(0) = A \mathrm{\ otherwise.}$$ Now, for (1): Show that any Cauchy sequence is constant, thus convergent.

(2) Pick $\varepsilon \leq 1$.

(3) Take $x_n = n$.

(4) Similar to (2).

(5) Only the finite ones.

Answer 2

HINT: For $(1)$, the key is to figure out which sequences are Cauchy. If $a,b\in A$, and $f(a,b)<1$, what can you say about $a$ and $b$?

The answer to the following question is the key to answering every other part of the problem:

• If $a\in A$ and $0\le\epsilon\le 1$, what is the set $B_\epsilon(a)$?