Skip to main content
2 of 4
added 89 characters in body
Konrad Waldorf
  • 4.5k
  • 4
  • 29
  • 37

Which Fréchet manifolds have a smooth partition of unity?

A classical theorem is saying that every smooth manifold has a smooth partition of unity. My question is:

  1. Which Fréchet manifolds have a smooth partition of unity?

  2. 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?

Konrad Waldorf
  • 4.5k
  • 4
  • 29
  • 37