Sottospazio invariante: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 5:
:<math>\left. T \right| _W : W \rightarrow W</math>
 
Lo spazio <math>V</math> e il sottospazio <math> {0}</math> sono banalmente sottospazi invarianti per qualunque operatore lineare in <math>V</math>. Per alcuni operatori lineari non esiste un sottospazio invariante non banale. ConsideriamoSi consideri come esempio facilmente visualizzabile una [[Rotazione (matematica)|rotazione]] (operatore lineare) di un angolo <math>\theta \neq k \pi</math>, con <math>k \in \mathbb{Z}</math>, nello spazio bidimensionale reale.
 
Gli eventuali [[Autospazio|autospazi]] di un operatore sono, per definizione, sottospazi invarianti. L'esistenza di autovalori per l'operatore dunque garantisce l'esistenza di sottospazi invarianti non banali. Tornando all'esempio precedente, infatti, non esistono autovalori in una rotazione nello spazio <math>\R^2</math> , come si nota esaminando il [[polinomio caratteristico]] associato all'applicazione.
Riga 12:
 
==Rappresentazione matriciale==
Sia <math>W</math> un sottospazio invariante per <math>T: V \to V</math>-invariante. Sia <math>C = \{ \mathbf v_1,\dots , \mathbf v_k \}</math> una base di <math>W</math>, e la si [[Completamento a base|si completi]] ad una base <math>B</math> di <math>V</math>. Allora la [[matrice di trasformazione]] di <math>T</math> rispetto a tale base ha la forma:
 
:<math> T = \begin{bmatrix} T_{11} & T_{12} \\ 0 & T_{22} \end{bmatrix} </math>
Riga 22:
:<math>V = W \oplus W' \qquad T = \begin{bmatrix} T_{11} & T_{12} \\ T_{21} & T_{22} \end{bmatrix} : \begin{matrix}W \\ \oplus \\ W' \end{matrix} \rightarrow \begin{matrix}W \\ \oplus \\ W' \end{matrix}
</math>
 
con ''T''<sub>21</sub>: ''W'' → ''W' '' che è nullo.
 
==Reticolo dei sottospazi==