1. Limited time only! Sign up for a free 30min personal 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 independence in Q[x]

  1. Dec 3, 2011 #1
    1. The problem statement, all variables and given/known data

    Show that the set {1,x,x^2,...,x^n,...} is linearly independent in Q[x].

    3. The attempt at a solution

    Since an infinite set of vectors is linearly independent if each finite subset is also linearly independent, I think I need to show that every subset of {1,x,x^2,...,x^n,...} is linearly independent. It's easy to show any given subset is linearly indep. but I'm not sure how to show ALL subsets are linearly independent.

    Any ideas?
     
  2. jcsd
  3. Dec 3, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    You only need to show that all subsets of the form

    [tex]\{1,x,...,x^m\}[/tex]

    are linearly independent. Do you see why?? Do you see why it is independent?
     
  4. Dec 3, 2011 #3
    For any given subset of Q[x] whose degree is less than or equal to m, we can write an element a = a_0+a_1x+a_2x^2+...+a_mq^m. a = 0 iff for all i, a_i = 0, thus the set {1,x,...,x^m} is linearly independent in Q[x]?
     
  5. Dec 3, 2011 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    That is OK. I have a few follow up questions though!

    Why is this true?? Did you prove it?

    OK, but why does this imply that each finite subset of [itex]\{1,x,...,x^n,...\}[/itex] is linearly independent?
     
  6. Dec 3, 2011 #5
    Well if for some i, a_i=/=0, then a=a_ix^i by def of a in Q[x], right?

    Since our choice of a finite subset of {1,x,...,x^n,...} was arbitrary?
     
  7. Dec 3, 2011 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Hmm, it's not that easy...

    You have to prove for example that

    [tex]2x^3-4x^2+6x+9[/tex]

    is never constantly 0. Furthermore, you must prove it for all ai.

    It was not arbitrary. We chose the subset [itex]\{1,x,...,x^m\}[/itex]. This is indeed sufficient, but why?
     
  8. Dec 3, 2011 #7
    But our choice of m+1 as the degree of the subset was arbitrary. Anyway, since all we need to show is that finite subsets are linearly independent, we have shown that.
     
  9. Dec 3, 2011 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Yes, our choice of m was arbitrary. But we still have not shown it for arbitrary polynomials then!

    For example, we also need to show it for the set [itex]\{1,x^2,x^4,x^{14}\}[/itex]. You have not yet considered such a set.
     
  10. Dec 3, 2011 #9

    Deveno

    User Avatar
    Science Advisor

    there are two ways of looking at this:

    algebraic way:

    [tex]p(x) = a_0 + a_1x + a_2x^2 + \dots + a_nx^n \equiv 0 \text{ iff } a_i = 0\ \forall \ i[/tex]

    by the definition of equality of polynomials in Q[x].

    analytic way:

    [tex]p(x) = a_0 + a_1x + a_2x^2 + \dots + a_nx^n \equiv 0 \text{ iff } \forall x, p(x) = 0[/tex]

    in one way, "x" is just a formal symbol, it doesn't really stand for anything. in another way, x stands for some value which might be a number of some sort.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Linear independence in Q[x]
  1. Linear independence (Replies: 6)

  2. Linear independance (Replies: 3)

  3. Linear independence (Replies: 3)

Loading...