Sia su .
Definizione
Una forma quadratica è una funzione del tipo
dove è una forma bilineare simmetrica. Se è la matrice di in una base e , allora
Diagonalizzazione per congruenza
Esiste una base in cui è diagonale con : equivale a scrivere
con (coordinate adatte). I numeri sono la segnatura.
Proprietà
- è definita positiva e (tutti dopo diagonalizzazione).
- è semidefinita se non compaiono entrambi i segni.
- coincide con il nucleo di e dà gli zeri strutturali di .
Collegamenti
- La classificazione up-to-base è la legge d’inerzia di Sylvester.
- Legame stretto con matrici simmetriche e cambi ortogonali quando è definita positiva.