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 Transformation from P2 (R) to P3 (R)

  1. May 10, 2012 #1
    1. The problem statement, all variables and given/known data

    Let T be the linear transformation from P2 (R) to P3 (R) defined by
    [tex]T(f)=14\int_{0}^{x}f(t)dt + 7x.f'(x)[/tex]
    for each
    [tex]f(x)=ax^{2}+bx+c[/tex]

    Determine a basis {g1, g2, g3} for Im(T).

    2. Relevant equations

    as above

    3. The attempt at a solution

    I evaluated the transformation function and simplified it, and found 3 linearly independent vectors for the basis, but I'm only asked for 1 and I think I've made a blunder somewhere.
    [tex]\int_{0}^{x}f(t)dt=\frac{1}{3}ax^{3}+\frac{1}{2}bx^{2}+cx[/tex]
    [tex]f'(x)=2ax+b[/tex]
    [tex]T(f)=\frac{14}{3}ax^{3}+7bx^{2}+14cx+14ax^{2}+7bx[/tex]
    [tex]T(f)=\frac{14}{3}ax^{3}+(14a+7b)x^{2} + (7b+14c)x[/tex]
    [tex]T(f)= a(\frac{14}{3}, 14, 0)+b(0,7,7)+c(0,0,7)[/tex]
    [tex]\therefore {(\frac{14}{3}, 14, 0),(0,7,7),(0,0,7)}[/tex] is a basis for Im(T)

    I'd be pleased if someone could eyeball it for me and see if I haven't done something really silly!
     
  2. jcsd
  3. May 11, 2012 #2
    I'm assuming by [itex]P_n(\mathbf{R})[/itex] you mean the set of polynomials with real coefficients with degree less than or equal to [itex]n[/itex]; i.e. [itex]P_n(\mathbf{R})=\{p\in\mathbf{R}[x]:\text{deg}(p)\leq n\}[/itex].

    So, first things first. It looks like you may have a misconception (albeit a reasonable and common misconception) about what a general vector space is. A vector space is not necessarily a set of [itex]n[/itex]-tuples or arrows. In other words, the elements of a vector space need not be what we would normally call vectors. I'll direct you to Wikipedia for the full definition (http://en.wikipedia.org/wiki/Vector_space#Definition).

    In your case, [itex]P_n(\mathbf{R})[/itex] is an [itex]\mathbf{R}[/itex]-vector space. You can add two polynomials in [itex]P_n(\mathbf{R})[/itex] and get another polynomial in [itex]P_n(\mathbf{R})[/itex]. You can multiply any polynomial in [itex]P_n(\mathbf{R})[/itex] by a real number to get another polynomial in [itex]P_n(\mathbf{R})[/itex]. This addition and multiplication follow all of the rules for vector spaces. Note that polynomials are not arrows or [itex]n[/itex]-tuples (though there is an "obvious" way to think of them as tuples, and they're often defined formally as a particular type of infinite tuples). The dimension of [itex]P_n(\mathbf{R})[/itex] is [itex]n+1[/itex].

    If we're not thinking of polynomials as [itex]n[/itex]-tuples (and I don't think we should here if we want to get the most out of this exercise), then a basis for [itex]P_n(\mathbf{R})[/itex] is a set of polynomials that satisfies all of the requirements for being a basis (http://en.wikipedia.org/wiki/Basis_(linear_algebra)#Definition, pay no attention to the picture). For instance the set (not tuple) [itex]\{1,x\}[/itex] is a basis for [itex]P_1(\mathbf{R})[/itex]. Most would consider it to be the canonical basis for [itex]P_1(\mathbf{R})[/itex]. [itex]\{1,1+x\}[/itex] is also a basis for [itex]P_1(\mathbf{R})[/itex], as is [itex]\{x,1+x\}[/itex]. Can you verify that the sets I've given are in fact bases? If we were to think of polynomials with degree less than or equal to 1 as tuples, what 2-tuples would we associate with the polynomials [itex]1[/itex], [itex]x[/itex], and [itex]1+x[/itex]?

    Can you give the canonical basis for [itex]P_2(\mathbf{R})[/itex]? Can you give another? Check that it's a basis.

    Alright. Now that we have that out of the way. The fun thing is that we can apply most (if not all) of the theorems from Linear Algebra to our finite vector spaces [itex]P_n(\mathbf{R})[/itex]. In particular, we can say the following:

    If [itex]\{g_1, g_2, ... , g_{n+1}\}[/itex] is a basis for [itex]P_n(\mathbf{R})[/itex] and [itex]T:P_n(\mathbf{R})\rightarrow P_m(\mathbf{R})[/itex] is a linear map, then [itex]\{T(g_1), T(g_2), ... , T(g_{n+1})\}[/itex] is a basis (though not necessarily linearly independent) for [itex]T(P_n(\mathbf{R}))=Im(T)[/itex].

    Is this enough to get you going?

    P.S. It would probably be a good idea to prove (if only to yourself) that the transformation [itex]T[/itex] given in your problem is, in fact, linear.
     
    Last edited: May 11, 2012
  4. May 11, 2012 #3
    Thanks for your informative reply gopher_p. I think I have most of these concepts down, although my language is lacking. What I meant by 'vector' was actually 'column vector', 'tuple' is probably a less ambiguous word.

    To answer your questions about P1(R). To verify that the sets you have given are indeed bases, I need to check that the elements in the set are linearly independent (ie. one is a not scalar multiple of another) and that the set is a spanning set (ie. I can generate every vector in the P1(R) space from a linear combination of each element in the set)

    To verify that {1, 1 + x} is a basis, firstly it must be linearly independent because there is no way to get 1 + x from any multiple of 1, and vice versa. Secondly, to check that it is a spanning set, I need to show that I can generate any polynomial in P1(R) from this basis, by using a linear combination of each element:

    a(1) + b(1 + x) = ux + v

    I can see intuitively that this is so, but that's not the same as proving it. I will come back to this.

    The canonical basis for P2(R) is {(0,1) , (1,0)}, and likewise for Pn(R) it would be {(1, 0, .., 0), (0, 1, ..., 0) ..., (0, 0, ..., 1)} - each tuple is all 0 except for a 1 in the nth position.

    I would like to answer the questions of yours that I've skipped, but I'm going to study some more first, because it's clear that I'm missing a few things.

    Thanks again, I'll be back!
     
  5. May 11, 2012 #4
    What elements of [itex]P_2(\mathbf{R})[/itex] do [itex](0,1)[/itex] and [itex](1,0)[/itex] represent? How can two elements possibly form a basis for a vector space of dimension 3?

    I strongly encourage you to proceed with this problem and with your understanding of vector spaces without making reference to tuples or vectors (column or row).
     
  6. May 12, 2012 #5
    Oh wow, sorry I don't know what I was thinking there. The canonical basis for P2(R) - that of polynomials with degree less than or equal to 2 - is {1, x, x^2}, I gave the basis for R2 and Rn.

    In any case, back to my book.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Linear Transformation from P2 (R) to P3 (R)
Loading...