Proving the Associative Property for Polynomials in Linear Algebra

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
TranscendArcu
Messages
277
Reaction score
0

Homework Statement



Show that the axiom [itex]\vec{A} + (\vec{B} + \vec{C}) = (\vec{A} + \vec{B}) + \vec{C}[/itex] holds for polynomials of the form [itex]a_0 + a_1 x + a_2 x^2[/itex]

The Attempt at a Solution


I'm pretty new to writing proofs for linear algebra so my first question is should I be treating the polynomials as the vectors? That is, should I write something like,

[itex]a^A_0 + a^A_1 x + a^A_2 x^2 + (a^B_0 + a^B_1 x + a^B_2 x^2 + a^C_0 + a^C_1 x + a^C_2 x^2) = (a^A_0 + a^A_1 x + a^A_2 x^2 + a^B_0 + a^B_1 x + a^B_2 x^2) + a^C_0 + a^C_1 x + a^C_2 x^2[/itex]

?
I don't think this is correct since the polynomials aren't really vectors (right?). But I'm not sure how else to place these polynomials into the axioms.
 
Physics news on Phys.org
Yes, the polynomials under their usual operations are vectors ( since they form a vector space, and this is what you are trying to show ). It's simple: any element of a space that is a vector space, is a vector.
The key point is that you are proving this with respect to a specific operation, and a specific set of objects ( you already know how to add and subtract these elements, you just have to show that they *also* satisfy these other vector space properties )
 
effectively you can treat [itex]a_0 + a_1 x + a_2 x^2[/itex] as [itex](a_0,a_1,a_2)^T[/itex] as the polynomials 1,x,x^2 are linearly independent