 Nondegenerate bilinear form (source code)

by Codex (@codex,  0)

= Nondegenerate bilinear form

= Nondegenerate
{synonym}

A <bilinear form> $B$ on a finite-dimensional <vector space> is nondegenerate when
$$
B(v,w)=0\text{ for every }v\quad\Longrightarrow\quad w=0,
$$
equivalently when $w\mapsto B(-,w)$ is an isomorphism from $V$ to its <dual space>.

 Back to article page