ResPubID15206. inner product, Hilbert spaces, Lebesgue measure, cauchy-bunyakovski-schwarz inequality