Sur les couples et faisceaux de réseaux. (Q2610021): Difference between revisions

Ein Kurvennetz auf einer Fläche sei durch die Differentialgleichung \[ \varphi _{\alpha \beta }\,du^\alpha \,du^\beta =0 \] bestimmt. Es werden Haupttensor \(\varPhi _k^i\), \textit{Tchebycheff}-Tensor \(\tau _i\) und geodätischer Tensor \(\gamma _{kl}^i\) definiert. \(\tau _i=0\), \(\gamma _{kl}^i=0\) charakterisieren jeweils ein \textit{Tchebycheff}sches bzw. geodätisches Netz; die Invariante \(\underset{12}{h}\) zweier Netze \(\underset{12}{h}=\frac{1}{2}\underset{1}{\varPhi }_k^i\underset{2}{\varPhi }_i^k\) ist eine einfache Funktion des Doppelverhältnisses der vier Kurven beider Netze in einem Punkt. Von den vier Eigenschaften zweier Netze \[ \begin{alignedat}{4} &\qquad\!(1)\;\;\;\underset{1\;}{\gamma }=0, &&(2)\;\;\;\underset{2\;}{\gamma }=0, &&(3)\;\;\;\underset{1}{\tau }=\underset{2}{\tau }, &&(4)\;\;\;\underset{12}{h}=\;\text{const}\;\not=\pm1 \end{alignedat} \] ziehen jeweils drei die vierte nach sich. Von den folgenden drei Eigenschaften dreier Netze mit \(\underset{13}{h}=\underset{23}{h}=0\) (\(h=0\) bedeutet harmonisch): \[ \begin{alignedat}{3} &(1)\;\;\;\underset{1}{\tau }=\underset{2}{\tau }, &&(2)\;\;\;\underset{12}{h}=\;\text{const}\;\not=\pm1, &&(3)\;\;\;\underset{3\,}{\gamma }=0\end{alignedat} \] ziehen jeweils zwei die dritte nach sich. Das Büschel der \(\infty ^1\) Netze (\(C\)) zur Basis \(B\) wird definiert durch: (a) Jedes \(C\) ist harmonisch zu \(B\), \(\underset{BC}{h}=0\), (b) \kern-4pt\(\underset{C_1C_2}{h}=\;\text{const}\;\not=\pm1\). Jedes Büschel ist durch \(B\) und ein \(c_{0}\) bestimmt. Es folgt: (1) Alle zu einem geodätischen Netz harmonischen Netze mit gleichem \(\tau \) bilden ein Büschel; (2) in einem Büschel mit ``geodätischer Basis'' haben alle Netze das gleiche \(\tau \); (3) gehören zwei Netze mit gleichem \(\tau \) einem Büschel an, so ist die Basis geodätisch. Es werden noch weitere Anwendungen dieser Theoreme gegeben.