How to Find a Basis for W in P4[x] Using the Gram-Schmidt Process?

  • Context: Graduate 
  • Thread starter Thread starter Bachelier
  • Start date Start date
  • Tags Tags
    Basis Per
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 3K views
Bachelier
Messages
375
Reaction score
0
I need some direction with respect to this problem please:

Define the inner product on P4[x] over [tex]\Re[/tex] as follows

<f,g> = [tex]\int_{0}^{1}\f(x)g(x) dx[/tex]

let W be the subspace of P4[x] consisting of the poly. ) and all polynomials with degree 0, that is W =R

Find a basis for [tex]W^{\perpendicular}[/tex]per
 
Physics news on Phys.org
I assume you meant
[tex]<f, g>= \int_0^1 f(x)g(x)dx[/tex].

[itex]P_4[x][/itex] is the 5 dimensional space of all polynomials, with real coefficients, of degree 4 or less. A basis consists of [itex]\{1, x, x^2, x^3, x^4\}[/itex].
[tex]< 1, 1>= \int_0^1 1 dx= 1[/tex]
so "1" is already a unit vector. Use "Gram-Schmidt" to extend that to an orthonormal basis for [itex]P_4[x][/itex], then drop the "1" vector.
 
HallsofIvy said:
I assume you meant
[tex]<f, g>= \int_0^1 f(x)g(x)dx[/tex].

[itex]P_4[x][/itex] is the 5 dimensional space of all polynomials, with real coefficients, of degree 4 or less. A basis consists of [itex]\{1, x, x^2, x^3, x^4\}[/itex].
[tex]< 1, 1>= \int_0^1 1 dx= 1[/tex]
so "1" is already a unit vector. Use "Gram-Schmidt" to extend that to an orthonormal basis for [itex]P_4[x][/itex], then drop the "1" vector.

cool I'll try it.
 
I did that. Actually this was the path I followed before posting my question:
Here's the deal:

I use V1 = 1

V2 = X - (Projection of X onto 1)

I get V2 = X - 1/2

in their answer in this book, they gave 1 - X/2 which is not even orthogonal to X - 1/2.

I don't know how they got these answers:
[itex] \{1-X/2 ; X/2 - X^2/3 ; X^2/3 - 1/4X^3\}[/itex]

Also we know Dim V = Dim W + Dim W^per

Dim V = 5, Dim W = 1, so we should have four polynomials in the basis, not 3!
 
Oh, blast! I suspect then, that they are using a different convention than I am and are using "[itex]P_4[x][/itex]" to mean the four dimensional space of polynomials of degree 3 or less: [itex]\{p| p(x)= a+ bx+ cx^2+ dx^3\}[/itex].

Use Gram-Schmidt to construct an orthonormal basis from [itex]\{1, x, x^2, x^3\}[/itex] and drop "1".