Bilinear form

A function of two vector arguments that is linear in each argument.
Bilinear form

A bilinear form on VV and WW over a field F\mathbb{F} is a map

B:V×WF B:V\times W\to \mathbb{F}

such that for all u1,u2Vu_1,u_2\in V, v1,v2Wv_1,v_2\in W, and a,bFa,b\in\mathbb{F},

B(au1+bu2,v)=aB(u1,v)+bB(u2,v),B(u,av1+bv2)=aB(u,v1)+bB(u,v2). B(a u_1+b u_2,\, v)=a\,B(u_1,v)+b\,B(u_2,v),\qquad B(u,\, a v_1+b v_2)=a\,B(u,v_1)+b\,B(u,v_2).

A bilinear form is a scalar-valued on a of vector spaces. Inner products (see ) are important examples with additional positivity and symmetry properties.

Examples:

  • On Rn\mathbb{R}^n, the dot product B(x,y)=i=1nxiyiB(x,y)=\sum_{i=1}^n x_i y_i is a bilinear form.
  • For a fixed matrix AA, the rule B(x,y)=xTAyB(x,y)=x^\mathsf{T}Ay on Fn\mathbb{F}^n is a bilinear form.
  • On R2\mathbb{R}^{2}, the form B((x1,x2),(y1,y2))=x1y2x2y1B((x_1,x_2),(y_1,y_2))=x_1y_2-x_2y_1 is a bilinear form.