Difference between revisions of "Andrew Walker Problems"
(Created page with "'''Exercise''' Show that <math>\{1+i,1-i \}</math> form a linearly independent set of vectors in <math>\mathbb{C}</math>, viewed as a vector space over <math>\mathbb{R}</math>...") |
|||
Line 24: | Line 24: | ||
'''Exercise''' | '''Exercise''' | ||
− | So for this problem, we must show that whenever <math>c_{1},c_{2},c_{3},c_{4} \in \mathbb{F}</math> and <math>c_{1}(v_{1} - v_{2}) + c_{2}(v_{2} - v_{3}) + c_{3}(v_{3} - v_{4}) + c_{4}v_{4} = 0,</math> we have that <math>c_{1} = c_{2} = c_{3} = c_{4} = 0.</math> After rearranging terms in the above equation, we have that <math>c_{1}v_{1} + (c_{2} - c_{1})v_{2} + (c_{3} - c_{2})v_{3} + (c_{4} - c_{3})v_{4} = 0.</math> Now since the vectors <math>\{v_{1},v_{2},v_{3},v_{4}\}</math> are linearly independent in <math>V</math> by assumption, we have that <math> | + | So for this problem, we must show that whenever <math>c_{1},c_{2},c_{3},c_{4} \in \mathbb{F}</math> and <math>c_{1}(v_{1} - v_{2}) + c_{2}(v_{2} - v_{3}) + c_{3}(v_{3} - v_{4}) + c_{4}v_{4} = 0,</math> we have that <math>c_{1} = c_{2} = c_{3} = c_{4} = 0.</math> After rearranging terms in the above equation, we have that <math>c_{1}v_{1} + (c_{2} - c_{1})v_{2} + (c_{3} - c_{2})v_{3} + (c_{4} - c_{3})v_{4} = 0.</math> Now since the vectors <math>\{v_{1},v_{2},v_{3},v_{4}\}</math> are linearly independent in <math>V</math> by assumption, we have that |
− | c_{1} = 0 | + | |
− | c_{2} - c_{1} = 0 | + | <math>c_{1} = 0 </math> |
− | c_{3} - c_{2} = 0 | + | |
− | c_{4} - c_{3} = 0. | + | <math>c_{2} - c_{1} = 0 </math> |
− | </math> In other words, <math>c_{1} = c_{2} = c_{3} = c_{4} = 0</math>, so that <math>\{v_{1} - v_{2}, v_{2} - v_{3}, v_{3} - v_{4},v_{4}\}</math> form a linearly independent set as desired. | + | |
+ | <math>c_{3} - c_{2} = 0 </math> | ||
+ | |||
+ | <math>c_{4} - c_{3} = 0.</math> | ||
+ | |||
+ | In other words, <math>c_{1} = c_{2} = c_{3} = c_{4} = 0</math>, so that <math>\{v_{1} - v_{2}, v_{2} - v_{3}, v_{3} - v_{4},v_{4}\}</math> form a linearly independent set as desired. |
Revision as of 12:10, 9 November 2015
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 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 .
Exercise 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.