Definition and Conventions
Conventions differ as to which argument should be linear. We take the first to be conjugate-linear and the second to be linear. This is the convention used by essentially all physicists and originates in Dirac's bra-ket notation in quantum mechanics. The opposite convention is perhaps more common in mathematics but is not universal.
Specifically a map φ : V × V → C is sesquilinear if
for all x,y,z,w ∈ V and all a, b ∈ C.
A sesquilinear form can also be viewed as a complex bilinear map
where is the complex conjugate vector space to V. By the universal property of tensor products these are in one-to-one correspondence with (complex) linear maps
For a fixed z in V the map is a linear functional on V (i.e. an element of the dual space V*). Likewise, the map is a conjugate-linear functional on V.
Given any sesquilinear form φ on V we can define a second sesquilinear form ψ via the conjugate transpose:
In general, ψ and φ will be different. If they are the same then φ is said to be Hermitian. If they are negatives of one another, then φ is said to be skew-Hermitian. Every sesquilinear form can be written as a sum of a Hermitian form and a skew-Hermitian form.
Read more about this topic: Sesquilinear Form
Famous quotes containing the words definition and/or conventions:
“One definition of man is an intelligence served by organs.”
—Ralph Waldo Emerson (18031882)
“Why does almost everything seem to me like its own parody? Why must I think that almost all, no, all the methods and conventions of art today are good for parody only?”
—Thomas Mann (18751955)