PlanetMath: notes on the classical definition of a manifold

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (192)
Orphanage
Unclass'd (1)
Unproven (490)
Corrections (6)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

notes on the classical definition of a manifold

(Topic)

Classical Definition

Historically, the data for a manifold was specified as a collection of coordinate domains related by changes of coordinates. The manifold itself could obtained by gluing the domains in accordance with the transition functions, provided the changes of coordinates were free of inconsistencies.

In this formulation, a $\mathcal{C}^k$ manifold is specified by two types of information. The first item of information is a collection of open sets

$\displaystyle V_\alpha\subset\mathbb{R}^n,\quad \alpha\in \mathcal{A},$

indexed by some set $\mathcal{A}$ . The second item is a collection of transition functions, that is to say $\mathcal{C}^k$ diffeomorphisms

$\displaystyle \sigma_{\alpha\beta}:V_{\alpha\beta}\rightarrow \mathbb{R}^n,\quad V_{\alpha\beta}\subset V_\alpha,\;$ open $\displaystyle ,\quad\alpha,\beta\in\mathcal{A},$

obeying certain consistency and topological conditions.

We call a pair

$\displaystyle (\alpha,x),\quad \alpha\in \mathcal{A},\; x\in V_\alpha$

the coordinates of a point relative to chart $\alpha$ , and define the manifold

to be the set of equivalence classes of such pairs modulo the relation

$\displaystyle (\alpha,x)\simeq (\beta,\sigma_{\alpha\beta}(x)).$

To ensure that the above is an equivalence relation we impose the following hypotheses.

For $\alpha\in \mathcal{A}$ , the transition function $\sigma_{\alpha\alpha}$ is the identity on $V_\alpha$ .
For $\alpha,\beta\in \mathcal{A}$ the transition functions $\sigma_{\alpha\beta}$ and $\sigma_{\beta\alpha}$ are inverses.
For $\alpha,\beta,\gamma\in \mathcal{A}$ we have for a suitably restricted domain
$\displaystyle \sigma_{\beta\gamma}\circ\sigma_{\alpha\beta} = \sigma_{\alpha\gamma}$

We topologize

with the least coarse topology that will make the mappings from each $V_\alpha$ to

continuous. Finally, we demand that the resulting topological space be paracompact and Hausdorff.

Notes

To understand the role played by the notion of a differential manifold, one has to go back to classical differential geometry, which dealt with geometric objects such as curves and surface only in reference to some ambient geometric setting -- typically a 2-dimensional plane or 3-dimensional space. Roughly speaking, the concept of a manifold was created in order to treat the intrinsic geometry of such an object, independent of any embedding. The motivation for a theory of intrinsic geometry can be seen in results such as Gauss's famous Theorema Egregium, that showed that a certain geometric property of a surface, namely the scalar curvature, was fully determined by intrinsic metric properties of the surface, and was independent of any particular embedding. Riemann [1] took this idea further in his habilitation lecture by describing intrinsic metric geometry of

-dimensional space without recourse to an ambient Euclidean setting. The modern notion of manifold, as a general setting for geometry involving differential properties evolved early in the twentieth century from works of mathematicians such as Hermann Weyl [3], who introduced the ideas of an atlas and transition functions, and Elie Cartan, who investigation global properties and geometric structures on differential manifolds. The modern definition of a manifold was introduced by Hassler Whitney [4] (For more foundational information, follow this link to some old notes by Matthew Frank ).

Bibliography

1: Riemann, B., ``Über die Hypothesen welche der Geometrie zu Grunde liegen (On the hypotheses that lie at the foundations of geometry)'' in M. Spivaks, A comprehensive introduction to differential geometry, vol. II.
2: Spivak, M., A comprehensive introduction to differential geometry, vols I & II.
3: Weyl, H., The concept of a Riemann surface, 1913
4: Whitney, H., Differentiable Manifolds, Annals of Mathematics, 1936.

"notes on the classical definition of a manifold" is owned by rmilson. [ full author list (2) | owner history (1) ]

(view preamble)

See Also: manifold

This object's parent.

Log in to rate this entry.
(view current ratings)

Cross-references: structures, atlas, Euclidean, metric, scalar curvature, property, Gauss', embedding, independent, geometry, plane, surface, curves, objects, classical differential geometry, Hausdorff, paracompact, topological space, continuous, mappings, coarse topology, inverses, identity, equivalence relation, equivalence classes, chart, point, diffeomorphisms, indexed by, open sets, transition functions, changes of coordinates, domains, coordinate, collection, manifold
There are 2 references to this entry.

This is version 7 of notes on the classical definition of a manifold, born on 2004-03-12, modified 2006-06-06.
Object id is 5691, canonical name is NotesOnTheClassicalDefinitionOfAManifold.
Accessed 4283 times total.

Classification:

AMS MSC:

53-03 (Differential geometry :: Historical )

Pending Errata and Addenda

None.[ View all 4 ]

Discussion

forum policy

No messages.

Interact

post | correct | update request | add example | add (any)