|
12. DEFINIZIONE-PROPOSIZIONE Sia spazio affine e sia insieme non vuoto; l'intersezione di tutti i sottospazi affini di contenenti è un sottospazio affine di detto sottospazio affine generato da e denotato con ; esso è il piú piccolo sottospazio affine di contenente . DIMOSTRAZIONE è certamente un sottospazio affine di contenente per cui la famiglia dei sottospazi affini contenenti è non vuota, dunque in virtú dell'esercizio 11 possiamo affermare che è un sottospazio affine di ; esso certamente contiene ed è il piú piccolo sottospazio che fa questo.
Notazione e terminologia: se
spazio affine e
sono sottospazi affini di
denoteremo con il simbolo
il sottospazio affine
;
esso è chiamato
somma affine di
e
.
Esempi intuitivi: se abbiamo due rette
nel piano ordinario allora si ha | ||||||||||||||||||
______ _______________ __ ________________________ |