12-240/Proofs in Vector Spaces
Important Note About This Page
This page is intended for sharing/clarifying proofs. Here, you might add a proof, correct a proof, or request more detailed explanation of some specific parts of given proofs. To request an explanation for a proof, you may put a sign at that specific part by editing this page. For example:
...generating set as , so ***(explanation needed, why? [or your question])*** since is a some linearly independent...
Theorems & Proofs
Theorem: Let be a subspace of a finite dimensional vector space . Then is finite dimensional and
Proof: Let be a basis for . Then we know that is a finite set since is a finite dimensional. Then, for given a subspace , let us construct a linearly independent set by adding vectors from such that is maximally linearly independent. In other words, adding any other vector from would make linearly dependent. Here, L has to be a finite set by the Replacement Theorem, if we choose the generating set as , so since is a some linearly independent subset of . Now we want to show that is a basis for . Since is linearly independent, it suffices to show that . Suppose not:. (We know that since is made of vectors from .) Then But this means is linearly independent, which contradicts with maximally linearly independence of . Therefore and hence, is a basis for