Si consideri un sistema di vettori u
1, . . . , u
hin uno spazio vettoriale V . A lezione abbiamo dimostrato che sono equivalenti le seguenti proprieta’:
α) il sistema di vettori u
1, . . . , u
he’ linearmente dipendente;
β) tra i vettori u
1, . . . , u
hc’e’ un vettore u
iche dipende linearmente dai rimanenti vettori u
1, . . . , ˆ u
i, . . . , u
h(l’accento su u
ista a significare che u
inon appartiene al sistema u
1, . . . , ˆ u
i, . . . , u
h, cioe’ che e’ stato tolto dal sistema u
1, . . . , u
hcui appartiene);
γ) tra i vettori u
1, . . . , u
hc’e’ un vettore u
itale che
Span(u
1, . . . , u
h) = Span(u
1, . . . , ˆ u
i, . . . , u
h).
Definizione
Un vettore u
icome nella proprieta’ γ) si dice sovrabbondante rispetto al sistema di vettori u
1, . . . , u
h.
Un criterio operativo per riconoscere un vettore sovrabbondante e’ il seguente Corollario Sia u
iun vettore del sistema di vettori u
1, . . . , u
h. Allora u
ie’ sovrab- bondante rispetto al sistema u
1, . . . , u
hse e solo se esistono pesi a
1, . . . , a
i, . . . , a
hcon a
i6= 0 tali che a
1u
1+ · · · + a
iu
i+ · · · + a
hu
h= 0.
Dimostrazione del Corollario. Cominciamo con il supporre che il vettore u
isia sovrabbondante, e per semplificare le notazioni supponiamo che i = 1. Allora sap- piamo che Span(u
1, u
2, . . . , u
h) = Span(u
2, . . . , u
h). Quindi u
1e’ un elemento di Span(u
2, . . . , u
h), e percio’, secondo opportuni pesi a
2, . . . , a
hpossiamo scrivere u
1= a
2u
2+ · · · + a
hu
h, cioe’
u
1− a
2u
2− · · · − a
hu
h= 0.
E questa e’ una relazione tra i vettori u
1, . . . , u
hin cui u
1appare con peso diverso da 0 (in questo caso il peso e’ 1).
Viceversa supponiamo che esista una relazione del tipo a
1u
1+ a
2u
2+ · · · + a
hu
h= 0 con a
16= 0. Allora possiamo scrivere anche
u
1=
− a
2a
1u
2+ · · · +
− a
ha
1u
h.
Cio’ ci dice che u
1∈ Span(u
2, . . . , u
h). Deduciamo che {u
1, u
2, . . . , u
h} ⊆ Span(u
2, . . . , u
h) e percio’ Span(u
1, u
2, . . . , u
h) ⊆ Span(u
2, . . . , u
h). Poiche’ l’inclusione opposta e’ sem- pre verificata, l’argomento precedente implica che
Span(u
1, u
2, . . . , u
h) = Span(u
2, . . . , u
h),
2