Vector Space Problems
Exercise Show that form a linearly independent set of vectors in , viewed as a vector space over .
Proof: |
---|
Recall that the set of vectors in a vector space (over a field ) are said to be linearly independent if whenever are scalars in such that then . So for this problem, since we’re considering the complex numbers as a vector space over , we must show that whenever and then . Rearranging the above equation, we obtain Now, a complex number is equal to if and only if its real and imaginary parts are both . So in this case, we conclude that This implies , so that , which yields . Thus we conclude the vectors are linearly independent in (over ). |
Exercise
Show that form a linearly independent set of vectors in , viewed as a vector space over .
Proof: |
---|
Recall that a set of vectors in a vector space (over a field ) is said to be linearly dependent if they are not linearly independent. More concretely, these vectors are linearly dependent if we can find scalars not all equal to zero such that
So for this problem, to show that and are not linearly dependent over , all we need to do is exhibit two complex scalars and that are not both zero such that There are many choices for and , but one such example is and . |
Exercise
Let be a vector space over a field . If are a linearly independent set of vectors, then show that also form a linearly independent set of vectors in .
Proof: |
---|
Recall that the set of vectors in a vector space (over a field ) are said to be linearly independent if whenever are scalars in such that then .
So for this problem, we must show that whenever and we have that After rearranging terms in the above equation, we have that Now since the vectors are linearly independent in by assumption, we have that
In other words, , so that form a linearly independent set as desired. |
Exercise
Prove that a vector space over a field is infinite-dimensional if and only if there is a sequence in such that is linearly independent for every .
Proof: |
---|
Recall that a vector space is said to be finite dimensional if it is spanned by a finite list of vectors In other words, has finite dimension if every vector in may be written as a linear combination of some list of vectors . On the other hand, a vector space is infinite dimensional if it is not finite dimensional, i.e., cannot be spanned by a finite list of vectors. Now before we proceed in the proof, we will need the following fact:
Lemma Suppose is a vector space over a field , and are vectors that span . If in are linearly independent, then . We are ready now to proceed with the proof: ’’: On the other hand, suppose that contains a sequence of vectors so that is linearly independent for each . By way of contradiction, let’s suppose is not infinite dimensional, i.e. is finite dimensional. Then can be spanned by a finite list of vectors . |
Exercise
Suppose that and are subspaces of a vector space . Prove that is a subspace of if and only if or .
Proof: |
---|
Recall that a subset of a vector space is a subspace of if itself is a vector space with the same addition and scalar multiplication operations as . ’’: Instead of proving that is a subspace of implies or , we’ll show the contrapositive of this statement. That is, if and , then is not a subspace of . So suppose there is some that is not in , and likewise that there is some that is not in . We claim that . For if it were, then would lie in either or . If , then since is a subspace, this would imply contradicting our choice of . Likewise, if , this would yield , which is again a contradiction. So we conclude that , and thus fails to be closed under addition, so cannot be a subspace of . |
Before we begin the next exercise, we will need the following notation: for an arbitrary non-empty set , let denote the set of all functions . Then is always a vector space, with addition and scalar multiplication defined pointwise.
Exercise Let and consider the set Show that is a subspace of if and only if .
Proof: |
---|
Recall that a subset of a vector space is a subspace of if itself is a vector space with the same addition and scalar multiplication operations as . There is a very convenient test that determines if is a subspace of , sometimes called the subspace test. It says the following:
(Subspace Test) Suppose that , where is a vector space over a field . Then is a subspace of if and only if the following conditions are met:
We are now ready to proceed with the proof: ’’: Suppose is a subspace of . Then by condition of the subspace test, contains the zero vector of , which is just the function that maps to for all . We will write this zero vector as . Now since , by definition of being in , we must have that On the other hand, when we actually integrate , we find the integral must be zero. Thus as desired. |
Exercise
Prove or give a counterexample to the following statement: If are subspaces of a vector space with then .
Proof: |
---|
Let’s think about what it means for two subspaces of a vector space to satisfy . This means that and that . In other words, for any , we may write uniquely in the form , where and . It turns out the statement of the problem is false, so that we must provide a counterexample to this statement: Let and consider its subspaces (one should check that they actually form subspaces first):
Then and are not the same subspaces of , so that all we need to check is Suppose that . Then , where and , so that . Now if , then for some , and thus . Likewise, for some , so that . This shows , and hence . |