# GetWiki

*sesquilinear form*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

sesquilinear form

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**sesquilinear form**is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allows one of the arguments to be "twisted" in a semilinear manner, thus the name; which originates from the Latin numerical prefix (Wiktionary:sesqui-|

*sesqui-*) meaning "one and a half". The basic concept of the dot product â€“ producing a scalar from a pair of vectors â€“ can be generalized by allowing a broader range of scalar values and, perhaps simultaneously, by widening the definition of what a vector is.A motivating special case is a sesquilinear form on a complex vector space, {{math|

*V*}}. This is a map {{math|

*V*Ã—

*V*â†’

**C**}} that is linear in one argument and "twists" the linearity of the other argument by complex conjugation (referred to as being antilinear in the other argument). This case arises naturally in mathematical physics applications. Another important case allows the scalars to come from any field and the twist is provided by a field automorphism.An application in projective geometry requires that the scalars come from a division ring (skewfield), {{math|

*K*}}, and this means that the "vectors" should be replaced by elements of a {{math|

*K*}}-module. In a very general setting, sesquilinear forms can be defined over {{math|

*R*}}-modules for arbitrary rings {{math|

*R*}}.

## Convention

Conventions differ as to which argument should be linear. In the commutative case, we shall take the first to be linear, as is common in the mathematical literature, except in the section devoted to sesquilinear forms on complex vector spaces. There we use the other convention and take the first argument to be conjugate-linear (i.e. antilinear) and the second to be linear. This is the convention used mostly by mathematical physicistsfootnote 1 in Anthony Knapp*Basic Algebra*(2007) pg. 255 and originates in Dirac's braâ€“ket notation in quantum mechanics.In the more general noncommutative setting, with right modules we take the second argument to be linear and with left modules we take the first argument to be linear.

## Complex vector spaces

Over a complex vector space {{math|*V*}} a map {{math|

*Ï†*:

*V*Ã—

*V*â†’

**C**}} is sesquilinear if

begin{align}

&varphi(x + y, z + w) = varphi(x, z) + varphi(x, w) + varphi(y, z) + varphi(y, w)&varphi(a x, b y) = overline{a}b,varphi(x,y)end{align}for all {{math|*x*,

*y*,

*z*,

*w*âˆˆ

*V*}} and all {{math|

*a*,

*b*âˆˆ

**C**}}. {{math|{{overline|

*a*}}}} is the complex conjugate of {{math|

*a*}}.A complex sesquilinear form can also be viewed as a complex bilinear map

overline{V} times V to mathbf{C}

where {{math|{{overline|*V*}}}} is the complex conjugate vector space to {{math|

*V*}}. By the universal property of tensor products these are in one-to-one correspondence with complex linear maps

overline{V} otimes V to mathbf{C}.

For a fixed {{math|*z*}} in {{math|

*V*}} the map {{math|

*w*â†¦

*Ï†*(

*z*,

*w*)}} is a linear functional on {{math|

*V*}} (i.e. an element of the dual space {{math|

*V*âˆ—}}). Likewise, the {{math|

*w*â†¦

*Ï†*(

*w*,

*z*)}} is a conjugate-linear functional on {{math|

*V*}}.Given any complex sesquilinear form {{math|

*Ï†*}} on {{math|

*V*}} we can define a second complex sesquilinear form {{math|

*Ïˆ*}} via the conjugate transpose:

psi(w,z) = overline{varphi(z,w)}.

In general, {{math|*Ïˆ*}} and {{math|

*Ï†*}} will be different. If they are the same then {{math|

*Ï†*}} is said to be

*Hermitian*. If they are negatives of one another, then {{math|

*Ï†*}} is said to be

*skew-Hermitian*. Every sesquilinear form can be written as a sum of a Hermitian form and a skew-Hermitian form.

### Matrix representation

