An -dimensional manifold is intuitively described as a topological space that locally resembles . In other words, if you pick a point on a manifold and “zoom in”, it starts to look more and more like a Euclidean space of the same dimension. According to Penrose a manifold is
… a space that can be thought of as ‘curved’ in various ways, but where, locally (i.e. in a small enough neighborhood of any of its points), it looks like a piece of ordinary Euclidean space.
Some examples will help to illustrate.
Example: If we start with , then , which is just a singleton. This means that a -manifold is one in which every point has a neighborhood that looks like a single point. Thus, a -manifold just is a collection of points.
Example: If , then is the real line. Thus, a -manifold is one in which each point has a neighborhood that looks like an open line segment. A circle is a good example of this. In topology, one ignores “bending” so that a small portion of the circle is treated like a small line segment. Let’s consider this more carefully by considering the unit circle and seeing how it “looks like” a line segment at each point.
Begin with the upper half part of the circle described by .
Note that the -coordinate is always positive on this part of the circle. Since any point on this portion of the circle can be uniquely described by its -coordinate we can use the projection map defined by
to map the open upper half-circle to the open interval .
This mapping is both continuous and invertible. Some example projections are shown in the diagram below.
The pair is called a chart. There are similar charts for the open lower half-circle, the open right half-circle and the open left half-circle. Taken together, these charts cover the whole circle forming an atlas.
Example: For , the space is the plane. Thus, a 2-manifold is one in which every point has a neighborhood that looks like an open portion of the plane. The surface of a sphere or a torus are good examples.
The formal definition of a manifold is a bit involved, so let’s start with the condensed version and unpack it from there.
Definition[Manifold]: A topological manifold is a second-countable Hausdorff space that is locally homeomorphic to Euclidean space.
Let’s first look at what it means for a space to be “second-countable”.
Definition[Second-Countable]: A space is said to be second-countable if its topology has a countable base.
Here a base for a topological space with topology is a collection of open sets in such that every open set in can be written as a union of elements from . The base is said to generate the topology .
That is countable simply means that there exists an injective function . In other words, the elements of can be put in one-to-one correspondence with a subset of the natural numbers.
Next, let’s consider Hausdorff spaces.
Definition[Hausdorff Space]: A Hausdorff space is a topological space such that for all with , there exist neighborhoods in the topology with , and .
Sometimes Hausdorff spaces are referred to as separated spaces. This is illustrated below.
As Penrose puts it
A Hausdorff space has the defining property that, for any two distinct points of the space, there are open sets containing each which do not intersect.
The last bit we need is to understand what it means to be locally homeomorphic to Euclidean space.
Definition[Homeomorphism]: Let and be two topological spaces. A homeomorphism is a function that satisfies the following properties:
- is a bijection.
- is continuous.
- is continuous.
Definition[Local Homeomorphism]: Let and be two topological spaces. A function is called a local homeomorphism if for every point there exists an open set containing , such that the image is open in , and the restriction is a homeomorphism.
So, to be locally homeomorphic to Euclidean space means that every point of an -manifold has a neighborhood that is homeomorphic to an open Euclidean -ball
In other words, if is a second-countable Hausdorff space, then it is locally homeomorphic to Euclidean space iff there exists a function such that for each there is a neighborhood of such that is a homeomorphism (where ).
References:
Differential Forms: A Complement to Vector Calculus, by Steven H. Weintraub
The Road to Reality, by Roger Penrose
Fundamentals of Topology, by Benjamin T. Sims
http://en.wikipedia.org/wiki/Second_countable
http://en.wikipedia.org/wiki/Manifold