If $v_1,\ldots,v_k$ are independent and $w$ is outside their span, the enlarged list is independent. In a relation $\sum_ic_iv_i+dw=0$, a nonzero $d$ would express $w$ in the old span. Hence $d=0$, and all other coefficients vanish by independence.
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.