Hey there! Sign in to join this conversationNew here? Join for free
    • Thread Starter
    Offline

    2
    ReputationRep:
    The question is : If the vector space C[1,1] of continuous real valued functions on the interval [1,1] is equipped with the inner product defined by (f,g)=1−1 intf(x)g(x)dx

    Find the linear polynomial g(t) nearest to f(t) = e^t?

    So I understand the solution will be given by (u1,e^t).u1/||u1|| + (u2,e^t).u2/||U2||

    But I am having trouble understanding what u1 and u2 should be. I understand they must be othorgonal and basis for a subspace S ∈ C[-1,1].

    However Im not too sure what dimension this basis should be of, and not 100% sure what is meant by the vector space C[-1,1].

    (The solution uses 1 and t as u1 and u2....)

    Many thanks in advance for any assistance.
    Offline

    2
    ReputationRep:
    (Original post by rainbowsss)
    The question is : If the vector space C[1,1] of continuous real valued functions on the interval [1,1] is equipped with the inner product defined by (f,g)=1−1 intf(x)g(x)dx

    Find the linear polynomial g(t) nearest to f(t) = e^t?

    So I understand the solution will be given by (u1,e^t).u1/||u1|| + (u2,e^t).u2/||U2||

    But I am having trouble understanding what u1 and u2 should be. I understand they must be othorgonal and basis for a subspace S ∈ C[-1,1].

    However Im not too sure what dimension this basis should be of, and not 100% sure what is meant by the vector space C[-1,1].

    (The solution uses 1 and t as u1 and u2....)

    Many thanks in advance for any assistance.
    You clearly haven't organised your thoughts very well. I will try to summarise for you.

    - The vector space C[-1,1] is defined in the first line of your post. It is the space of continuous real valued functions on the interval [-1,1]. An element in this space is therefore a continuous function f: [-1,1] --> R and scalar multiplication is given by multiplication on the image of your function i.e.

    \lambda \cdot f is the function given by x \mapsto \lambda f(x).

    - The question is asking you to find the linear polynomial that is nearest to e^t. By linear polynomial, I am assuming they mean a function of the form g(t) = at+b.

    - The distance or metric in an inner product space is the one induced by the norm induced by the inner product unless otherwise stated. In more detail, in this instance, the distance between two functions f and g is given by
    \sqrt{(f-g,f-g)} = \sqrt{\int_{[-1,1]}(f-g)(t)(f-g)(t)\mathrm{d}t}.

    - You therefore need to substitute f(t)=e^t and g(t)=at+b and simply find the values of a and b which minimise the resulting distance.
    • Thread Starter
    Offline

    2
    ReputationRep:
    (Original post by Mark85)
    You clearly haven't organised your thoughts very well. I will try to summarise for you.

    - The vector space C[-1,1] is defined in the first line of your post. It is the space of continuous real valued functions on the interval [-1,1]. An element in this space is therefore a continuous function f: [-1,1] --> R and scalar multiplication is given by multiplication on the image of your function i.e.

    \lambda \cdot f is the function given by x \mapsto \lambda f(x).

    - The question is asking you to find the linear polynomial that is nearest to e^t. By linear polynomial, I am assuming they mean a function of the form g(t) = at+b.

    - The distance or metric in an inner product space is the one induced by the norm induced by the inner product unless otherwise stated. In more detail, in this instance, the distance between two functions f and g is given by
    \sqrt{(f-g,f-g)} = \sqrt{\int_{[-1,1]}(f-g)(t)(f-g)(t)\mathrm{d}t}.

    - You therefore need to substitute f(t)=e^t and g(t)=at+b and simply find the values of a and b which minimise the resulting distance.
    Why a function of the form g(t)=at + b? How do we know the polynomial is of degree 1-dimension 2 ? Is this from f:[-1,1]---> R? Im also still not sure what this means? What is the interval representing?

    How do you then go about solving for a and b ?

    Thanks alot.
    • Study Helper
    Offline

    16
    ReputationRep:
    Study Helper
    (Original post by rainbowsss)
    Why a function of the form g(t)=at + b? How do we know the polynomial is of degree 1-dimension 2 ? Is this from f:[-1,1]---> R? Im also still not sure what this means? What is the interval representing?

    How do you then go about solving for a and b ?

    Thanks alot.
    You are told that g(t) is a linear polynomial in the question
    Offline

    2
    ReputationRep:
    (Original post by rainbowsss)
    Why a function of the form g(t)=at + b? How do we know the polynomial is of degree 1-dimension 2 ? Is this from f:[-1,1]---> R? Im also still not sure what this means? What is the interval representing?

    How do you then go about solving for a and b ?

    Thanks alot.
    As Davos says, you are told that the function is linear.

    Yes, you are looking for a function g:[-1,1] ---> R since this is the space you are working in.

    A function f:[-1,1] ---> R is something that associates to each real number from -1 to 1 a real number. The interval just represents all numbers between (and including) those two values... there isn't much more to say.

    Have you actually calculate the distance between e^t and an arbitrary linear function yet? Actually calculate it and then worry about how you can find the coefficients making the distance as small as possible. If you do the calculation - you will probably see how. In any case, come back and asked when you tried yourself if you get stuck - I am not completely answering your homework for you.
    Offline

    0
    ReputationRep:
    (Original post by rainbowsss)
    The question is : If the vector space C[1,1] of continuous real valued functions on the interval [1,1] is equipped with the inner product defined by (f,g)=1−1 intf(x)g(x)dx

    Find the linear polynomial g(t) nearest to f(t) = e^t?

    So I understand the solution will be given by (u1,e^t).u1/||u1|| + (u2,e^t).u2/||U2||

    But I am having trouble understanding what u1 and u2 should be. I understand they must be othorgonal and basis for a subspace S ∈ C[-1,1].

    However Im not too sure what dimension this basis should be of, and not 100% sure what is meant by the vector space C[-1,1].

    (The solution uses 1 and t as u1 and u2....)

    Many thanks in advance for any assistance.
    The most "obvious" choice of a basis for the subspace of linear polynomials turns out to be orthogonal with respect to the inner product on the space. In general, there's not necessarily an easy way to "spot" an orthogonal basis like that, and although you can do something like the Gram-Schmidt to find an orthogonal basis, it's often easier to use the method Mark85 suggested.
    • Thread Starter
    Offline

    2
    ReputationRep:
    (Original post by Mark85)
    As Davos says, you are told that the function is linear.

    Yes, you are looking for a function g:[-1,1] ---> R since this is the space you are working in.

    A function f:[-1,1] ---> R is something that associates to each real number from -1 to 1 a real number. The interval just represents all numbers between (and including) those two values... there isn't much more to say.

    Have you actually calculate the distance between e^t and an arbitrary linear function yet? Actually calculate it and then worry about how you can find the coefficients making the distance as small as possible. If you do the calculation - you will probably see how. In any case, come back and asked when you tried yourself if you get stuck - I am not completely answering your homework for you.
    1)Okay so using pythagorous to calculate the distance I have:
    ||(f-g),(f-g)||=(||f^2||-||g^2||)^1/2
    Evaluating ||f||^2 and ||g||^2 independently and using the RHS gives the distance as
    ((1/2(e^2-e^-2)-2a(^2)/3-2b^2))^1/2
    - So I assume to minimise this a^(2)/3=-b^2, but this looks different than the solution

    2) So the interval specified has no influence on the answer?
    Offline

    2
    ReputationRep:
    (Original post by rainbowsss)
    1)Okay so using pythagorous to calculate the distance
    I have:
    ||(f-g),(f-g)||=(||f^2||-||g^2||)^1/2
    Evaluating ||f||^2 and ||g||^2 independently and using the RHS gives the distance as
    ((1/2(e^2-e^-2)-2a(^2)/3-2b^2))^1/2
    - So I assume to minimise this a^(2)/3=-b^2, but this looks different than the solution

    2) So the interval specified has no influence on the answer?
    You have calculated the distance wrong and misapplied pythagoras which you don't even need here because it is just as simple to do it directly (as suggested already) just try it.

    What do you mean the interval has no influence? The interval is used in the definition of the space. I think your problem is that you don't understand what a function is or what an integral is. A function consists of a domain and a codomain and a an association of one element of the latter to each of the former. The inner product space that this question is about is defined to be the set of all continuous functions with a specific domain i.e. [-1,1] and codomain R.

    The space you are considering is the space of functions on that interval. When you work out the distance, you integrate over that interval. Look, if you are really interested, rephrase the question by replacing the interval [-1,1] with some other interval and check the answer for yourself.
    • Thread Starter
    Offline

    2
    ReputationRep:
    (Original post by Mark85)
    You have calculated the distance wrong and misapplied pythagoras which you don't even need here because it is just as simple to do it directly (as suggested already) just try it.

    What do you mean the interval has no influence? The interval is used in the definition of the space. I think your problem is that you don't understand what a function is or what an integral is. A function consists of a domain and a codomain and a an association of one element of the latter to each of the former. The inner product space that this question is about is defined to be the set of all continuous functions with a specific domain i.e. [-1,1] and codomain R.

    The space you are considering is the space of functions on that interval. When you work out the distance, you integrate over that interval. Look, if you are really interested, rephrase the question by replacing the interval [-1,1] with some other interval and check the answer for yourself.
    Okay so I now have the distance as (1/2sinh(2)-2bsinh(1)+2b^2-4a/exp+2a^2/3)^1/2

    Atfer looking at this for a while, I can not see an easy way to deduce a and b from this.
    cheers.
 
 
 
  • See more of what you like on The Student Room

    You can personalise what you see on TSR. Tell us a little about yourself to get started.

  • Poll
    What's your favourite Christmas sweets?
    Useful resources

    Make your revision easier

    Maths

    Maths Forum posting guidelines

    Not sure where to post? Read the updated guidelines here

    Equations

    How to use LaTex

    Writing equations the easy way

    Student revising

    Study habits of A* students

    Top tips from students who have already aced their exams

    Study Planner

    Create your own Study Planner

    Never miss a deadline again

    Polling station sign

    Thinking about a maths degree?

    Chat with other maths applicants

    Can you help? Study help unanswered threads

    Groups associated with this forum:

    View associated groups
  • See more of what you like on The Student Room

    You can personalise what you see on TSR. Tell us a little about yourself to get started.

  • The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

    Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

    Quick reply
    Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.