Un teorema sui fasci reali di curve algebriche. (Q1466556)

Ein Büschel \(f +\lambda g = 0\) ebener algebraischer Kurven der Ordnung \(n\) heißt ein ``algebraischerzeugendes'', wenn die durch das Nullsetzen der Diskriminante hervorgehende Gleichung vom Grade \(3(n -1)z\) in \(\lambda\) lauter verschiedene Wurzeln besitzt. Das Büschel hat dann \(n^2\) einfache und verschiedene Grundpunkte, und es existieren \(3(n -1)^2\) eigentliche Doppelpunkte, die zu ebenso vielen verschiedenen Kurven des Büschels gehören. Ein reelles Büschel \(\varphi\) heißt ``topologisch erzeugend'' bei lauter einfachen und getrennten reellen Basispunkten, und wenn die mit reellen Doppelpunkten behafteten Kurven alle verschieden sind. Ein reelles Büschel erster Art ist immer auch ein solches zweiter Art, aber nicht umgekehrt. Existiert nun in einem Büschel \(\varphi\) vom Geschlechte \(p(> 0)\) eine Kurve mit einem Zuge, der durch einen einzigen der Grundpunkte geht, so verteilen sich die Kurven von \(\varphi\) mit analoger Eigenschaft auf \(\mu\) getrennte Kontinua, wo \(\mu \leqq p,\) und eine jede derselben besteht aus wenigstens \(\mu +1\) Zügen. Als Beispiel dienen reelle Büschel von ebenen elliptischen Kurven dritter Ordnung \(C_3.\) Existiert in einem topologisch erzeugenden reellen Büschel von \(C_3\) eine solche, deren unpaarer Zug durch einen einzigen Basispunkt geht, so bilden diese \(C_3\) innerhalb des Büschels ein einziges Kontinuum.