{"id":2040,"date":"2017-09-22T12:51:34","date_gmt":"2017-09-22T12:51:34","guid":{"rendered":"https:\/\/blogs.futura-sciences.com\/e-luminet\/?p=2040"},"modified":"2017-09-22T12:58:02","modified_gmt":"2017-09-22T12:58:02","slug":"non-euclidean-geometries","status":"publish","type":"post","link":"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/","title":{"rendered":"Non-Euclidean Geometries"},"content":{"rendered":"<p>This post is an adaptation of a chapter of my book\u00a0 &#8220;<strong><a href=\"https:\/\/www.amazon.com\/Wraparound-Universe-Jean-Pierre-Luminet\/dp\/1568813090\" target=\"_blank\" rel=\"noopener\">The Wraparound Universe<\/a><\/strong>&#8221; with many more\u00a0 illustrations.<\/p>\n<p>************************************************************************<\/p>\n<p style=\"text-align: right\"><em>Thus we may perhaps, one day, create new Figures<br \/>\nthat will allow us to put our trust in the Word,<br \/>\nin order to traverse curved Space, non-Euclidean Space.<br \/>\n<\/em>Francis Ponge<a href=\"#_ftn1\" name=\"_ftnref1\">[1]<\/a><\/p>\n<figure id=\"attachment_2050\" aria-describedby=\"caption-attachment-2050\" style=\"width: 1694px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2050\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Elements-Oxyrhynchus.jpg\" alt=\"\" width=\"1694\" height=\"1032\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Elements-Oxyrhynchus.jpg 1694w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Elements-Oxyrhynchus-450x274.jpg 450w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Elements-Oxyrhynchus-768x468.jpg 768w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Elements-Oxyrhynchus-1024x624.jpg 1024w\" sizes=\"auto, (max-width: 1694px) 100vw, 1694px\" \/><figcaption id=\"caption-attachment-2050\" class=\"wp-caption-text\">The oldest known fragment of Euclid&#8217;s Elements as part of the Oxyrhynchus papyri, dated from the Ptolemaic period and belonging to the famous Alexandrian Library<\/figcaption><\/figure>\n<p>&nbsp;<\/p>\n<p style=\"text-align: justify\">In book I of the <em>Elements<\/em>,<a href=\"#_ftn2\" name=\"_ftnref2\">[2]<\/a> Euclid poses the five \u201crequests\u201d that, according to him, define planar geometry. These postulates would become the keystone for all of geometry, a system of absolute truths whose validity seemed irrefutable. One of the reasons for this faith is that these postulates seem obvious: the first of them stipulates that a straight line passes between two points, the second that any line segment can be indefinitely prolonged in both directions, the third that, given a point and an interval, it is always possible to trace out a circle having the point for its center and the interval as its radius, the fourth that all right angles are equal to each other. The fifth postulate is however less obvious:<\/p>\n<figure id=\"attachment_2052\" aria-describedby=\"caption-attachment-2052\" style=\"width: 183px\" class=\"wp-caption alignright\"><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-2052\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/350px-Parallel_postulate_en.svg_.png\" alt=\"\" width=\"183\" height=\"138\" \/><figcaption id=\"caption-attachment-2052\" class=\"wp-caption-text\">As the sum of the interior angles \u03b1 and \u03b2 is less than 180\u00b0, according to the fifth postulate the two straight lines extended indefinitely, meet on that side.<\/figcaption><\/figure>\n<p style=\"text-align: justify\"><i>&#8220;If a line segment intersects two straight lines forming two interior angles on the same side that sum to less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.&#8221;<\/i><\/p>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n<p style=\"text-align: justify\">Although the statement does not refer explicitly to parallel lines, the the fifth postulate is currently called &#8220;Parallel postulate&#8221;. This can be better understood given the more popular version of the fifth postulate due to the Scottish mathematician John Playfair (1748-1819), who demonstrated that it was equivalent to the one given by Euclid : &#8220;<em>Given a straight line and a point not belonging to this line, there exists a unique straight line passing through the point which is parallel to the first<\/em>&#8220;.<\/p>\n<figure id=\"attachment_2051\" aria-describedby=\"caption-attachment-2051\" style=\"width: 730px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2051\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Euclide-elements-Byrne1847.jpg\" alt=\"\" width=\"730\" height=\"600\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Euclide-elements-Byrne1847.jpg 730w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Euclide-elements-Byrne1847-450x370.jpg 450w\" sizes=\"auto, (max-width: 730px) 100vw, 730px\" \/><figcaption id=\"caption-attachment-2051\" class=\"wp-caption-text\">A picturesque English edition of Euclid&#8217;s Elements by Oliver Byrne, 1847.<\/figcaption><\/figure>\n<p>&nbsp;<\/p>\n<p style=\"text-align: justify\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright size-full wp-image-2053\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/3surfaces_courbes.gif\" alt=\"\" width=\"181\" height=\"414\" \/>Since the \u201cparallel postulate\u201d was more complicated than the others, the mathematicians following Euclid would try, for many centuries, to prove it from the four preceding ones, all in vain. In the nineteenth century, there occurred one of the great sudden revolutions in the history of mathematics (and also in human thought, as will be seen by what follows): two new geometries which do not satisfy the fifth postulate, but which are perfectly coherent, were discovered. In one of these geometries, called spherical geometry, no parallel line satisfying the conditions can be traced. This is the case for the surface of a sphere; the straight lines become great circles, whose planes pass through the center of the sphere, and since all great circles intersect each other at two diametrically opposed points (in the manner of the terrestrial meridians, which meet at the poles), no \u201cstraight line\u201d can be parallel to another.<a href=\"#_ftn4\" name=\"_ftnref4\">[3]<\/a> In the other geometry, called hyperbolic geometry, through any given point there passes an infinite number of lines parallel to another straight line.<!--more--><\/p>\n<p style=\"text-align: justify\">Euclid thus displayed uncommon depth of view. Not only is the fifth postulate indispensable, since it cannot be derived from the others, it is moreover this postulate that uniquely characterizes planar geometry. If it is infringed upon, the geometry is fundamentally changed in nature: now non-Euclidean, it allows one to model a space endowed with curvature.<\/p>\n<p style=\"text-align: justify\">Of course, three-dimensional Euclidean geometry already allowed one to speak of curvature with respect to objects of lesser dimension. It is obvious that the curvature of a circle, a one-dimensional space, becomes greater as the radius shrinks. Likewise for the sphere, a two-dimensional surface: the larger its radius, the weaker its curvature; in the limit, as its radius tends toward infinity, its curvature tends toward zero, which is to say that the sphere approaches the Euclidean plane. At any rate, in nature, planar geometry is an idealization. Most surfaces have a curvature which varies from one point to the other, being sometimes positive, sometimes negative: a hilly terrain, the surface of a piece of clothing, the surface of the human body, etc. But the discovery of non-Euclidean geometries allowed, for the first time in history, one to define in a coherent way a curved three-dimensional space, and as a consequence to use it to model the physical space in which we live.<\/p>\n<figure id=\"attachment_2061\" aria-describedby=\"caption-attachment-2061\" style=\"width: 566px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2061\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/F3.7-courbvar.jpg\" alt=\"\" width=\"566\" height=\"166\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/F3.7-courbvar.jpg 566w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/F3.7-courbvar-450x132.jpg 450w\" sizes=\"auto, (max-width: 566px) 100vw, 566px\" \/><figcaption id=\"caption-attachment-2061\" class=\"wp-caption-text\">General surfaces have variable curvature<\/figcaption><\/figure>\n<p style=\"text-align: justify\">The parallel postulate allows two other equivalent formulations. One concerns the sum of angles in a triangle, the other the ratio between the circumference and radius of a circle. If the postulate is satisfied, it is strictly equivalent to dictating that the sum of the angles in a triangle is equal to 180 degrees and that the ratio of the circumference of a circle to its radius is equal to 2\u03c0 \u2013this is Euclidean geometry, with zero curvature. If no parallel can be traced, the sum of the angles in a triangle is greater than 180 degrees and the ratio of the circumference to the radius is smaller than 2\u03c0 : one is in a spherical geometry, with positive curvature. If an infinity of parallels can be traced, the sum of the angles in a triangle is smaller than 180 degrees, the ratio of the circumference to the radius is greater than 2\u03c0, and one is in a hyperbolic geometry, with negative curvature.<\/p>\n<figure id=\"attachment_2054\" aria-describedby=\"caption-attachment-2054\" style=\"width: 427px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2054\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Two-noneuclidean-surfaces.jpg\" alt=\"\" width=\"427\" height=\"550\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Two-noneuclidean-surfaces.jpg 427w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Two-noneuclidean-surfaces-349x450.jpg 349w\" sizes=\"auto, (max-width: 427px) 100vw, 427px\" \/><figcaption id=\"caption-attachment-2054\" class=\"wp-caption-text\">Two Non-Euclidean Surfaces (a) The sphere is a finite space in two dimensions, of uniform (the same at every point) and positive curvature. The geodesics \u2013 equivalent to the straight lines of the plane \u2013 are the great circles, all centered on the origin and having the same radius as the sphere. Therefore, there are no parallel geodesics. The geometry of the sphere is not Euclidean: the sum of the angles in the spherical triangle ABC is greater than that of the angles in a planar triangle (180\u00b0), and the ratio of the circumference of a small circle to its radius is smaller than 2\u03c0. (b) The hyperboloid, of which a \u201csaddle region\u201d is represented here, is an infinite two dimensional space, with uniform but negative curvature (at each point, the two radii of curvature are centered on opposite sides of the surface). There are an infinite number of geodesics which are parallel to each other. The geometry of the hyperboloid is not Euclidean: the sum of the angles in a hyperbolic triangle ABC is smaller than 180\u00b0, and the ratio of the circumference of a circle to its radius is greater than 2\u03c0.<\/figcaption><\/figure>\n<p style=\"text-align: justify\">The discoverers of non-Euclidean geometries were four mathematics geniuses named Lobachevsky, Bolyai, Gauss, and Riemann.<\/p>\n<p style=\"text-align: justify\"><img loading=\"lazy\" decoding=\"async\" class=\"alignleft wp-image-2057\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Janos-Bolyai.jpg\" alt=\"\" width=\"186\" height=\"245\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Janos-Bolyai.jpg 380w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Janos-Bolyai-342x450.jpg 342w\" sizes=\"auto, (max-width: 186px) 100vw, 186px\" \/>Nikolai Lobachevsky (1792\u20131856) was teaching at Kazan University, in Russia, when he published his results on an \u201cimaginary geometry\u201d (which would later be called hyperbolic), in 1829. One often reads that non-Euclidean geometries were conceived by way of pure mathematical speculation, without any reference to the physical universe. This is completely inaccurate. Lobachevsky, for example, declared that there was no branch of mathematics, no matter how abstract, that could not one day be applied to phenomena in the natural world. He used the best astronomical data of his time to calculate the sum of the angles in a cosmic triangle with three corners formed by stars. Of course, he found no difference from 180 degrees, but he remained convinced that there was nothing \u201cnatural\u201d about Euclidean geometry. He would not live long enough to see the triumph of his ideas: after dismissal from his academic position in 1846, his health went into rapid decline.<\/p>\n<figure id=\"attachment_2058\" aria-describedby=\"caption-attachment-2058\" style=\"width: 162px\" class=\"wp-caption alignright\"><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-2058\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Janos_Bolyai-young.jpg\" alt=\"\" width=\"162\" height=\"227\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Janos_Bolyai-young.jpg 378w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Janos_Bolyai-young-321x450.jpg 321w\" sizes=\"auto, (max-width: 162px) 100vw, 162px\" \/><figcaption id=\"caption-attachment-2058\" class=\"wp-caption-text\">The young Janos Bolyai.<\/figcaption><\/figure>\n<p style=\"text-align: justify\">Without being aware of Lobachevsky&#8217;s work, the Hungarian Janos Bolyai (1802\u20131860) developed hyperbolic geometry in a twenty-four page text entitled <em>The Absolutely True Science of Space<\/em>, as an appendix to a larger treatise written by his father, who was himself a mathematician. This accomplished violinist, fencer, and dancer in the imperial army of Austria, who fluently spoke nine languages, including Chinese and Tibetan, would leave behind twenty thousand pages of unpublished mathematical manuscripts. \u201c Out of nothing I have created a strange new universe,\u201d he wrote, to which his father replied: \u201cFor God&#8217;s sake, please give it up. Fear it no less than sensual passions for it, too, may take all your time, and deprive you of your health, peace of mind, and happiness in life.&#8221;<a href=\"#_ftn5\" name=\"_ftnref5\">[4]<\/a><\/p>\n<figure id=\"attachment_2059\" aria-describedby=\"caption-attachment-2059\" style=\"width: 166px\" class=\"wp-caption alignleft\"><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-2059\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/gauss.gif\" alt=\"\" width=\"166\" height=\"190\" \/><figcaption id=\"caption-attachment-2059\" class=\"wp-caption-text\">Carl Friedrich Gauss, one of the greatest mathematicians of all times<\/figcaption><\/figure>\n<p style=\"text-align: justify\">Carl Friedrich Gauss (1777\u20131855) taught himself to read and count at three years of age. Celebrated at first for his calculations and astronomical predictions, he became a professor at the University of G\u00f6ttingen, where he established himself as the greatest mathematician of his time. He was also able to use his intelligence for practical ends: in the lecture hall of G\u00f6ttingen, he carefully studied the financial news; thanks to judicious market speculations, he amassed a considerable personal fortune, which he administered with a masterly hand until his death. Gauss had made the same discoveries as Lobachevsky and Bolyai, several years before them; he wrote up some notes and sent some to friends in his letters, but did not dare to publish them officially. For him, in fact, non-Euclidean geometry could have no real existence.<\/p>\n<p style=\"text-align: justify\">However, Gauss was the first to test the curvature of physical space by measuring the sum of the angles in a large triangle. Over the course of the 1820s, he made a precise survey of the triangle formed by the mountain peaks of Brocken, Hohenhagen, and Inselberg, in the south of Germany. The longest side measured about 100 km. Gauss found the sum of 179\u00b059\u201959.32\u2019\u2019 and concluded that, up to observational errors, space in the neighborhood of Earth is Euclidean.<\/p>\n<figure id=\"attachment_2062\" aria-describedby=\"caption-attachment-2062\" style=\"width: 658px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2062\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Gauss-3mountains.jpg\" alt=\"\" width=\"658\" height=\"451\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Gauss-3mountains.jpg 658w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Gauss-3mountains-450x308.jpg 450w\" sizes=\"auto, (max-width: 658px) 100vw, 658px\" \/><figcaption id=\"caption-attachment-2062\" class=\"wp-caption-text\">The Gauss experiment for measuring the curvature of space using geodesic measurements between the tops of three mountains of Germany.<\/figcaption><\/figure>\n<p style=\"text-align: justify\">A modern version of Gauss&#8217;s method for directly measuring the curvature of space would be to launch six rockets in the plane of the equator, each one moving radially away from the Earth, while remaining perfectly equidistant to each other. One would thus have a series of equilateral triangles. If space is flat, the distance between each pair of rockets would grow while remaining equal to their distance from the Earth \u2013 which would also grow. If space is spherical, the distance between the rockets will grow more slowly than their distance to the Earth, while in the hyperbolic case their mutual distance would grow more quickly than their distance from us. This method combines the measurement of the sum of angles in a triangle and that of the circumference of a circle. In fact, the rockets would remain on a circle, with the effect that their mutual distances would reflect the augmentation of the circumference of the circle. Moreover, the angle formed by the straight lines which would connect each pair of adjacent rockets would be greater or less than 60 degrees (the value for flat space), according to whether the curvature of space was positive or negative.<\/p>\n<figure id=\"attachment_2060\" aria-describedby=\"caption-attachment-2060\" style=\"width: 450px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2060\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/F27-2.jpg\" alt=\"\" width=\"450\" height=\"275\" \/><figcaption id=\"caption-attachment-2060\" class=\"wp-caption-text\">The Triangle Method. By measuring the distances between six rockets launched in the plane of the terrestrial equator, and by comparing their distances with respect to the Earth, it would be possible to determine the curvature of space in the neighborhood of our planet.<\/figcaption><\/figure>\n<p style=\"text-align: justify\">It would probably be useless to attempt this experiment; in fact, the difference from Euclidean geometry depends on the size of the triangle used with respect to the radius of curvature of space. The larger the triangle, the more important the difference|if there is a difference. It is obvious that a bacterium living on the surface of a large balloon does not perceive the curvature and has the impression of living on a plane. In the twentieth century, general relativity has taught us that, due to the smallness of the gravitational field caused by the Earth or by the Sun, the curvature of our surrounding space is so weak that a triangle of 100 km is much too small to show it. Any other method for locally measuring the curvature would run into the same difficulties, unless carried out near a black hole or at the surface of a neutron star, which for us is \u2013 at least for the moment\u2013 totally inaccessible.<\/p>\n<p style=\"text-align: justify\">Present-day observations teach us that the average radius of curvature of the Universe is at least 10 billion light years. Would we need to send rockets on a voyage at the speed of light for several billion years in order to form triangles that are sufficiently large to have a hope of directly revealing the curvature of the Universe? Luckily, no! Measurements of this type can be carried out, not with rockets, but with natural objects already placed at a good distance and equidistant to each other: the warm spots of the fossil radiation. This method has recently been used (the Boomerang, Maxima, and WMAP experiments) to set limits on the curvature of cosmic space.<\/p>\n<figure id=\"attachment_2063\" aria-describedby=\"caption-attachment-2063\" style=\"width: 1534px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2063\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Curvature-measurement-CMB.gif\" alt=\"\" width=\"1534\" height=\"796\" \/><figcaption id=\"caption-attachment-2063\" class=\"wp-caption-text\">Curvature measurement from the CMB. The cosmic microwave background radiation has hot and cod spots whose apparent size depends on the curvature of space. Compared to the standard Euclidean case, hot and cold spots will appear a little bit larger in case of positive curvature or a little bit smaller in case of negative curvature.<\/figcaption><\/figure>\n<p style=\"text-align: justify\">Strangely, Gauss, Lobachevsky, and Bolyai did not think to clarify the consequences of the inverse hypothesis, in which the sum of the angles in a triangle is greater than 180 degrees. It had been known, however, since antiquity that, on a sphere, the sum of the angles for a triangle made up of three arcs of great circles (the equivalent of straight lines) is always greater than 180 degrees. This spherical trigonometry had been the subject of innumerable treatments, at first useful for astronomy, and then for geography and navigation. The celestial vault in fact offers a spherical concavity, and if one wants to mentally trace a straight line between two stars, one must use an arc of a celestial great circle centered on the Earth. In the same way, if one desires to travel from one point of the terrestrial surface to another one which is very distant, the only authorized paths are situated on the convex surface: their is no question of digging a direct tunnel through the interior of the planet. The shortest possible path is thus an arc of a great circle, a fact well known to navigators.<\/p>\n<p style=\"text-align: justify\">One could have thus noticed that spherical trigonometry, in two dimensions, led to a coherent geometry, although it was not Euclidean. Why the resistance against passing to higher dimension? Probably because this implies a physical space which is finite but without frontier, encircled by straight lines. Now, up to this point, geometry had not been the science of space, but the science of figures in space. As a homogeneous, indefinite expanse of three dimensions, physical space constituted a neutral reality which gave rise to no speculation. This picture had been established in the eighteenth century by the philosophy of Kant, when he made Euclidean space a category of reason.<\/p>\n<figure id=\"attachment_2064\" aria-describedby=\"caption-attachment-2064\" style=\"width: 146px\" class=\"wp-caption alignleft\"><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-2064\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/bernhard-riemann.jpg\" alt=\"\" width=\"146\" height=\"228\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/bernhard-riemann.jpg 383w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/bernhard-riemann-288x450.jpg 288w\" sizes=\"auto, (max-width: 146px) 100vw, 146px\" \/><figcaption id=\"caption-attachment-2064\" class=\"wp-caption-text\">Bernhard Riemann, a pure genius of mathematics.<\/figcaption><\/figure>\n<p style=\"text-align: justify\">We must wait for Bernhard Riemann (1826{1866) for the acceptance of the validity of spherical geometry in three-dimensional space. In 1854, the young mathematician gave his inaugural dissertation at the University of G\u00f6ttingen entitled: \u00ab\u00a0On the Hypotheses which Lie at the Basis of Geometry\u00a0\u00bb. The story of this lecture is an astonishing anecdote which shows how the sciences, just like universal history, sometimes progress unexpectedly through small accidents and fortuitous circumstances. At an age of twenty-seven years, Riemann wished to teach at G\u00f6ttingen; to demonstrate his abilities, each candidate had to present an oral dissertation in front of the grand assembly of the university. The rules asked that each candidate propose, some time in advance, three subjects, among which the professors chose that which seemed most promising. Traditionally, it so happened that the professors always selected one of the two first subjects on the list. Riemann had therefore carefully prepared his two first subjects and slightly neglected the last, which in fact concerned the foundations of geometry. However, he had not accounted for the presence in the jury of the great Gauss who, although a septuagenarian, remained the dominant figure on the faculty. Naturally, Gauss felt that the third subject was the most interesting. Panicked at the prospect of this seminar, on which his entire career depended, Riemann threw himself madly into the preparation of his lecture and subsequently fell ill, to the point that he missed the date of presentation and only recovered his health in April. He then prepared his lecture for seven weeks, an amount of time that Gauss had requested as an adjournment for medical reasons. Riemann finally delivered his oral dissertation on June 10, 1854.<\/p>\n<p style=\"text-align: justify\">It was in this lecture that he demonstrated the possibility of a geometry in which space is finite without having a frontier: \u201cThe unboundedness of space possesses in this way a greater empirical certainty than any external experience. But its infinite extent by no means follows from this; on the other hand if we assume independence of bodies from position, and therefore ascribe to space constant curvature, it must necessarily be finite provided this curvature has ever so small a positive value. If we prolong all the geodesics starting in a given surface-element, we should obtain an unbounded surface of constant curvature, i.e., a surface which in a flat manifoldness of three dimensions would take the form of a sphere, and consequently be finite.&#8221;<a href=\"#_ftn6\" name=\"_ftnref6\">[5]<\/a><\/p>\n<figure id=\"attachment_2065\" aria-describedby=\"caption-attachment-2065\" style=\"width: 176px\" class=\"wp-caption alignleft\"><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-2065\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Riemann-Hypotheses.jpg\" alt=\"\" width=\"176\" height=\"231\" srcset=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Riemann-Hypotheses.jpg 524w, https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Riemann-Hypotheses-343x450.jpg 343w\" sizes=\"auto, (max-width: 176px) 100vw, 176px\" \/><figcaption id=\"caption-attachment-2065\" class=\"wp-caption-text\">Riemann&#8217;s revolutionary thesis can be read today in English translation with notes and explanations.<\/figcaption><\/figure>\n<p style=\"text-align: justify\">Riemann also proposed to extend geometry to spaces having an arbitrary number of dimensions. For this, geometry must be understood as the study of possible varieties. In the most general sense, a variety is nothing more than a collection of objects from a set. Geometry then becomes the study of the rules and conditions placed on the objects from the set in order to determine the distances between elements.<\/p>\n<p style=\"text-align: justify\">For example, in a two-dimensional space, each point is define in a unique way by an ordered pair of real numbers (x<sub>1<\/sub>,x<sub>2<\/sub>): its coordinates. In threedimensional space, each point is defined by a triplet of numbers (x<sub>1<\/sub>,x<sub>2<\/sub>,x<sub>3<\/sub>). In an abstract n-dimensional space, each point has a unique address given by an n-tuplet (x<sub>1<\/sub>,x<sub>2<\/sub>,x<sub>3<\/sub>,\u2026. x<sub>n<\/sub>), an ordered set of n real numbers. The rules for determining the distances between elements in the set are summed up by the metric, a sort of generalization of the Pythagorean theorem whose coefficients determine the curvature of the space.<\/p>\n<p style=\"text-align: justify\">Riemann is not only the creator of the most profound lecture in the history of geometry, but in 1858 he accomplished an exploit of the same order, with a completely innovative article of eight pages, on number theory. Perhaps he would have performed a third exploit, if he had not died of tuberculosis at thirty-nine years of age.<\/p>\n<p style=\"text-align: justify\">Riemann&#8217;s inaugural dissertation was not published until after his death, in 1867. Another year passed before the Italian Eugenio Beltrami (1835\u20131900) crowned the edifice of non-Euclidean geometry: his model of the \u201cpseudosphere,\u201d describing a hyperbolic space of constant negative curvature by means of an equation analogous to that of the hypersphere, put in evidence the common nature of the hypotheses of Bolyai and Lobachevsky, and of Riemann.<\/p>\n<figure id=\"attachment_2066\" aria-describedby=\"caption-attachment-2066\" style=\"width: 300px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2066\" src=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/Beltrami-pseudosphere.jpg\" alt=\"\" width=\"300\" height=\"163\" \/><figcaption id=\"caption-attachment-2066\" class=\"wp-caption-text\">The pseudosphere of Beltrami as a model of surface of constant negative curvature.<\/figcaption><\/figure>\n<p style=\"text-align: justify\">The way was now definitively opened for Clifford, Einstein, Weyl, and others to model certain natural phenomena like gravitation in terms of non-Euclidean geometry.<\/p>\n<p style=\"text-align: justify\"><strong>FURTHER READING<\/strong><\/p>\n<p style=\"text-align: justify\">Rosenfeld, B. A., <em>A History of Non-Euclidean Geometry<\/em>, New York\u00a0:Springer-Verlag, 1988.<\/p>\n<p><strong>FOOTNOTES<\/strong><\/p>\n<p style=\"text-align: justify\"><a href=\"#_ftnref1\" name=\"_ftn1\">[1]<\/a> <em>Text on electricity<\/em>, in &#8220;The Power of Language&#8221;, tr. S. Gavronsky, Berkeley: Univ. of California Press (1979)]<\/p>\n<p style=\"text-align: justify\"><a href=\"#_ftnref2\" name=\"_ftn2\">[2]<\/a> see e.g. Euclid, <em>Elements<\/em>, T.L. Heath (transl.), Green Lion Press (2002).<\/p>\n<p style=\"text-align: justify\"><a href=\"#_ftnref4\" name=\"_ftn4\">[3]<\/a> Let us remark that the sphere also does not satisfy either the first or second postulates: for two points situated at the antipodes, there are an infinity of straight lines passing from one to the other, and every straight line is of finite length (its circumference).<\/p>\n<p style=\"text-align: justify\"><a href=\"#_ftnref5\" name=\"_ftn5\">[4]<\/a> Philip J. Davis and Reuben Hersch, <em>The Mathematical Experience<\/em>, Springer (2005)<\/p>\n<p style=\"text-align: justify\"><a href=\"#_ftnref6\" name=\"_ftn6\">[5]<\/a> Transl. by W. K. Clifford, <em>Nature<\/em> vol.VIII, n\u00b0 183 &amp; 184.<\/p>\n<!-- AddThis Advanced Settings generic via filter on the_content --><!-- AddThis Share Buttons generic via filter on the_content -->","protected":false},"excerpt":{"rendered":"<p>This post is an adaptation of a chapter of my book\u00a0 &#8220;The Wraparound Universe&#8221; with many more\u00a0 illustrations. ************************************************************************ Thus we may perhaps, one day, create new Figures that will allow us to put our trust in the Word, in order to traverse curved Space, non-Euclidean Space. Francis Ponge[1] &nbsp; In book I of the &hellip; <a href=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Non-Euclidean Geometries<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><!-- AddThis Advanced Settings generic via filter on get_the_excerpt --><!-- AddThis Share Buttons generic via filter on get_the_excerpt --><\/p>\n","protected":false},"author":2,"featured_media":2068,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"categories":[14,27,4],"tags":[253,255,254,252,250,251,256,234,6],"class_list":["post-2040","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-history-of-science-epistemology","category-my-books-articles","category-sciences","tag-beltrami","tag-bolyai","tag-curvature","tag-euclid","tag-gauss","tag-lobachevski","tag-non-euclidean-geometry","tag-riemann","tag-une"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v24.1 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Non-Euclidean Geometries, by Jean-Pierre Luminet<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Non-Euclidean Geometries, by Jean-Pierre Luminet\" \/>\n<meta property=\"og:description\" content=\"This post is an adaptation of a chapter of my book\u00a0 &#8220;The Wraparound Universe&#8221; with many more\u00a0 illustrations. ************************************************************************ Thus we may perhaps, one day, create new Figures that will allow us to put our trust in the Word, in order to traverse curved Space, non-Euclidean Space. Francis Ponge[1] &nbsp; In book I of the &hellip; Continue reading Non-Euclidean Geometries &rarr;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/\" \/>\n<meta property=\"og:site_name\" content=\"e-LUMINESCIENCES: the blog of Jean-Pierre Luminet\" \/>\n<meta property=\"article:published_time\" content=\"2017-09-22T12:51:34+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2017-09-22T12:58:02+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/galaxy_soho_114462.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"640\" \/>\n\t<meta property=\"og:image:height\" content=\"347\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Jean-Pierre LUMINET\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Jean-Pierre LUMINET\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"17 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/\",\"url\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/\",\"name\":\"Non-Euclidean Geometries, by Jean-Pierre Luminet\",\"isPartOf\":{\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/galaxy_soho_114462.jpg\",\"datePublished\":\"2017-09-22T12:51:34+00:00\",\"dateModified\":\"2017-09-22T12:58:02+00:00\",\"author\":{\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/#\/schema\/person\/d61f577b54398f0ecee81e140e7643cb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/#primaryimage\",\"url\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/galaxy_soho_114462.jpg\",\"contentUrl\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/galaxy_soho_114462.jpg\",\"width\":640,\"height\":347},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/#website\",\"url\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/\",\"name\":\"e-LUMINESCIENCES: the blog of Jean-Pierre Luminet\",\"description\":\"I felt dizzy and wept, for my eyes had seen that secret and conjectured object whose name is common to all men but which no man has looked upon -- the unimaginable universe. Jorge luis Borges, The Aleph (1949)\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/#\/schema\/person\/d61f577b54398f0ecee81e140e7643cb\",\"name\":\"Jean-Pierre LUMINET\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/a6d27645b8081b2f766677414e6a83e1?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/a6d27645b8081b2f766677414e6a83e1?s=96&d=mm&r=g\",\"caption\":\"Jean-Pierre LUMINET\"},\"url\":\"https:\/\/blogs.futura-sciences.com\/e-luminet\/author\/jpluminet\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Non-Euclidean Geometries, by Jean-Pierre Luminet","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/","og_locale":"en_US","og_type":"article","og_title":"Non-Euclidean Geometries, by Jean-Pierre Luminet","og_description":"This post is an adaptation of a chapter of my book\u00a0 &#8220;The Wraparound Universe&#8221; with many more\u00a0 illustrations. ************************************************************************ Thus we may perhaps, one day, create new Figures that will allow us to put our trust in the Word, in order to traverse curved Space, non-Euclidean Space. Francis Ponge[1] &nbsp; In book I of the &hellip; Continue reading Non-Euclidean Geometries &rarr;","og_url":"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/","og_site_name":"e-LUMINESCIENCES: the blog of Jean-Pierre Luminet","article_published_time":"2017-09-22T12:51:34+00:00","article_modified_time":"2017-09-22T12:58:02+00:00","og_image":[{"width":640,"height":347,"url":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/galaxy_soho_114462.jpg","type":"image\/jpeg"}],"author":"Jean-Pierre LUMINET","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Jean-Pierre LUMINET","Est. reading time":"17 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/","url":"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/","name":"Non-Euclidean Geometries, by Jean-Pierre Luminet","isPartOf":{"@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/#website"},"primaryImageOfPage":{"@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/#primaryimage"},"image":{"@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/#primaryimage"},"thumbnailUrl":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/galaxy_soho_114462.jpg","datePublished":"2017-09-22T12:51:34+00:00","dateModified":"2017-09-22T12:58:02+00:00","author":{"@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/#\/schema\/person\/d61f577b54398f0ecee81e140e7643cb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/2017\/09\/22\/non-euclidean-geometries\/#primaryimage","url":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/galaxy_soho_114462.jpg","contentUrl":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-content\/uploads\/sites\/11\/2017\/09\/galaxy_soho_114462.jpg","width":640,"height":347},{"@type":"WebSite","@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/#website","url":"https:\/\/blogs.futura-sciences.com\/e-luminet\/","name":"e-LUMINESCIENCES: the blog of Jean-Pierre Luminet","description":"I felt dizzy and wept, for my eyes had seen that secret and conjectured object whose name is common to all men but which no man has looked upon -- the unimaginable universe. Jorge luis Borges, The Aleph (1949)","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/blogs.futura-sciences.com\/e-luminet\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/#\/schema\/person\/d61f577b54398f0ecee81e140e7643cb","name":"Jean-Pierre LUMINET","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/blogs.futura-sciences.com\/e-luminet\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/a6d27645b8081b2f766677414e6a83e1?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/a6d27645b8081b2f766677414e6a83e1?s=96&d=mm&r=g","caption":"Jean-Pierre LUMINET"},"url":"https:\/\/blogs.futura-sciences.com\/e-luminet\/author\/jpluminet\/"}]}},"_links":{"self":[{"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/posts\/2040","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/comments?post=2040"}],"version-history":[{"count":6,"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/posts\/2040\/revisions"}],"predecessor-version":[{"id":2075,"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/posts\/2040\/revisions\/2075"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/media\/2068"}],"wp:attachment":[{"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/media?parent=2040"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/categories?post=2040"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.futura-sciences.com\/e-luminet\/wp-json\/wp\/v2\/tags?post=2040"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}