Suppose . If , thencontrary to the hypothesis. Hence . The assumed linear independence of then gives . Therefore are linearly independent. Adding a vector outside the previous linear span creates no nontrivial relation.
Articles by others on the same topic
There are currently no matching articles.