A finite list is a basis iff every vector in the space has exactly one linear-combination representation using that list. Existence gives spanning. Uniqueness applied to the zero vector forces independence, since the all-zero coefficients already represent zero.
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.