Let X be a (finite dimensional) manifold. Consider smooth mapping space $$PX = C^\infty(I, X)$$ where I = [0,1] is the closed interval. Is this space paracompact? What if we fix a point x in X and consider the pointed path space, is this space paracompact?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
What topology do you want on $C^\infty(I,X)$? One natural topology, the one of uniform convergence of all derivatives, is metrizable, so paracompact. 

