# Difference between revisions of "Differential manifold"

(→Definition in terms of sheaves) |
|||

Line 29: | Line 29: | ||

* A subsheaf of the [[sheaf of continuous functions]] from <math>M</math> to <math>\R</math>, which plays the role of the [[sheaf of infinitely differentiable functions]] | * A subsheaf of the [[sheaf of continuous functions]] from <math>M</math> to <math>\R</math>, which plays the role of the [[sheaf of infinitely differentiable functions]] | ||

− | Such that every | + | Such that for every <math>p \in M</math>, there exists an open set <math>U \ni p</math> and a homeomorphism <math>U \cong V</math> where <math>V</math> is an open subset of <math>\R^n</math>, such that the sheaf restricted to <math>U</math> corresponds, via the homeomorphism, to the usual sheaf of infinitely differentiable functions on <math>V</math>. |

==Relation with other structures== | ==Relation with other structures== |

## Revision as of 19:07, 5 April 2008

## Contents

## Definition

### Definition in terms of atlases

A **differential manifold** or **smooth manifold** is the following data:

- A topological manifold (in particular, is Hausdorff and second-countable)
- An atlas of coordinate charts from to (in other words an open cover of with homeomorphisms from each member of the open cover to open sets in )

satisfying the compatibility condition: the transition function between any two coordinate charts of the atlas is a diffeomomorphism of open subsets of . In symbols:

is a homeomorphism when restricted to the set:

By diffeomorphism, we here mean a map with a inverse.

However, we need to quotient out this data by the following equivalence:

Two atlases of coordinate charts on a topological space define the same differential manifold structure if taking their union still gives an atlas of coordinate charts. In other words, given any coordinate chart in one atlas and any coordinate chart in the other atlas, the transition function between them is a diffeomorphism.

### Definition in terms of sheaves

A **differential manifold** or **smooth manifold** is the following data:

- A topological manifold
- A subsheaf of the sheaf of continuous functions from to , which plays the role of the sheaf of infinitely differentiable functions

Such that for every , there exists an open set and a homeomorphism where is an open subset of , such that the sheaf restricted to corresponds, via the homeomorphism, to the usual sheaf of infinitely differentiable functions on .