If $w_1,\ldots,w_k$ span $W$, then $x\in W^\perp$ iff $\langle w_i,x\rangle=0$ for every $i$. One direction is immediate; the other follows by expanding any $w\in W$ as a combination of the spanning vectors. A basis is sufficient but not necessary for the test.
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.