7
$\begingroup$

From Wikipedia:

The broadest common definition of manifold is a topological space locally homeomorphic to a topological vector space over the reals.

A topological manifold is a topological space locally homeomorphic to a Euclidean space.

In both concepts, a topological space is homeomorphic to another topological space with richer structure than just topology. On the other hand, the homeomorphic mapping is only in the sense of topology without referring to the richer structure.

I was wondering what purpose it is to map from a set to another with richer structure, while the mapping preserves the less rich structure shared by both domain and codomain? How is the extra structure on the codomain going to be used? Is it to induce the extra structure from the codomain to the domain via the inverse of the mapping? How is the induction like for a manifold and for a topological manifold?

Thanks!

  • 1
    Related: http://math.stackexchange.com/questions/53021/defining-a-manifold-without-reference-to-the-reals2011-08-14

3 Answers 3

4

Yes, $\mathbb{R}^n$ has a richer structure than its topology, but we are not interested in those other structures. The topology of $\mathbb{R}^n$ is very special and corresponds to our most intuitive way of thinking of a "space". So, we are only asking that our manifold is a reasonable geometric object.

In other words, when you define a manifold you DO NOT want to use any other structure of an Euclidian space, just the topological structure. That's why it's defined by a homeomorphism (a map that preserves the topological structure).

  • 0
    @Tim: Hmm... My first thought was that "locally resembling a sphere" is the same as "locally resembling a plane" ("since it's just local anyway") but perhaps that's not the case?2011-08-16
4

The reason to use topological vector spaces as model spaces (for differential manifolds, that is) is that you can define the differential of a curve in a topological vector space. And you can use this to define the differential of curves in your manifold, i.e. do differential geometry.

For more details see my answer here.

All finite dimensional topological vector spaces of dimension n are isomorph to $\mathbb{R}^n$ with its canonical topology, so there is not much choice. But in infinite dimensions things get really interesting :-)

2

Part of what is neglected by the seeming presupposition in the last paragraph is that it says "locally". It's only locally the same, not necessarily globally. Thus a sphere or a torus locally looks like a plane, but is not connected together in the same way.

One thing often added to the definitions is that a manifold is a Hausdorff space. This is not redundant. Some manifolds locally homeomorphic to Euclidean spaces are not Hausdorff spaces. For example take a line with one point missing, and then put two points where that one point was. Then define an open neighborhood of either of those two points to contain the point itself plus the other points of some open neighborhood of the missing point. Those two new points cannot be separated from each other by open sets, so it's not a Hausdorff space.