←back to thread

247 points nabla9 | 1 comments | | HN request time: 0s | source
Show context
bmitc ◴[] No.41833078[source]
Actually, the most counterintuitive is 4-dimensional space. It is rather mathematically unique, often exhibiting properties no other dimension does.
replies(3): >>41833147 #>>41833346 #>>41833385 #
elcritch ◴[] No.41833147[source]
How so?
replies(2): >>41833370 #>>41833379 #
bmitc ◴[] No.41833379[source]
There's a section here about phenomena in 4 dimensions: https://en.wikipedia.org/wiki/4-manifold

One of the most surprising is that all smooth manifolds of dimension not equal to four only have a finite number of unique smooth structures. For dimension four, there are countably infinite number of unique smooth structures. It's the only dimension with that property.

replies(2): >>41833602 #>>41833690 #
ashishb ◴[] No.41833690[source]
> One of the most surprising is that all smooth manifolds of dimension not equal to four only have a finite number of unique smooth structures. For dimension four, there are countably infinite number of unique smooth structures. It's the only dimension with that property.

Can you give some intuition on smooth structure and manifold? I read Wikipedia articles a few times but still can't grasp them.

replies(2): >>41833805 #>>41834315 #
1. bmitc ◴[] No.41833805[source]
Applying a smooth structure to a manifold to make it a smooth manifold is like a patching process that makes it look like a Eucliden space.

Most of calculus and undergraduate math, engineering, and physics takes place in Euclidean space R^n. So all the curves and surfaces directly embed into R^n, usually where n = 2 or n = 3. However, there are more abstract spaces that one would like to study and those are manifolds. To do calculus on them, they need to be smooth manifolds. A smooth structure is a collection of "patches" (normally called charts) such that each patch (chart) is homeomorphic (topologically equivalent) to an open set in R^n. Such a manifold is called an n-dimensional manifold. The smoothness criterion is a technicality such that the coordinates and transformation coordinates are smooth, i.e., infinitely differentiable. Smooth manifolds is basically the extension of calculus to more general and abstract dimensions.

For example, a circle is a 1-dimensional manifold since it locally looks like a line segment. A sphere (the shell of the sphere) is a 2-dimensional manifold because it locally looks like an open subset of R^2, i.e., it locally looks like a two dimensional plane. Take Earth for example. Locally, a Euclidean x-y coordinate system works well.