Diagonalizzazione e ortogonalità

Tu che dici dopo tutto quello è stato scritto?

Direi proprio di no, però non riesco a trovare un modo di giustificare questa affermazione

Ma ne abbiamo già parlato diffusamente. La molteplicità geometrica è sempre minore/uguale a quella algebrica.
n radici al massimo n autovettori...e c'è un teorema che lo prova, mica lo afferma Bokonon, ok?
Quindi la somma delle dimensioni degli autospazi relativi a n autovalori (1+1+1+1+1..) sarà al massimo n.
L'unico modo afifnchè questo non accada è che tu riesca a trovare più di un autovettore associato a una radice distinta.
E questo non capiterà MAI (cerca e studia il teorema).

Ok quindi sappiamo che il grado massimo del polinomio caratteristico è n quindi la molt alg è al massimo n e quindi per forza la molt geom è minoreuguale a n, giusto?

E' (quasi) esatto.
Perchè (ricordiamolo, altrimenti arriva il buon Dissonance ) stiamo considerando polinomi caratteristici nel campo reale e quindi in qualche caso possono avere n-k soluzioni reali e k soluzioni complesse. In quel caso ci si attacca al tram prima ancora di cominciare.
Per il resto..è così come hai scritto tu.

perfetto!

Ultimissima domanda, nel caso di forma quadratica se ho la forma matriciale con una matrice simmetrica c'è un modo più veloce di trovare la base ortonormale per cui la forma quadratica è scritta in forma canonica? Oppure ogni volta devo trovare autovalori - > trovo le basi delle varie A-tIn - > le ortogonalizzo e poi le ortonormalizzo?