In mathematics, more specifically in abstract algebra and linear algebra, a bilinear form on a vector space V is a bilinear map V × V → K, where K is the field of scalars. In other words, a bilinear form is a function B : V × V → K which is linear in each argument separately:


B(u + v, w) = B(u, w) + B(v, w)

B(u, v + w) = B(u, v) + B(u, w)

B(λu, v) = B(u, λv) = λB(u, v)
The definition of a bilinear form can be extended to include modules over a commutative ring, with linear maps replaced by module homomorphisms.
When K is the field of complex numbers C, one is often more interested in sesquilinear forms, which are similar to bilinear forms but are conjugate linear in one argument.
Contents

Coordinate representation 1

Maps to the dual space 2

Symmetric, skewsymmetric and alternating forms 3

Derived quadratic form 4

Reflexivity and orthogonality 5

Different spaces 6

Relation to tensor products 7

On normed vector spaces 8

See also 9

Notes 10

References 11

External links 12
Coordinate representation
Let V ≅ K^{n} be an ndimensional vector space with basis {e_{1}, ..., e_{n}}. Define the n × n matrix A by A_{ij} = B(e_{i}, e_{j}). If the n × 1 matrix x represents a vector v with respect to this basis, and analogously, y represents w, then:

B(\mathbf{v}, \mathbf{w}) = x^\mathrm T Ay = \sum_{i,j=1}^n a_{ij} x_i y_j.
Suppose {f_{1}, ..., f_{n}} is another basis for V, such that:

[f_{1}, ..., f_{n}] = [e_{1}, ..., e_{n}]S
where S ∈ GL(n, K). Now the new matrix representation for the bilinear form is given by: S^{T}AS.
Maps to the dual space
Every bilinear form B on V defines a pair of linear maps from V to its dual space V^{∗}. Define B_{1}, B_{2}: V → V^{∗} by

B_{1}(v)(w) = B(v, w)

B_{2}(v)(w) = B(w, v)
This is often denoted as

B_{1}(v) = B(v, ⋅)

B_{2}(v) = B(⋅, v)
where the dot ( ⋅ ) indicates the slot into which the argument for the resulting linear functional is to be placed (see Currying).
For a finitedimensional vector space V, if either of B_{1} or B_{2} is an isomorphism, then both are, and the bilinear form B is said to be nondegenerate. More concretely, for a finitedimensional vector space, nondegenerate means that every nonzero element pairs nontrivially with some other element:

B(x,y)=0\, for all y \in V implies that x = 0 and

B(x,y)=0\, for all x \in V implies that y = 0.
The corresponding notion for a module over a commutative ring is that a bilinear form is unimodular if V → V^{∗} is an isomorphism. Given a finitedimensional module over a commutative ring, the pairing may be injective (hence "nondegenerate" in the above sense) but not unimodular. For example, over the integers, the pairing B(x, y) = 2xy is nondegenerate but not unimodular, as the induced map from V = Z to V^{∗} = Z is multiplication by 2.
If V is finitedimensional then one can identify V with its double dual V^{∗∗}. One can then show that B_{2} is the transpose of the linear map B_{1} (if V is infinitedimensional then B_{2} is the transpose of B_{1} restricted to the image of V in V^{∗∗}). Given B one can define the transpose of B to be the bilinear form given by

^{t}B(v, w) = B(w, v).
The left radical and right radical of the form B are the kernels of B_{1} and B_{2} respectively;^{[1]} they are the vectors orthogonal to the whole space on the left and on the right.^{[2]}
If V is finitedimensional then the rank of B_{1} is equal to the rank of B_{2}. If this number is equal to dim(V) then B_{1} and B_{2} are linear isomorphisms from V to V^{∗}. In this case B is nondegenerate. By the rank–nullity theorem, this is equivalent to the condition that the left and equivalently right radicals be trivial. For finitedimensional spaces, this is often taken as the definition of nondegeneracy:
Definition: B is nondegenerate if B(v, w) = 0 for all w implies v = 0.
Given any linear map A : V → V^{∗} one can obtain a bilinear form B on V via

