HICERCHE DI GEOMETKIA SULLE SUPERFICIE ALGEBRICHE 207 



e precisamente vale 



TTi + Z 2 



se (>• C — C2) non ha punti base multipli e vale meno del detto numero in caso con- 

 trario; tenendo conto del fatto che la dimensione del sistema aggiunto ad un dato 

 sistema è uguale al genere di esso aumentato di ^ — 1, si conclude che (rC — 63) 

 non ha punti base multipli e quindi è di genere 



T^i + 2: — 2 — , 



ed il suo aggiunto è proprio il sistema (r C -{- C — C2) di dimensione 



^ + TT, + I 'l^l^ - 1. 



Sono dunque possibili due casi: 



il sistema (r C — C2) è un sistema puro ed allora (Ci) si ottiene da esso 

 imponendo i punti base colle molteplicità ii, i^ ■ ■ • i, alle sue curve generiche; 



(forse) il sistema (r C — Cg) ha alcuni punti base semplici (conseguenza dello 

 staccare (Cj) da (rC)) i quali cadono in punti base di (Ci), ma però coincide col 

 residuo del sistema canonico (C) rispetto al suo aggiunto (mentre in generale un 

 sistema impuro è contenuto nel residuo del canonico rispetto al suo aggiunto, quando 

 lo staccare il sistema canonico dal detto sistema aggiunto non tragga di conseguenza 

 lo staccarsi dei punti base del primitivo sistema) ; allora (Ci) si ottiene da {r C — C2) 

 imponendo le molteplicità ii, Ì2 . . . % nei punti base di (Ci) sieno essi base no 

 per (rC - C^). 



In ogni caso possiamo dunque concludere: 



Ogni sistema impuro (con punti base distinti) può dedursi colVaggiunta dei suoi 

 punti base, non traenti con sé lo staccarsi di alcuna altra curva, da un sistema che 

 coincide col residuo del canonico rispetto all'aggiunto, il quale è puro (forse) ha sol- 

 tanto dei punti base semplici. 



5. Cenno sulle superficie di genere 0. — Nei precedenti §' abbiamo escluso le 

 superficie di genere alle quali non si estende la dimostrazione del teorema fonda- 

 mentale del § 2. In virtù però delle considerazioni svolte in quel § (cfr. anche una 

 nota di esso) intorno alle formule di postulazione di Noether, ed approfittando del 

 citato teorema di Zeuthen e Noether sulla invariantività del genere numerico nelle 

 trasformazioni che non producono sulla superficie singolarità straordinarie, possiamo 

 concludere che: 



Sopra una superficie di genere geometrico uguale al numero 0, ìin sistema (C) sem- 

 plice di genere n, tale che la superficie su cui gli iperpiani segano le curve di (C) ha 

 soltanto singolarità ordinarie, possiede ìin sistema aggiunto co'^-^ 



Ora stabiliremo il seguente teorema: ", 



