Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Why are these functions commutatives?

  1. Feb 16, 2013 #1
    I'm finishing studying for my Linear Algebra final, but there are two things I didn't understand (I'll make one thread per thing).
    (It's a translation, the original one is in Spanish, second half of the page 174/184 book notation/acrobat reader notation if you're curious).
    Let be V a K vector space with finite dimension. Let be f:V→V a linear map, with a [itex]m_{f}[/itex]=P.Q and (P,Q)=1
    Then...
    (...)
    [itex] V = Nu(P(f)) \oplus Nu(Q(f))[/itex]
    And one step of the proof (the only one I don't understand) say:
    [itex]x = (R(f) \circ P(f) )(x)+(S(f) \circ Q(f) )(x)[/itex]
    (That's for the extended Euclid's algorithm for polynomials I think, this is not the problem).
    The problem is just here:
    "Now, having in account that:"
    [itex]Q(f) \circ R(f) = (Q.R)(f) = (R.Q)(f) = R(f) \circ Q(f)[/itex]

    And I don't know why.
    I understand that, if the composition is equal to the product, then the commutativity is obvious because the product of two polynomials is commutative. But why the composition is equal to the composition in this case? It must be related to extended Euclid's algorithm for polynomials but I think I never had it in a course =/
    Sorry for my bad English, I learned most of it while gaming xD
     
    Last edited: Feb 16, 2013
  2. jcsd
  3. Feb 16, 2013 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    I have no idea what notations you are using, but I think it's clear to me what they mean.

    For example, let [itex]P(X)=X^3+X^2[/itex] and [itex]Q(X)=X^2+3X[/itex].

    Then [itex]P(f)=f^3 + f^2[/itex] and [itex]Q(f)=f^3+3f[/itex]. And we define [itex]f^2=f\circ f[/itex] and [itex]f^3=f\circ f\circ f[/itex].

    Then

    [tex](P\cdot Q)(X) = (X^3 + X^2)\cdot (X^2 + 3X) = X^5 + 4X^4 + 3X^3[/tex]

    So

    [tex](P\cdot Q)(f)=f^5 + 4f^4 + 3f^3[/tex]

    but

    [tex]P(f)\circ Q(f) = (f^3 + f^2)\circ (f^2 + 3f) = f^3\circ f^2 + 3f^3\circ f + f^2\circ f^2 + 3f^2\circ f = f^5 + 4f^4 + 3f^3[/tex]

    Do you understand this?
     
  4. Feb 16, 2013 #3
    I think it has to be composition because it's what follows:

    [itex]Q(f)((R(f) \circ P(f))(x)) = (Q(f) \circ R(f) \circ P(f))(x) = R(f)(Q(f) \circ P(f))(x)

    = R(f)(m_{f} (f)(x)) = R(f)(0) = 0;[/itex]
    Then R(f).P(f) is in Q(f) kernel, beacuse Q(R(f).P(f))=0 (the idea is to prove that the sum of the kernels is equal to V).
    The thing I don't understand if how Q(f) evaluated on R(f).P(f) is equal to R(f) evaluated on Q(f).P(f).
    PD: Nu(Something) is the Kernel of something, I forget to translate it.
    Probably I'm misunderstading something of the notation... again notation is my worst enemy.

    Edit:
    T_T Q(f) is a polynomial of a lineal transformation, so it can be represented as a matrix, then to evaluate it is to multiplicate it to the right for a vector... so yes they are all products, and then f(x)=f.x and the commutativity is obvious T_T I spend a couple of hours reading this, I don't know how I got SO stuck.
    Sorry for my bad English, thanks for your help.

    PD: Did they moved it to linear and abstract algebra or I missed forum when I posted it? I thought I posted it in homework help, anyway I don't really know what to post outside.
     
    Last edited: Feb 16, 2013
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Why are these functions commutatives?
  1. Commutator question. (Replies: 2)

  2. Commutative Ring (Replies: 21)

Loading...