If $v_j$ lies in the span of the remaining generators, removing it leaves the span unchanged. Replace each occurrence of $v_j$ in a combination by that expression. Only a redundant vector can be removed safely; removing an arbitrary member of a dependent list need not preserve its span.
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.