For a basis $B=(b_1,\ldots,b_n)$, every $v$ has an expansion $v=\sum_ic_ib_i$ because $B$ spans. If another expansion existed, subtracting would give a relation; independence forces equality of all coefficients. Thus basis coordinates exist and are unique.
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.