Live data from Hacker News

What is a manifold?

quantamagazine.org

1–10 of 138 posts

Re: What is a manifold?

#3

Funny how a car manifold is also a mathematical manifold but the word seems to come from different roots.

I just looked it up because I was interested in their etymologies, but it seems that the words actually have the same (Old English/Germanic) root: essentially a portmanteau of "many" + "fold."

Re: What is a manifold?

#4

Funny how a car manifold is also a mathematical manifold but the word seems to come from different roots.

This has always caused me trouble when learning new concepts. A name for something will be given (e.g. manifold) and it sounds very much like something that I've come across before (e.g. a manifold in an engine) - and that then gets cemented in my brain as a relationship which I find extremely difficult to shake - and it makes understanding the new concept very challenging. More often than not the etymology of the term is not provided with the concept - not entirely unreasonable, but also not helpful for me personally.

It becomes a bigger problem when the etymology is actually a chain of almost arbitrary naming decisions - how far back do I go?!

Re: What is a manifold?

#5
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.

Re: What is a manifold?

#6
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.

Re: What is a manifold?

#7
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à"

Re: What is a manifold?

#8
post #6

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 visual…

This is a tendency among physicists that I find a bit painful when reading their explanations: focusing on how things transform between coordinate systems rather than on the coordinate-independent things that are described by those coordinates. I get that these transformation properties are important for doing actual calculations, but I think they tend to obfuscate explanations.

In special relativity, for example, a huge amount of attention is typically given to the Lorenz transformations required when coordinates change. However, the (Minkowski) space that is the setting for special relativity is well defined without reference to any particular coordinate system, as an affine space with a particular (pseudo-)metric. It's not conceptually very complicated, and I never properly understood special relativity until I saw it explained in those terms in the amazing book Special Relativity in General Frames by Eric Gourgoulhon.

For tensors, the basis-independent notion is a multilinear map from a selection of vectors in a vector space and forms (covectors) in its dual space to a real number. The transformation properties drop out of that, and I find it much more comfortable mentally to have that basis-independent idea there, rather than just coordinate representations and transformations between them.

Post reply on HN