In a finite-dimensional vector space, any independent list can be extended to a basis. If it does not span, adjoin a vector outside its span; independence is preserved. Each step increases the list size, so the procedure terminates at the dimension of the space. A subspace version uses vectors from that subspace.
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.