The title says it all:

Let $M$ be a compact manifold and $N$ a (possible non compact) manifold. Equip the space of smooth functions $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology. (The strong an the weak one coincide, since $M$ is compact)

Hirsch's book on differential topology states without proof that this space is completely metrizable, second countable and locally contractible.

However, is it locally compact?

  • 5
    $\begingroup$ Take $N = \mathbb{R}$. Then a locally compact Hausdorff topological vector space is necessarily finite-dimensional (terrytao.wordpress.com/2011/05/24/…). $\endgroup$ – Qiaochu Yuan May 22 '15 at 18:35
  • 1
    $\begingroup$ @QiaochuYuan $\mathcal{C}^{\infty}(M,\mathbb{R})$ is not a topological vector space. The maximal topological vector space inside is $\mathcal{C}_c^\infty(M,\mathbb{R})$ $\endgroup$ – Kathrin L. Jun 21 '15 at 12:33

No. Look at this book or this other book for much more information.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.