Osservazioni sulle normali ad una superficie di uno spazio a quattro dimensioni. (Q2594876)

Als ``Guichardsche Normalenkongruenz'' einer Fläche \(\sigma\) des euklidischen \(R_4\), die ein Guichardsches ``Netz \(O\)'' (d. h. ein zweifaches System orthogonaler und konjugierter Linien) trägt, bezeichnet Verf. ein in den Punkten von \(\sigma\) errichtetes Normalensystem, das auf zwei Arten in Regelflächen angeordnet werden kann; diese beschreiben auf \(\sigma\) die Netzkurven (\textit{C. Guichard}, Ann. sci. École norm. sup. (3) 14 (1897), 467-516; (3) 15 (1898), 179-227; (3) 20 (1903), 75-132, 181-240, 241-288; F. d. M. 28, 589 (JFM 28.0589.*); 29, 514; 34, 712). Bezüglich jeder solchen Kongruenz kann man als Hauptkrümmungsradien von \(\sigma\) die Längen \(\overline{PC_1}\), \(\overline{PC_2}\) der Normalenabschnitte vom Flächenpunkt \(P\) bis zu den Berührungspunkten mit den Rückkehrkanten der beiden Regelflächen wählen wie im gewöhnlichen Raum. Für den Fall \(n = 4\) hat \textit{P. Calapso} (Ann. Mat. pura appl., Bologna, (4) 8 (1930), 201-213; F. d. M. \(56_{\text{I}}\), 603) auf analogem Wege bei geeigneter Normierung der entsprechenden normalen isotropen Vektoren die Radien \(\varrho_1\), \(\varrho_2\) der isotropen Krümmung (d. h. die isotropen Krümmungen \(\varrho_1^{-1}\), \(\varrho_2^{-1}\)) auf zwei isotropen Normalen im Punkte \(P\) von \(\sigma\) eingeführt (die isotropen Normalen verlaufen von \(P\) aus in den isotropen Richtungen der Normalebene). Diese beschreiben gerade zwei Guichardsche Normalenkongruenzen. Beschreiben \(n_1\), \(n_2\) zwei beliebige Guichardsche Normalenkongruenzen auf ihrer Orthogonalfläche, und sind \(r_1\), \(r_2\) bzw. \(R_1\), \(R_2\) die Hauptkrümmungsradien von \(\sigma\) bezüglich der beiden Kongruenzen, so gilt \[ \frac1{\varrho_1}=\frac1{r_1}+\frac i{R_1},\quad \frac1{\varrho_2}=\frac1{r_2}+\frac i{R_2}\,. \] Die Fläche kann durch die Gleichungen \[ x_3 = f (x_1, x_2),\quad x_4 =\varphi (x_1,x_2) \] dargestellt werden, wenn die \(x_i\) die kartesischen Kordinaten des \(R_4\) bezeichnen; jede homogene Funktion nullten Grades der beiden isotropen Krümmungen \(\varrho_1^{-1}\), \(\varrho_2^{-1}\) ist durch endliche Ausdrücke in den ersten und zweiten Ableitungen der Funktionen \(f\) und \(\varphi\) darzustellen. Dieses und einige andere Ergebnisse, die sich daran anknüpfen, werden vom Verf. in der vorliegenden Arbeit ausgesprochen; die Beweise sollen in einer späteren Veröffentlichung erscheinen.