B(v, w) = A(v)(w).
This form will be nondegenerate if and only if A is an isomorphism.
If V is finitedimensional then, relative to some basis for V, a bilinear form is degenerate if and only if the determinant of the associated matrix is zero. Likewise, a nondegenerate form is one for which the determinant of the associated matrix is nonzero (the matrix is nonsingular). These statements are independent of the chosen basis. For a module over a commutative ring, a unimodular form is one for which the determinant of the associate matrix is a unit (for example 1), hence the term; note that a form whose matrix is nonzero but not a unit will be nondegenerate but not unimodular, for example B(x, y) = 2xy over the integers.
Symmetric, skewsymmetric and alternating forms
We define a form to be

symmetric if B(v, w) = B(w, v) for all v, w in V;

alternating if B(v, v) = 0 for all v in V;

skewsymmetric if B(v, w) = −B(w, v) for all v, w in V;

Proposition: Every alternating form is skewsymmetric.

Proof: This can be seen by expanding B(v + w, v + w).
If the characteristic of K is not 2 then the converse is also true: every skewsymmetric form is alternating. If, however, char(K) = 2 then a skewsymmetric form is the same as a symmetric form and there exist symmetric/skewsymmetric forms that are not alternating.
A bilinear form is symmetric (resp. skewsymmetric) if and only if its coordinate matrix (relative to any basis) is symmetric (resp. skewsymmetric). A bilinear form is alternating if and only if its coordinate matrix is skewsymmetric and the diagonal entries are all zero (which follows from skewsymmetry when char(K) ≠ 2).
A bilinear form is symmetric if and only if the maps B_{1}, B_{2}: V → V^{∗} are equal, and skewsymmetric if and only if they are negatives of one another. If char(K) ≠ 2 then one can decompose a bilinear form into a symmetric and a skewsymmetric part as follows

B^{+} = \tfrac{1}{2} (B + {}^{\text{t}}B) \qquad B^{} = \tfrac{1}{2} (B  {}^{\text{t}}B) ,
where ^{t}B is the transpose of B (defined above).
Derived quadratic form
For any bilinear form B : V × V → K, there exists an associated quadratic form Q : V → K defined by Q : V → K : v ↦ B(v,v).
When char(K) ≠ 2, the quadratic form Q is determined by the symmetric part of the bilinear form B and is independent of the antisymmetric part. In this case there is a onetoone correspondence between the symmetric part of the bilinear form and the quadratic form, and it makes sense to speak of the symmetric bilinear form associated with a quadratic form.
When char(K) = 2 and dim V > 1, this correspondence between quadratic forms and symmetric bilinear forms breaks down.
Reflexivity and orthogonality
Definition: A bilinear form B : V × V → K is called reflexive if B(v, w) = 0 implies B(w, v) = 0 for all v, w in V.
Definition: Let B : V × V → K be a reflexive bilinear form. v, w in V are orthogonal with respect to B if B(v, w) = 0.
A form B is reflexive if and only if it is either symmetric or alternating.^{[3]} In the absence of reflexivity we have to distinguish left and right orthogonality. In a reflexive space the left and right radicals agree and are termed the kernel or the radical of the bilinear form: the subspace of all vectors orthogonal with every other vector. A vector v, with matrix representation x, is in the radical of a bilinear form with matrix representation A, if and only if Ax = 0 ⇔ x^{T}A = 0. The radical is always a subspace of V. It is trivial if and only if the matrix A is nonsingular, and thus if and only if the bilinear form is nondegenerate.
Suppose W is a subspace. Define the orthogonal complement^{[4]}

W^{\perp}=\{\mathbf{v} \mid B(\mathbf{v}, \mathbf{w})=0\ \forall \mathbf{w}\in W\} \ .
For a nondegenerate form on a finite dimensional space, the map W ↦ W^{⊥} is bijective, and the dimension of W^{⊥} is dim(V) − dim(W).
Different spaces
Much of the theory is available for a bilinear mapping to the base field

