Generatori di spazi vettoriali
I generatori di uno spazio vettoriale sono vettori che permettono di esprimere qualsiasi altro vettore dello spazio come loro combinazione lineare. Formalmente, diciamo che v₁, v₂, ..., vₙ ∈ V sono generatori per V se ogni v ∈ V può essere scritto come v = a₁v₁ + a₂v₂ + ... + aₙvₙ.
Per verificare se un insieme di vettori genera uno spazio, dobbiamo controllare se un qualsiasi vettore dello spazio può essere espresso come loro combinazione lineare. Questo si traduce nel risolvere sistemi di equazioni.
Consideriamo un esempio: v₁ = (1,0,-1) e v₂ = (1,0,1) in R³. Per determinare se generano R³, proviamo a esprimere un generico vettore (x,y,z) come loro combinazione lineare:
(x,y,z) = a₁(1,0,-1) + a₂(1,0,1)
Questo ci porta al sistema:
- a₁ + a₂ = x
- 0 = y
- -a₁ + a₂ = z
Da questo sistema possiamo dedurre che:
- a₁ = x−z/2
- a₂ = x+z/2
Ma notiamo che y deve essere necessariamente 0! Quindi questi vettori non possono generare tutto R³, ma solo il sottospazio dei vettori della forma (x,0,z).
💡 Suggerimento: Quando verifichi se un insieme di vettori genera uno spazio, prova sempre a risolvere il sistema per un vettore generico (x,y,z). Se esistono dei vincoli sulle componenti comey=0nell′esempio, allora i vettori non generano l'intero spazio.