218 



FEDERIGO ENRIQUES 



À questa questione rispondono i risultati precedenti. Infatti quando uniamo la 

 C al gruppo base delle iy«_3-M, e vogliamo calcolare l'effetto prodotto sulle formule 

 di postulazione, noi veniamo in sostanza a considerare la serie g n segata da tutte 

 le Wn-z+i sulla C (di genere ti') come completa e non speciale, ed allora la sua di- 

 mensione vien data dal teorema n — h = tt' ; il numero p così calcolato è la dimen- 

 sione virtuale di (C), ed in base al calcolo precedente (poiché il trinomio (tt — 1 — n -f- p 

 non differisce dall'analogo calcolato per il sistema regolare non speciale segato dalle 

 qj„_3 + si ha: 



tt — 1 — n -f- p = p. 



Se vogliamo la dimensione effettiva r dobbiamo introdurre la differenza 6 fra 

 il difetto di completezza e l'indice di specialità della serie che le Wn-s+i (ossia le 

 curve del sistema regolare non speciale che esse segano sulla superficie) segano sulla 

 C, e si avrà: 



r = p + e, 



dove == tu — i ; cioè si avrà appunto come abbiamo trovato 



tt — 1 — n — [— r = p -j— u) — i. 



Concludiamo : 



La dimensione p (virtuale) di un sistema puro (C) calcolata facendo segare il sistema 

 (C) da superficie aggiunte d'ordine > n — 4 sopra una superficie d'ordine n (in S 3 ) priva 

 di curve eccezionali, è un carattere invariantivo del sistema (C) e coincide colla dimensione 

 effettiva se il sistema è regolare non speciale, in modo che si ha: 



tt — 1 — n -\- p = p. 



La differenza (uj — i) fra la sovrabbondanza e l'indice di specialità di (C) è uguale 

 alla differenza (r — p) tra la dimensione effettiva e quella virtuale del sistema stesso. 



Così la denominazione di sovrabbondanza data alla quantità uu (definita nel § 2) 

 appare pienamente giustificata. Di più è interessante notare che il teorema stabilito 

 sussiste indipendentemente dalla completezza della serie caratteristica del sistema cano- 

 nico (1) (da cui segue quella di (C) ) e quindi anche prescindendo da quella ipotesi si 

 ha la relazione: 



tt — 1 — n -\- r = p -\- vj — i 



dove la sovrabbondanza w è definita dalla uguaglianza 



ai — i = r — p. 



Solo non risulta così che sia sempre uu > come si è riconosciuto sotto la pre- 

 cedente restrizione, ma questo resultato sarà stabilito nei successivo § al di là di 

 un certo limite per r. 



Il teorema stesso si estende ai sistemi impuri (C) normali, dedotti da (C) coll'ag- 

 giunta di s punti base di molteplicità h 1( h 2 . . . h s ; infatti i caratteri tt', n', r\ tu', i' di (C) 

 si esprimono per quelli di (C) mediante le formule: 



(1) Infatti nel dimostrarlo non si è tenuto conto di quella ipotesi. 



