Relationship between smooth manifold and differentiable manifold

$\begingroup$

Define a smooth manifold to be a ringed space (a Hausdorff, second countable, $n$-manifold) that is locally isomorphic (as a ringed space) to the sheaf of smooth real valued functions on some open $U \subseteq \mathbb{R}^n$.

Similarly, a differentiable manifold is a ringed $n$-manifold locally isomorphic to the sheaf of differentiable real valued functions on some open $U \subseteq \mathbb{R}^n$. EDIT: I should also mention the sections of these sheafs are actually real valued functions defined on the open subsets of the space.

I believe I've been told that the two notions are actually equivalent; that is, a differentiable structure can be shown to be smooth. I've heard this is a difficult result.

$\endgroup$ 2

1 Answer

$\begingroup$

Here's my understanding of the relationship, not being a geometer I fully expect to be either told off for misuse of language or supplanted through a better explanation of key concepts.

A differentiable manifold equipped with an equivalence class of atlases whose transition functions are all differentiable. A smooth manifold is a differentiable manifold equipped with smooth transition maps. That is to say; the deriviatives of all orders exists (i.e., it is a $C^{k}$ manifold).

For my purposes, the relations rests on this transition map 'equivalence'.

$\endgroup$ 4

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password

Post as a guest

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

You Might Also Like