Topology given by atlas is paracompact I'm currently reading Jeffrey M. Lee Manifolds and Differential Geometry book. I don't understand a part in the proof of Proposition 1.32. (iii).
Proposition 1.32. says:

Let $M$ be a set with a $C^r$ structure given by an atlas
  $\mathcal{A}$. We have the following:
(i) If for every two distinct points $p, q ∈ M$, we have that either
  $p$ and $q$ are respectively in disjoint chart domains $U_\alpha$ and
  $U_\beta$ from the atlas, or they are both in a common chart domain,
  then the topology induced by the atlas is Hausdorff.
(ii) If $A$ is countable, or has a countable subatlas, then the
  topology induced by the atlas is second countable.
(iii) If the collection of chart domains $\{U_\alpha\}_{\alpha\in A}$
  from the atlas $A$ is such that for every fixed $\alpha_0\in A$ the
  set $\{\alpha \in A:U_\alpha\cap U_{\alpha_0}\neq \emptyset\}$ is at
  most countable, then the topology induced by the atlas is paracompact.
  Thus, if this condition holds and if M is connected, then the topology
  induced by the atlas is second countable.

Lee starts the proof leaving (i) and (ii) as exercises and then he says:

We prove (iii). Give $M$ the topology induced by the atlas. It is
  enough to prove that each connected component has a countable basis.

The bold sentence is what I don't understand. He is probably using this theorem from the appendix:

Proposition B.5. If $X$ is a locally Euclidean Hausdorff space, then
  the are following properties equivalent: 
(1) X is paracompact.
(2) X is metrizable.
(3) Each connected component of X is second countable.
(4) Each connected component of X is σ-compact.
(5) Each connected component of X is separable.

The problem is that to use B.5 one has to know beforehand that $M$ is hausdorff, which requires verifying (i), but this is not done. So how does one justify the bold sentence?
I know I'm kinda nitpicking here because in practice 99% of the atlases will verify (i) to unsure hausdorffness (otherwise it would be really weird), but I still want to know this precisely.
 A: Part (iii) is in fact false as stated; you have to additionally assume $M$ is Hausdorff (or that the condition of part (i) holds).  Here is a counterexample.  Let $M=(-\infty,0)\cup(\mathbb{N}\times [0,\infty))$.  For each $n\in\mathbb{N}$, define $f_n:\mathbb{R}\to M$ by $f_n(t)=t$ if $t<0$ and $f_n(t)=(n,t)$ if $n\geq 0$.  These maps $f_n$ can be taken as an atlas on $M$, which trivially satisfies (iii) since there are only countably many of them.  However, I claim that the induced topology on $M$ is not paracompact.
Indeed, let $U_n=f_n(\mathbb{R})$; the $U_n$ form an open cover of $M$.  Let $\mathcal{U}$ be any refinement of this open cover.  Note that for each $n$, $\mathcal{U}$ contains a neighborhood of $(n,0)$, and these neighborhoods are different for different values of $n$ since they must be contained in $U_n$.  But any neighborhood of $(n,0)$ contains the entire interval $(-\epsilon,0)$ for sufficiently small $\epsilon$.  In particular, all of these sets will intersect every neighborhood of $(0,0)\in M$ (on the negative side).  So there is no neighborhood of $(0,0)$ which intersects only finitely many sets in $\mathcal{U}$, so $\mathcal{U}$ is not locally finite.
