Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Bilinear form
Summary
In mathematics, a bilinear form is a bilinear map V × V → K on a vector space V (the elements of which are called vectors) over a field K (the elements of which are called scalars). In other words, a bilinear form is a function B : V × V → K that is linear in each argument separately:
B(u + v, w) = B(u, w) + B(v, w) and B(λu, v) = λB(u, v)
B(u, v + w) = B(u, v) + B(u, w) and B(u, λv) = λB(u, v)
The dot product on is an example of a bilinear form.
The definition of a bilinear form can be extended to include modules over a 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.
Let V be an n-dimensional vector space with basis {e1, ..., en}.
The n × n matrix A, defined by Aij = B(ei, ej) is called the matrix of the bilinear form on the basis {e1, ..., en}.
If the n × 1 matrix x represents a vector x with respect to this basis, and similarly, the n × 1 matrix y represents another vector y, then:
A bilinear form has different matrices on different bases. However, the matrices of a bilinear form on different bases are all congruent. More precisely, if {f1, ..., fn} is another basis of V, then
where the form an invertible matrix S. Then, the matrix of the bilinear form on the new basis is STAS.
Every bilinear form B on V defines a pair of linear maps from V to its dual space V∗. Define B1, B2: V → V∗ by
This is often denoted as
where the dot ( ⋅ ) indicates the slot into which the argument for the resulting linear functional is to be placed (see Currying).
For a finite-dimensional vector space V, if either of B1 or B2 is an isomorphism, then both are, and the bilinear form B is said to be nondegenerate. More concretely, for a finite-dimensional vector space, non-degenerate means that every non-zero element pairs non-trivially with some other element:
for all implies that x = 0 and
for all implies that y = 0.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.