Indice d'inerzia di una forma bilineare

Come si calcola l'indice d'inerzia di una forma bilineare? Ho il seguente esercizio che non so proprio come risolvere.

Sia e si la forma bilineare simmetrica di matrice

rispetto alla base canonica.

Si verifichi che è non degenere, se ne calcoli l'indice di inerzia e si determini una base ortogonale di relativamente a .

Fin qui tutto ok, per verificare che g è non degenere calcolo il determinante di G e verifico che è diverso da 0.

Poi per determinare la base ortogonale prendo come primo vettore e utilizzando il procedimento di ortogonalizzazione di Gram-Schmidt trovo la base richiesta.

Ciò che non mi è chiaro è il concetto di indice di inerzia, non riesco a trovarlo su nessun libro di testo.

Inoltre il problema mi chiede:

è isometrico allo spazio dotato del prodotto scalare usuale? E allo spazio di Minkowski?

Qui non so proprio come procedere... immagino che l'esercizio sia abbastanza lungo da risolvere, ma mi basta anche uno spunto se la risoluzione dovesse essere particolarmente lunga. Scusate ma non so proprio come procedere.

In generale, data una qualsiasi matrice simmetrica di ordine , l'indice di inerzia di tale matrice è dato da:

dove

è l'indice di positività della matrice ed indica il numero di autovalori strettamente positivi associati alla matrice e contati con la loro molteplicità algebrica.

è l'indice di negatività della matrice ed indica il numero di autovalori strettamente negativi associati alla matrice e contati con la loro molteplicità algebrica.

Nella lezione sulla segnatura di una matrice (leggimi) abbiamo spiegato come trovare

Avendo la matrice

il polinomio caratteristico ad essa associato è

Dunque, per la regola di Cartesio applicata nel caso generale, in cui sappiamo a priori che tale polinomio ha tutte le radici reali (essendo la matrice simmetrica), avendo tale polinomio (completo) due permanenze e due variazioni di segno tra i coefficienti dei termini consecutivi, possiamo concludere che

pertanto

ossia l'indice d'inerzia della forma bilineare è pari a zero.

Attenzione ora! Se, come nel tuo caso, è richiesto il calcolo di una base ortogonale di relativamente alla forma bilineare allora, una volta trovata tale base si può ricavare l'indice di inerzia della forma bilineare senza calcolare il polinomio caratteristico. Vediamo come procedere.

Come ben dici poniamo (primo vettore della base ortogonale che stiamo cercando) uguale ad (primo vettore della base canonica di )

Procediamo poi con il processo di Gram-Schmidt dove, però, il prodotto scalare che andremo ad utilizzare non sarà quello standard ma, bensì, quello definito dalla forma bilineare

Detta la base ortogonale cercata, dopo un po' di conti puramente algebrici otterrai

Da cui

Una volta calcolati tali prodotti scalari, la matrice associata a rispetto alla base è

Da cui è immediato vedere che l'indice di inerzia è pari a zero.

Infatti tale matrice ha due autovalori positivi e due autovalori negativi .

----------------

Per rispondere all'ultima domanda basta ricordare che due spazi vettoriali dotati di prodotto scalare sono isometrici se hanno stessa dimensione e stesso indice d'inerzia.

Ora, dotato del prodotto scalare standard ha, ovviamente, dimensione 4 e indice d'inerzia pari a 4, infatti la matrice associata al prodotto scalare standard rispetto alla base ortogonale è

la quale ha 4 autovalori strettamente positivi.

Possiamo così concludere che non è isometrico a

Allo stesso modo, sapendo che (per definizione) lo spazio di Minkowski è lo spazio dotato della forma bilineare definita dalla matrice

possiamo subito trovare il suo indice di inerzia che è pari a

quindi anche tale spazio non è isometrico a .

È tutto!

Grazie mille, chiarissimo