Does partition of unity implies second countable?

Question

Reading the definition of partition of unity:

Let $A\subset \Bbb R^n$ and let $\mathcal{O}$ be an open cover of $A$. Then there is a collection $\Phi$ of $C^\infty$ functions $\varphi$ defined in an open set containing $A$, with the following properties:

1. For each $x \in A$ we have $0 \leq \varphi(x) \leq 1$.

2. For each $x \in A$ there is an open set $V$ containing $x$ such that all but finitely many $\varphi \in \Phi$ are $0$ on $V$.

3. For each $x \in A$ we have $\sum_{\varphi \in \Phi}\varphi(x)=1$ (by 2 for each $x$ their sum is finite in some open set containing $x$).

4. For each $\varphi \in \Phi$ there is an open set $U$ in $\mathcal{O}$ such that $\varphi = 0$ outside of some closed set contained in $U$.

Make me feel that implies second countable because of condition (2), but I am no quite sure if this hold.

Answer 1

There is a property called paracompactness stating that every open cover has an open locally finite refinement. So to a given open cover $\mathcal{U}$ there is a refining open cover $\mathcal{V}$ such that every point $x$ has a neighborhood $W$ that intersects only finitely many members of $\mathcal{V}$.

The existence of partition of unity is equivalent to paracompactness. And paracompactness does not imply second countability. Also, every metrizable space is paracompact. Note that second countability is a global property, but paracompactness and metrizability is not. Any topological sum of paracompact or metrizable spaces is paracompact or metrizable, but if you have uncountably many nontrivial summands, then the sum won't be second countable.

Answer 2

Remark: If a topological space $X$ is connected and has a $C^\infty$ atlas, then:

$$X \text{ admits partitions of unity}\Leftrightarrow X \text{ is Hausdorff and second-countable}$$

The proof of $(\Leftarrow)$ can be found in any book on smooth manifolds (for example, in Lee's Introduction to Smooth Manifolds, theorem 2.23).

Here are an outline for $(\Rightarrow)$:

(a) Hausdorff: Let $p,q\in X$ be distinct. Take a partition of unity $\{\varphi_U,\varphi_V\}$ subordinate to the open cover $\{U:=M-\{p\},V:=M-\{q\}\}$. In that case, $\varphi_U(p)=\varphi_V(q)=0$ and $\varphi_U(q)=\varphi_V(p)=1$. The idea is to take small neighbourhood $W_p$ such that $\varphi_U(x)$ is close to $0$ and $\varphi_V(x)$ is close to $1$ for $x\in W_p$. Similarly, take a small $W_q$ at which $\varphi_U(y)$ is close to $1$ and $\varphi_V(y)$ is close to $0$ for $y\in W_q$. Then $W_p,W_q$ separate $p,q$.

(b) Second-countable: Discussed here.