$\{x^nf(x)\}_{n\in\mathbb{N}}\subset L_2(a,b)$ as a complete system I read in Kolmogorov-Fomin's (p. 430 here) the statement, sadly left without a proof, that if function $f:(a,b)\to\mathbb{C}$, measurable almost everywhere on $(a,b)$, where $-\infty\leq a<b\leq\infty$, is not equal to 0 [i.e. $\forall x\in(a,b)\quad f(x)\ne 0$, as Daniel, whom I deeply thank, explains in his answer] and satisfy the condition $|f(x)|\leq Ce^{-\delta|x|}$ with $\delta>0$, then the system of functions $\{x^nf(x)\}_{n\in\mathbb{N}_{\geq 0}}$ is complete [as a system of vectors] in $L_2(a,b)$.
The text says that it is a consequence of the precedingly stated lemmas (pp. 428-430), which are ($F[f](\lambda):=\int_{\mathbb{R}}f(x)e^{-i\lambda x} d\mu_x$ is the Fourier transform):


*

*If $f,f',...,f^{(k-1)}\in L_1(\mathbb{R})$ and $f^{(k-1)}$ is absolutely continuous on any finite interval then $F[f'](\lambda)=(i\lambda)^k F[f](\lambda)$.

*If $f,f',f''\in L_1(\mathbb{R})$ and $f$ is absolutely continuous on any finite interval then $F[f]\in L_1(\mathbb{R})$.

*If $f,...,x^nf(x)\in L_1(\mathbb{R})$ [where $xf(x)$ is a somewhat unrigourous notation for the function $x\mapsto xf(x)$ as Kolmogorov-Fomin's uses] then $F[f]$ has the $n$-th order derivative everywhere and $\frac{d^n}{d\lambda^n}F[f](\lambda)=F[(-ix)^n f(x)](\lambda)$.

*If $f, e^{\delta|x|}f\in L_1(\mathbb{R})$ for a certain $\delta>0$ then $z\mapsto\int_{\mathbb{R}}f(x) e^{-i x z}d\mu_x$ (where $\mu_x$ is the Lebesgue linear measure) is analytic in $\{z\in\mathbb{C}:|\text{Im z}|<\delta\}$.


Can anybody prove the the theorem (in italics) or give a link to any resources proving it? I thank you so much!!!
 A: Suppose $f$ is as stated with exponential bound $Ce^{-\delta|x|}$, and suppose that $\overline{g} \in L^{2}(\mathbb{R})$ is orthogonal to the functions $\{ x^{n}f(x) \}_{n=0}^{\infty}$ in the $L^{2}$ inner-product. Define
$$
                    H(\lambda) = \int_{-\infty}^{\infty}g(x)f(x)e^{-i\lambda x}\,dx.
$$
Suppose that $|\Im\lambda| \le \delta' < \delta$. Then
$$
             |fge^{-i\lambda x}| \le |g(x)|e^{-(\delta-\delta')|x|}\in L^{2}\cdot L^{2} \subseteq L^{1}.
$$
So $H$ is defined and continuous in the strip $|\Im\lambda| < \delta$ by the Lebesgue dominated convergence theorem. By Morera's theorem, $H$ is holomorphic in this strip because, for any triangle $\Delta$ contained in this strip, Fubini's Theorem allows you interchange order of integration in order to conclude that $\oint_{\Delta}H(\lambda)\,d\lambda = 0$. If $C$ is a positively-oriented simple closed piecewise smooth curve in the strip, and if $z$ is inside $C$, then the Cauchy integral formula gives
$$
     H^{(n)}(\lambda) = \frac{n!}{2\pi i}\oint_{C}\frac{1}{(\lambda'-\lambda)^{n+1}}H(\lambda')\,d\lambda'.
$$
Using Fubini's Theorem, it is possible to interchange the order of integration with the defining integral for $H$ in order to the put derivatives onto the integrand:
$$
             H^{(n)}(\lambda) = \int_{-\infty}^{\infty}g(x)f(x)e^{-i\lambda x}(-ix)^{n}\,dx
$$
By the assumption that $g$ is orthogonal to $x^{n}f(x)$ for all $n=0,1,2,3,\cdots$, it follows that $H$ and all of its derivatives vanish at $\lambda=0$, which means that $H$ must be identically $0$ in the strip $|\Im\lambda| < \delta$ because this is a connected domain. Therefore,
$$
                  \int_{-\infty}^{\infty} g(x)f(x)e^{-i\lambda x}\,dx
$$
is identically $0$ for $|\Im\lambda| < \delta$. It is enough to know this fact for $\lambda\in\mathbb{R}$ in order to conclude that $fg =0$ a.e.. because $fg \in L^{2}$ and the Fourier transform is unitary on $L^{2}$. Assuming $f$ is non-zero a.e., then $g=0$ a.e., which proves that $\{ x^{n}f(x) \}_{n=0}^{\infty}$ spans a dense subspace of $L^{2}$.
