Defining an inner product on C[-1,1]

Click For Summary
SUMMARY

The discussion focuses on defining an inner product on the vector space of continuous functions over the interval C[-1,1] using the formula = ∫(-1,1) x²f(x)g(x)dx. The user has successfully demonstrated the properties of symmetry, linearity, and bilinearity but is struggling to prove that ≥ 0 and = 0 if and only if f(x) = 0. The user recognizes that the integrand involves the square of the function, which is always non-negative, thus leading to the conclusion that the inner product is valid.

PREREQUISITES
  • Understanding of inner product spaces in functional analysis
  • Knowledge of continuous functions on the interval C[-1,1]
  • Familiarity with properties of integrals, particularly over symmetric intervals
  • Basic concepts of even and odd functions
NEXT STEPS
  • Study the properties of inner products in Hilbert spaces
  • Explore the implications of the Cauchy-Schwarz inequality in functional analysis
  • Learn about the role of even and odd functions in integration
  • Investigate the concept of positive definiteness in inner product spaces
USEFUL FOR

Mathematicians, students of functional analysis, and anyone interested in the properties of inner products in vector spaces of continuous functions.

icesalmon
Messages
270
Reaction score
13

Homework Statement


Consider the vector space of all continuous functions on the interval C[-1,1]. That is V = C[-1,1]
show that <f(x),g(x)> = ∫(-1,1) x2f(x)g(x)dx defines an inner product on C[-1,1].
I have shown <f,g> = <g,f>, <kf,g> = k<f,g>, <f+g,h> = <f,h> + <g,h> and I am trying to show that given any continuous function over [-1,1] that <f,f> ≥ 0 and <f,f> = 0 iff f(x) = 0

The Attempt at a Solution


<f,f> = ∫(-1,1)x2[f(x)]2dx = ∫(-1,1)[xf(x)]2dx. I am stuck here, this f(x) could be anything that is continuous on [-1,1] over a symmetric interval and x2 is an even function while f(x)2 could be even or odd. Maybe I can say something about f(x)2 being even or odd, if x2f2(x) is odd then integrating it over a symmetric interval will be zero but if x2f2(x) is even then integrating it over a symmetric interval will just be twice the value of ∫[0,1](xf(x))2. I'm not sure how to proceed because I feel I need to force the integrand to be an even function and even then how would I know that the value of the integral is positive? Any help to push me in the right direction would be much appreciated, thank you.
 
Physics news on Phys.org
icesalmon said:

Homework Statement


Consider the vector space of all continuous functions on the interval C[-1,1]. That is V = C[-1,1]
show that <f(x),g(x)> = ∫(-1,1) x2f(x)g(x)dx defines an inner product on C[-1,1].
I have shown <f,g> = <g,f>, <kf,g> = k<f,g>, <f+g,h> = <f,h> + <g,h> and I am trying to show that given any continuous function over [-1,1] that <f,f> ≥ 0 and <f,f> = 0 iff f(x) = 0

The Attempt at a Solution


<f,f> = ∫(-1,1)x2[f(x)]2dx = ∫(-1,1)[xf(x)]2dx. I am stuck here, this f(x) could be anything that is continuous on [-1,1] over a symmetric interval and x2 is an even function while f(x)2 could be even or odd. Maybe I can say something about f(x)2 being even or odd, if x2f2(x) is odd then integrating it over a symmetric interval will be zero but if x2f2(x) is even then integrating it over a symmetric interval will just be twice the value of ∫[0,1](xf(x))2. I'm not sure how to proceed because I feel I need to force the integrand to be an even function and even then how would I know that the value of the integral is positive? Any help to push me in the right direction would be much appreciated, thank you.

Can the function ##(x f(x))^2## ever be ##< 0## anywhwere in ##(-1,1)##? Can you think of a real number whose square is negative?
 
  • Like
Likes   Reactions: pasmith

Similar threads

Replies
1
Views
2K
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 21 ·
Replies
21
Views
1K
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K