B : V × W → K.
In this situation we still have induced linear mappings from V to W^{∗}, and from W to V^{∗}. It may happen that these mappings are isomorphisms; assuming finite dimensions, if one is an isomorphism, the other must be. When this occurs, B is said to be a perfect pairing.
In finite dimensions, this is equivalent to the pairing being nondegenerate (the spaces necessarily having the same dimensions). For modules (instead of vector spaces), just as how a nondegenerate form is weaker than a unimodular form, a nondegenerate pairing is a weaker notion than a perfect pairing. A pairing can be nondegenerate without being a perfect pairing, for instance Z × Z → Z via (x,y) ↦ 2xy is nondegenerate, but induces multiplication by 2 on the map Z → Z^{∗}.
Terminology varies in coverage of bilinear forms. For example, F. Reese Harvey discusses "eight types of inner product".^{[5]} To define them he uses diagonal matrices A_{ij} having only +1 or −1 for nonzero elements. Some of the "inner products" are symplectic forms and some are sesquilinear forms or Hermitian forms. Rather than a general field K, the instances with real numbers R, complex numbers C, and quaternions H are spelled out. The bilinear form

\sum_{k=1}^p x_k y_k  \sum_{k=p+1}^n x_k y_k
is called the real symmetric case and labeled R(p, q), where p + q = n. Then he articulates the connection to traditional terminology:^{[6]}

Some of the real symmetric cases are very important. The positive definite case R(n, 0) is called Euclidean space, while the case of a single minus, R(n−1, 1) is called Lorentzian space. If n = 4, then Lorentzian space is also called Minkowski space or Minkowski spacetime. The special case R(p, p) will be referred to as the splitcase.
Relation to tensor products
By the universal property of the tensor product, bilinear forms on V are in 1to1 correspondence with linear maps V ⊗ V → K. If B is a bilinear form on V the corresponding linear map is given by

v ⊗ w ↦ B(v, w)
The set of all linear maps V ⊗ V → K is the dual space of V ⊗ V, so bilinear forms may be thought of as elements of

(V ⊗ V)^{∗} ≅ V^{∗} ⊗ V^{∗}
Likewise, symmetric bilinear forms may be thought of as elements of Sym^{2}(V^{∗}) (the second symmetric power of V^{∗}), and alternating bilinear forms as elements of Λ^{2}V^{∗} (the second exterior power of V^{∗}).
On normed vector spaces
Definition: A bilinear form on a normed vector space (V, ‖·‖) is bounded, if there is a constant C such that for all u, v ∈ V,

B ( \mathbf{u} , \mathbf{v}) \le C \left\ \mathbf{u} \right\ \left\\mathbf{v} \right\ .
Definition: A bilinear form on a normed vector space (V, ‖·‖) is elliptic, or coercive, if there is a constant c > 0 such that for all u ∈ V,

B ( \mathbf{u} , \mathbf{u}) \ge c \left\ \mathbf{u} \right\ ^2 .
See also
Notes

^ Jacobson 2009 p. 346

^ Zhelobenko, Dmitriĭ Petrovich (2006). Principal Structures and Methods of Representation Theory. Translations of Mathematical Monographs.

^ Grove 1997

^ Adkins & Weintraub (1992) p.359

^ Harvey p. 22

^ Harvey p 23
References

Jacobson, Nathan (2009). Basic Algebra I (2nd ed.).

Adkins, William A.; Weintraub, Steven H. (1992). Algebra: An Approach via Module Theory.

Cooperstein, Bruce (2010). "Ch 8: Bilinear Forms and Maps". Advanced Linear Algebra.

Grove, Larry C. (1997). Groups and characters. WileyInterscience.


Harvey, F. Reese (1990). "Chapter 2: The Eight Types of Inner Product Spaces". Spinors and calibrations.

M. Hazewinkel ed. (1988) Encyclopedia of Mathematics, v.1, p. 390, Kluwer Academic Publishers


Shilov, Georgi E. (1977). Silverman, Richard A., ed. Linear Algebra. Dover.

External links

Hazewinkel, Michiel, ed. (2001), "Bilinear form",

Bilinear form at PlanetMath.org.
This article incorporates material from Unimodular on PlanetMath, which is licensed under the Creative Commons Attribution/ShareAlike License.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.