22 ESEMPIO
In
Vediamo che
Infatti
quindi (per la
notazione 10 della sezione "Sottospazi proiettivi")
Sia ora
la famiglia dei sottospazi vettoriali
di
tali che
Allora dalla relazione
precedente otteniamo che
Quindi
che, per
osservazione 12 della sezione "Sottospazi proiettivi", è uguale a
contiene
Tale ragionamento può essere fatto per ogni punto di
pertanto abbiamo
che
e
quindi
Dunque vale
l'uguaglianza