Bilinear and quadratic forms
ZdenˇekDvoˇr´ak April 28, 2015
1 Bilinear forms
Definition 1. Let V be a vector space over a field F. A function b : V V F is a bilinear form if × →
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) = αb(u, v) for all u, v, w V and α F. The bilinear∈ form b is∈symmetric if b(u, v) = b(v, u) for all u, v V. ∈ Remark: b(o, v) = b(v, o) = 0. Examples:
b(x, y) = x, y in Rn is bilinear and symmetric for any scalar product. • h i
b((x1, y1), (x2, y2)) = x1x2 + 2x1y2 + 3y1x2 + 4y1y2 is bilinear, but not • symmetric.
Definition 2. Let C = v1, . . . , vn be a basis of V and let b be a bilinear form on V. The matrix of b with respect to C is b(v1, v1) b(v1, v2) . . . b(v1, vn) b(v2, v1) b(v2, v2) . . . b(v2, vn) [b]C = . ... b(vn, v1) b(vn, v2) . . . b(vn, vn)
Lemma 1. Let C = v1, . . . , vn be a basis of V and let b be a bilinear form on V. For any x, y V, we have ∈ T b(x, y) = [x]C [b]C [y]C .
1 Proof. Let [x]C = (α1, . . . , αn) and [y]C = (β1, . . . , βn). We have
b(x, y) = b(α1v1 + ... + αnvn, β1v1 + ... + βnvn) n n X X = αiβjb(vi, vj) i=1 j=1 n n X X = αiβj [b]C i,j i=1 j=1 T = [x]C [b]C [y]C .
Remark: [b]C is the only matrix with this property. A bilinear form b is symmetric if and only if [b]C is a symmetric matrix.
Corollary 2. Let V be a vector space over a field F. Let C = v1, . . . , vn be a basis of V. For every n n matrix M over F, there exists a unique bilinear × form b : V V F such that b(vi, vj) = Mi,j for 1 i, j n. × → ≤ ≤ T Proof. Define b(x, y) = [x]C M[y]C and observe that b is bilinear. No other bilinear form with this property exists, since any bilinear form satisfying the assumptions has matrix M, which by Lemma 1 uniquely determines the values of the bilinear form.
Example 1. The bilinear form b((x1, y1), (x2, y2)) = x1x2 + 2x1y2 + 3y1x2 + 1 2 4y y has matrix with respect to the standard basis; 1 2 3 4 1 2 x2 b((x1, y1), (x2, y2)) = (x1, y1) . 3 4 y2
Lemma 3. Let B = v1, . . . , vn and C be two bases of V and let b be a bilinear form on V. Let S = [id]B,C . Then
T [b]B = S [b]C S. Proof. We have