Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $M$ and $N$ be two $C^k$ manifolds with $k\geq 1$, with $M$ non compact. I know that $C^k(M,N)$ with its strong (Whitney) topology isn't metrizable and that it's a Baire space. Can I prove that it's a locally compact and/or Hausdorff space or do you have any counterexample ? Thank you!

share|improve this question
1  
Can you handle the case of a simple example, like $M = N = \mathbb{R}$? –  t.b. Sep 12 '12 at 12:38
add comment

1 Answer 1

up vote 1 down vote accepted

The space is Hausdorff because if $f$ and $g$ differ at some point, they can be separated by $C^0$ neighborhoods which are larger than $C^k$ neighborhoods.

But not locally compact, not even sequentially. The issue is that the uniform bound on the $k$-th derivative of $f_n$ does not imply the existence of the $k$-th derivative at the limit. Consider the example $f_n(x)=(x^2+1/n)^{1/2}x^{k-1}$.

share|improve this answer
    
Hello, I indeed found the Hausdorff parts of my question, even though I must admit I had a few problems writing it in all generality (choosing the right charts in $N$). I was stuck with local compactness, because I'm not very used using these topologies. Using sequences seems useful in this case. Thank you. –  Philippe Malot Sep 14 '12 at 20:17
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.