Linear algebra vector space question

Click For Summary

Homework Help Overview

The discussion revolves around the vector space of polynomials of degree less than or equal to three, specifically examining the subspaces defined by certain polynomial forms. Participants are exploring whether the sum of two subspaces equals the entire polynomial space and whether their intersection contains only the zero polynomial.

Discussion Character

  • Mixed

Approaches and Questions Raised

  • Some participants attempt to add the two subspaces and derive a matrix representation to analyze the dimensions of the resulting space.
  • Questions arise regarding the definitions of the subspaces and the implications of the coefficients used in the polynomial forms.
  • There is a discussion about the need for clarity in the definitions of operations on the subspaces, particularly concerning the independence of coefficients.
  • Participants question how to properly show that the sums of the polynomials generate the entire vector space.
  • Concerns are raised about the assumptions made regarding the coefficients in the polynomial expressions.

Discussion Status

The discussion is ongoing, with participants providing insights and questioning each other's reasoning. Some guidance has been offered regarding the representation of polynomials as vectors, but there is no explicit consensus on the correctness of the initial reasoning or the methods proposed.

Contextual Notes

There are indications that participants are grappling with definitions and assumptions related to the vector space and its subspaces, which may affect their approaches to the problem.

jimmycricket
Messages
115
Reaction score
2

Homework Statement


Let [itex]V=Pol_3(R)[/itex] be the vector space of polynomials of degree [itex]\leq3[/itex] with real entries. Let [itex]U[/itex] be the subspace of all polynomials in V of the form [itex]aX^3+(b-a)X^2+bX+(d-b)[/itex] and [itex]W[/itex] be the subspace of all polynomials in [itex]V[/itex] of the form [itex]aX^3+bX^2+cX+d[/itex] such that [itex]a+c-d=0[/itex]

(i) Does [itex]U+W=Pol_3R[/itex]?
(i) Does [itex]U\cap B[/itex]= {0}?

Homework Equations





The Attempt at a Solution


(i) Adding [itex]U[/itex] and [itex]W[/itex] I get [itex]2aX^3+(2b-a)X^2+(b+c)X+(2d-b)[/itex]

Extracting the matrix and row reducing gives the 4X4 identity matrix which has dimension 4 hence[itex]U+W=Pol_3(R)[/itex].
Is this reasoning correct?

(ii) I think I need to find the dimension of [itex]U\cap W[/itex] but don't know how to proceed from here.
Please give as detailed an answer as possible.
 
Physics news on Phys.org
First, I'm not sure what the definition is of U + V. You seem to be implying that it is the space of the sums of the polynomials in U and V. Is that correct? We do need a definition.

If so, I don't understand what 4x4 matrix you have extracted. Could you explain? Nor do I see where you have used the conditions on a,b,c,d.

In order to show that these sums generate the whole of ##Pol_3## you have to show that any 3rd degree or less polynomial can be written as the sum of polys in U and V. If you showed that I don't understand how. Perhaps you could explain in more detail.

Re U ##\bigcap V ## you have to show which polynomials if any besides the zero polynomial are in both U and V. Do you know how to proceed with that?
 
jimmycricket said:

Homework Statement


Let [itex]V=Pol_3(R)[/itex] be the vector space of polynomials of degree [itex]\leq3[/itex] with real entries. Let [itex]U[/itex] be the subspace of all polynomials in V of the form [itex]aX^3+(b-a)X^2+bX+(d-b)[/itex] and [itex]W[/itex] be the subspace of all polynomials in [itex]V[/itex] of the form [itex]aX^3+bX^2+cX+d[/itex] such that [itex]a+c-d=0[/itex]

(i) Does [itex]U+W=Pol_3R[/itex]?
(i) Does [itex]U\cap B[/itex]= {0}?

Homework Equations




The Attempt at a Solution


(i) Adding [itex]U[/itex] and [itex]W[/itex] I get [itex]2aX^3+(2b-a)X^2+(b+c)X+(2d-b)[/itex]

Extracting the matrix and row reducing gives the 4X4 identity matrix which has dimension 4 hence[itex]U+W=Pol_3(R)[/itex].
Is this reasoning correct?

(ii) I think I need to find the dimension of [itex]U\cap W[/itex] but don't know how to proceed from here.
Please give as detailed an answer as possible.

You can't add them like that. That's assuming 'a' is the first expression is the same as 'a' in the second expression, and I don't think the problem implies that. 'a' is any real number in the first expression and any other real number in the second expression. Write them in terms of row vectors. Represent X^3 as (1,0,0,0), X^2 as (0,1,0,0), X as (0,0,1,0) and 1 as (0,0,0,1). So aX^3+bX^2+cX+d=(a,b,c,d)=a(1,0,0,0)+b(0,1,0,0)+c(0,0,1,0)+d(0,0,0,1). Now deal with combinations of the basis vectors (1,0,0,0), (0,1,0,0), (0,0,1,0), (0,0,0,1) when you are arguing about span or dimension and put them into your matrices.
 
The matrix was taken from adding the two equations directly and then putting the coefficients of a in each term into the 1st column, the the coefficients of b for each term as the second column and so on i.e [itex]2aX^3+(2b-a)X^2+(b+c)X+(2d-b)[/itex] =

[itex]\begin{pmatrix}<br /> 2&0&0&0\\<br /> -1&2&0&0\\ <br /> 0&1&1&0\\<br /> 0&-1&0&2<br /> \end{pmatrix}[/itex]

which reduces to
[itex] \begin{pmatrix}<br /> 1&0&0&0\\<br /> 0&1&0&0\\<br /> 0&0&1&0\\<br /> 0&0&0&1<br /> \end{pmatrix}[/itex]

which spans [itex]\mathbb R^4[/itex] hence must form a basis for [itex]Pol_3X[/itex]
 
Do read Dick's comments. I don't think what you are doing properly shows that you have a basis. In particular, you cannot assume that the a,b,c,d for the first equation are the same as for the second.

What you want to show is that any set of coefficients, say ##\alpha, \beta, \gamma ##,η can be a linear combination of the coefficients of the given polynomials.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
8
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
Replies
9
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
8
Views
2K
Replies
15
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K