Densità di una corrispondenza di tipo dualistico, ed estensione dell' invariante di Mehmke-Segre.
Diese Arbeit handelt von einem auf analytischem Wege von \textit{F. Tricomi} eingeführten Begriff: dem der \textit{Dichte} einer Korrespondenz ``vom dualistischen Typus, d. h. einer Korrespondenz zwischen den Punkten \(P\) eines Raumes \(S_{r}\) und den Hyperebenen \(\pi _{r-1}\) eines zweiten Raumes \(S_r^\prime\). Diese ``Dichte ist eine Zahl, die geeignet ist, im kleinen die Verdichtung der Hyperebenen des \(S_r^\prime\), die den Punkten von \(S_r\) in der Nähe eines gegebenen Punktes \(P\) entsprechen, in der Umgebung der dem Punkt \(P\) entsprechenden Hyperebene zu messen. Die von \textit{Tricomi} tatsächlich behandelten Fälle sind \(r = 3\) (Atti Accad. naz. Lincei, Rend., Cl. Sci. fis. mat. nat. (6) 13 (1931); 407-411, 478-484; F. d. M. \(57_{\text{I}}\), 1003-1004) und \(r = 2\) (vorangehendes Referat); \textit{Tricomi} hat auch den von ihm eingeführten Begriff der ``Dichte mit Elementen der Integralgeometrie von \textit{W. Blaschke} (Vorlesungen über Integralgeometrie, Teil I, 2. Aufl. 1936; Teil II 1937; F. d. M. \(61_{\text{I}}\), 761-762; 63) in Beziehung gebracht. Im allgemeinen Fall (den Verf. hier betrachtet) seien die \(x_i\), \(X_{i}\) (\(i =1\), 2,\dots, \(r\)) cartesische Koordinaten der Punkte in \(S_{r}\) und \(S_r^\prime\) und die \(u_i\) die inhomogenen \textit{Plücker}schen Koordinaten der Hyperebenen, bezogen auf dasselbe cartesische Koordinatensystem in \(S_r^\prime\); wenn dann eine dualistische Korrespondenz \(C\) durch \(u_i=u_i(x_1,\dots,x_r)\) gegeben ist und \(D\) die Funktionaldeterminante \(\dfrac{\partial (u_1,\dots,u_r)}{\partial (x_1,\dots,x_r)}\) von \(C\) bedeutet, so ist die Dichte von \(C\) im Punkte \(x_{i}\) von \(S_{r}\) \[ \delta =D \biggl(\textstyle\sum\limits_{i=1}^{r}u_i^2\biggr )^{-\tfrac{r+1}{2}}. \] Verf. betrachtet hier vor allem zwei Fälle, in denen der Begriff der Dichte einer dualistischen Korrespondenz \(C\) sich auf den der Krümmung einer Hyperfläche zurückführen läßt: den Fall, in dem \(C\) jedem Punkt von \(S_{r}\) die Hyperebene zuordnet, die dort die durch ihn hindurchgehende Hyperfläche eines gegebenen Systems von \(\infty ^1\) Hyperflächen berührt, sowie denjenigen, in dem \(C\) die Polarenbildung in bezug auf eine algebraische Fläche \(\varPhi _{r-1}^n\) beliebiger Ordnung \(n\) ist. In dem letzten Fall ist, genauer, die Dichte in den Punkten von \(\varPhi _{r-1}^n\) bis auf den Faktor \(-(n-1)\) die Krümmung von \(\varPhi _{r-1}^n\). Hier ergibt sich, wie Verf. bemerkt, die Möglichkeit, den Begriff der Krümmung einer algebraischen Hyperfläche auf diejenigen Punkte des Raumes auszudehnen, die nicht zu der Hyperfläche gehören. Es ist wahrscheinlich, daß entsprechende Deutungen auch für eine beliebige dualistische Korrespondenz zweier übereinandergelegter Räume ``vom Nulltypus, d. h. eine solche, bei der jeder Punkt des ersten Raumes zu der entsprechenden Hyperebene gehört, in bezug auf die anholonome Hyperfläche, die dann durch die Korrespondenz definiert ist, gelten; auf einen Sonderfall weist Verf. in der Bemerkung auf S. 314 hin. Verf. geht dann zur Behandlung einer allgemeinen dualistischen Korrespondenz \(C\) über und gibt eine interessante geometrische Deutung der zugehörigen Dichte. -- Für den Fall \(r =2\) bedeute, wenn \(P\), \(p\) ein Punkt von \(S_{2}\) und die entsprechende Gerade von \(S_2^\prime\) sind, \(2\varDelta \) (\(\varDelta \) Kontraktionsindex der Richtungen) die kleinste Entfernung zweier Punkte von \(p\), die Bilder zweier von \(P\) ausgehender aufeinander senkrechter Geraden sind, \(G\) (Kontraktionsindex der Längen) das Maximum der \(A_\lambda ^2\), wobei \(A_\lambda \) der Grenzwert des Verhältnisses zwischen dem Winkel \(pq\) und der Entfernung \(PQ\) ist, wenn \(Q\) auf einer regulär von \(P\) ausgehenden Kurve, deren Richtung (im Büschel \(P\)) durch den Parameter \(\lambda \) gegeben ist, gegen \(P\) strebt; dann ist die Dichte der Korrespondenz das Produkt \(\varDelta G\). -- Im allgemeinen Fall (\(r\) beliebig) gilt \[ \delta =\raise4pt\hbox{\(\biggl(\)}\varDelta G^{\tfrac{r}{2}} \raise4pt\hbox{\(\biggr)\)}\lower1pt\hbox{\(^{\tfrac{1}{r-1}}\)}, \] wobei die ``Kontraktionsindices \(\varDelta \) und \(G\) ebenfalls geometrisch definiert sind, allerdings weniger einfach als im Falle \(r=2\) (S. 317). Geleitet durch die Deutung der Dichte einer dualistischen Korrespondenz als Krümmung in den oben erwähnten Fällen, betrachtet Verf. das Verhältnis \(i=\delta \!/\overline{\delta }\) der Dichten zweier dualistischer Korrespondenzen \(C\), \(\overline{C}\) zwischen zwei Räumen \(S_{r}\) und \(S_r^\prime\) die ein Paar \(P\), \(\pi _{r-1}\) von entsprechenden Elementen gemeinsam haben. Ebenso wie das Verhältnis der Krümmungen zweier Hyperflächen, die sich in einem Punkte berühren, eine projektive Bedeutung hat \(-\) es ist die bekannte Berührungsinvariante von \textit{R. Mehmke}, für die \textit{C. Segre} in einem Sonderfall eine projektive Konstruktion gegeben hat, die in weitem Umfang von \textit{E. Bompiani} angewendet und erweitert worden ist --, so findet Verf. hier für \(i=\delta \!/\overline{\delta }\) projektiv-geometrische Deutungen, und zwar durch Verfahren, die (besonders das zweite, auf S. 315, für den Fall \(r = 2\)) an dem Vorgehen \textit{C. Segre}s orientiert sind. -- Verf. benutzt die Gelegenheit, die \textit{Mehmke}sche Berührungsinvariante für zwei einander berührende Hyperflächen \(I_{r}\) und \(I_r^\prime\) im \(S_{r+1}\) auf die Invariante \(i\) zweier dualistischer Korrespondenzen zwischen zwei \(S_{r}\) des \(S_{r+1}\), \(\alpha _r\) und \(\beta _r\), zurückzuführen: Die beiden Korrespondenzen werden konstruiert, indem man den Projektionen der Punkte von \(I_{r}\) (oder \(I_{r}^\prime\)) auf \(\alpha _r\) von einem festen Punkt \(O\) des Raumes aus die Schnitte der zugehörigen Tangentenhyperebenen an \(I_{r}\) (oder \(I_r^\prime\)) mit \(\beta _r\) entsprechen läßt. Verf. gibt eine weitere Anwendung dieser Ergebnisse, indem er eine projektive Invariante von \textit{E. Waelsch} für eine Geradenkongruenz, die kürzlich von \textit{P. Buzano} (Invariante proiettivo di una particolare coppia di elementi di superficie, Boll. Un. mat. Ital. 14 (1935), 93-98; F. d. M. \(61_{\text{II}}\)) und \textit{E. Bompiani} (Boll. Un. mat. Ital. 14 (1935), 237-243; F. d. M. \(61_{\text{I}}\), 769) untersucht worden ist, auf neue Art deutet. -- Eine andere neuere Untersuchung, in der die dualistischen Korrespondenzen mit Punkttransformationen in Beziehung gesetzt und dadurch neue Deutungen der Dichte und dann die Bestimmung der metrischen Differentialinvarianten erster Ordnung für eine dualistische Korrespondenz erhalten werden, geht auf \textit{B. Segre} zurück (Invarianti differenziali relativi alle trasformazioni puntuali e dualistiche fra due spazi euclidei, Rend. Circ. mat. Palermo 60 (1937), 224-232; F. d. M. 63). (V 6 B, C.)
This page was built for publication: Densità di una corrispondenza di tipo dualistico, ed estensione dell' invariante di Mehmke-Segre.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2609983)
