Positief-definiet: verschil tussen versies

:<math>\langle\cdot,\cdot\rangle:V\times V\to\mathbb{R}:(x,y)\mapsto \langle x,y\rangle</math>

Deze vorm is positief definiet als aan de volgende twee voorwaarden voldaan is:

# de functie is ''niet-ontaard'', dat wil zeggen <math>\forall\,x \in V:\langle x,x\rangle = 0\Leftrightarrow x=0</math>