$L=\{v_1,…,v_k\}$ is linearly independent and doesn’t span the space $V$ then there exists $v\in V$ such that $L \cup \{v\}$ is linearly independent

linear algebra

let $V$ be a linear space , Prove that if $L=\{v_1,…,v_k\}$ is linearly independent subset of $V$ and does not span the space $V$ then there exists $v\in V$ such that $L \cup \{v\}$ is linearly independent

I want to know if there is a different way other than what I did :

I proved by contradiction , assume $L \cup \{v\}$ is linearly dependent then $L$ is the maximal linearly independent set and therefore $L$ is a basis for $V$ therefore it spans $V$ thus our assumption is not right and $L \cup \{v\}$ is independent

I am thinking if there is another way because this is too immediate and doesn't really rely on anything besides the basic definition.

appreciate any suggestions , hints or tips for another solution thank you!

Best Answer

The proof idea is as follows:
Since $L$ does not span $V$ it is true that $$V \backslash \text{span}(L) \neq \emptyset$$ That implies that there exists an element in $V$ that is not in the span of $L$ and thus cannot be written as a linear combination of the other elements in the span of $L$ which means there exists an element, call it $v$, in $V$ such that $L \cup \{v\}$ is linearly independent.