On Invariance (1900-1925)

"It [mathematics] is in the inner world of pure thought, where all entia dwell, where is every type of order and manner of correlation and variety of relationship, it is in this infinite ensemble of eternal verities whence, if there be one cosmos or many of them, each derives its character and mode of being, - it is there that the spirit of mathesis has its home and its life. [/] Is it a restricted home, a narrow life, static and cold and grey with logic, without artistic interest, devoid of emotion and mood and sentiment? That world, it is true, is not a world of solar light, not clad in the colours that liven and glorify the things of sense, but it is an illuminated world, and over it all and everywhere throughout are hues and tints transcending sense, painted there by radiant pencils of psychic light, the light in which it lies. It is a silent world, and, nevertheless, in respect to the highest principle of art - the interpenetration of content and form, the perfect fusion of mode and meaning - it even surpasses music. In a sense, it is a static world, but so, too, are the worlds of the sculptor and the architect. The figures, however, which reason constructs and the mathematic vision beholds, transcend the temple and the statue, alike in simplicity and in intricacy, in delicacy and in grace, in symmetry and in poise. Not only are this home and this life thus rich in aesthetic interests, really controlled and sustained by motives of a sublimed and supersensuous art, but the religious aspiration, too, finds there, especially in the beautiful doctrine of invariants, the most perfect symbols of what it seeks - the changeless in the midst of change, abiding things hi a world of flux, configurations that remain the same despite the swirl and stress of countless hosts of curious transformations." (Cassius J Keyser, "The Universe and Beyond", Hibbert Journal, 1904-1906)

"The equations of Newton's mechanics exhibit a two-fold invariance. Their form remains unaltered, firstly, if we subject the underlying system of spatial coordinates to any arbitrary change of position ; secondly, if we change its state of motion, namely, by imparting to it any uniform translatory motion ; furthermore, the zero point of time is given no part to play. We are accustomed to look upon the axioms of geometry as finished with, when we feel ripe for the axioms of mechanics, and for that reason the two invariances are probably rarely mentioned in the same breath. Each of them by itself signifies, for the differential equations of mechanics, a certain group of transformations. The existence of the first group is looked upon as a fundamental characteristic of space. The second group is preferably treated with disdain, so that we with un-troubled minds may overcome the difficulty of never being able to decide, from physical phenomena, whether space, which is supposed to be stationary, may not be after all in a state of uniform translation. Thus the two groups, side by side, lead their lives entirely apart. Their utterly heterogeneous character may have discouraged any attempt to compound them. But it is precisely when they are compounded that the complete group, as a whole, gives us to think." (Hermann Minkowski, "Space and Time", [Address to the 80th Assembly of German Natural Scientists and Physicians] 1908)

"The power of differential calculus is that it linearizes all problems by going back to the 'infinitesimally small', but this process can be used only on smooth manifolds. Thus our distinction between the two senses of rotation on a smooth manifold rests on the fact that a continuously differentiable coordinate transformation leaving the origin fixed can be approximated by a linear transformation at О and one separates the (nondegenerate) homogeneous linear transformations into positive and negative according to the sign of their determinants. Also the invariance of the dimension for a smooth manifold follows simply from the fact that a linear substitution which has an inverse preserves the number of variables." (Hermann Weyl, "The Concept of a Riemann Surface", 1913)

"Two Riemann surfaces which can be mapped conformally onto each other are (conformally) equivalent and are to be regarded as different representations of one and the same ideal Riemann surface. The intrinsic properties of a Riemann surface will include only those properties which are invariant under conformal maps; that is, those properties which, if possessed by one Riemann surface are possessed by every equivalent surface. Obviously all topological properties are intrinsic properties of a Riemann surface; similarly with those properties belonging to the surface by virtue of its smoothness." (Hermann Weyl, "The Concept of a Riemann Surface", 1913)

"There appears a fundamental principle which can serve to characterize all possible geometries. […] Given any group of transformations in space which includes the principal group as a sub-group, then the invariant theory of this group gives a definite kind of geometry, and every possible geometry can be obtained in this way." (Felix Klein, "Elementary Mathematics from an Advanced Standpoint", 1919)

"A material particle upon which no force acts moves, according to the principle of inertia, uniformly in a straight line. In the four-dimensional continuum of the special theory of relativity (with real time co-ordinate) this a real straight line. The natural, that is, the simplest, generalization of the straight line which is meaningful in the system of concepts of the general (Riemannian) theory of invariants is that of the straightest, or geodesic, line."(Albert Einstein, "The Meaning of Relativity", 1922)