Spazi vettoriali, combinazioni lineari e span
Spazi vettoriali
Section titled “Spazi vettoriali”Uno spazio vettoriale reale è un insieme (i cui elementi sono detti vettori) su cui sono definite due operazioni che soddisfano determinate proprietà:
somma tra elementi qualsiasi di :
prodotto di un elemento di per uno scalare:
Combinazioni lineari
Section titled “Combinazioni lineari”Dato uno spazio vettoriale reale , considerati i vettori e gli scalari , il vettore:
è detto combinazione lineare dei vettori con coefficienti e appartiene a .
Forma matriciale
Section titled “Forma matriciale”La combinazione lineare si può scrivere sotto forma di prodotto tra matrici. Detta la matrice che ha come colonne i vettori :
Il risultato è quindi il vettore riga dato dal prodotto tra la matrice e il vettore colonna degli scalari .
Sottospazi vettoriali
Section titled “Sottospazi vettoriali”Un sottoinsieme dello spazio vettoriale , , è detto sottospazio di se è chiuso rispetto alle due operazioni di , ovvero se la somma di due elementi di e il prodotto di un elemento di per uno scalare danno come risultato un altro elemento di .
Di conseguenza, una combinazione lineare di elementi di un sottospazio deve restituire un altro elemento di quel sottospazio.
Se è un sottospazio di allora , per le proprietà del prodotto di un elemento di per lo scalare .
Se , allora contiene infiniti elementi, dati da al variare di .
Esempio: sottospazi di :
- : insieme formato solo dal vettore nullo;
- : lo spazio stesso è un sottospazio di sé;
- : insieme delle soluzioni di un sistema lineare omogeneo;
- : insieme delle ennuple in cui il primo elemento è ;
Generatori di uno spazio vettoriale
Section titled “Generatori di uno spazio vettoriale”Dato uno spazio vettoriale reale e dei vettori , l’insieme di tutte le combinazioni lineari di è detto spazio generato da .
Si definisce:
Se esistono tali che , allora si dice che è finitamente generato e che è un sistema di generatori di .
Stabilire se un insieme di ennuple è un sistema di generatori di
Section titled “Stabilire se un insieme di ennuple è un sistema di generatori di ℝ𝑛”L’insieme di ennuple è un insieme di generatori di se e solo se:
Per avere rango , è necessario che .