Forma sesquilineare

In matematica e fisica, una forma sesquilineare sopra uno spazio vettoriale complesso è una funzione che associa ad ogni coppia di vettori dello spazio un numero complesso e che è antilineare in un argomento e lineare nell'altro. In particolare, la convenzione utilizzata solitamente in matematica è che sia lineare nel primo argomento e antilineare nel secondo, mentre in fisica accade il contrario (lineare nel secondo argomento, antilineare nel primo), in accordo con la notazione bra-ket introdotta da Paul Dirac nel formalismo della meccanica quantistica.

Poiché un'applicazione antilineare è talora detta semilineare, il nome sesquilineare trae origine dal prefisso latino sesqui- che significa "uno e mezzo", in sintonia con il termine forma bilineare, funzione con due argomenti che è lineare in entrambi. Inoltre, vari autori che studiano implicitamente soltanto spazi vettoriali complessi usano per brevità il termine "bilineare" al posto di "sesquilineare".

Una forma sesquilineare simmetrica è detta forma hermitiana, ed è analoga a una forma bilineare simmetrica nel caso reale. Una forma hermitiana definita positiva è inoltre detta prodotto interno o prodotto hermitiano. Se si considera il campo reale tale prodotto è il prodotto scalare.

Definizione

Sia ${\displaystyle V}$ uno spazio vettoriale complesso. Una forma sesquilineare sul campo ${\displaystyle \mathbb {C} }$ è una funzione

${\displaystyle \phi \colon V\times V\to \mathbb {C} }$

che associa ad ogni coppia di elementi ${\displaystyle \mathbf {v} }$ e ${\displaystyle \mathbf {w} \in V}$ lo scalare ${\displaystyle \phi (\mathbf {v} ,\mathbf {w} )\in \mathbb {C} }$.

Si tratta di un'applicazione lineare su una componente ed antilineare sull'altra, cioè:

• ${\displaystyle \phi (\mathbf {x} +\mathbf {y} ,\mathbf {z} +\mathbf {w} )=\phi (\mathbf {x} ,\mathbf {z} )+\phi (\mathbf {x} ,\mathbf {w} )+\phi (\mathbf {y} ,\mathbf {z} )+\phi (\mathbf {y} ,\mathbf {w} ),}$
• ${\displaystyle \phi (a\mathbf {x} ,\mathbf {y} )=a\phi (\mathbf {x} ,\mathbf {y} ),}$
• ${\displaystyle \phi (\mathbf {x} ,a\mathbf {y} )={\bar {a}}\phi (\mathbf {x} ,\mathbf {y} ),}$

con ${\displaystyle a\in \mathbb {C} }$ e ${\displaystyle \mathbf {x} ,\mathbf {y} ,\mathbf {z} ,\mathbf {w} \in \mathbb {V} }$.

In altre parole, per ogni ${\displaystyle \mathbf {z} }$ in ${\displaystyle V}$ fissato, le applicazioni

${\displaystyle \mathbf {w} \mapsto \phi (\mathbf {w} ,\mathbf {z} )\qquad {\text{e}}\qquad \mathbf {w} \mapsto \phi (\mathbf {z} ,\mathbf {w} )}$

sono rispettivamente lineare e antilineare.

Forma hermitiana

Lo stesso argomento in dettaglio: Operatore autoaggiunto.

Data una qualsiasi forma sesquilineare ${\displaystyle \phi }$ su ${\displaystyle V}$, è sempre possibile associare una seconda forma sesquilineare ${\displaystyle \phi ^{\dagger }}$ che si dice ottenuta per trasposizione coniugata:

${\displaystyle \phi ^{\dagger }(\mathbf {w} ,\mathbf {z} )={\overline {\phi (\mathbf {z} ,\mathbf {w} )}}}$

e si ha

${\displaystyle (\phi ^{\dagger })^{\dagger }=\phi .}$

Una forma hermitiana è una forma sesquilineare ${\displaystyle \phi \colon V\times V\to \mathbb {C} }$ tale che

${\displaystyle \phi (\mathbf {w} ,\mathbf {z} )={\overline {\phi (\mathbf {z} ,\mathbf {w} )}}.}$

La forma hermitiana standard sullo spazio ${\displaystyle \mathbb {C} ^{n}}$ è definita nel modo seguente:

${\displaystyle \phi (\mathbf {w} ,\mathbf {z} )=\sum _{i=1}^{n}{\overline {z}}_{i}w_{i}.}$

Tali forme sono l'equivalente complesso delle forme bilineari simmetrica e antisimmetrica. Analogamente a quanto accade nel caso reale, ogni forma sesquilineare può essere scritta come somma di una hermitiana e di una antihermitiana:

${\displaystyle \phi ={1 \over 2}(\phi +\phi ^{\dagger })+{1 \over 2}(\phi -\phi ^{\dagger }).}$

Prodotto interno

Lo stesso argomento in dettaglio: Spazio prehilbertiano.

Il prodotto interno, anche detto prodotto hermitiano, è una forma hermitiana definita positiva, cioè tale che:

${\displaystyle \phi (0,0)=0,\qquad \phi (\mathbf {z} ,\mathbf {z} )>0}$

se ${\displaystyle \mathbf {z} \neq 0}$. Un prodotto hermitiano è sovente indicato con ${\displaystyle \langle \cdot ,\cdot \rangle }$, e uno spazio vettoriale complesso munito di prodotto hermitiano si dice spazio prehilbertiano.

Il prodotto interno è in generale definito sul campo complesso, e nel caso si consideri il campo reale tale prodotto è detto prodotto scalare.

Forma quadratica

Ad una forma hermitiana è possibile associare una forma quadratica definita come:

${\displaystyle Q(z)=\phi (z,z).}$

Tale forma ha tutti valori reali: una forma sesquilineare è hermitiana se e solo se la forma quadratica a lei associata ha solo valori reali.

Note

Bibliografia

• Serge Lang, Algebra lineare, Torino, Bollati Boringhieri, 1992, ISBN 88-339-5035-2.
• Kenneth Hoffman, Ray Kunze, Linear Algebra, 2ª ed., Englewood Cliffs, New Jersey, Prentice - Hall, inc., 1971, ISBN 0-13-536821-9.
• K.W. Gruenberg & A.J. Weir (1977) Linear Geometry, §5.8 Sesquilinear Forms, pp 120–4, Springer, ISBN 0-387-90227-9.

Voci correlate

• Forma bilineare
• Forma quadratica
• Matrice antihermitiana
• Matrice hermitiana
• Operatore autoaggiunto
• Prodotto scalare
• Spazio di Hilbert
• Spazio prehilbertiano
• Trasformazione antilineare
• Trasformazione lineare

Collegamenti esterni

• forma sesquilineare, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Forma sesquilineare, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica