SOPRA LE CORVÈ DI DATO ORDINE, ECC. 



349 



di quegli stessi n punti dovrà (se n > 2(r — 1) -f- i) contenere di conseguenza i 

 rimanenti (1). 



Si può prevedere fin d'ora che, se n supererà un certo limite, quelle quadriche 

 di S r _! dovranno avere, non solo questi n, ma infiniti punti (ossia tutta una curva) 

 a comune (2); ciò perchè un sistema lineare di quadriche di data dimensione e con 

 un numero finito di punti basi ammette necessariamente, per questo stesso numero, 

 un massimo (3). Si tratterebbe ora di trovare appunto questo massimo per il nostro 

 sistema, di dimensione (7 1 ) — i, in S r _ t (essendo pur sempre i < r — 2). 



La questione è piuttosto complicata, ma possiamo dare tuttavia un teorema che 

 ci sembra notevole e dal quale potremo poi ricavare nei §§ seg. (almeno per i casi 

 di i = 2 e i = 3) risultati della natura di quelli che testé andavamo cercando, e 

 che si collegheranno anche con quelli già ottenuti nei §§ precedenti. Ragioneremo, 

 per comodità, nello spazio S r , e supporremo perciò il sistema di quadriche assog- 

 gettato a 2r -f- i (anziché a 2 (r — 1) -4- i) condizioni. 



9. Il teorema del quale intendiamo parlare è il seguente : 



Se nello spazio S r si ha un gruppo di 2 (r -\- i) -4- 1 punti indipendenti (4) e tali 

 che le quadriche passanti per 2r -4- i qualunque fra essi passino sempre di conseguenza 

 per i rimanenti i — | — 1 , questi punti staranno tutti sopra una varietà M; : ~ 1+1 = co 1 ra- 

 zionale normale di S 4 -_i, che sarà anche segata in una Ml~{ dall' di r — 1 qua- 

 lunque fra quei punti (5). 



Consideriamo infatti l'S r _ 2 di r — 1 qualunque fra i punti proposti (A x , A 2 , A r _ t ), 

 e chiamiamolo a. Costruiamo poi le curve razionali normali di ordine r che hanno a 

 per spazio (r — 1) - secante e passano per altri r -4- 1 fra i punti dati (B 1; B 2 , B r+1 ) 

 e rispett. per altri i ancora fra quegli stessi punti (Ci, C 2 , CJ. Congiungendo i 

 vari gruppi di punti di queste curve che stanno in un iperpiano variabile attorno 



(1) Si può dire anzi che, se l'S r _ 1 di cui sopra è stato scelto in modo generale, ogni quadrica 

 passante per 2 (? — 1) -(- i qualunque fra questi n punti dovrà passare di conseguenza anche pei 

 rimanenti; impongano pure o non impongano quei primi 2{i l)-f-* condizioni tutte distinte. 



(2) E quindi le quadriche di Sr passanti per la curva dovranno avere a comune tutta una 

 superficie. 



(./-') 



(3) La questione, trasportata sulla varietà M^-i di S( r _i)( r +2) che rappresenta il sistema di 



2 



tutte le quadriche di S r _j, si tradurrebbe così: Se la varietà M ha comune con uno spazio S* un 

 numero finito di punti, questo numero non potrà superare un certo limite; e questo può ritenersi 

 evidente. E alla stessa questione può anche darsi la forma seguente, pure notevole : Sulla curva di 



ordine 2 r ~ 2 (e di genere (r — 4) 2 r— 3 + 1) intersezione generale di ì 2 quadriche in Sr— 1 l'ordine 



di una serie lineare di gruppi di punti di data dimensione non può scendere al di sotto di un certo 

 limite (che dipenderà naturalmente da questa dimensione). 



(4) Anche per i punti, come già per le quadriche, ci permettiamo di dire semplicemente ìndi- 

 pendenti, sottintendendo per brevità il linearmente. Avvertiamo poi che, per i punti, questa indi- 

 pendenza dovrà sempre intendersi come relativa (per così dire) allo spazio in cui si sa che i punti 

 stessi sono contenuti. Se siamo quindi in Su , intenderemo (soltanto) che mai k -f- 1 fra quei punti 

 stiano in uno stesso S ft _j. 



(5) Variando questi ultimi punti, potrà variare però la M^~'~ hl ; e questo apparirà anche dalla 

 dimostrazione che ora daremo. 



