Let be {\ displaystyle L} there is a vector space above the field {\ displaystyle K} (most often considered fields {\ displaystyle K = \ mathbb {R}} or {\ displaystyle K = \ mathbb {C}} ).
A bilinear form is a function. {\ displaystyle F \ colon L \ times L \ to K} linear for each of the arguments :
- {\ displaystyle F (x + z, \, y) = F (x, \, y) + F (z, \, y)} ,
- {\ displaystyle F (x, \, y + z) = F (x, \, y) + F (x, \, z)} ,
- {\ displaystyle F (\ lambda x, \, y) = \ lambda F (x, \, y)} ,
- {\ displaystyle F (x, \, \ lambda y) = \ lambda F (x, \, y)} ,
here {\ displaystyle x, y, z \ in L} and {\ displaystyle \ lambda \ in K.}
The bilinear form is a special case of the notion of a tensor (a tensor of rank (0.2)).
Content
Alternative DefinitionIn the case of finite-dimensional spaces (for example, {\ displaystyle \ mathbb {R} ^ {n}} ) a different definition is often used.
Let be {\ displaystyle L} there are many view vectors {\ displaystyle x = (x_ {1}, x_ {2}, \ dots, x_ {n}),} Where {\ displaystyle x_ {i} \ in K, i = {\ overline {1, n}}} .
Bilinear forms are called functions. {\ displaystyle F \ colon L \ times L \ to K} kind of
- {\ displaystyle F (x, y) = \ sum _ {i, \, j = 1} ^ {n} a_ {ij} x_ {i} y_ {j},}
Where {\ displaystyle x = (x_ {1}, x_ {2}, \ dots, x_ {n}),} {\ displaystyle y = (y_ {1}, y_ {2}, \ dots, y_ {n}),} but {\ displaystyle a_ {ij}} - some constants from the field {\ displaystyle K.}
In other words, the bilinear form is a function of two groups of {\ displaystyle n} variables, which is a homogeneous polynomial of the first degree with respect to variables from each group.
Related definitions- Bilinear form {\ displaystyle F} called symmetric if {\ displaystyle F (x, \, y) = F (y, \, x)} for any vectors {\ displaystyle x, y \ in L} .
- Bilinear form {\ displaystyle F} called antisymmetric (antisymmetric) if {\ displaystyle F (x, \, y) = - F (y, \, x)} for any vectors {\ displaystyle x, y \ in L} .
- Vector {\ displaystyle x \ in L} is called orthogonal (more precisely, left orthogonal ) subspace {\ displaystyle M \ subset L} regarding {\ displaystyle F} , if a {\ displaystyle F (x, \, y) = 0} for all {\ displaystyle y \ in M} . The set of vectors {\ displaystyle x \ in L} orthogonal to a subspace {\ displaystyle M \ subset L} relative to this bilinear form {\ displaystyle F} is called the orthogonal complement of the subspace {\ displaystyle M \ subset L} regarding {\ displaystyle F} and is denoted by {\ displaystyle M ^ {\ perp}} .
- Radical bilinear form {\ displaystyle F} called the orthogonal complement of the space itself {\ displaystyle L} regarding {\ displaystyle F} that is the totality {\ displaystyle L ^ {\ perp}} vectors {\ displaystyle x \ in L} for which {\ displaystyle F (x, \, y) = 0} for all {\ displaystyle y \ in L} .
Properties- The set of all bilinear forms {\ displaystyle W (L, L)} defined on an arbitrary fixed space is a linear space.
- Any bilinear form can be represented as a sum of symmetric and skew-symmetric forms.
- With selected basis {\ displaystyle e_ {1}, \ ldots, e_ {n}} at {\ displaystyle L} any bilinear form {\ displaystyle F} uniquely determined by the matrix
- {\ displaystyle {\ begin {pmatrix} F (e_ {1}, \, e_ {1}) & F (e_ {1}, \, e_ {2}) & \ ldots & F (e_ {1}, \, e_ {n}) \\ F (e_ {2}, \, e_ {1}) & F (e_ {2}, \, e_ {2}) & \ ldots & F (e_ {2}, \, e_ {n} ) \\\ vdots & \ vdots & \ ddots & \ vdots \\ F (e_ {n}, \, e_ {1}) & F (e_ {n}, \, e_ {2}) & \ ldots & F (e_ {n}, \, e_ {n}) \ end {pmatrix}},}
so for any vectors {\ displaystyle x = x ^ {1} e_ {1} + x ^ {2} e_ {2} + \ cdots + x ^ {n} e_ {n}} and {\ displaystyle y = y ^ {1} e_ {1} + y ^ {2} e_ {2} + \ cdots + y ^ {n} e_ {n}}
- {\ displaystyle F (x, \, y) = {\ begin {pmatrix} x ^ {1} & x ^ {2} & \ ldots & x ^ {n} \ end {pmatrix}} {\ begin {pmatrix} F ( e_ {1}, \, e_ {1}) & F (e_ {1}, \, e_ {2}) & \ ldots & F (e_ {1}, \, e_ {n}) \\ F (e_ {2 }, \, e_ {1}) & F (e_ {2}, \, e_ {2}) & \ ldots & F (e_ {2}, \, e_ {n}) \\\ vdots & \ vdots & \ ddots & \ vdots \\ F (e_ {n}, \, e_ {1}) & F (e_ {n}, \, e_ {2}) & \ ldots & F (e_ {n}, \, e_ {n}) \ end {pmatrix}} {\ begin {pmatrix} y ^ {1} \\ y ^ {2} \\\ vdots \\ y ^ {n} \ end {pmatrix}},}
i.e
- {\ displaystyle F (x, \, y) = \ sum _ {i, j = 1} ^ {n} f_ {ij} \, x ^ {i} y ^ {j}, \ \ quad f_ {ij} = F (e_ {i}, \, e_ {j}).}
- It also means that the bilinear form is completely determined by its values on the basis vectors.
- Space dimension {\ displaystyle W (L, L)} there is {\ displaystyle \ dim W (L, L) = (\ dim L) ^ {2}} .
- Although the bilinear matrix {\ displaystyle F} depends on the choice of basis, the rank of the matrix of the bilinear form in any basis is the same, it is called the rank of the bilinear form {\ displaystyle F} . A bilinear form is called nondegenerate if its rank is equal to {\ displaystyle \ dim L} .
- For any subspace {\ displaystyle M \ subset L} orthogonal complement {\ displaystyle M ^ {\ perp}} is a subspace {\ displaystyle M ^ {\ perp} \ subset L} .
- {\ displaystyle \ dim L ^ {\ perp} = \ dim Lr} where {\ displaystyle r} - rank of bilinear form {\ displaystyle F} .
Convert the bilinear matrix by changing the baseThe matrix representing the bilinear form in the new basis is connected with the matrix representing it in the old basis through the matrix, the inverse of the transition matrix to the new basis (Jacobi matrix), through which the coordinates of the vectors are transformed.
In other words, if the coordinates of the vector in the old basis {\ displaystyle X ^ {i}} expressed through coordinates in new {\ displaystyle x ^ {i}} through the matrix {\ displaystyle \ beta} {\ displaystyle X ^ {i} = \ sum \ beta _ {j} ^ {i} x ^ {j}} or matrix recording {\ displaystyle X = \ beta x} then bilinear form {\ displaystyle F} on any vectors {\ displaystyle x} and {\ displaystyle y} will be written as
- {\ displaystyle F (x, \, y) = \ sum _ {i, j} F_ {ij} X ^ {i} Y ^ {j} = \ sum _ {i, j, k, m} F_ {ij } \ beta _ {k} ^ {i} \ beta _ {m} ^ {j} x ^ {k} y ^ {m}} ,
that is, the components of the matrix representing the bilinear form in the new basis will be:
- {\ displaystyle f_ {km} = \ sum _ {i, j} F_ {ij} \ beta _ {k} ^ {i} \ beta _ {m} ^ {j}} ,
or, in matrix notation:
- {\ displaystyle f = \ beta ^ {T} F \ beta} ,
- {\ displaystyle \ beta = \ alpha ^ {- 1}} where {\ displaystyle \ alpha} - direct coordinate transformation matrix {\ displaystyle x = \ alpha X} .
Relationship with tensor products and the Hom functorFrom the universal property of the tensor product, it follows that the bilinear forms on V are in one-to-one correspondence with the set {\ displaystyle {\ text {Hom}} (V \ otimes V, k)} where k is the main field.
Since the tensor product functor and the Hom functor are conjugate , {\ displaystyle {\ text {Hom}} (V \ otimes V, k) \ cong {\ text {Hom}} (V, {\ text {Hom}} (V, k))} , that is, the bilinear form corresponds to the linear mapping of {\ displaystyle V} in dual space {\ displaystyle V ^ {*}} . This correspondence can be carried out in two ways (since there are two functors of the tensor product — with a fixed left argument and with a fixed right); they are often designated as
{\ displaystyle B_ {1} ({\ mathsf {v}}) = B ({\ mathsf {v}}, \ cdot)}
{\ displaystyle B_ {2} ({\ mathsf {v}}) = B (\ cdot, {\ mathsf {v}})} .
See also- Quadratic form
- Bilinear operation
- Bilinear transform
Literature- Maltsev A. I. Basics of linear algebra. - M .: Science, 1975.
- Gelfand I.M. Lectures on linear algebra. - M .: Science, 1971.
- Faddeev DK Lectures on algebra. M .: Science, 1984.
- Kostrikin A.I. Introduction to Algebra, Moscow: Nauka, 1977.
- Beklemishev D.V. Analytic geometry and linear algebra. - M .: Higher. Shk., 1998. - 320 p.
- Gelfand IM , Linear Algebra . Lecture course.
- Shafarevich I.R. , Remizov A.O. Linear Algebra and Geometry, - Fizmatlit, Moscow, 2009.