Suppose nonzero $u_i$ are pairwise orthogonal and $\sum_i c_iu_i=0$. Taking the inner product with $u_j$ in the first slot gives $c_j\|u_j\|^2=0$, hence $c_j=0$. Thus the list is independent. Nonzero is essential because a zero vector always makes a list dependent.
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.