1
$\begingroup$

Is the subspace $C^k([0,T]) \subset C^{k-n}([0,T])$ compact? I think the answer is no. But since $C^k$ is compactly embedded in $C^{k-n}$, it seems like it should be yes in some way. Can I do anything here?

($C^k$ is the space of $k$ times continuously differentiable functions)

  • 0
    Probably it would be helpful for someone who reads this question also to know what do you mean with _compact_ . I think the definition is the following: https://en.wikipedia.org/wiki/Compact_space2016-01-11

1 Answers 1

3

What is true, I think, is that the unit ball of $C^k([0,T])$ is compact in $C^{k-n}([0,T])$.

EDIT: that should be "relatively compact", not "compact".

  • 0
    This shows that the inclusion map $C^k \hookrightarrow C^{k-n}$ is compact, which is probably what the OP was thinking of.2019-04-06