A classical theorem is saying that every smooth manifold has a smooth partition of unity. My question is:
Which Fréchet manifolds have a smooth partition of unity?
How is the existence of smooth partitions of unity on Fréchet manifolds related to paracompactness of the underlying topology?
From some remarks in some literature, I got the impression that not all Fréchet manifolds have smooth partitions of unity, but some have, e.g. the loop space $LM$ of a finite-dimensional smooth manifold $M$.
For $LM$, the proof seems to be that $LM$ is metrizable, hence paracompact. Is this true for all mapping spaces of the form $C^\infty (K,M)$ for $K$ compact?