Linear Independent Vectors and the Vector Space Spanned By Them

Problem 141

Let $V$ be a vector space over a field $K$. Let $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n$ be linearly independent vectors in $V$. Let $U$ be the subspace of $V$ spanned by these vectors, that is, $U=\Span \{\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n\}$.
Let $\mathbf{u}_{n+1}\in V$. Show that $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n, \mathbf{u}_{n+1}$ are linearly independent if and only if $\mathbf{u}_{n+1} \not \in U$.

Proof.

$(\implies)$
Suppose that the vectors $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n, \mathbf{u}_{n+1}$ are linearly independent. If $\mathbf{u}_{n+1}\in U$, then $\mathbf{u}_{n+1}$ is a linear combination of $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n$.
Thus, we have
$\mathbf{u}_{n+1}=c_1\mathbf{u}_1+c_2\mathbf{u}_2+\cdots+c_n \mathbf{u}_n$ for some scalars $c_1, c_2, \dots, c_n \in K$.

However, this implies that we have a nontrivial linear combination
$c_1\mathbf{u}_1+c_2\mathbf{u}_2+\cdots+c_n \mathbf{u}_n-\mathbf{u}_{n+1}=\mathbf{0}.$ This contradicts that $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n, \mathbf{u}_{n+1}$ are linearly independent. Hence $\mathbf{u}_{n+1} \not \in U$.

$(\impliedby)$ Suppose now that $\mathbf{u}_{n+1} \not \in U$.
If the vectors $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n, \mathbf{u}_{n+1}$ are linearly dependent, then there exists $c_1, c_2 \dots, c_n, c_{n+1}\in K$ such that
not all of them are zero and
$c_1\mathbf{u}_1+c_2\mathbf{u}_2+\cdots+c_n \mathbf{u}_n+c_{n+1}\mathbf{u}_{n+1}=\mathbf{0}.$

We claim that $c_{n+1} \neq 0$. If $c_{n+1}=0$, then we have
$c_1\mathbf{u}_1+c_2\mathbf{u}_2+\cdots+c_n \mathbf{u}_n=\mathbf{0}$ and since $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n$ are linearly independent, we must have $c_1=c_2=\cdots=c_n=0$. This means that all $c_i$ are zero but this contradicts our choice of $c_i$. Thus $c_{n+1} \neq 0$.

Then we have
$\mathbf{u}_{n+1}=\frac{-c_1}{c_{n+1}}\mathbf{u}_1+\frac{-c_2}{c_{n+1}}\mathbf{u}_2+\cdots+\frac{-c_n}{c_{n+1}}\mathbf{u}_n.$ (Note: we needed to check $c_{n+1} \neq 0$ to divide by it.)

This implies that $\mathbf{u}_{n+1}$ is a linear combination of vectors $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n$, and thus $\mathbf{u}_{n+1} \in U$, a contradiction.
Therefore, the vectors $\mathbf{u}_1, \mathbf{u}_2, \dots, \mathbf{u}_n, \mathbf{u}_{n+1}$ are linearly independent.

Let $A$ be an $m\times n$ matrix. The nullspace of $A$ is denoted by $\calN(A)$. The dimension of the nullspace...