MHB Orthogonal Complement of Polynomial Subspace?

Click For Summary
The discussion revolves around finding the orthogonal complement of a polynomial subspace W spanned by the vector x + 1. The inner product is clarified to be <p(x), q(x)> = p(-1)q(-1) + p(0)q(0) + p(1)q(1). The orthogonal complement W⊥ consists of polynomials p(x) such that p(0) + 2p(1) = 0, leading to the conclusion that W⊥ is spanned by the independent vectors x^2 - 2/3 and x - 2/3. The final determination is that the orthogonal complement has dimension 2, confirming the basis for W⊥.
Displayer1243
Messages
1
Reaction score
0
If this question is in the wrong forum please let me know where to go.

For p
$(x), q(x) \in P_{2}$
, the vector space of polynomials to the form ax'2+bx+c. p(x), q(x)=p(-1) 1(-1)+p(0), q(0)+p(1) q(1), Assume that this is an inner product. Let W be the subspace spanned by
$x+1$
.
a) Describe the elements of
$w$

b) Give a basis for W (Orthogonal complement) ". ( You do not need to prove that your set is a basis)I've been stuck on this question for quite a while and have made progress that I don't know is fully right if anyone could help so I can get clarification that would be awesome! Thanks!

This is what I have now.
$$
\begin{array}{l}
\mathrm{W}^{\perp}=\{p \in P 2 |\langle p, x+1\rangle=0\} \\
\langle p x+1\rangle=p(-1) x+1(-1)+p(0) x+1(0)+p(1) x+1(1)=p(-1) \\
(-1+1)+p(0)(0+1)+p(1)(1+1)=p(0)+2 p(1)=2 \mathrm{p}(1)
\end{array}
$$
since we are looking for polynomials such that $\mathrm{p}(0)=2 \mathrm{p}(1),$ and with the definition of $\mathrm{P}^2$ all
polynomials $a x^2+b x+c$ such that $c=2(a+b+c),$ so the numbers a,b,c with 2a+2b+c=0. In terms of linear algebra and the null space of $A=[2,2,1]$ which is dimension 2 and generates the vectors
$\begin{bmatrix}1\\0\\-2\end{bmatrix}$ and $\begin{bmatrix}0\\1\\-2\end{bmatrix}$

Which converts back into polynomials to get
$W^{\perp}=\left\{\mathrm{x}^2-2, \mathrm{x}-2\right\}$
Did I solve this question correctly?
 
Last edited:
Physics news on Phys.org
Hello, and welcome to MHB! :)

I'm afraid I cannot help you personally, but there are many here who can, and it would be helpful to them to see what work you've done already. This way they can better guide you by perhaps pointing out any mistakes, or providing hints for you to continue, etc.
 
Frankly your notation is mystifying! You have a strange mixture of fonts. But my biggest problem is your definition of the inner product, "p(x), q(x)=p(-1) 1(-1)+p(0), q(0)+p(1) q(1)".

I can guess that "p(x), q(x)" was intended to be something like <p(x), q(x)> but what does "p(-1)1(-1)" mean? Was that supposed to be "p(-1)q(-1)"? That is, did you mean
"<p(x), q(x)>= p(-1)q(-1)+ p(0)q(0)+ p(1)q(1)"?

Now, W is the subspace spanned by the single vector x+ 1. I would think that you should know that vectors in a subspace spanned by a single vector are just multiples of that vector. All vectors in W are of the form a(x+ 1)= ax+ a where a can be any number.

Yes, the "orthogonal complement" of W is the set of all polynomials, p(x)= ax^2+ bx+ c such that <p(x), x+ 1>= p(-1)(-1+1)+ p(0)(0+1)+ p(1)(1+ 1)= p(0)+ 2p(1)= 0
(you have "p(0)+ 2p(1)= 2p(1)". I have no idea how you got that!)
Since p(x)= .ax^2+ bx+ c that is c+ 2(a+ b+ c)= 2a+ 2b+ 3c= 0. Taking a= 1, b= 0, that is 2+ 3c= 0 so c= -2/3. One vector in that set is x^2- 2/3. Taking a= 0, b= 1, c= -2/3 so another vector is x- 2/3. Those are not multiples so they are independent. The given vector space is clearly three dimensional and W, the subspace of multiples of x+ 1, is 1 dimensional so the orthogonal subspace has dimension 2. Those two independent vectors form a basis. Since this is given as a space or quadratic polynomials I see no reason to write them as "column vectors. \{x^2- 2/3, x- 2/3\} is sufficient.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

Replies
48
Views
4K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
1K
Replies
27
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 39 ·
2
Replies
39
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K