Quadratic Forms – Why Defined via Symmetric Bilinear Form

linear algebramultilinear-algebraquadratic-formsvector-spaces

A typical definition of quadratic form goes like this:

Let $B:V\times V \to F$ be a symmetric bilinear form. A
function $Q : V → F$ defined by $Q(v) = B(v, v)$ is called a quadratic form.

Why do we need $B$ to be symmetric if the way $Q$ is defined doesn't use it?

Edit: And is that related to the reason why we ask for a symmetric bilinear form in the definition of a positive definite bilinear form even though the definition itself $(B(v,v)>0)$ again doesn't directly use it?

Best Answer

Every bilinear form gives a quadratic form by $Q(v)=B(v,v)$, but the quadratic form doesn't depend on the antisymmetric part of $B$. So if you change $B$ by adding some antisymmetric form, then $Q$ won't change.

Every bilinear form can be written as a sum of a symmetric and antisymmetric form in a unique way:

$$B=\frac{B+B^T}{2}+\frac{B-B^T}{2}$$

This means that every quadratic form arising from an arbitrary form $B$ also arises from a symmetric form $\frac{B+B^T}{2}$. So it doesn't really matter if we put the word "symmetric" in the definition or not.

EDIT: If you're working over a field of characteristic $2$ then the above doesn't work (because you can't divide by 2) and the notions of "quadratic form generated by an arbitrary bilinear form" and "quadratic form generated by a symmetric bilinear form" are genuinely different (for example $x_1^2+x_1x_2+x_2^2$ is of the first kind but not the second). I don't know what definition people in this area tend to use, but my guess would be the first.