Angeordneter Ring/Modul/Quadratische Form/Positiv definit/Definition

Positiv definite quadratische Form

Es sei ${}R$ ein angeordneter Ring und ${}V$ ein ${}R$-Modul. Eine quadratische Form ${}Q$ auf ${}V$ heißt positiv definit, wenn ${}Q(v)\geq 0$ für alle ${}v\in V$ und ${}Q(v)=0$ nur für ${}v=0$ gilt.