If spans and has elements but is linearly dependent, a nontrivial linear combination equal to zero lets us remove one member without changing the span. This produces spanning vectors, whereas the standard basis contains linearly independent vectors, contradicting the Steinitz exchange lemma. Therefore . Together the three deductions establish that any two of the three properties imply the third. For , the only independent or zero-element family is the empty basis, and the same conclusions hold.
Articles by others on the same topic
There are currently no matching articles.