词条 | Bilinear map |
释义 |
In mathematics, a bilinear map is a function combining elements of two vector spaces to yield an element of a third vector space, and is linear in each of its arguments. Matrix multiplication is an example. DefinitionVector spacesLet V, W and X be three vector spaces over the same base field F. A bilinear map is a function B : V × W → X such that for any w in W, the map v ↦ B(v, w) is a linear map from V to X, and for any v in V, the map w ↦ B(v, w) is a linear map from W to X. In other words, when we hold the first entry of the bilinear map fixed while letting the second entry vary, the result is a linear operator, and similarly for when we hold the second entry fixed. If {{nowrap|1=V = W}} and we have {{nowrap|1=B(v, w) = B(w, v)}} for all v, w in V, then we say that B is symmetric. The case where X is the base field F, and we have a bilinear form, is particularly useful (see for example scalar product, inner product and quadratic form). ModulesThe definition works without any changes if instead of vector spaces over a field F, we use modules over a commutative ring R. It generalizes to n-ary functions, where the proper term is multilinear. For non-commutative rings R and S, a left R-module M and a right S-module N, a bilinear map is a map {{nowrap|B : M × N → T}} with T an {{nowrap|(R, S)}}-bimodule, and for which any n in N, {{nowrap|m ↦ B(m, n)}} is an R-module homomorphism, and for any m in M, {{nowrap|n ↦ B(m, n)}} is an S-module homomorphism. This satisfies B(r ⋅ m, n) = r ⋅ B(m, n) B(m, n ⋅ s) = B(m, n) ⋅ s for all m in M, n in N, r in R and s in S, as well as B being additive in each argument. PropertiesA first immediate consequence of the definition is that {{nowrap|1=B(v, w) = 0X}} whenever {{nowrap|1=v = 0V}} or {{nowrap|1=w = 0W}}. This may be seen by writing the zero vector 0X as {{nowrap|0 ⋅ 0X}} (and similarly for 0W) and moving the scalar 0 "outside", in front of B, by linearity. The set {{nowrap|L(V, W; X)}} of all bilinear maps is a linear subspace of the space (viz. vector space, module) of all maps from {{nowrap|V × W}} into X. If V, W, X are finite-dimensional, then so is {{nowrap|L(V, W; X)}}. For {{nowrap|1=X = F}}, i.e. bilinear forms, the dimension of this space is {{nowrap|dim V × dim W}} (while the space {{nowrap|L(V × W; F)}} of linear forms is of dimension {{nowrap|dim V + dim W}}). To see this, choose a basis for V and W; then each bilinear map can be uniquely represented by the matrix {{nowrap|B(ei, fj)}}, and vice versa. Now, if X is a space of higher dimension, we obviously have {{nowrap|1=dim L(V, W; X) = dim V × dim W × dim X}}. Examples
See also
External links
2 : Bilinear operators|Multilinear algebra |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。