Prove that W is a subspace of P_4(t)

  • Thread starter Thread starter bionet
  • Start date Start date
  • Tags Tags
    Subspace
Click For Summary

Homework Help Overview

The discussion revolves around proving that a set W, defined as W = {p(t) ∈ P4(t): p(0)=0}, is a subspace of the polynomial space P4(t). Participants are exploring the conditions necessary for W to qualify as a subspace, particularly focusing on the zero vector and the implications of polynomial degree constraints.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the necessity of the zero vector being an element of the subspace and question how to verify that the zero polynomial meets the condition p(0)=0. There is also confusion regarding the notation P4(t) and its implications for the elements within the subspace.

Discussion Status

Some participants have provided examples of polynomials that satisfy the condition for inclusion in W, while others express uncertainty about the overall question being asked. The dialogue indicates a productive exploration of the definitions and properties of subspaces, though consensus on the specific question remains unclear.

Contextual Notes

Participants note that the definition of the polynomial space P4(t) includes polynomials of degree less than or equal to 4, which is central to the discussion about the elements of W. There is also mention of the relationship between the span of vectors and subspaces, which may influence the understanding of W.

bionet
Messages
5
Reaction score
0

Homework Statement


Let W = {p(t) ∈ P4(t): p(0)=0 }. Prove that W is a subspace of P4(t)

Homework Equations


none

The Attempt at a Solution


I know three things have to be true in order to be a subspace:
1. zero vector must exist as an element
2. if u and v are elements, u+v must be an element
3. if u is an element cu is an element

I'm a bit confused. I've done some searching on this forum + my textbook, and I haven't seen any questions in this particular format. Any help would be greatly appreciated.
 
Last edited:
Physics news on Phys.org
Let's start with this:

bionet said:
1. zero vector must exist

This is a bit weirdly phrased. The zero vector always exists in the larger space. The issue is that it must be an element of the subspace.

The zero vector is here the zero polynomial. Thus p(x)=0 for all x. Does that p lie in our subspace? What do we need to check for that?
 
I edited my original post for the first condition. I'm not sure how to check for p(x)=0 to lie in our subspace. I think I may be a bit confused by P_4(x). What does the P_4 mean?
 
bionet said:
I edited my original post for the first condition. I'm not sure how to check for p(x)=0 to lie in our subspace. I think I may be a bit confused by P_4(x). What does the P_4 mean?

Likely, it is the vector space of polynomial function of degree ≤4.

So examples of things in [itex]P_4[/itex] are

[itex]p(x)=0,~p(x)=x+1,~p(x)=4x^4+2x+1[/itex]

An example of something not in there is

[itex]p(x)=x^6+x^5+1[/itex] (since the degree is 6 and thus not ≤4)

or

[itex]p(x)=\sin(x)[/itex] (since it is not a polynomial)
 
so P(x)=0 lies in our subspace of P_4 because it is an example element in P4
 
bionet said:
so P(x)=0 lies in our subspace of P_4 because it is an example element in P4

Not so quick!

P(x) certainly lies in P4, no problem with that.
But now you have a subspace of P4.

That is, you only look at elements of P4 which satisfy p(0)=0.

So, for example

[tex]p(x)=x^2+x[/tex]

lies in P4 AND it satisfies p(0)=02+0=0. So it is in our subspace.

But

[tex]p(x)=x^2+x+1[/tex]

does lie in P4, but it has p(0)=1. So it is not in our subspace.
 
Alright! I get that. However, what I don't get is the question. I see you listed a few polynomials as examples that satisfy vector 0 being an element of the subspace, but what is the question asking for? There is no polynomial or equation associated with the question.
 
Ok, for anyone who has come across my problem via search, there are a few things that you need to know.

Span of vectors = subspace

p(t) = a0 + a1t1..+ a4t4

With p(0)=0 a0=0

W={a1t...a4t4
span = { t, t^2, t^3, t^4 }
 

Similar threads

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