title: Segnatura (algebra lineare)
text: # Segnatura (algebra lineare)
  
  In matematica, e più precisamente in algebra lineare, la segnatura è una terna di numeri che corrispondono al numero di autovalori di una matrice simmetrica (o di un prodotto scalare associato).
  
  La segnatura è utile a determinare le proprietà essenziali di un prodotto scalare. Ad esempio, un prodotto scalare definito positivo, come quello presente in uno spazio euclideo, ha segnatura $(n,0,0)$, mentre lo spazio-tempo di Minkowski (fondamentale nella teoria della relatività) ha segnatura $(3,1,0)$ oppure $(1,3,0)$, a seconda delle convenzioni.
  
  ## Definizione
  
  Sia $A$ una matrice simmetrica reale (cioè i cui valori sono numeri reali). La segnatura $(i_{+},i_{-},i_{0})$ di $A$ è una terna di numeri naturali definita nel modo seguente: i valori $i_{+},i_{-}$ e $i_{0}$ sono rispettivamente il numero di autovalori positivi, negativi e nulli di $A$, ciascuno è contato con la sua molteplicità algebrica.
  
  Se $\phi$ è un prodotto scalare su uno spazio vettoriale $V$ di dimensione finita, la segnatura di $\phi$ è definita come la segnatura della matrice che rappresenta $\phi$ rispetto ad una qualsiasi base.
  
  ### Notazioni alternative
  
  Nei casi in cui $i_{0}=0$, vengono spesso usate notazioni differenti per la segnatura. Innanzitutto, il termine $i_{0}$ è omesso, e si parla di segnatura come coppia $(i_{+},i_{-})$ di numeri. In alternativa, la segnatura è descritta scrivendo i segni "$+$" e "$-$" rispettivamente $i_{+}$ e $i_{-}$ volte. Quindi si scrive $(+,+,-)$ per $(2,1)$, cioè $(2,1,0)$, e $(+,-,-,-)$ per $(1,3)$, cioè $(1,3,0)$. Queste sono le notazioni usate ad esempio nella relatività ristretta e generale. Oppure si può usare anche un singolo numero $s:=i_{+}-i_{-}$.
  
  ## Proprietà
  
  ### Teorema spettrale
  
  Per il teorema spettrale, una matrice simmetrica reale $A_{n\times n}$ è diagonalizzabile. In particolare, ha esattamente $n$ autovalori reali (contati con molteplicità). Quindi $i_{+}+i_{-}+i_{0}=n$.
  
  ### Teorema di Sylvester
  
  Per il teorema di Sylvester, due prodotti scalari sono isometrici se e solo se hanno la stessa segnatura. Quindi la segnatura è un invariante completo per i prodotti scalari, visti a meno di isometria. Analogamente, due matrici simmetriche sono congruenti se e solo se hanno la stessa segnatura.
  
  ### Interpretazione geometrica degli indici
  
  I valori $i_{+},i_{-}$ e $i_{0}$ sono detti indice di positività, negatività e nullità. L'indice di nullità è la dimensione del radicale di $\phi$, oppure del nucleo di $A$. Quindi un prodotto scalare non degenere ha segnatura $(i_{+},i_{-},0)$.
  
  Gli indici $i_{+}$ e $i_{-}$ sono la massima dimensione di un sottospazio su cui il prodotto scalare è rispettivamente definito positivo o negativo.
  
  ## Esempi
  
  ### Matrici
  
  La segnatura della matrice identità $n\times n$ è $(n,0,0)$. Più in generale, la segnatura di una matrice diagonale è la terna formata dal numero di elementi positivi, negativi e nulli sulla diagonale principale.
  
  Le matrici seguenti hanno entrambe segnatura $(1,1,0)$, e sono quindi congruenti per il teorema di Sylvester:
  
      ${\begin{pmatrix}1&0\\0&-1\end{pmatrix}},\quad {\begin{pmatrix}0&1\\1&0\end{pmatrix}}$
  
  ### Prodotti scalari
  
  Il prodotto scalare standard in $\mathbb {R} ^{n}$ ha segnatura $(n,0,0)$. Un prodotto scalare ha questa segnatura se e solo se è definito positivo.
  
  Un prodotto scalare definito negativo ha segnatura $(0,n,0)$. Un prodotto scalare semidefinito positivo ha segnatura $(n,0,m)$, ed uno semidefinito negativo $(0,n,m)$.
  
  Lo spazio-tempo di Minkowski è $\mathbb {R} ^{4}$ con il prodotto scalare definito dalla matrice:
  
      ${\begin{pmatrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{pmatrix}}$
  
  ed ha quindi segnatura $(1,3,0)$. Alcuni autori usano la matrice con i segni opposti, ottenendo la segnatura $(3,1,0)$.
  
  ## Calcolo della segnatura
  
  Per calcolare la segnatura di una matrice (simmetrica) sono disponibili alcune tecniche.
  
  * Poiché il polinomio caratteristico ha tutte le radici reali, il loro segno può essere determinato con la regola dei segni di Cartesio.
  * L'algoritmo di Lagrange fornisce un metodo per calcolare una base ortogonale, e quindi per calcolare una matrice diagonale congruente (e quindi con la stessa segnatura) a quella data: la segnatura di una matrice diagonale si ottiene quindi contando i segni dei valori sulla diagonale.
  * Per il criterio di Sylvester, una matrice simmetrica è definita positiva se e solo se i determinanti dei suoi minori principali sono tutti positivi.
  