If {{math|*V*}} is a finite-dimensional complex vector space, then relative to any basis {{math|{

*e*

**'i****}{{null}}}} of {{math|**Î¦

*V*}}, a sesquilinear form is represented by a matrix {{math|**}}, {{math|**w

*w*}} by the column vector {{math|**}}, and {{math|**z'''}}:

*z*}} by the column vector {{math|
varphi(w,z) = varphi left(sum_i w_i e_i, sum_j z_j e_j right) = sum_i sum_j overline{w_i} z_j varphi(e_i, e_j) = {overline{mathbf{w}}}^mathrm{T} mathbf{Phi} mathbf{z} .

The components of {{math|**Î¦**}} are given by {{math|1=Î¦

*ij*=

*Ï†*(

*e*

**'i****,**

*e**'j*)}}.

### Hermitian form

*The term*

**Hermitian form**may also refer to a different concept than that explained below: it may refer to a certain differential form on a Hermitian manifold.**Hermitian form**(also called a

**symmetric sesquilinear form**), is a sesquilinear form {{math|

*h*:

*V*Ã—

*V*â†’

**C**}} such that

h(w,z) = overline{h(z, w)}.

The standard Hermitian form on {{math|**C**

*n*}} is given (again, using the "physics" convention of linearity in the second and conjugate linearity in the first variable) by

langle w,z rangle = sum_{i=1}^n overline{w_i} z_i.

More generally, the inner product on any complex Hilbert space is a Hermitian form.A minus sign is introduced in the Hermitian form w w^* - z z^* to define the group SU(1,1).A vector space with a Hermitian form {{math|(*V*,

*h*)}} is called a

**Hermitian space**.The matrix representation of a complex Hermitian form is a Hermitian matrix.A complex Hermitian form applied to a single vector

|z|_h = h(z, z)

is always real. One can show that a complex sesquilinear form is Hermitian iff the associated quadratic form is real for all {{math|*z*âˆˆ

*V*}}.

### Skew-Hermitian form

A complex**skew-Hermitian form**(also called an

**antisymmetric sesquilinear form**), is a complex sesquilinear form {{math|

*s*:

*V*Ã—

*V*â†’

**C**}} such that

s(w,z) = -overline{s(z, w)}.

Every complex skew-Hermitian form can be written as {{math|*i*}} times a Hermitian form.The matrix representation of a complex skew-Hermitian form is a skew-Hermitian matrix.A complex skew-Hermitian form applied to a single vector

|z|_s = s(z, z)

is always pure imaginary.## Over a division ring

This section applies unchanged when the division ring {{math|*K*}} is commutative. More specific terminology then also applies: the division ring is a field, the anti-automorphism is also an automorphism, and the right module is a vector space. The following applies to a left module with suitable reordering of expressions.

### Definition

A**{{math|**over a right {{math|

*Ïƒ*}}-sesquilinear form*K*}}-module {{math|

*M*}} is a bi-additive map {{math|

*Ï†*:

*M*Ã—

*M*â†’

*K*}} with an associated anti-automorphism {{math|

*Ïƒ*}} of a division ring {{math|

*K*}} such that, for all {{math|

*x*,

*y*âˆˆ

*M*}} and all {{math|

*Î±*,

*Î²*âˆˆ

*K*}},

varphi(x alpha, y beta) = sigma(alpha) , varphi(x, y) , beta .

The associated anti-automorphism {{math|*Ïƒ*}} for any nonzero sesquilinear form {{math|

*Ï†*}} is uniquely determined by {{math|

*Ï†*}}.

### Orthogonality

Given a sesquilinear form {{math|*Ï†*}} over a module {{math|

*M*}} and a subspace {{math|

*W*}} of {{math|

*M*}}, the

**orthogonal complement**of {{math|

*W*}} with respect to {{math|

*Ï†*}} is

W^{perp}={mathbf{v} in M mid varphi (mathbf{v}, mathbf{w})=0, forall mathbf{w}in W} .

Similarly, {{math|*x*âˆˆ

*M*}} is

**orthogonal**to {{math|

*y*âˆˆ

*M*}} with respect to {{math|

*Ï†*}}, written {{math|

*x*âŠ¥

*Ï†*

*y*}} (or simply {{math|

*x*âŠ¥

*y*}} if {{math|

*Ï†*}} can be inferred from the context), when {{math|1=

*Ï†*(

*x*,

*y*) = 0}}. This relation need not be symmetric, i.e. {{math|

*x*âŠ¥

*y*}} does not imply {{math|

*y*âŠ¥

*x*}} (but see

*{{section link||Reflexivity}}*below).

### Reflexivity

A sesquilinear form {{math|*Ï†*}} is

**reflexive**if, for all {{math|

*x*,

*y*âˆˆ

*M*}},

varphi(x, y) = 0 implies varphi(y, x) = 0 .

That is, a sesquilinear form is reflexive precisely when the derived orthogonality relation is symmetric.### Hermitian variations

A {{math|*Ïƒ*}}-sesquilinear form {{math|

*Ï†*}} is called

**{{math|(**if there exists {{math|

*Ïƒ*,*Îµ*)}}-Hermitian*Îµ*âˆˆ

*K*}} such that, for all {{math|

*x*,

*y*âˆˆ

*M*}},

varphi(x, y) = sigma ( varphi (y, x)) , varepsilon .

If {{math|1=*Îµ*= 1}}, the form is called {{math|

*Ïƒ*}}-

*Hermitian*, and if {{math|1=

*Îµ*= âˆ’1}}, it is called {{math|

*Ïƒ*}}-

*anti-Hermitian*. (When {{math|

*Ïƒ*}} is implied, respectively simply

*Hermitian*or

*anti-Hermitian*.)For a nonzero {{math|(

*Ïƒ*,

*Îµ*)}}-Hermitian form, it follows that, for all {{math|

*Î±*âˆˆ

*K*}},

sigma ( varepsilon ) = varepsilon^{-1}
sigma ( sigma ( alpha ) ) = varepsilon alpha varepsilon^{-1} .

It also follows that {{math|*Ï†*(

*x*,

*x*)}} is a fixed point of the map {{math|

*Î±*â†¦

*Ïƒ*(

*Î±*)

*Îµ*}}. The fixed points of this map from a subgroup of the additive group of {{math|

*K*}}.A {{math|(

*Ïƒ*,

*Îµ*)}}-Hermitian form is reflexive, and every reflexive {{math|

*Ïƒ*}}-sesquilinear form is {{math|(

*Ïƒ*,

*Îµ*)}}-Hermitian for some {{math|

*Îµ*}}.{{citation|year=1975|title=Combinatorics|journal=Proceedings of the NATO Advanced Study Institute, Held at Nijenrode Castle, Breukelen, The Netherlands, 8â€“20 July 1974|publisher=D. Reidel|pages=456â€“457}} â€“ weblinkSesquilinear form at EOM{{citation|author=Simeon Ball|year=2015|title=Finite Geometry and Combinatorial Applications|publisher=Cambridge University Press|page=28}} â€“ weblink{{harvnb|Dembowski|1968|page=42}}In the special case that {{math|

*Ïƒ*}} is the identity map (i.e., {{math|1=

*Ïƒ*= id}}), {{math|

*K*}} is commutative, {{math|

*Ï†*}} is a bilinear form and {{math|1=

*Îµ*2 = 1}}. Then for {{math|1=

*Îµ*= 1}} the bilinear form is called

*symmetric*, and for {{math|1=

*Îµ*= âˆ’1}} is called

*skew-symmetric*.When {{math|1=char

*K*= 2}}, skew-symmetric and symmetric bilinear forms coincide since then {{math|1=1 = âˆ’1}}. In all cases, alternating bilinear forms are a subset of skew-symmetric bilinear forms, and need not be considered separately.

### Example

Let {{math|*V*}} be the three dimensional vector space over the finite field {{math|1=

*F*= GF(

*q*2)}}, where {{math|

*q*}} is a prime power. With respect to the standard basis we can write {{math|1=

*x*= (

*x*1,

*x*2,

*x*3)}} and {{math|1=

*y*= (

*y*1,

*y*2,

*y*3)}} and define the map {{math|

*Ï†*}} by:

varphi(x, y) = x_1 y_1{}^q + x_2 y_2{}^q + x_3 y_3{}^q.

The map {{math|*Ïƒ*:

*t*â†¦

*t*

**'q****}} is an involutory automorphism of {{math|**

*F*}}. The map {{math|*Ï†*}} is then a {{math|*Ïƒ*}}-sesquilinear form. The matrix {{math|*M**'Ï†*}} associated to this form is the identity matrix. This is a Hermitian form.

## In projective geometry

In a projective geometry {{math|*G*}}, a permutation {{math|

*Î´*}} of the subspaces that inverts inclusion, i.e.

{{math|

is called a correlation. A result of Birkhoff and von Neumann (1936){{citation|first1=G.|last1=Birkhoff|first2=J.|last2=von Neumann|title=The logic of quantum mechanics|journal=Annals of Mathematics|year=1936|volume=37|pages=823â€“843|doi=10.2307/1968621}} shows that the correlations of desarguesian projective geometries correspond to the nondegenerate sesquilinear forms on the underlying vector space. A sesquilinear form {{math|*S*âŠ†*T*â‡’*T***'Î´****âŠ†***S**'Î´*}} for all subspaces {{math|*S*}}, {{math|*T*}} of {{math|*G*}},*Ï†*}} is

*nondegenerate*if {{math|1=

*Ï†*(

*x*,

*y*) = 0}} for all {{math|

*y*}} in {{math|

*V*}} (if and) only if {{math|1=

*x*= 0}}.To achieve full generality of this statement, and since every desarguesian projective geometry may be coordinatized by a division ring, Reinhold Baer extended the definition of a sesquilinear form to a division ring, which requires replacing vector spaces by {{math|

*R*}}-modules.{{citation|first=Reinhold|last=Baer|title=Linear Algebra and Projective Geometry|publisher=Dover|year=2005|origyear=1952|isbn=978-0-486-44565-6}} (In the geometric literature these are still referred to as either left or right vector spaces over skewfields.)Baer's terminology gives a third way to refer to these ideas, so he must be read with caution.

## Over arbitrary rings

The specialization of the above section to skewfields was a consequence of the application to projective geometry, and not intrinsic to the nature of sesquilinear forms. Only the minor modifications needed to take into account the non-commutativity of multiplication are required to generalize the arbitrary field version of the definition to arbitrary rings. Let {{math|*R*}} be a ring, {{math|

*V*}} an {{math|

*R*}}-module and {{math|

*Ïƒ*}} an antiautomorphism of {{math|

*R*}}.A map {{math|

*Ï†*:

*V*Ã—

*V*â†’

*R*}} is

**{{math|**if

*Ïƒ*}}-sesquilinear
varphi(x + y, z + w) = varphi(x, z) + varphi(x, w) + varphi(y, z) + varphi(y, w)
varphi(c x, d y) = c , varphi(x,y) , sigma(d)

for all {{math|*x*,

*y*,

*z*,

*w*âˆˆ

*V*}} and all {{math|

*c*,

*d*âˆˆ

*R*}}.A element {{math|

*x*}} is

**orthogonal**to another element {{math|

*y*}} with respect to the sesquilinear form {{math|

*Ï†*}} (written {{math|

*x*âŠ¥

*y*}}) if {{math|1=

*Ï†*(

*x*,

*y*) = 0}}. This relation need not be symmetric, i.e. {{math|

*x*âŠ¥

*y*}} does not imply {{math|

*y*âŠ¥

*x*}}.A sesquilinear form {{math|

*Ï†*:

*V*Ã—

*V*â†’

*R*}} is

**reflexive**(or

*orthosymmetric*) if {{math|1=

*Ï†*(

*x*,

*y*) = 0}} implies {{math|1=

*Ï†*(

*y*,

*x*) = 0}} for all {{math|

*x*,

*y*âˆˆ

*V*}}.A sesquilinear form {{math|

*Ï†*:

*V*Ã—

*V*â†’

*R*}} is

**Hermitian**if there exists {{math|

*Ïƒ*}} such that{{citation|last1=Faure|first1=Claude-Alain|last2=FrÃ¶licher|first2=Alfred|year=2000|title=Modern Projective Geometry|publisher=Kluwer Academic Publishers}}{{rp|325}}

varphi(x, y) = sigma(varphi(y, x))

for all {{math|*x*,

*y*âˆˆ

*V*}}. A Hermitian form is necessarily reflexive, and if it is nonzero, the associated antiautomorphism {{math|

*Ïƒ*}} is an involution (i.e. of order 2).Since for an antiautomorphism {{math|

*Ïƒ*}} we have {{math|1=

*Ïƒ*(

*st*) =

*Ïƒ*(

*t*)

*Ïƒ*(

*s*)}} for all {{math|

*s*,

*t*}} in {{math|

*R*}}, if {{math|1=

*Ïƒ*= id}}, then {{math|

*R*}} must be commutative and {{math|

*Ï†*}} is a bilinear form. In particular, if, in this case, {{math|

*R*}} is a skewfield, then {{math|

*R*}} is a field and {{math|

*V*}} is a vector space with a bilinear form.An antiautomorphism {{math|

*Ïƒ*:

*R*â†’

*R*}} can also be viewed as an isomorphism of {{math|

*R*â†’

*R*op}}, the

*opposite ring*based on the same set with the same addition, but whose multiplication operation ({{math|âˆ—}}) is defined by {{math|1=

*a*âˆ—

*b*=

*ba*}}, where the product on the right is the product in {{math|

*R*}}. It follows from this that a right (left) {{math|

*R*}}-module {{math|

*V*}} can be turned into a left (right) {{math|

*R*op}}-module, {{math|

*V*o}}.{{harvnb|Jacobson|2009|page=164}} Thus, the sesquilinear form {{math|

*Ï†*:

*V*Ã—

*V*â†’

*R*}} can be viewed as a bilinear form {{math|

*Ï†*â€² :

*V*Ã—

*V*o â†’

*R*}}.

## See also

## Notes

{{reflist}}## References

- {{Citation | last1=Dembowski | first1=Peter | title=Finite geometries | publisher=Springer-Verlag | location=Berlin, New York | series=Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44 | mr=0233275 | year=1968 | isbn=3-540-61786-8}}
- {{citation|first1=K.W.|last1=Gruenberg|first2=A.J.|last2=Weir|year=1977|title=Linear Geometry|edition=2nd|publisher=Springer|isbn= 0-387-90227-9}}
- {{citation|first=Nathan J.|last=Jacobson|title=Basic Algebra I|edition=2nd|year=2009|origyear=1985|publisher=Dover|isbn=978-0-486-47189-1}}

## External links

- {{Springer|id=Sesquilinear_form&oldid=35196|title=Sesquilinear form}}

**- content above as imported from Wikipedia**

- "

- time: 12:18am EDT - Tue, Jun 25 2019

- "

__sesquilinear form__" does not exist on GetWiki (yet)- time: 12:18am EDT - Tue, Jun 25 2019

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED