Symmetric bilinear form

A symmetric bilinear form is, as the name implies, a bilinear form on a vector space that is symmetric. They are of great importance in the study of orthogonal polarities and quadrics.

They are also more briefly referred to as symmetric forms when "bilinear" is understood. They are closely related to but distinct from quadratic forms; for the details of the distinction, see ε-quadratic forms.

Definition

Let " V" be a vector space of dimension "n" over a field "K". A map $B\; :\; V\; imes\; V\; ightarrow\; K:(u,v)\; ightarrow\; B(u,v)$ is a symmetric bilinear form on the space if :
* $B(u,v)=B(v,u)\; quad\; forall\; u,v\; in\; V$
* $B(u+v,w)=B(u,w)+B(v,w)\; quad\; forall\; u,v,w\; in\; V$
* $B(lambda\; v,w)=lambda\; B(v,w)\; quad\; forall\; lambda\; in\; K,forall\; v,w\; in\; V$

The last two axioms only imply linearity in the first argument, but the first immediately implies linearity in the second argument then too.

Matrix representation

Let $C=\{e\_\{1\},ldots,e\_\{n\}\}$ be a basis for "V". Define the $n\; imes\; n$ - matrix "A" by $A\_\{ij\}=B(e\_\{i\},e\_\{j\})$. The matrix "A" is a symmetric matrix exactly due to symmetry of the bilinear form. If the $n\; imes\; 1$ matrix "x" represents a vector "v" with respect to this basis, and analogously, "y" represents "w", then $B(v,w)$ is given by :

:$x^\{T\}\; A\; y=y^\{T\}\; A\; x.$

Suppose " C' " is another basis for "V", with : with "S" an invertible $n\; imes\; n$ - matrix.Now the new matrix representation for the symmetric bilinear form is given by

:$A\text{'}\; =S^\{T\}\; A\; S.$

Orthogonality and singularity

A symmetric bilinear form is always reflexive. Two vectors "v" and "w" are defined to be orthogonal with respect to the bilinear form "B" if $B(v,w)=0$, which is, due to reflexivity, equivalent with $B(w,v)=0$

The radical of a bilinear form "B" is the set of vectors orthogonal with every other vector in "V". One easily checks that this is a subspace of "V". When working with a matrix representation "A" with respect to a certain basis, "v", represented by "x", is in the radical if and only if

:$A\; x=0\; Longleftrightarrow\; x^\{T\}\; A=0.$

The matrix "A" is singular if and only if the radical is nontrivial.

If "W" is a subspace of "V", then $W^\{perp\}$, the set of all vectors orthogonal with every vector in "W", is also subspace. When the radical of "B" is trivial, the dimension of $W^\{perp\}$ = dim("V") − dim("W").

Orthogonal basis

A basis $C=\{e\_\{1\},ldots,e\_\{n\}\}$ is orthogonal with respect to B if and only if :

:$B(e\_\{i\},e\_\{j\})=0\; forall\; i\; eq\; j.$

When the characteristic of the field is not two, there is always an orthogonal basis. This can be proven by induction.

A basis "C" is orthogonal if and only if the matrix representation "A" is a diagonal matrix.

Signature and Sylvester's law of inertia

In its most general form, Sylvester's law of inertia says that, when working over an ordered field "K", the number of diagonal elements equal to 0, or that are positive or negative, is independent of the chosen orthogonal basis. These three numbers form the signature of the bilinear form.

Real case

When working in a space over the reals, one can go a bit a further.Let $C=\{e\_\{1\},ldots,e\_\{n\}\}$ be an orthogonal basis.

We define a new basis $C\text{'}=\{e\text{'}\_\{1\},ldots,e\text{'}\_\{n\}\}$

:

Now, the new matrix representation "A" will be a diagonal matrix with only 0,1 and -1 on the diagonal. Zeroes will appear if and only if the radical is nontrivial.

Complex case

When working in a space over the complex numbers, one can go further as well and it is even easier.Let $C=\{e\_\{1\},ldots,e\_\{n\}\}$ be an orthogonal basis.

We define a new basis $C\text{'}=\{e\text{'}\_\{1\},ldots,e\text{'}\_\{n\}\}$ :

:

Now the new matrix representation "A" will be a diagonal matrix with only 0 and 1 on the diagonal. Zeroes will appear if and only if the radical is nontrivial.

Orthogonal polarities

Let "B" be a bilinear form with a trivial radical on the space "V" over the field "K" with a characteristic different from 2. One can now define a map from D(V), the set of all subspaces of "V", to itself :

:$alpha:D(V)\; ightarrow\; D(V)\; :Wmapsto\; W^\{perp\}.$

This map is an orthogonal polarity on the projective space "PG(W)". Conversely, one can prove all orthogonal polarities are induced in this way, and that two symmetric bilinear forms with trivial radical induce the same polarity if and only if they are equal up to scalar multiplication.