Hi everyone! I would like to ask how would you verify if functions form an inner product space? For example, if one has functions of the form q(x)e^-(x^2/2) where q(x) is a polynomial of degree < N in x, on the interval -∞ < x < ∞. Also, how would you specify the dimension of the space, if it exists? Thank you!