I thought those are ethymologically about the thin-walled containment of a volumetric interior space where said space is connected to only specific ports/holes, and is often but not necessarily mandatory intertwined with a second such containment for a second space (intake+exhaust).
This is a very informative article about the history of manifolds and their significance. Don’t let the title fool you into this being just a definition.
It’s actually much more well written than the majority or articles we usually come across.
Agreed. I'm not a mathematician - and to me a manifold is more familar in the context of engines. But I found both the text and the diagrams very useful.
Is that really a good article? I thought it was average. It had some big flaws but was probably still informative for readers with no mathematical knowledge in the domain.
For instance, consider the only concrete example in the article: the space of all possible configurations of a double pendulum is a manifold. The author claims it's useful to see it in a manifold, but why? Precisely, why more as a manifold than as a square [O,2π[²?
I also expected more talk about atlases. In simple cases, it's easy to think of a surface as a deformation of a flat shape, so a natural idea is to think of having a map from the plan to the surface. But, even for a simple sphere, most surfaces can't map to a single flat part of the plan, and you need several maps. But how do you handle the parts where the maps overlap? What Riemmann did was defining properties on this relationship between manifold points and maps (which can be countless).
BTW, I know just enough about relativity to deny that "space-time [is] a four-dimensional manifold", at least a Riemmannian manifold. IIRC, the usual term is Minkowski-spacetime.
This reminds me of how physicists will define a tensor. So a second rank tensor is the object that transforms according as second rank tensor when the basis (or coordinates) changes. You might find it circular reasoning but it is not, This transformation property is what distinguishes tensors (of any rank) from mere arrays of numbers.
Looking at things from abstract view does allow us not to worry about how we visualize the geometry which is actually hard and sometimes counter intuitive.
I found the physicist definition of a tensor is actually more confusing, because you are faced with these definitions how to transform these objects, but you never are really explained where does it all come from. While the mathematical definition through differential forms, co-vectors, while being longer actually explains these objects better.
> You might find it circular reasoning but it is not
Um, yes it is. "A foo is an object that transforms as a foo" is a circular definition because it refers to the thing being defined in the definition. That is what "circular definition" means.
Of course, there are some definitions that reference themselves that are not circular, or alternatively, some circular definitions that are useful. For example, the definition of "ancestors" might be "your parents and your parents' ancestors" (with the implication that if you don't exist, you don't have any ancestors). But I agree that this is not a useful definition for "tensor".
I don't get why people act like this definition is so circular. If you were to explain in detail what "transforms as a second rank tensor" means then it wouldn't be circular anymore. This just isn't the full definition.
I always found interesting that the English mathematical terminology has two different names for "stuff that locally looks like R^n" (manifold) and "stuff that is the zero locus of a polynomial" (variety). Other languages use the same word for both, adding maybe an adjective to specify which one is meant if not clear from the context. In Italian for example they're both "varietà"
Stand at one of the poles. Walk to the equator, turn 90 degrees. Walk 1/4 the way around the equator, turn 90 degrees again. Then walk back to the pole. A triangle with sum 270 degrees!
Stand at one of the poles. Walk to the equator, turn 90 degrees. Walk 1/2 way around the equator, turn 90 degrees again. Walk back to the pole. Now the triangle sums 360 degrees!
A manifold is a surface that you can put a cd shaped object on in any place on the surface, you can change the radius of the cd but it has to have some radius above 0.
Man, I wish that the modern internet -- and great stuff like this -- had been around when I took GR way back when. My math chops were never good enough to /really/ get it and there were so many concepts (like this one) that were just symbols to me.
> They’re as fundamental to mathematics as the alphabet is to language. “If I know Cyrillic, do I know Russian?” said Fabrizio Bianchi (opens a new tab), a mathematician at the University of Pisa in Italy. “No. But try to learn Russian without learning Cyrillic.”
Something's gone badly wrong here. "Without learning Cyrillic" is the normal way to learn Russian. Pick a slightly less prominent language and 100% of learners will do it without learning anything about the writing system.
I first learned about manifolds through Introduction to Smooth Manifolds by John M. Lee. The book is dense but beautifully structured, guiding you from basic topology to smooth maps and tangent spaces with clear logic. It demands focus, yet every definition builds toward a deeper picture of how geometry works beneath the surface. Highly recommended.
I rarely see manifolds applied directly to cartographic map projections, which I've read about a bit, though the latter seem like just one instance of the former. Does anyone know why cartographers don't use manifolds, or mathematicians don't apply them to cartography? (Have I just overlooked it?)
What a terrible article. Can anyone who is not a mathematician tell me one thing they learned from this?
The naked term "manifold" in its modern usage, refers to a topological manifold, loosely a locally euclidean hausdorff topological space, which has no geometry intrinsic to it at all. The hyperbolic plane and the euclidean plane are different geometries you can put on the same topological manifold, and even does not depend on the smooth structure. In order to add a geometry to such a thing, you must actually add a geometry to it, and there are many inequivalent ways to do this systematically, none of which work for all topological manifolds.
Does the way "manifold" is used when describing subsets of the representational space of neural networks (e.g. "data lies on a low-dimensional manifold within the high-dimensional representation space") actually correspond to this formal definition, or is it just co-opting the name to mean something simpler (just an embedded sub-space)?
If it is the formal definition being used, then why? Do people actually reason about data manifolds using "atlases" and "charts" of locally euclidean parts of the manifold?
Every time I try to get some handle on the essence of this topic I fail. No different here. In the second paragraph it defines manifolds as "... shapes that look flat to an ant living on them, even though they might have a more complicated global structure"
So manifolds are complicated shapes that are at large enough a scale that an ant (which species?) will think they're flat....ok
Manifold: Any m dimensional hyperplane embedded in an n dimensional Euclidean space, where m is less than or equal to n. More simply put, a manifold is any set that can be continuously parameterized, with the number of parameters being the dimension of the manifold.
A continuous manifold will have a line element that allows you to compute distances between its points using its parameters. The simplest line element was first written down by Pythagorus I think, it allows you to compute the distance between two points in a flat manifold. In physics we do away with gravitational forces by realizing that masses move along geodesics (shortest paths) of a manifold, hence the saying,"matter tells spacetime how to curve and spacetime tells matter how to move". We stich together large curvy manifolds like a patch quilt from the locally Euclidean tangent spaces that we erect at any point.
39 comments
[ 3.9 ms ] story [ 294 ms ] threadIt’s actually much more well written than the majority or articles we usually come across.
For instance, consider the only concrete example in the article: the space of all possible configurations of a double pendulum is a manifold. The author claims it's useful to see it in a manifold, but why? Precisely, why more as a manifold than as a square [O,2π[²?
I also expected more talk about atlases. In simple cases, it's easy to think of a surface as a deformation of a flat shape, so a natural idea is to think of having a map from the plan to the surface. But, even for a simple sphere, most surfaces can't map to a single flat part of the plan, and you need several maps. But how do you handle the parts where the maps overlap? What Riemmann did was defining properties on this relationship between manifold points and maps (which can be countless).
BTW, I know just enough about relativity to deny that "space-time [is] a four-dimensional manifold", at least a Riemmannian manifold. IIRC, the usual term is Minkowski-spacetime.
Looking at things from abstract view does allow us not to worry about how we visualize the geometry which is actually hard and sometimes counter intuitive.
Um, yes it is. "A foo is an object that transforms as a foo" is a circular definition because it refers to the thing being defined in the definition. That is what "circular definition" means.
> The term “manifold” comes from Riemann’s Mannigfaltigkeit, which is German for “variety” or “multiplicity.”
Stand at one of the poles. Walk to the equator, turn 90 degrees. Walk 1/2 way around the equator, turn 90 degrees again. Walk back to the pole. Now the triangle sums 360 degrees!
[0] https://www.paulinarowinska.com/about-me
https://en.wikipedia.org/wiki/Calabi%E2%80%93Yau_manifold
I'm not going to pretend to understand it all but they do make pretty pictures!
https://www.google.com/search?q=calabi+yau+manifold+images
Something's gone badly wrong here. "Without learning Cyrillic" is the normal way to learn Russian. Pick a slightly less prominent language and 100% of learners will do it without learning anything about the writing system.
The naked term "manifold" in its modern usage, refers to a topological manifold, loosely a locally euclidean hausdorff topological space, which has no geometry intrinsic to it at all. The hyperbolic plane and the euclidean plane are different geometries you can put on the same topological manifold, and even does not depend on the smooth structure. In order to add a geometry to such a thing, you must actually add a geometry to it, and there are many inequivalent ways to do this systematically, none of which work for all topological manifolds.
If it is the formal definition being used, then why? Do people actually reason about data manifolds using "atlases" and "charts" of locally euclidean parts of the manifold?
So manifolds are complicated shapes that are at large enough a scale that an ant (which species?) will think they're flat....ok
A continuous manifold will have a line element that allows you to compute distances between its points using its parameters. The simplest line element was first written down by Pythagorus I think, it allows you to compute the distance between two points in a flat manifold. In physics we do away with gravitational forces by realizing that masses move along geodesics (shortest paths) of a manifold, hence the saying,"matter tells spacetime how to curve and spacetime tells matter how to move". We stich together large curvy manifolds like a patch quilt from the locally Euclidean tangent spaces that we erect at any point.