[Math] More than basis vectors in a space are dependent, less can’t span the space proof

linear algebravector-spaces

Let $V$ be a vector space, $ B = \{ \mathbf{b}_{1}, \ldots, \mathbf{b}_{n} \}$ a basis for $V$ (independent and spans $V$).
Prove that fewer vectors than $n$ can't span $V$, while more vectors are necessarily dependent.

I am looking for a clearer proof than the one on this page: https://math.kennesaw.edu/~plaval/math3260/basis.pdf (middle of third page, Theorem 306), and/or an explanation as to why that system of equations helps prove linear dependence (says to consider said linear combination, but doesn't really explain anything).

Thanks!

Best Answer

Firstly, assume for contradiction that $B \setminus \{ \mathbf{b}_{n} \} = \{ \mathbf{b}_{1}, \ldots, \mathbf{b}_{n - 1} \}$ spans $V$. Then there exists $c_{1}, \ldots, c_{n - 1} \in \mathbb{R}$ such that $\mathbf{b}_{n} = c_{1} \mathbf{b}_{1} + \cdots + c_{n - 1} \mathbf{b}_{n - 1}$. But this would mean that $c_{1} \mathbf{b}_{1} + \cdots + c_{n - 1} \mathbf{b}_{n - 1} + (-1) \mathbf{b}_{n} = \mathbf{0}$, so $B$ is linearly dependent, a contradiction.

Similarly, let $B' = B \cup \{ \mathbf{b}_{n + 1} \} = \{ \mathbf{b}_{1}, \ldots, \mathbf{b}_{n + 1} \}$, where $\mathbf{b}_{n + 1} \in V$. Then since $V = \operatorname{span} (B)$, there exist constants $c_{1}, \ldots, c_{n} \in \mathbb{R}$ such that $c_{1} \mathbf{b}_{1} + \cdots + c_{n} \mathbf{b}_{n} = \mathbf{b}_{n + 1}$. But this would mean that $c_{1} \mathbf{b}_{1} + \cdots + c_{n} \mathbf{b}_{n} + (- 1) \mathbf{b}_{n + 1} = \mathbf{0}$, so $B'$ is dependent.