MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Is C^{k+1}(X) compactly contained in C^{k}(X) for a closed manifold X?

Hi all,

I apologize if this question is too low level for mathoverflow. I'm happy to move it to math.stackexchange if so.

Let $X$ be a closed manifold, let $k$ be a nonnegative integer and let $C^k(X)$ denote the space of $k$-times continuously differentiable functions equipped with the $C^k$ norm.

Is $C^{k+1}(X)$ compactly contained in $C^k(X)$? Does this follow from Arzela-Ascoli?

Thanks.

-
Yes. Please move it to MSE. – timur Sep 1 at 1:23
Thanks! Will do. Do you have a reference for this? – trex Sep 1 at 2:26