Open main menu

Wikibooks β


< Topology
 ← Čech Homology Manifolds Manifolds/Categories of Manifolds → 

Definition 1 (Topological Manifold)

A topological space is called an -dimensional topological manifold (or -manifold) if,

  1. is Hausdorff.
  2. is second-countable.
  3. Every point has an open neighbourhood that is homeomorphic to an open subset of .

Note: As a convention, the ball is a single point. Any space with the discrete topology is a 0-dimensional manifold.

Note also that all topological manifolds are clearly locally connected.

To emphasize that a given manifold is -dimensional, we will use the shorthand . This is not to be confused with an -ary cartesian product . However, we will prove later that such a construction does exist as well.

The alert reader may wonder why we require the manifold to be Hausdorff and second-countable. The reason for this is to exclude some pathological examples. Two such examples are the long line, which is not second-countable, and the line with two origins, which is not Hausdorff.

Theorem 2

A topological manifold is connected if and only if it is pathwise connected.

Proof: Since all topological manifolds are clearly locally connected, the theorem immediately follows.

Definition 3

Let be a topological -manifold. Let and be an open neighborhood of . Now, let , where , be a homeomorphism. Then the pair is called a chart at .

Definition 4

Let be a topological -manifold, and let be charts on such that . That is, is an open covering of . Then is called an atlas on .

Definition 5

Let be an -manifold and let and be charts are a point (so ). Define the transition function (or chart transformation) between the two charts as the homeomorphism .

Given a pair , where is an -manifold and is an atlas on , properties that may satifsy are often expressed as properties of the transition functions between charts in . This is how we will define our notion of a differentiable manifold.

Definition 6

An atlas for a manifold is smooth (or ) if all the transition functions are smooth (All higher order partial derivatives exist and are continuous).

Definition 7

A diffeomorphism is a smooth homeomorphism such that is also smooth.

Note that in a smooth atlas, all transition functions are diffeomorphisms.

Definition 8

Let be a manifold and be a smooth atlas on . Then, define as the set of all charts on such that for all , and are smooth.

A chart with the property described above is said to be compatible with .

Lemma 9

is a smooth atlas on .

Proof: We have to show that the transition functions between any pair of charts in are smooth. This is obvious if one of then is in, so let and be charts in that are not in , such that . Let be a chart such that . Then and are both smooth, since, both and are compatible with . Then, is smooth since it is a composition of smooth maps. An identical argument for completes the proof.

It should be obvious that if is a smooth atlas containing a smooth atlas , then .

Smooth mapsEdit

Definition 10

Let     be smooth manifolds,  , and let   be a function. Then, if for any charts   on   and   on   such that   and  , the function   from   to   is a smooth function on euclidean spaces, then   is said to be smooth at  .   is called a smooth function if it is smooth for all  .

Lemma 11

  is smooth at   if and only if there exists charts   on   and   on   with   such that   is smooth.

Proof:   is continuous since   is smooth and thus continuous and   and   are homeomorphisms. Let   and   be two other charts at   and  . Then   which is a composition of smooth functions since the atlases on   and   are smooth, and is therefore smooth.

Remark 12

By Lemma 11, we do not have to check all charts to see if a function is smooth. A relief, since maximal atlases tend to be uncountably big.

Definition 12

If   is a smooth bijective function such that its inverse is smooth too, it is called a diffeomorphism. Two manifolds are called diffeomorphic if there exists a diffeomeorphism between them.

Lemma 13

Let   and   be smooth. Then   is smooth as well.

Proof: Let  ,   and   be charts on   at   respectively. Then   which is a composition of smooth maps of euclidean space and is hence smooth.

 ← Čech Homology Manifolds Manifolds/Categories of Manifolds →