Undergrad Real function inner product space

Click For Summary
The discussion centers on the definition of an inner product space, specifically regarding the vector space of real functions over a closed interval [a,b]. It highlights that while Wolfram presents this as an example, the function 1/x does not converge in the context of the inner product defined as the integral of the product of two functions. Participants clarify that the function 1/x is not defined on the interval [-1,1] and emphasize the necessity for functions to be at least Lebesgue integrable or continuous for the inner product to be valid. The conversation suggests that Wolfram's statement may be misleading, as it implies all real functions qualify, which is not the case. The discussion concludes that precision in defining the applicable functions is crucial for understanding inner product spaces.
Mr Davis 97
Messages
1,461
Reaction score
44
Wolfram says that an example of an inner product space is the vector space of real functions whose domain is an closed interval [a,b] with inner product ##\langle f, g\rangle = \int_a^b f(x) g(x) dx##. But ##1/x## is a real function, and ##\langle 1/x, 1/x\rangle## does not converge... So how is this an inner product space?
 
Physics news on Phys.org
Mr Davis 97 said:
Wolfram says that an example of an inner product space is the vector space of real functions whose domain is an closed interval [a,b] with inner product ##\langle f, g\rangle = \int_a^b f(x) g(x) dx##. But ##1/x## is a real function, and ##\langle 1/x, 1/x\rangle## does not converge... So how is this an inner product space?
Why shouldn't it converge? ##\int_a^b \dfrac{1}{x}\dfrac{1}{x}\,dx = -\dfrac{1}{b}+\dfrac{1}{a}\,.##
 
fresh_42 said:
Why shouldn't it converge? ##\int_a^b \dfrac{1}{x}\dfrac{1}{x}\,dx = -\dfrac{1}{b}+\dfrac{1}{a}\,.##
Sorry, I meant to replace ##a## with ##-1## and ##b## with ##1##
 
Mr Davis 97 said:
Sorry, I meant to replace ##a## with ##-1## and ##b## with ##1##
But the function ##x \mapsto \dfrac{1}{x}## you mentioned isn't defined on ##[-1,1]##. You also need functions which are at least integrable, usually Lebesgue integrable, or continuous. Real valued alone is too weak, because at least the inner product must be defined!
 
fresh_42 said:
But the function ##x \mapsto \dfrac{1}{x}## you mentioned isn't defined on ##[-1,1]##. You also need functions which are at least integrable, usually Lebesgue integrable, or continuous. Real valued alone is too weak, because at least the inner product must be defined!
So is what Wolfram said incorrect?
 
Mr Davis 97 said:
So is what Wolfram said incorrect?
Do you have a link?
 
  • Like
Likes member 587159

Similar threads

  • · Replies 4 ·
Replies
4
Views
557
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 27 ·
Replies
27
Views
5K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K