11
$\begingroup$

In the book Mathematical Masterpiece, on page 160, the authors wrote that

A manifold, in Riemann's words, is a continuous transition of an instance

I know a manifold is something glued by locally homeomorphic to Euclidean parts, but from that I can't deduce the above conclusion.

Could anyone explain for me what do they mean by a transition of an instance?

EDIT: I have fix the link, now you can read it

$\endgroup$
  • 3
    $\begingroup$ I would suggest to link to something you can read without paying $\endgroup$ – Lionel Ricci Apr 8 '16 at 7:33
  • 4
    $\begingroup$ It would help if the authors of the quote would pinpoint the place where Riemann said something like that (in German). As a stand alone English sentence it doesn't make much sense. $\endgroup$ – Christian Blatter Apr 8 '16 at 16:37
  • $\begingroup$ Look ahead to pages 220-221. Here is the link. books.google.com/… $\endgroup$ – John Douma Apr 12 '16 at 14:40
12
$\begingroup$

You've stumbled across one of the interesting pitfalls of the history of science.

Those words attributed to Riemann should not be understood as equivalent to the modern definition that you have learned for a manifold, i.e. as "something glued by locally homemorphic to Euclidean parts".

Riemann's development of the concept of a manifold was far beyond that of any predecessors. The words you quoted are, most likely, some translation of words that Riemann concocted to try to explain this concept to his contemporaries in an intuitive manner that made sense to them.

If 150 years of hindsight are ignored, it might be easy to forget that as far as Riemann got in understanding the concept of manifolds, he did not get as far as the concept that we use in our modern differential topology classes. In fact, I believe that the modern language of atlases --- coordinate charts and smooth overlap maps --- was not used in its full, abstract form until well into the 20th century, perhaps not until John Milnor's early lectures on differential topology.

$\endgroup$
  • 4
    $\begingroup$ Hi Lee -- I think Weyl's 1913 book "The Concept of a Riemann Surface" contains very modern definitions of both topological and smooth manifolds. $\endgroup$ – Jack Lee Apr 8 '16 at 17:38
  • $\begingroup$ Ah, that's interesting. I think I know about that book, but have never looked. $\endgroup$ – Lee Mosher Apr 9 '16 at 0:27
9
+100
$\begingroup$

Ok. First of all, I'm not entirely sure what Riemann meant by that. I am going to give you a standard definition of smooth manifolds using the language that is most commonly used in mathematics today. I also include some more thoughts after the definitions.

Topological Manifolds

Before talking about what a smooth manifold is (one on which you can perform calculus), we should be clear about what properties we would like our space to have. For this we have that a topological manifold $M$ is a topological space consisting of the following properties:

  1. Locally Euclidean - for every point $p \in M$ there is a neighborhood $U \subseteq M$ containing $p$ and a homeomorphism $f: U \to V$ where $V \subseteq \mathbb{R}^n$ is an open subset. It is often convenient to restrict to a connected subset $U$, then we can take $V = \mathbb{R}^n$ itself.
  2. Hausdorff Property - distinct points of $M$ can be separated by disjoint open sets (this property is important in making sure that sequence of points in $M$ converge to unique limits).
  3. Existence of Countable Topological Basis - There exists a countable open cover $\mathcal{B} = \{B_i \subseteq M \; | \; i \in I \}$ such that whenever $B_i \cap B_j \neq \emptyset$ there exists some $B_k \in \mathcal{B}$ such that $B_k \subseteq B_i \cap B_j$ (this property is needed to define a structure called a partition of unity which is often used to "glue" locally-defined functions, forms, and vector fields into globally defined objects).

Smooth Manifolds

