RICERCHE DI GEOMETRIA SDLLE SUPERFICIE ALGEBRICHE 185 



pleto (con un numero finito di dimensioni) individuato da una data curva: occorre 

 perciò fissare un massimo della dimensione d'un sistema di dato genere, e questo 

 massimo manca ad es. pei sistemi di curve razionali nel piano e di curve di genere 

 più alto sulle rigate di genere > : queste classi di superficie verranno escluse nei 

 cap. che seguiranno, e dopo aver parlato del genere p delle superficie vedremo come 

 per p > il teorema accennato sussista senza eccezione (cap. II). Intanto una curva 

 appartiene ad un determinato sistema coìnpleto se si sa che essa è contenuta (anche par- 

 zialmente) in un sistema completo. 



3. Sistemi residui. — Teorema del resto. — Tutte le curve C d'un sistema lineare 

 (K) che insieme ad una stessa C formano una curva totale C -|- C di (K) costituiscono 

 il sistema residuo della curva C rispetto al sistem.a (K): è da avvertire che la C potrà 

 essere una curva composta e tra le sue componenti potranno esservi dei punti base 

 per (C). 



Sia (K) un sistema completo e (C) il residuo della curva C rispetto ad esso. 

 Si consideri (se vi è) un sistema contenente (C) e dello stesso genere di esso, ed 

 in quel sistema un fascio contenente una curva generica C di (C); il detto fascio 

 venga fatto segare sulla superficie F dai piani per una retta r', mentre un fascio 

 di curve K di (K) contenente la C -\- C venga segato dai piani per una retta r inter- 

 secante la r' in un punto : inoltre il piano r r' considerato come appartenente ai 

 due fasci corrisponda risp. alle curve C e C -\- C, di guisa che esso si stacchi (un 

 certo numero di volte) dalla superficie F. Staccato il detto piano la curva C vien 

 rappresentata dalla sezione di esso sulla F fuori di r r'. 



Sia u il genere d'una sezione piana generica della F per 0, n^ il genere d'una 

 sezione per r, tt/ quello d'una sezione per *•', ir, il genere della C; si ha per ipo- 

 tesi TTj := t^i : come abbiam visto nel precedente §, sussiste la relazione 



IT — TT, ^ 27T — 7Tj — Tr'j 



e quindi, posto in esso tt/ = tt,, segue tt < tTj e però n = ttj. 



Si deduce che le sezioni per della F sono curve del sistema completo (K) di 

 genere tt, e poiché la C -}- C è una curva totale di questo sistema la r non appar- 

 tiene ad F. 



Il fascio delle sezioni piane per r' (contenente C) appartiene dunque parimente 

 a (K) ed esso è il residuo della componente della C rappresentata dalla r' ; le altre 

 componenti debbono necessariamente essere curve razionali giacché se il genere di 

 una curva spezzata (connessa) è uguale al genere di una componente, le altre com- 

 ponenti sono di genere (avendosi il genere della curva composta maggiore od 

 uguale della somma dei generi delle sue parti): si vede così che nel caso piìi gene- 

 rale possibile la C si spezza in due parti Cj, C2 (la 2^^ delle quali composta di parti 

 razionali) in modo che il sistema residuo di Ci rispetto a (K) è il sistema completo 

 a cui appartiene il residuo (C) della C (= Cj -f- Cg). 



Così si ha intanto: 



Il sistema residuo d'una curva G, sema componenti razionali (0 punti), rispetto ad 

 un sistema completo (K) è completo. 



Serie II. Tom. XLIV. t 



