The Fundamental Theorem of Spherical Geometry—with a Discussion of the Fundamental Theorem of Special Relativity

Abstract

In 1946, when the author was studying the geometry of matrices, he used a method which can be used to deal with the fundamental theorem of n-dimensional spherical space; that is to say, from the property of the tangency of spheres one can derive the fundamental theorem of spherical geometry, so that neither the analycity nor even the continuity of certain transformations need ever be considered.