# Linear Algebra Axioms

1. Jan 5, 2012

### TranscendArcu

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

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

3. 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,

$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$

?
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.

2. Jan 5, 2012

### wisvuze

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 )

3. Jan 5, 2012

### lanedance

effectively you can treat $a_0 + a_1 x + a_2 x^2$ as $(a_0,a_1,a_2)^T$ as the polynomials 1,x,x^2 are linearly independent