The coordinate mapping onto $\mathbb F^n$ is surjective: for any tuple $(c_1,\ldots,c_n)^T$, the vector $v=\sum_ic_ib_i$ has exactly those coordinates. Together with injectivity and linearity, this proves that finite-dimensional spaces are coordinate-isomorphic to $\mathbb F^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.