Sur la géométrie des ensembles de droites . (Q568218)

Es handelt sich um, im Sinne der direkten Infinitesimalgeometrie gemeinte, Verallgemeinerungen von Sätzen der klassischen (rechnerischen) Flächentheorie. Es sei \(\Gamma \) eine Menge von Geraden \(g\) in \(R_3\) und es sei \(\Omega \) die Summe aller Punkte aller \(g\subset \Gamma \). Der Durchschnitt von \(\Omega \) mit einer festen Ebene \(e\) sei die einfach zusammenhängende abgeschlossene Hülle \(H\) einer offenen Menge. Durch jeden Punkt \(P\) von \(\Omega \), der zu \(H\) hinreichend benachbart ist, so genau eine \(g\subset \Gamma \) gehen, die sich mit \(P\) stetig ändert. Es sei \(g_0\) eine Häufungsgerade von Geraden von \(\Gamma \); ferner seien \(A_\nu \) (\(\nu =1,2,3\)) drei verschiedene Punkte von \(g_0\), für welche das Kontingent \(\operatorname {ctg}(A_\nu,\Omega )\) von \(\Omega \) in \(A_\nu \) je in einer, \(g_0\) enthaltenden Ebene \(e_v\) liegt; die \(e_v\) seien verschiedenen. Dann liegt für jeden Punkt \(P\) von \(g_0\) das \(\operatorname {ctg}(P,\Omega )\) in derjenigen durch \(g_0\) gehenden Ebene \(e\), für welche die Doppelverhältnisgleichung gilt: \((e_1,e_2,e_3,e)= (A_1,A_2,A_3,P)\). Ein entsprechender Satz ergibt sich, wenn man an Stelle des Kontingents das Paratingent von \(\Omega \) in den \(A_\nu \) usw. treten läßt. Weiter wird je ein Satz gegeben, welcher sich auf das Kontingent bzw. das Paratingent von \(\Omega \) in den Punkten von \(g_0\) bezieht für den Fall, daß\ die Kontingentes bzw. Paratingentes von \(\Omega \) in zwei gegebenen Punkten der \(g_0\) in der \textit{gleichen} Ebene liegen. - Hinweis auf weitere Fragen.