The standard vectors span because $x=\sum_jx_je_j$ for every $x$. They are independent because $\sum_jc_je_j=0$ forces each coordinate $c_j=0$. Hence they form a basis of $\mathbb F^n$ and establish its dimension as $n$.
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.