Consider the following fragment from Takesaki's second volume of "Theory of operator algebras" (lemma 2.4, chapter VI "Left Hilbert algebras").

In another post, it was explained that we should interpret the integral $$\int_{\mathbb{R}} e^{-rt^2}x(t)dt$$ as a Gelfand-Pettis integral.

Why does this Gelfand-Pettis integral exist? Is there a general existence result that garantuees the existence of this integral as en element of the compact subset $K$?

The closed I could find was theorem 3.27 in Rudin's book "Functional analysis" but there Rudin works with probability measures (or more generally, finite measures) on compact spaces, whereas here we are dealing with Lebesgue measure on $\mathbb{R}$.

Thanks in advance for your help!

3more comments