Forma bilineare
Da Wikipedia, l'enciclopedia libera.
In matematica, e più precisamente in algebra lineare, una forma bilineare su uno spazio vettoriale V con campo è una mappa
che associa ad ogni coppia di elementi uno scalare , tale che sia lineare su entrambi i fattori. In altre parole, φ è bilineare se entrambe le mappe
Indice |
[modifica] Rappresentazione in coordinate
Se V ha dimensione n, ogni forma bilineare φ su V può essere rappresentata come una matrice quadrata con n righe. Come per le applicazioni lineari, per fare ciò è necessario scegliere una base {v1, ... vn} per V. La matrice risultante dipende dalla base scelta.
La matrice M è definita per componenti da Mi,j = φ(vi,vj). A questo punto, l'azione della forma bilineare su due vettori u e w di V si ricava nel modo seguente, tramite moltiplicazione tra matrici:
dove u e v sono i vettori delle coordinate di u e v rispetto alla base, aventi componenti ui e vj.
Ogni forma bilineare φ su V definisce una coppia di mappe lineari da V nel suo spazio duale V*, nel modo seguente: definiamo φ1, φ2:V → V* come
- φ1(v)(w) = B(v,w)
- φ2(v)(w) = B(w,v)
In altre parole, φ1(v) è l'elemento di V* che manda w in φ1(v, w). Per distinguere l'elemento v dall'argomento w della funzione ottenuta si usa la notazione
- B1(v) = B(v, − )
- B2(v) = B( − ,v)
D'altro canto, ogni mappa lineare T: V → V* definisce una funzione bilineare
- φ(v,w) = T(v)(w).
[modifica] Simmetria
[modifica] Forme simmetriche e antisimmetriche
Una forma bilineare φ: V × V → K è detta:
- simmetrica se φ(v,w) = φ(w,v) per ogni v, w in V
- antisimmetrica se B(v,w) = − B(w,v) per ogni v, w in V
Una forma bilineare φ è simmetrica se e solo se la sua matrice associata (rispetto ad una base qualsiasi) è simmetrica, ed è antisimmetrica se e solo se la matrice associata è antisimmetrica.
Se la forma bilineare è simmetrica, le due mappe φ1, φ2: V → V* definite sopra coincidono.
[modifica] Prodotto scalare
Per approfondire, vedi la voce prodotto scalare. |
Una forma bilineare simmetrica è spesso chiamata prodotto scalare. Altri autori definiscono invece il prodotto scalare come una forma bilineare simmetrica a valori nel campo R dei numeri reali che sia definita positiva, ovvero con φ(v,v) > 0 per ogni v diverso da zero.
[modifica] Esempi
- Il prodotto scalare canonico fra vettori del piano o dello spazio euclideo è una forma bilineare simmetrica.
- Sia C[0, 1] lo spazio vettoriale delle funzioni continue sull'intervallo [0,1], a valori reali. Un esempio di forma bilineare simmetrica su C[0, 1] è data da:
[modifica] Voci correlate
Spazio vettoriale: Applicazione lineare · Base · Teorema della dimensione · Formula di Grassmann · Teorema di Rouché-Capelli · Rango · Determinante
Diagonalizzabilità: Autovettore e autovalore · Polinomio caratteristico · Polinomio minimo · Forma canonica di Jordan
Prodotto scalare: Forma bilineare · Spazio euclideo · Base ortonormale · Gram-Schmidt · Forma hermitiana · Teorema spettrale