Sur les espaces sousprojectifs. (Q5970469)

In projektiven Koordinaten \(\varkappa ^l\), in denen sich die geodätischen Linien durch lineare Gleichungen ausdrücken lassen, ist \[ \varGamma _{ij}^l = f_{ij}\varkappa ^l + \delta _i^lp_j + \delta _j^lp_i, \] wobei sich \(p_i\) und \(f_{ij}\) gegenüber affinen Transformationen wie Tensoren verhalten. Setzt man \[ p_i=-\frac {1}{\vartheta } \frac {\partial\vartheta }{\partial x^i},\quad f_i=f_{i\alpha }\varkappa ^\alpha = -\frac {1}{\varphi } \frac {\partial\varphi }{\partial x^i},\quad \vartheta ^2=\varTheta,\;\;\varphi ^2=\varPhi, \] so erhält man im ``euklidischen'' Fall, wo die Integrabilitätsbedingungen der Gleichungen \[ \frac {\partial g_{ij}}{\partial x^k}= g_{i\alpha }\varGamma _{jk}^\alpha + g_{j\alpha }\varGamma _{ik}^\alpha \] bezüglich der \(g_{ik}\) identisch erfüllt sind, folgende Lösungen: Ist die Fläche \(\varTheta =0\) eine Doppelebene, so ist \[ g_{ik}= \Bigl(\frac {\lambda }{\vartheta }\Bigr)_i \Bigl(\frac {\xi }{\vartheta }\Bigr)_k + \Bigl(\frac {\lambda }{\vartheta }\Bigr)_k \Bigl(\frac {\xi }{\vartheta }\Bigr)_i + \frac {1}{\vartheta }\Bigl(\frac {\nu }{\vartheta }\Bigr)_{ik} \] oder \[ g_{ik}= \frac {1}{c} \Bigl(\frac {\xi }{\vartheta }\Bigr)_i \Bigl(\frac {\xi }{\vartheta }\Bigr)_k+ \frac {1}{\vartheta }\Bigl(\frac {\nu }{\vartheta }\Bigr)_{ik} \quad\quad (c=\text{ const}); \] dabei ist \(\lambda \) eine lineare und \(\nu \) eine quadratische Form der \(x^1, x^2, \ldots,x^n\), \(\xi \) eine willkürliche Funktion, und die Indices bedeuten Ableitungen nach den Koordinaten. Ist \(\varTheta =0\) keine Ebene, so wird \[ g_{ik}= \frac {\nu }{\vartheta ^3} \vartheta _{ik} + \frac {1}{\vartheta }\Bigl(\frac {\nu }{\vartheta }\Bigr)_{ik}. \] Im ``nichteuklidischen'' Fall ist \[ g_{ik}= \pm \tau _i\tau _k + \frac {\lambda }{\vartheta }\Bigl(\frac {\nu }{\vartheta }\Bigr)_{ik}, \] wobei \(\tau \) eine willkürliche Funktion von \(\dfrac {\lambda }{\vartheta }\) ist, oder \[ g_{ik}= \tau _i\tau _k + c \frac {\lambda \lambda _{ik}}{\vartheta ^2}; \] hierbei ist aber \(\lambda \) die Quadratwurzel aus einer quadratischen Form.