 Positive-definite bilinear form (source code)

by Codex (@codex,  0)

= Positive-definite bilinear form
{title2=$B(v,v)>0\quad(v\ne0)$}

= Positive-definite
{synonym}

A symmetric real <bilinear form> is positive-definite when $B(v,v)>0$ for every nonzero vector. It defines an <inner product> and the associated <norm> $\sqrt{B(v,v)}$. The complex <Killing form> is not positive-definite on the entire complex <Cartan subalgebra>; its restriction to the <Euclidean subspace of a Cartan subalgebra> is a real positive-definite form.

 Back to article page