Does this set of polynomials span P3?

  • Context: Undergrad 
  • Thread starter Thread starter mitch_1211
  • Start date Start date
  • Tags Tags
    Polynomials Set Span
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
6 replies · 20K views
mitch_1211
Messages
95
Reaction score
1
hey i want to find out if the set
s = {t2-2t , t3+8 , t3-t2 , t2-4} spans P3

For vectors, i would setup a matrix (v1 v2 v3 v4 .. vn | x) where x is a column vector (x , y ,z .. etc) and reduce the system. If a solution exists then the vectors span the space, if there are no solutions then the space spanned is either the line or plane made up of the x , y ,z = 0

My question is, how do u setup a similar system for polynomials?

i know that the colums would be
t3
t2
t
1

and then put in the polynomials like (p1 p2 p3 p4 .. ) but what do i augment this matrix with?

many thanks

mitch
 
Physics news on Phys.org
Hi,

It is an identical situation. Rather than having a vector [itex](w,x,y,z)=w \mathbf{i} + x\mathbf{j}+y\mathbf{k}+z\mathbf{l}[/itex], you have a vector [itex](w,x,y,z)=w 1 +x t + y t^2 +z t^3[/itex]. The [itex]\mathbf{i},\mathbf{j},\mathbf{k},\mathbf{l}[/itex] and the [itex]1,t,t^2,t^3[/itex] are standard basis vectors, and the [itex]w,x,y,z[/itex] are components. In this notation, your basis is [itex]\{(0,-2,1,0),(8,0,0,1),(0,0,-1,1),(-4,0,1,0)\}[/itex], a trivial change which hopefully brings you into familiar territory!
 
So after I've got the basis vectors you have described, I augment them in a matrix with w,x,y,z just like for usual vectors?
 
Another way to do this, without directly using matrices, is to use the definition:
The set [itex]\{t^2-2t , t^3+8 , t^3-t^2 , t^2-4\}[/itex] spans P3 if and only if, for any a, b, c, d there exist [itex]\alpha[/itex], [itex]\beta[/itex], [itex]\gamma[/itex], [itex]\delta[/itex] such that
[tex]\alpha(t^2- 2t)+ \beta(t^3+ 8)+ \gamma(t^3- t^2)+ \delta(t^2- 4)= at^3+ bt^2+ ct+ d[/tex]
which is the same as
[tex](\beta+ \gamma)t^3+ (\alpha- \gamma+ \delta)t^2- (2\alpha+ \gamma- \delta)t+ (8\beta- 4\delta)= at^3+ bt^2+ ct+ d[/tex]
That gives the four equations
[tex]\beta+ \gamma= a[/tex]
[tex]\alpha- \gamma+ \delta= b[/tex]
[tex]2\alpha+ \gamma- \delta= c[/tex]
[tex]8\beta- 4\delta= d[/tex]

The set spans the space if and only if it is possible to solve for [itex]\alpha[/itex], [itex]\beta[/itex], [itex]\gamma[/itex], and [itex]\delta[/itex] in terms of any numbers, a, b, c, and d.

Of course, solving that system of equations could be done in terms of the matrix of coefficients which gets right back to your method!
[tex]\beta+ \gam,[/tex]
 
micromass said:
Yes!

Perfect, thank you!
 
HallsofIvy said:
Of course, solving that system of equations could be done in terms of the matrix of coefficients which gets right back to your method!

Thanks for explaining that, much appreciated.