"But it is a third geometry from which quantity is completely excluded and which is purely qualitative; this is analysis situs. In this discipline, two figures are equivalent whenever one can pass from one to the other by a continuous deformation; whatever else the law of this deformation may be, it must be continuous. Thus, a circle is equivalent to an ellipse or even to an arbitrary closed curve, but it is not equivalent to a straight-line segment since this segment is not closed. A sphere is equivalent to any convex surface; it is not equivalent to a torus since there is a hole in a torus and in a sphere there is not. Imagine an arbitrary design and a copy of this same design executed by an unskilled draftsman; the properties are altered, the straight lines drawn by an inexperienced hand have suffered unfortunate deviations and contain awkward bends. From the point of view of metric geometry, and even of projective geometry, the two figures are not equivalent; on the contrary, from the point of view of analysis situs, they are." (Henri Poincaré,"Dernières pensées", 1913)
"Geometers usually distinguish two kinds of geometry, the first of which they qualify as metric and the second as projective. Metric geometry is based on the notion of distance; two figures are there regarded as equivalent when they are 'congruent' in the sense that mathematicians give to this word. Projective geometry is based on the notion of straight line; in order for two figures considered there to be equivalent, it is not necessary that they be congruent; it suffices that one can pass from one to the other by a projective transformation, that is, that one be the perspective of the other. This second body of study has often been called qualitative geometry, and in fact it is if one opposes it to the first; it is clear that measure and quantity play a less important role. This is not entirely so, however. The fact that a line is straight is not purely qualitative; one cannot assure himself that a line is straight without making measurements, or without sliding on this line an instrument called a straightedge, which is a kind of instrument of measure." (Henri Poincaré,"Dernières pensées", 1913)
"The disadvantage of differential geometry, as compared with Euclidean or projective geometry and also topology, is that we are not in a position to found it on invariant basic concepts" (fundamental relations) and axioms therefor. The situation is no different for conformal geometry on a Riemann surface." (Hermann Weyl, "The Concept of a Riemann Surface", 1913)
"Projective Geometry: a boundless domain of countless fields where reals and imaginaries, finites and infinites, enter on equal terms, where the spirit delights in the artistic balance and symmetric interplay of a kind of conceptual and logical counterpoint - an enchanted realm where thought is double and flows throughout in parallel streams." (Cassius J Keyser, "The Human Worth of Rigorous Thinking: Essays and Addresses", 1916)
"Imagine any sort of model and a copy of it done by an awkward artist: the proportions are altered, lines drawn by a trembling hand are subject to excessive deviation and go off in unexpected directions. From the point of view of metric or even projective geometry these figures are not equivalent, but they appear as such from the point of view of geometry of position [that is, topology]." (Henri Poincaré, "Dernières pensées", 1920)
"[…] no branch of mathematics competes with projective geometry in originality of ideas, coordination of intuition in discovery and rigor in proof, purity of thought, logical finish, elegance of proofs and comprehensiveness of concepts. The science born of art proved to be an art." (Morris Kline,"Projective Geometry", Scientific America Vol. 192" (1), 1955)
"There are many useful connections between these two disciplines [geometry and algebra]. Many applications of algebra to geometry and of geometry to algebra were known in antiquity; nearer to our time there appeared the important subject of analytical geometry, which led to algebraic geometry, a vast and rapidly developing science, concerned equally with algebra and geometry. Algebraic methods are now used in projective geometry, so that it is uncertain whether projective geometry should be called a branch of geometry or algebra. In the same way the study of complex numbers, which arises primarily within the bounds of algebra, proved to be very closely connected with geometry; this can be seen if only from the fact that geometers, perhaps, made a greater contribution to the development of the theory than algebraists." (Isaak M Yaglom, "Complex Numbers in Geometry", 1968)
"Every branch of geometry can be defined as the study of properties that are unaltered when a specified figure is given specified symmetry transformations. Euclidian plane geometry, for instance, concerns the study of properties that are 'invariant' when a figure is moved about on the plane, rotated, mirror reflected, or uniformly expanded and contracted. Affine geometry studies properties that are invariant when a figure is 'stretched' in a certain way. Projective geometry studies properties invariant under projection. Topology deals with properties that remain unchanged even when a figure is radically distorted in a manner similar to the deformation of a figure made of rubber." (Martin Gardner, "Aha! Insight", 1978)
"Projective geometry has opened up for us with the greatest facility new territories in our science, and has rightly been called the royal road to our particular field of knowledge." (Felix Klein)
No comments:
Post a Comment