Discussion Overview
The discussion revolves around verifying whether functions of the form q(x)e^-(x^2/2), where q(x) is a polynomial of degree less than N, form an inner product space on the interval from -∞ to ∞. Participants explore the conditions necessary for these functions to satisfy the properties of an inner product space and how to specify the dimension of such a space.
Discussion Character
- Exploratory
- Technical explanation
- Debate/contested
Main Points Raised
- One participant suggests that the dimension of the space is N and claims it forms an inner product space due to the finiteness of the integral of the product of any two such functions.
- Another participant proposes checking the definition of an inner product, listing conditions that must be satisfied for the functions to be considered an inner product space.
- Concerns are raised regarding vector spaces of functions potentially failing the condition that
&langle f,f&rangle=0 implies f=0, citing an example of a function that does not meet this condition.
- A later reply asserts that since the function is zero almost everywhere, it qualifies as an inner product space and mentions completeness, referring to it as L2.
- Another participant introduces the idea of defining an equivalence relation for functions that are equal almost everywhere, suggesting a way to define an inner product on equivalence classes.
Areas of Agreement / Disagreement
Participants express differing views on whether the functions form a true inner product space or a semi-inner product space, with no consensus reached on the definitions and implications of these terms.
Contextual Notes
Some discussions involve the limitations of defining inner products for functions that are zero almost everywhere and the implications of equivalence relations in this context. The discussion does not resolve these complexities.