If $x,y\in W^\perp$, then for every $w\in W$, $\langle w,ax+by\rangle=a\langle w,x\rangle+b\langle w,y\rangle=0$. Zero also lies in $W^\perp$, proving it is a subspace. This proof uses the convention linear in the second slot.
Parents
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.