3
$\begingroup$

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?

$\endgroup$

1 Answer 1

5
$\begingroup$

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.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .