Sur les espaces sousprojectifs. (Q5970470)

Bezieht man einen subprojektiven metrischen Raum auf ein kanonisches Koordinatensystem, in dem die \(\varGamma _{ij}^k\) sich ausdrücken durch \[ \varGamma _{ij}^k = f_{ij} x^k, \] so kann man \(ds^2\) auf eine der beiden Formen bringen: \[ ds^2 = c \Bigl(\frac {dx^1}{\varphi (x^1)}\Bigr)^2 + 2\sum _{k=2}^n \Bigl(dx^h - \frac {x^h}{x^1}\,dx^1\Bigr)^2,\;\;c=\pm 1,\;e_h=\pm 1, \] oder \[ ds^2 = \sum _{h=1}^n e_h (dx^h)^2 + l\,\cdot \, \Biggl[\sum _{h=1}^n e_h\,x^h\,dx^h\Biggr]^2, \] wobei \(l\) eine Funktion von \(\sum e_h (x^h)^2\) und \(e_h=\pm 1\) ist. Mit Hilfe dieser Formeln kann man jeden subprojektiven Raum durch eine Mannigfaltigkeit \(V_n\) des \((n + 1)\)-dimensionalen euklidischen Raumes realisieren. Die \(f_{ij}\) sind dann der zweiten Fundamentalform proportional. Die Metrik \[ d\sigma ^2 = f_{\alpha \beta }\,dx^\alpha \,dx^\beta \] ist auch subprojektiv. Wenn sie bis auf einen konstanten Faktor mit der ursprünglichen übereinstimmt, so erhält man einen projektiven Raum. Alle diese Angaben werden ohne Beweis gemacht.