Welcome to MathOverflow

Question

2

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.

flag	asked Sep 1 at 0:14 trex 31●1

3

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

jbc · Answer 1 · 2012-09-03 12:42:17Z UTC

The answer depends on what you mean by a closed manifold and a compact operator. If the manifold is compact without boundary then the spaces involved are Banach spaces and the answer is yes and this is indeed proved using the Arzela-Ascoli theorem, after a standard localisation argument.

If the manifold is without boundary but not compact (think real line), then the spaces are Frechet spaces and the answer depends on what you mean by a compact operator on a locally convex space. If you define these as taking bounded sets into relatively compact ones, then the answer is yes, but if you mean those which take a neighbourhood of zero to a relativeley compact set (the usual definition), then the answer is no.

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

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.