Covarianti proiettivi di un sistema di \(l\) curve dell' \(S_r\) a due a due incidentisi. (Q2578388): Difference between revisions

C\(_i\)(\(i= 1\),\dots, \(l\)) seien \(l\) Kurven, die paarweise je einen Punkt gemein haben; \(P_{ij}\) sei der Schnittpunkt von \(C_i\) und C\(_j\); \(S_{d_i}\) sei der Umgebungsraum von \(C_i\), \(S_{h_{ij}}\) derjenige des Paares C\(_i\), \(C_j\); \(S_r\) sei der \(C_1\),\dots, \(C_l\) umfassende kleinste Linearraum. In \(P_{ij}\) kann man zu gegebenem \(r_i\) bzw. \(r_j\) an \(C_i\) bzw. \(C_j\) einen hyperoskulierenden \(S_{d_i-r_i}\) bzw. \(S_{d_j-r_j}\) bestimmen; sie schneiden sich in einem \(S_{k_{ij}}\), und für \(r_i + r_j < d_i + d_j - h_{ij}\) ist i. a. \(k_{ij} = k_{ji} = d_i + d_j - r_i - r_j - h_{ij}\). Ist \(C_{ij}\) die \(C_i\) in \(P_{ij}\) \((d_i + 3)\)-punktig berührende rationale Normalkurve des \(S_{d_i}\) und \(C_{ij}'\). deren \(r_i\)-te Schmiegungskurve daselbst, also \(C_{ij}'\) selbst rationale Normalkurve im obigen \(S_{d_i-r_i}\), so bestimmt diese Kurve in \(S_{d_i-r_i}\) eine Polarität, in der zu \(S_{k_{ij}}\) ein Polarraum \(S_{d_i-r_i-k_{ij}-1}\) gehört; analog gewinnt man durch \(C_j\) einen \(S_{d_j-r_j-k_{ij}-1}\). Diese \(\frac12l(l-1)\) Raumpaare sind offenbar kovariant-projektiv mit \(C_1\),\dots, \(C_l\) ver\-knüpft, und das Gleiche gilt von allen durch sie konstruierten geometrischen Ge\-bilden. Diese allgemeine Tatsache führt Verf. in zahlreichen Sonderfällen aus.