Forma sesquilineare: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 9:
== Definizione ==
Sia ''V'' uno [[spazio vettoriale complesso]]. Una funzione
:<math> \phi: V\times V \to \mathbb{C} </math>
è '''sesquilineare''' se▼
*<math>\phi(x + y, z + w) = \phi(x, z) + \phi(x, w) + \phi(y, z) + \phi(y, w)\,</math>
*<math>\phi(a x, y) = \bar{a}\,\phi(x,y)</math>
Line 18 ⟶ 21:
In altre parole, per ogni ''z'' in ''V'' fissato, le applicazioni
:<math> w \mapsto \phi(z,w), \ w \mapsto \phi(w,z) </math>
sono rispettivamente [[trasformazione lineare|lineare]] e [[trasformazione antilineare|antilineare]].
==
{{vedi anche|Operatore autoaggiunto}}
Data una qualsiasi forma sesquilineare <math> \phi </math> su ''V'', le si associa una seconda forma sesquilineare <math>\phi^\dagger </math> che si dice ottenuta per ''trasposizione coniugata'':
:<math>\phi^\dagger(w,z) = \overline{\phi(z,w)}</math> .▼
:<math>(\phi^\dagger)^\dagger = \phi </math>▼
Se <math> \phi = \phi^\dagger </math> allora la <math> \phi </math> è detta '''forma hermitiana'''. Se invece <math> \phi = - \phi^\dagger </math> è detta '''forma antihermitiana'''. ▼
Tali forme sono l'equivalente complesso delle [[forma bilineare|forme bilineari]] [[forma bilineare simmetrica|simmetrica]] e [[forma bilineare antisimmetrica|antisimmetrica]]. Analogamente a quanto accade nel caso reale, ogni forma sesquilineare può essere scritta come somma di una hermitiana e di una antihermitiana:▼
:<math>\phi = {1\over 2}(\phi+\phi^\dagger) + {1\over 2}(\phi-\phi^\dagger)</math>▼
e si ha:
▲:<math>(\phi^\dagger)^\dagger = \phi </math>
=== Definizione ===
Una forma hermitiana è
:<math>\phi(w,z) = \overline{\phi(z,w)}</math>
▲Se invece <math> \phi = - \phi^\dagger </math>, allora
La forma hermitiana standard sullo spazio '''C'''<sup>''n''</sup> è definita nel modo seguente:
:<math>\phi(w,z) = \sum_{i=1}^n\overline{w}_i z_i</math>
▲Tali forme sono l'equivalente complesso delle [[forma bilineare|forme bilineari]] [[forma bilineare simmetrica|simmetrica]] e [[forma bilineare antisimmetrica|antisimmetrica]]. Analogamente a quanto accade nel caso reale, ogni forma sesquilineare può essere scritta come somma di una hermitiana e di una antihermitiana:
▲:<math>\phi = {1\over 2}(\phi+\phi^\dagger) + {1\over 2}(\phi-\phi^\dagger)</math>
=== Matrice associata ===
|