In order for one to start doing geometry on manifolds we need something called a "smooth structure", which takes some care to develop. Without loss of generality, we will assume that when we talk about homeomorphic neighborhoods we'll simply use $\mathbb{R}^n$ instead of some arbitrary open Euclidean subset. We also assume $M$ is a topological manifold. We'll take this in steps:

  • A pairing of an open subset $U \subseteq M$ and a homeomorphism $\varphi:U \to \mathbb{R}^n$ is called a chart for $M$ and we write this as $(U, \varphi)$.
  • An atlas for $M$ is a collection of charts $\mathcal{A} = \{(U_\alpha, \varphi_\alpha)\}$ such that $\bigcup_\alpha U_\alpha = M$.
  • An atlas $\mathcal{A}$ for $M$ is said to be a smooth atlas whenever $(U_\alpha, \varphi_\alpha)$ and $(U_\beta, \varphi_\beta)$ are charts in $\mathcal{A}$ we have that $\varphi_\beta \circ \varphi_\alpha^{-1}$ is a smooth map between Euclidean spaces provided $U_\alpha \cap U_\beta \neq \emptyset$ (in fact, they are actually diffeomorphisms).
  • A differentiable structure for the manifold $M$ is a maximal smooth atlas (meaning a smooth atlas which is not contained in any other smooth atlas; this is mostly used as a theoretical tool for covering all possible atlases that are smoothly compatible with one another). A pairing of a manifold $M$ with a differentiable structure is called a differentiable manifold or smooth manifold.

While none of this necessarily explains Riemann's terminology, this gives one way authors typically define what a smooth manifold is. Manifolds are often used to describe state spaces, or spaces of information for a system (oftentimes in physics, data analysis, and now some computer programming). They are defined in such a way that they become the most general spaces on which one can perform calculus. Spaces which are usually of interest in the world, on which one would like to study smooth variations of a quantity, more often than not exhibit a non-Euclidean structure. Typically too, while a manifold usually represents the space of all possible states for a system, the actual states a system occupies usually traces out a curve on some manifold. "Transition of an instance" may possibly have to do with how the variation of the state of a system can be mapped as some time-dependent function on a non-Euclidean space.

$\endgroup$
  • $\begingroup$ "he may have been talking about "instance" since manifolds are used in the theory of relativity" - That's quite the anachronism there. Riemann died in 1866; Einstein first published his theory of special relativity in 1905. $\endgroup$ – Reinstate Monica Apr 18 '16 at 15:02
  • $\begingroup$ @silvascientist That was quite near sighted of me to miss that. I will remove that comment from the post. $\endgroup$ – Mnifldz Apr 18 '16 at 15:25
  • $\begingroup$ cs.jhu.edu/~misha/ReadingSeminar/Papers/Riemann54.pdf is a link to an english translation of Riemann's essay so you can see what he meant. Take a look at the section "Notion of an n-ply extended magnitude". $\endgroup$ – John Douma Apr 18 '16 at 15:29
5
$\begingroup$

What's written is pretty much meaningless. If you are interested in a modern interpretation of Riemann's lecture, my suggestion is to read Spivak's "A Comprehensive Introduction to Differential Geometry," Vol. 2, where he discusses the mathematical meaning of Riemann's lecture in great detail (pages 163-180, What did Riemann say?).

$\endgroup$
5
$\begingroup$

I think your authors misquoted Riemann. In his famous 1854 essay, Riemann mentions the possibility of passing continuously from one "mode of determination" to another, by which he means, in modern terminology, that the quadratic form determining the metric varies continuously from point to point in a manifold.

Thus he did not say "continuous transition of an instance" but rather "continuous trandition of a mode of determination" the latter being a quadratic form in modern terminology.

$\endgroup$
2
$\begingroup$

Well, I'm not exactly sure what Riemann had in mind, but if I had to guess it has to do with the principal of locality. Since Riemann appears to be explaining by way of analogy, by appealing to a physical (or perhaps metaphysical) concept like an instance (or maybe a moment), I'll continue with the analogy by appealing to physical concepts.

Almost all of physics can be broken into two different studies: that of dynamics and that of kinematics. Dynamics is the study of objects under the influence of causes, such as a particle moving in the presence of an electromagnetic field, or the motion of a ball after it has been pushed. On the other hand kinematics seeks to study the motion of objects without reference to causes.

So what could be meant by instance, is really the moment at which something affects another thing. The Euclidean model is very good at describing the dynamics of an event. Generally, one can describe the dynamics by imposing a coordinate system and describing the position of using the coordinates. One can then describe the motion of the object in these coordinates after some cause affects the object.

