The sum $\langle x,x\rangle=\sum_j|x_j|^2$ is zero iff every coordinate is zero. This is positive definiteness. Without conjugation the claim fails over $\mathbb C$: $1^2+i^2=0$ although $(1,i)\ne0$.
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.