Naja, mußt Du halt die Axiome prüfen....
Grundsätzlich gehe ich davon aus, dass eine ∑ quadratisches nicht linear sein kann,
eine Differenz auch mal negativ sein kann, oder?
Also dann
\(\text{1. linear in jedem der beiden Argumente:}\\ \\ \lambda_x:{\displaystyle \langle \lambda x,y\rangle =\lambda \langle x,y\rangle }\\ \\ \lambda_y:\langle x, \lambda y\rangle= \lambda\langle x,y\rangle\\ \\ a_{X+Z,Y}:\langle x+z,y\rangle=\langle x,y\rangle+\langle z,y\rangle\\ \\ a_{X,Y+Z}:\langle x,y+z\rangle=\langle x,y\rangle+\langle x,z\rangle\\ \\ \text{symmetrisch:}\\ \\ sym_{xy}:\langle x,y\rangle=\langle y,x\rangle\\ \\ \text{positiv definit:}\\ \\ pd_x:\langle x,x\rangle\geq0\\ \\ \langle x,x\rangle=0 \quad \text{genau dann, wenn x = 0}\)