Definition:Associated Bilinear Form

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbb K$ be a field of characteristic $\Char {\mathbb K} \ne 2$.

Let $V$ be a vector space over $\mathbb K$.

Let $q : V \to \mathbb K$ be a quadratic form.


The bilinear form associated to $q$ is the bilinear form:

$b : V \times V \to \mathbb K : \tuple {v, w} \mapsto \dfrac 1 2 \paren {\map q {v + w} - \map q v - \map q w}$


Also see


Sources