What's manifold?


by KFC
Tags: manifold
KFC
KFC is offline
#1
May5-12, 12:18 AM
P: 369
Hi there,
I find that the term 'manifold' appears in many book of statistical physics or classical mechanics while talking about phase space. I try to search the explanation on online but it is quite abstract and hard to understand what's manifold really refers to. Can anyway explain this a bit with a simplest picture? Thanks
Phys.Org News Partner Physics news on Phys.org
Better thermal-imaging lens from waste sulfur
Scientists observe quantum superconductor-metal transition and superconducting glass
New technique detects microscopic diabetes-related eye damage
K^2
K^2 is offline
#2
May5-12, 01:07 AM
Sci Advisor
P: 2,470
An n-dimensional manifold, in simplest terms, is a representation of non-Euclidean (in general) n-dimensional space that is locally Euclidean* at any point. In other words, you can define a local coordinate system anywhere, but not necessarily a global coordinate system.

Keep in mind, I am oversimplifying a bit. For formal definition, look up pretty much any topology text.
Matterwave
Matterwave is offline
#3
May5-12, 02:22 AM
P: 2,043
One can think of a Manifold as any set of objects which can be described by a set of coordinate charts (called an atlas). A coordinate chart is a mapping between your set of objects to some Euclidean space R^n (n is then the dimension of your manifold). There's really nothing much more to it than that. If you can describe your set of objects in such a way, then it's a manifold.

agostino981
agostino981 is offline
#4
May5-12, 09:51 PM
P: 8

What's manifold?


Quote Quote by K^2 View Post
An n-dimensional manifold, in simplest terms, is a representation of non-Euclidean (in general) n-dimensional space that is locally Euclidean* at any point. In other words, you can define a local coordinate system anywhere, but not necessarily a global coordinate system.

Keep in mind, I am oversimplifying a bit. For formal definition, look up pretty much any topology text.
I am a bit confused. Isn't it the "definition" of differentiable manifold instead of manifold?
K^2
K^2 is offline
#5
May6-12, 09:14 AM
Sci Advisor
P: 2,470
Quote Quote by agostino981 View Post
I am a bit confused. Isn't it the "definition" of differentiable manifold instead of manifold?
Could be. Did I make an assumption that mapping is differentiable when I said that coordinate system could be defined? I think you might be right about that. I'm sure the OP would be dealing with such, but I probably shouldn't have defined it so narrowly anyways. Matterwave's explanation is a lot closer to a formal, general definition of a manifold.
HallsofIvy
HallsofIvy is offline
#6
May6-12, 02:16 PM
Math
Emeritus
Sci Advisor
Thanks
PF Gold
P: 38,879
A "manifold" is a geometric object that is locally Euclidean. More precisely, an n dimensional manifold is a topological space, together with a set of "pairs", [itex]\{(M_\alpha, \phi_\alpha)\}[/itex], in which one member of each pair, [itex]M_\alpha[/itex], is an open set and the other member, [itex]\phi_\alpha[/itex], is a continuous function from [itex]M_\alpha[/itex] to Rn.

We require, further, that if p is any point in the manifold there exist at least one [itex]\alpha[/itex] such that p is in [itex]M_\alpha[/itex] ( the open sets cover the manifold). We require, further, that in the intersection of two such sets, [itex]M_\alpha[/itex] and [itex]M_\beta[/itex], [itex]\phi_\alpha o\phi_\beta[/itex] be a homeomorphism from Rn to itself.

In order to have a differentiable manifold, we require that, in the intersection of [itex]M_\alpha[/itex] and [itex]M_\beta[/itex], both [itex]\phi_\alpha o \phi_\beta[/itex] and [itex]\phi_\beta o\phi_\alpha[/itex] be differentiable.
K^2
K^2 is offline
#7
May6-12, 06:12 PM
Sci Advisor
P: 2,470
Halls, OP states that he looked at former definitions. I think he was looking for a simpler illustration.
haruspex
haruspex is offline
#8
May6-12, 07:12 PM
Homework
Sci Advisor
HW Helper
Thanks ∞
P: 9,154
Quote Quote by HallsofIvy View Post
We require, further, that in the intersection of two such sets, [itex]M_\alpha[/itex] and [itex]M_\beta[/itex], [itex]\phi_\alpha o\phi_\beta[/itex] be a homeomorphism from Rn to itself.
If 'o' here just means the usual composition of functions, there's some inversion missing. But then the functions must be 1-1 onto.
As I read it, the individual functions are required to be homeomorphisms. The composition of one with the inverse of another then is automatically a homeomorphism.

Going back to the original question, maybe some examples help. The mapping of the surface of the earth to flat maps by carving it into overlapping regions is an obvious one.


Register to reply

Related Discussions
Name this 4D Manifold? Differential Geometry 7
Explain simply about the manifold in complex function. Differential Geometry 0
Integrating over a Manifold Calculus 1
Manifold ?! Differential Equations 4
O(3) a 3-manifold in R^9 Calculus 4