Jump to content

Vector space/Basis complement/Fact/Proof

From Wikiversity
Proof

Let be a basis of . Due to the basis exchange theorem, there are vectors from the basis that, together with the given vectors , form a basis of .