For $a\in\mathbb R$, $\langle ax,y\rangle=a\langle x,y\rangle$ and $\langle x,ay\rangle=a\langle x,y\rangle$. Together with additivity this makes the real dot product bilinear. In complex spaces the first scalar is conjugated under this graph's convention.
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.