Forma sesquilineare: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 6:
Una particolare forma sesquilineare è la forma hermitiana, analoga alla [[forma bilineare simmetrica]] nel caso reale.
 
== Definizione ==
SiaSiano ''V'' unoe ''W'' [[spazio vettoriale|spazi vettoriali]] [[spazio vettoriale complesso|complessi]]. Una funzioneforma sesquilineare sul campo <math>\mathbb{C}</math> è una mappa:
 
:<math> \phi: V\times V \to \mathbb{C} </math>
 
che associa ad ogni coppia di elementi <math>\mathbf v \in V</math> e <math>\mathbf w \in W</math> lo scalare <math>\phi(\mathbf v,\mathbf w) \in \mathbb{C}</math>.
è detta forma sesquilineare se:
 
sonoSi rispettivamentetratta di un'applicazione [[trasformazione lineare|lineare]] esu una componente ed [[trasformazione antilineare|antilineare]]. sull'altra, cioè:
*<math>\phi(x + y, z + w) = \phi(x, z) + \phi(x, w) + \phi(y, z) + \phi(y, w)\,</math>
*<math>\phi(a x, y) = a\,\phi(x,y)</math>
*<math>\phi(x, ay) = \bar{a}\,\phi(x,y)</math>
per ogni ''x,y,z,w'' ∈ ''V'' e ogni ''a'' ∈ '''C'''.
 
*<math>\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)\,</math>
In altre parole, per ogni ''z'' in ''V'' fissato, le applicazioni
*<math>\phi(a \mathbf x, \mathbf y) = a\,\phi(\mathbf x, \mathbf y)</math>
*<math>\phi(\mathbf x, aya \mathbf y) = \bar{a}\,\phi(\mathbf x,\mathbf y)</math>
 
:con <math>a \in w\mathbb{C}</math> e <math>\mapstomathbf x, \phi(wmathbf y, \mathbf z), \mathbf w \mapstoin \phi(z,w), mathbb{V}</math> .
 
In altre parole, per ogni '''z''' in ''V'' fissato, le applicazioni
sono rispettivamente [[trasformazione lineare|lineare]] e [[trasformazione antilineare|antilineare]].
 
:<math> w \mapsto \phi(\mathbf w, \mathbf z) \qquad \ w \mapsto \phi(\mathbf z,\mathbf w)</math>
 
sono rispettivamente lineare e antilineare.
 
== Forma hermitiana ==