See.T. Y. Thomas,Un corollaire du théorème de Riquier, Bull. des. Sci. Math. 59, 1935, p. 134.
Trans. Am. Math. Soc., 38, 1935, p. 501.
On a class of existence theorems in differential geometry, Bull. Am. Math. Soc. 35, 1934, p. 721.
Trans.loc. cit. Trans. Am. Math. Soc., 38, 1935, p. 501. andT. Y. Thomas,On the metric representations of affinely connected spaces, Bull. Am. Math. Soc., 42, 1936, p. 77. These papers contain a proof of the non-existence of an algebraic characterization of the metric spaces in the class of all complex affinely connected spaces.
Beitrage zum Klassenproblem der quadratischen Differentialformen, Math. Annalen, 110, 1935, p. 522.
The conditions defining the algebraic characterization are considered to be known if they are difinitely obtainble by the recognized procedures of algebraic elimination.
Cf.Duschek-Mayer,Lehrbuch der Differentialgeometrie, II,Riemannsche Geometrie, Teubner, 1930.Eisenhart,Riemannian Geometry, Princeton University Press, 1926.Levi-Civita,The Absolute Differential Calculus, Blackie and Son, 1929.
See, for example,T. Y. Thomas,The Differential Invariants of Generalized Spaces, Cambridge University Press, 1934, p. 44, Eq. (13.8). Attention is called to the fact that the above components of the curvature tensor are the negatives of those used by some writers.
See, for example,T. Y. Thomas
,Systems of total differential equations defined over simply connected domains
, Annals of Math., 35, 1934, p. 730.CrossRef
For example, if we make a linear transformation of the coordinatesx
α so that at the initial point we haveg
αβ=δβα with respect to the new coordinate system the equations (3.3) will be satisfied by taking σ1=⋯=σn=o,σn+1=I and ∂yi/∂x
a=δai. Transforming back to the orginal coordinates the transformed values of the quantities ∂y
α and the above values of the scarlars σi will satisfy the system (3.3) as required.
This theorem has been proved byKilling,Nicht Euklidische Raumformen, Leipzig (1885), p. 237 and by later writers; see, for example,L. P. Eisenhart,Riemannian Geometry, Princeton, (1926), p. 201. The proof which we have given of this theorem although somewhat more lengthy than the proofs of the above authors has the advantage of greater formal simplicity.
SeeB. L. van der Waerden,Moderne Algebra, II, Berlin, Springer, 1931, p. 14.
SeeM. Bocher,Introduction to Higher Algebra, MacMillan, 1929, p. 33.
Although we have previously defined the algebraic characterization in terms of conditions involving a set of polynomials in the structural functionsg
αβ of theRiemann space and their derivatives there is no objection to stating these conditions in terms of polynomials in the components of the curvature tensorB since we can immediately pass from these latter conditions to the former. Analogous remarks apply to the algebraic characterizations given by the following theorems.
It is here to be noted that we have avoided the use of the equations (9.6) and (9.7) which are applicable only when the spaceR
2 is of definite type τ overH
3. The method of § 9 involving the use of the above equations (9.6) and (9.7) enables ns however to avoid the transformation of coordinates in the Lemma of § 9 in the rigorous derivation of the continuity and differentiability properties of the solutionsb
αβ of theGauss equations for spacesR
2* of type three; also the above equations are clearly necessary in the derivation of the conditions (10.2).