Perceptual space is not a special space in addition to physical space, but physical space which we endow with a special subjective metric. ...apart f… - Hans Reichenbach

...the stereographic projection of the spherical surface. From the north pole P we draw radial lines to project every point of the surface of the sphere upon the horizontal plane [below, perpendicular to a line joining it to P and the sphere's center]. In general this transformation is unique and continuous , although the metrical relations are distorted; for the point P, however, it shows a singularity. Point P is mapped upon the infinite; i.e., no finitely located point of the plane corresponds to it. It can be shown that every transformation possesses a singularity in at least one point. The surface of the sphere is therefore called topologically different from the plane. Only a "sphere without a north pole" [point] would be topologically equivalent to a plane. ...such a sphere has a point-shaped hole without a boundary and is no longer a closed surface.

Once a definition of congruence is given, the choice of geometry is no longer in our hands; rather, the geometry is now an empirical fact.

It is remarkable that this generalization of plane geometry to surface geometry is identical with that generalization of geometry which originated from the analysis of the axiom of parallels. ...the construction of non-Euclidean geometries could have been equally well based upon the elimination of other axioms. It was perhaps due to an intuitive feeling for theoretical fruitfulness that the criticism always centered around the axiom of parallels. For in this way the axiomatic basis was created for that extension of geometry in which the metric appears as an independent variable. Once the significance of the metric as the characteristic feature of the plane has been recognized from the viewpoint of Gauss' plane theory, it is easy to point out, conversely, its connection with the axiom of parallels. The property of the straight line as being the shortest connection between two points can be transferred to curved surfaces, and leads to the concept of straightest line; on the surface of the sphere the great circles play the role of the shortest line of connection... analogous to that of the straight line on the plane. Yet while the great circles as "straight lines" share the most important property with those of the plane, they are distinct from the latter with respect to the axiom of the parallels: all great circles of the sphere intersect and therefore there are no parallels among these "straight lines". ...If this idea is carried through, and all axioms are formulated on the understanding that by "straight lines" are meant the great circles of the sphere and by "plane" is meant the surface of the sphere, it turns out that this system of elements satisfies the system of axioms within two dimensions which is nearly identical in all of it statements with the axiomatic system of Euclidean geometry; the only exception is the formulation of the axiom of the parallels. The geometry of the spherical surface can be viewed as the realization of a two-dimensional non-Euclidean geometry: the denial of the axiom of the parallels singles out that generalization of geometry which occurs in the transition from the plane to the curve surface.