I heard of a theorem saying that each $\mathcal{C}^k$-manifold with $k\geq 1$ can be made into a smooth manifold, i.e. $\mathcal{C}^{\infty}$ (by restriction of the atlas).

However, I cannot find this theorem anywhere. Can anyone point me in the write direction (book, paper, webpage, ...) and/or give me the proof?


This result can be found in Hirsch's Differential Topology. More precisely, Theorem $2.9$ of section $2$, chapter $2$ which I have reproduced below.

Theorem: Let $\alpha$ be a $C^r$ differential structure on a manifold $M$, $r \geq 1$. For every $s$, $r < s \leq \infty$, there exists a compatible $C^s$ differential structure $\beta \subset \alpha$, and $\beta$ is unique up to $C^s$ diffeomorphism.

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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