1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Linear Algebra - Dual Spaces

  1. Feb 15, 2008 #1
    [SOLVED] Linear Algebra - Dual Spaces

    1. The problem statement, all variables and given/known data

    (V and W are vector spaces. F is a field)
    "The space L(V,W) of linear maps from V to W is always a vector space. Take W = F. We then get the space V* := L(V,F) of F-linear maps V --> F. This is called the dual space of V."

    1. Let V = F[tex]^{2}[/tex] with basis e[tex]_{1}[/tex], e[tex]_{2}[/tex]. Define elements e*[tex]_{1}[/tex], e*[tex]_{2}[/tex] [tex]\in[/tex] V* by:

    e*[tex]_{1}[/tex] (e[tex]_{1}[/tex]) = 1
    e*[tex]_{1}[/tex] (e[tex]_{2}[/tex]) = 0

    and

    e*[tex]_{2}[/tex] (e[tex]_{1}[/tex]) = 0
    e*[tex]_{2}[/tex] (e[tex]_{2}[/tex]) = 1

    Show that e*[tex]_{1}[/tex], e*[tex]_{2}[/tex] form a basis for V*. Deduce that dim (F[tex]^{2}[/tex])* = 2.

    2. Relevant equations

    1. In F[tex]^{2}[/tex], e[tex]_{1}[/tex] = (1,0) and e[tex]_{2}[/tex] = (0,1).

    2. if vectors v[tex]_{1}[/tex], ...v[tex]_{n}[/tex] [tex]\in[/tex] V and the list (v[tex]_{1}[/tex], ...v[tex]_{n}[/tex]) is linearly independent, then:

    a[tex]_{1}[/tex]v[tex]_{1}[/tex] + ... + a[tex]_{n}[/tex]v[tex]_{n}[/tex] =0 [tex]\Rightarrow[/tex] all a's = 0, such that a [tex]\in[/tex] F

    3. The definition of a linear map.


    3. The attempt at a solution

    If e[tex]_{1}[/tex], e[tex]_{2}[/tex] form a basis for V, then the list (e[tex]_{1}[/tex], e[tex]_{2}[/tex]) is linearly independent and spans V. If I am to show that e*[tex]_{1}[/tex], e*[tex]_{2}[/tex] form a basis for V*, then the list (e*[tex]_{1}[/tex], e*[tex]_{2}[/tex]) must be linearly independent and span V*. (?)

    Here is where I get confused. From what I understand, e*[tex]_{1}[/tex] 'keeps' the first component of the vector and discards all others; e*[tex]_{2}[/tex] 'keeps' the second component of the vector and discards all others. Since the vector space V*has elements that are linear maps, e*[tex]_{1}[/tex] and e*[tex]_{2}[/tex] must be linear maps. I'm not sure how to 'work with' linear maps as vectors.

    Since e[tex]_{1}[/tex], e[tex]_{2}[/tex] span V, any v[tex]\in[/tex]V can be written as a linear combination of them:

    v = a[tex]_{1}[/tex] e[tex]_{1}[/tex] + a[tex]_{2}[/tex] e[tex]_{2}[/tex]

    To show that e*[tex]_{1}[/tex],e*[tex]_{2}[/tex] span, I have to show that any T[tex]\in[/tex]V* can be written as:

    T = b[tex]_{1}[/tex] e*[tex]_{1}[/tex] + b[tex]_{2}[/tex] e*[tex]_{2}[/tex]

    But what are the a's? Are they in F (i.e., real numbers) or are they in V (are they vectors)? (I'm not sure how to proceed.)

    To show that the list is linearly independent, I need to show:

    c[tex]_{1}[/tex] e*[tex]_{1}[/tex] + c[tex]_{2}[/tex] e*[tex]_{2}[/tex] = 0 [tex]\Rightarrow[/tex] all c's = 0 (again, what are the c's?)

    Can anyone help me? I know the second part of the problem is easy: from the definition of dimension, if V* has a 2-vector-long basis, then dim V* = 2.
     
    Last edited: Feb 15, 2008
  2. jcsd
  3. Feb 16, 2008 #2

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    Basically, it's just plugging in definitions in a convenient way.
    You have already said that if you have a vector v in V, then you can write it as [itex]\vec v = v_1 e_1 + v_2 e_2 [/itex], where the vi are numbers in F (that is, the field over which V is a vector space, for example real numbers).
    Now take a linear map in the dual space and suppose it is zero. That is, consider
    [tex]T \in V^*, T : V \to F, v \mapsto T(v)[/tex]
    such that T(v) = 0 for all v in V. You know that T is a linear map, so if you decompose v you can write
    [tex]T(v) = T(a_1 e_1 + a_2 e_2) = a_1 T(e_1) + a_2 T(e_2)[/tex]
    (you can split T over the additions and take the numbers ai out).

    Since V* is a vector space as well, you can again decompose T into basis vectors,
    [tex]T = b_1 e^*_1 + b_2 e^*_2[/tex].

    Now I'll let you try to write out what T(v) is by plugging in the formulas. Then if you use that on the other hand it should be equal to zero, you will get an equation in terms of the [itex]a_i[/itex] and [itex]b_i[/itex]. Then you should try to conclude from that that all [itex]b_i = 0[/itex].
     
  4. Feb 16, 2008 #3

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    The trouble is, Smithg86, you don't seem to know the definitions! Also, why are you assuming that V itself is 2 dimensional? You say,
    "Since e, e span V, any v[itex]\in[/itex]V can be written as a linear combination of them:

    v = a1 e1 + a2 e2

    But what are the a's? Are they in F (i.e., real numbers) or are they in V (are they vectors)? (I'm not sure how to proceed.)"

    You know, I hope that the basis vectors, e1, etc. are vectors, they are in V. And that multiplication of vectors is not defined- the only multiplication is "scalar" multiplication, multiplication of real numbers and vectors. The "a"s must be in F for "[itex]a^1e^1+ a^2e^2+ \cdot\cdot\cdot+ a^ne^n[itex]" to make sense!

    Suppose f is in the dual space. Any vector in V can be written [itex]v= a^1e^1+ a^2e^2+ \cdot\cdot\cdot+ a^nv^n[/itex]. Since f is linear, [itex]f(v)= a^1 f(e^1)+ a^2f(e^2)+ \cdot\cdot\cdot+ a^nf(v^n)[/itex]. That is, what f "does" to any vector v depends only on what it does to the basis vectors.

    But if we write [itex]f= b^1e*^1+ b^2e*^2+ /cdot/cdot/cdot+ b^ne*^n[/itex],then [itex]f(e^1)= b^1 e*^1(e^1)+ b^3e*^2(e^1)+ \cdot\cdot\cdot+ b^ne*^n(e^1)= b^1[/itex]. Put that into the general formula and show that there always exist bi that will work.
     
    Last edited: Feb 16, 2008
  5. Feb 16, 2008 #4
    HallsofIvy,

    Thanks for clarifying what the a's were.

    CompuChip,

    I tried doing what you suggested:

    For some v in V, [tex]T(v) = T(a_{1} e_{1} + a_{2} e_{2})[/tex], since [tex]e_{1}, e_{2}[/tex] span V. But don't I have to show that V* is spanned by [tex]e*_{1}, e*_{2}[/tex] before I decompose T into a linear combination of them? (I'll continue, assuming I've proved that before I did this part.) Then, [tex]T = b_1 e^*_1 + b_2 e^*_2[/tex] implies:

    [tex]T(v) = T(a_{1} e_{1} + a_{2} e_{2}) = b_1 e^*_1 (a_{1} e_{1} +a_{2} e_{2}) + b_2 e^*_2 (a_{1} e_{1} +a_{2} e_{2}) = b_{1} e*_{1} (a_{1} e_{1}) + 0 + 0 + b_{2} e*_{2} (a_{2} e_{2}) = b_{1} a_{1} + b_{2} a_{2} = 0[/tex].

    I want to show that all b's are zero is the only possibility. But what if [tex]v = a_{1} e_{1} + a_{2} e_{2} = 0[/tex]? That means that [tex]a_{1} = a_{2} = 0[/tex] Then the b's can be anything. Is this a counter-example? Assuming [tex]v \neq 0[/tex], then: [tex]a_{1} b_{1} = -a_{2} b_{2} [/tex]. But a and b are in F: they are just scalars. Scalars can be multiples of other scalars, can't they? I don't see why this relationship leads me to all b's=0.

    Also, I'm not sure how to show that V* is spanned by [tex]e*_{1}, e*_{2}[/tex].
     
  6. Feb 16, 2008 #5

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    Indeed, you get [itex]a_1 b_1 + a_2 b_2 = 0[/itex].
    The trick is that this must hold for this particular b1 and b2, for any a1 or a2. So no matter what numbers a1, a2 you plug in (that is: on which v you apply T), it must be zero. This can only happen if both b1 and b2 are zero (for example, take v = e1 and v = e2).

    To see why V* is 2-dimensional in the first place, you need to think about the linear maps a bit. You know you have two linear maps (which are vectors of the dual space) [itex]e^*_1, e^*_2 \in V^*[/itex]. They are linearly independent (why) so V* is at least 2-dimensional. Now look at what you need to define a linear map [itex]V -> F[/itex]. You know that it is enough to define it on the basis elements of V*. So the question is: if you define it on [itex]e^*_1, e^*_2[/itex], do you get a unique linear map?

    By the way, HallsOfIvy,
    He said: take V = F^2, and I guess [itex]F = \mathbb{R}[/itex]

    I actually have to go now, so I'll let you figure this out for a bit. I'm not sure it is entirely clear what I wrote though, so I'll read it back later and clarify a bit if I think it's necessary. In the mean time, if I confused you, please shout! :smile:
     
  7. Feb 17, 2008 #6
    Thanks for your help so far. I came up with something to show that [tex] span(e^{*}_{1}, e^{*}_{2}) = \textbf{V}^* [/tex]:

    [tex]\forall T \in \textbf{V}^*, T:\textbf{F}^2 \rightarrow \textbf{F}[/tex], define [tex]T(e_{1}) = a_{1}, T(e_{2}) = a_{2}[/tex], for some [tex] a_{1},a_{2} \in \textbf{F} [/tex]. Since [tex] \forall v \in \textbf{F}^2, v = b_{1} e_{1} + b_{2} e_{2}[/tex], and because [tex]T[/tex] is a linear map, it follows: [tex]T(v) = T(b_{1} e_{1} + b_{2} e_{2}) = a_{1} b_{1} + a_{2} b_{2} = a_{1} b_{1} (1) + a_{2} b_{2} (1) = a_{1} b_{1} e^*_{1}(e_{1}) + a_{2} b_{2} e^*_{2}(e_{2}) = a_{1} e^*_{1}(b_{1} e_{1}) + a_{2} e^*_{2}(b_{2} e_{2}) [/tex].
    So, [tex]\forall T(v) \in \textbf{V}^*, T(v) = a_{1} e^*_{1}(b_{1} e_{1}) + a_{2} e^*_{2}(b_{2} e_{2}), [/tex] therefore [tex] span(e^*_{1}, e^*_{2}) = \textbf{V}^* [/tex].

    Since [tex]span(e^*_{1},e^*_{2}) = \textbf{V}^*[/tex] and the list [tex](e^*_{1},e^*_{2})[/tex] is linearly independent, [tex](e^*_{1},e^*_{2})[/tex] is a basis for [tex]\textbf{V}^*[/tex], as required. It follows that [tex] dim (\textbf{V}^*) = 2 [/tex].

    How does it look?
     
  8. Feb 17, 2008 #7

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    Overall, it looks good. There is just one gap that is maybe a little too large. So I took advantage of the opportunity to give some (overly) critic remarks, just to get the rigorous proof right. It is almost complete though, and you definitely understand it now (as far as I can tell, of course :smile:). So don't feel bad about my somewhat pedantic remarks, they're meant for the best.

    Let me reformulate that:
    [tex]\forall T \in \textbf{V}^* \ \text{ (i.e. } T:\textbf{F}^2 \rightarrow \textbf{F}), \exist a_1, a_2 \in \textbf{F} \text{ such that } T(e_{1}) = a_{1}, T(e_{2}) = a_{2}[/tex].
    Note how I used the "for all ... exists ...", making more clear that the a's depend on which map you take (for different maps, you have different a's).
    Also, you might want to assert something about the a's uniquely determining T here.

    Again, I'd insert something like: "for all v, there exist b1, b2 such that ...".

    You also used a property of [itex]e_i^*[/itex]...

    Technically, you are still looking at some (randomly chosen, but specific) map, so you don't need the for all again.
    I am still missing a step here. I assume you are trying to show that you can write T as a linear combination of the [itex]e_i^*[/itex], so you want something like
    [tex]T(v) = (a_1 e_1^* + a_2 e_2^*)(v)[/tex]
    right?

    Actually you haven't shown that they are linearly independent, but it's completely obvious of course :smile:
     
    Last edited: Feb 17, 2008
  9. Feb 17, 2008 #8
    [tex] T(v) = a_{1} e^*_{1}(b_{1} e_{1}) + a_{2} e^*_{2}(b_{2} e_{2}) [/tex]
    [tex]= a_{1} e^*_{1}(b_{1} e_{1}) + 0 + a_{2} e^*_{2}(b_{2} e_{2}) + 0[/tex]
    [tex]= a_{1} e^*_{1}(b_{1} e_{1}) + a_{1} e^{*}_{1}(b_{2} e_{2}) + a_{2} e^*_{2}(b_{2} e_{2}) + a_{2} e^{*}_{2}(b_{2} e_{2})[/tex]
    [tex]= a_{1} e^{*}_{1}(b_{1} e_{1} + b{2} e_{2}) + a_{2} e^{*}_{2}(b_{1} e_{1} + b{2} e_{2})[/tex]
    [tex]= (a_{1} e^{*}_{1} + a_{2} e^{*}_{2})(b_{1} e_{1} + b_{2} e_{2})[/tex]
    [tex]= (a_{1} e^{*}_{1} + a_{2} e^{*}_{2})(v) [/tex]

    This was only supposed to be a proof of [tex]span(e^*_{1},e^*_{2}) = \textbf{V}^*[/tex]. I would still have to include the proof of linear independence, which you helped me with before.

    Thanks again for your help CompuChip and HallsofIvy. I'm closing this thread now.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Linear Algebra - Dual Spaces
Loading...