On the other hand, in the presence of nontrivial kinematics, the full effect of the cause is more difficult to describe. The idea is that motion of the object itself is subject to some nontrivial geometry independent of the cause.

Think of kinematics as being described by manifolds: the bare geometry on which points live; think of dynamics as modelling motion under the influence of causes without reference to this geometry. In this analogy, what manifolds do is allow us to describe both the kinematics and dynamics of an event locally. A local coordinate chart tells us how the dynamics at each point changes, as we vary the point in a continuous fashion...so sort of a continuous transition of an instance.

Of course, this is all guesswork. Since I have no idea what Riemann really meant by that statement.

$\endgroup$
1
$\begingroup$

If you look later in the book, pages 220-221, you'll see that the author describes a discrete manifold as a transition, replication or repetition of an instance. He uses Warhol's 32 soup cans as an example. In essence, a discrete manifold uses a simple geometric object, what he calls an instance, and replicates that object to form a larger object. This is similar to the generators for the symmetry groups of the plane.

For the continuous case, he uses the sphere and cylinder as examples of manifolds tht can be constructed from a continuous translation of the circle.

I posted the link in the comments under your question.

$\endgroup$
  • 1
    $\begingroup$ You should make it clear that the "author" you are referring too is most decidedly not Riemann. $\endgroup$ – Mikhail Katz Apr 17 '16 at 11:18
  • 1
    $\begingroup$ @MikhailKatz The author himself says he is paraphrasing Reimann. $\endgroup$ – John Douma Apr 17 '16 at 14:56
  • $\begingroup$ What he did not say is that he is distorting Riemann to a point of unintelligibility. $\endgroup$ – Mikhail Katz Apr 18 '16 at 9:07
  • $\begingroup$ @MikhailKatz I am not defending the author: I am answering the question. That is what the author meant when he said "A manifold, in Riemann's words, is a continuous transition of an instance". Follow the link and see for yourself. $\endgroup$ – John Douma Apr 18 '16 at 13:53
  • $\begingroup$ Do you mean to say that the author's discussion of discretisations is meant as an interpretation of what Riemann meant? I don't think it is likely that this is what the author meant. Most people are aware of the fact that discretisations are a more recent phenomenon. Furthermore in my answer I provided what I think is a reasonable reconstruction of what Riemann really said in the quote that was distorted by the author. $\endgroup$ – Mikhail Katz Apr 18 '16 at 14:29
1
$\begingroup$

Probably doesn't help much, but an explanation of Riemann's lecture with reference to the original German can be found on the Wikipedia page for manifold. My guess is that the "continuous transition of an instance" refers somehow to the part about the "stetige Mannigfaltigkeit" (continuous manifold), where the "instance" is probably the many-valued variable which Riemann says changes continuously along a "stetige Mannigfaltigkeit":

Riemann was the first one to do extensive work generalizing the idea of a surface to higher dimensions. The name manifold comes from Riemann's original German term, Mannigfaltigkeit, which William Kingdon Clifford translated as "manifoldness". In his Göttingen inaugural lecture, Riemann described the set of all possible values of a variable with certain constraints as a Mannigfaltigkeit, because the variable can have many values. He distinguishes between stetige Mannigfaltigkeit and diskrete Mannigfaltigkeit (continuous manifoldness and discontinuous manifoldness), depending on whether the value changes continuously or not. As continuous examples, Riemann refers to not only colors and the locations of objects in space, but also the possible shapes of a spatial figure. Using induction, Riemann constructs an n-fach ausgedehnte Mannigfaltigkeit (n times extended manifoldness or n-dimensional manifoldness) as a continuous stack of (n−1) dimensional manifoldnesses. Riemann's intuitive notion of a Mannigfaltigkeit evolved into what is today formalized as a manifold. Riemannian manifolds and Riemann surfaces are named after Riemann.

https://en.wikipedia.org/wiki/Manifold#Synthesis

I tried to find the transcript Riemann's original lecture in German, but all of the search results were for pages about Riemannian geometry (written in German).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.