28 January 2021

On Manifolds I (Geometry I)

"If in the case of a notion whose specialisations form a continuous manifoldness, one passes from a certain specialisation in a definite way to another, the specialisations passed over form a simply extended manifoldness, whose true character is that in it a continuous progress from a point is possible only on two sides, forward or backwards. If one now supposes that this manifoldness in its turn passes over into another entirely different, and again in a definite way, namely so that each point passes over into a definite point of the other, then all the specialisations so obtained form a doubly extended manifoldness. In a similar manner one obtains a triply extended manifoldness, if one imagines a doubly extended one passing over in a definite way to another entirely different; and it is easy to see how this construction may be continued. If one regards the variable object instead of the determinable notion of it, this construction may be described as a composition of a variability of n + 1 dimensions out of a variability of n dimensions and a variability of one dimension." (Bernhard Riemann, "On the hypotheses which lie at the foundation of geometry", 1854)

"Definite portions of a manifoldness, distinguished by a mark or by a boundary, are called Quanta. Their comparison with regard to quantity is accomplished in the case of discrete magnitudes by counting, in the case of continuous magnitudes by measuring. Measure consists in the superposition of the magnitudes to be compared; it therefore requires a means of using one magnitude as the standard for another. In the absence of this, two magnitudes can only be compared when one is a part of the other; in which case also we can only determine the more or less and not the how much. The researches which can in this case be instituted about them form a general division of the science of magnitude in which magnitudes are regarded not as existing independently of position and not as expressible in terms of a unit, but as regions in a manifoldness." (Bernhard Riemann, "On the Hypotheses which lie at the Bases of Geometry", 1873)

"Magnitude-notions are only possible where there is an antecedent general notion which admits of different specialisations. According as there exists among these specialisations a continuous path from one to another or not, they form a continuous or discrete manifoldness; the individual specialisations are called in the first case points, in the second case elements, of the manifoldness." (Bernhard Riemann, "On the Hypotheses which lie at the Bases of Geometry", 1873)

"With every simple act of thinking, something permanent, substantial, enters our soul. This substantial somewhat appears to us as a unit but (in so far as it is the expression of something extended in space and time) it seems to contain an inner manifoldness; I therefore name it ‘mind-mass’. All thinking is, accordingly, formation of new mind masses." (Bernhard Riemann, "Gesammelte Mathematische Werke", 1876)

"If two well-defined manifolds M and N can be coordinated with each other univocally and completely, element by element (which, if possible in one way, can always happen in many others), we shall employ in the sequel the expression, that those manifolds have the same power or, also, that they are equivalent." (Georg Cantor, "Ein Beitrag zur Mannigfaltigkeitslehre", 1878)

"I say that a manifold (a collection, a set) of elements that belong to any conceptual sphere is well-defined, when on the basis of its definition and as a consequence of the logical principle of excluded middle it must be regarded as internally determined, both whether an object pertaining to the same conceptual sphere belongs or not as an element to the manifold, and whether two objects belonging to the set are equal to each other or not, despite formal differences in the ways of determination." (Georg Cantor, "Ober unendliche, lineare Punktmannichfaltigkeiten", 1879)

"By a manifold or a set I understand in general every Many that can be thought of as One, i.e., every collection of determinate elements which can be bound up into a whole through a law, and with this I believe to define something that is akin to the Platonic form or idea." (Georg Cantor, "Grundlagen einer allgemeinen Mannigfaltigkeitslehre", 1883)

"The truth is that other systems of geometry are possible, yet after all, these other systems are not spaces but other methods of space measurements. There is one space only, though we may conceive of many different manifolds, which are contrivances or ideal constructions invented for the purpose of determining space." (Paul Carus, Science Vol. 18, 1903)

"A mathematical theorem and its demonstration are prose. But if the mathematician is overwhelmed with the grandeur and wondrous harmony of geometrical forms, of the importance and universal application of mathematical maxims, or, of the mysterious simplicity of its manifold laws which are so self-evident and plain and at the same time so complicated and profound, he is touched by the poetry of his science; and if he but understands how to give expression to his feelings, the mathematician turns poet, drawing inspiration from the most abstract domain of scientific thought." (Paul Carus, „Friedrich Schiller: A Sketch of His Life and an Appreciation of His Poetry", 1905)

"Roughly speaking, a manifold is essentially a space that is locally similar to the Euclidean space. This resemblance permits differentiation to be defined. On a manifold, we do not distinguish between two different local coordinate systems. Thus, the concepts considered are just those independent of the coordinates chosen. This makes more sense if we consider the situation from the physics point of view. In this interpretation, the systems of coordinates are systems of reference." (Ovidiu Calin & Der-Chen Chang,  "Geometric Mechanics on Riemannian Manifolds : Applications to partial differential equations", 2005)

No comments:

Post a Comment

Related Posts Plugin for WordPress, Blogger...

On Data: Longitudinal Data

  "Longitudinal data sets are comprised of repeated observations of an outcome and a set of covariates for each of many subjects. One o...