Physlib.QuantumMechanics.OneDimension.HilbertSpace.Gaussians
Gaussians and the hilbert space
Gaussians
10 declarations
Gaussian functions are integrable
For any real numbers and such that , the complex-valued function is integrable on with respect to the Lebesgue measure.
Gaussian functions are almost everywhere strongly measurable
For any real numbers and such that , the complex-valued function is almost everywhere strongly measurable with respect to the Lebesgue measure on .
Gaussian Functions Belong to the Hilbert Space
For any real numbers and such that , the complex-valued Gaussian function is an element of the Hilbert space of square-integrable functions on (often denoted as ).
Integrability of for
For any real numbers and such that , the function is integrable on with respect to the Lebesgue measure.
Integrability of for
For any real numbers and such that , the function is integrable on with respect to the Lebesgue measure.
Let be a function in the Hilbert space (the space of square-integrable functions ). For any real numbers and such that , the function is integrable, i.e., it belongs to with respect to the Lebesgue measure.
Let be a function in the Hilbert space (the space of square-integrable functions ). For any real numbers and such that , the function is square-integrable, i.e., it belongs to .
Let be a function in the Hilbert space (the space of square-integrable functions ). For any real numbers and such that , the function is integrable with respect to the Lebesgue measure.
Let be a function in the Hilbert space (the space of square-integrable functions ). For any real numbers and such that , the function is integrable with respect to the Lebesgue measure.
Let be a function in the Hilbert space (the space of square-integrable functions ). For any real numbers and such that , the function is integrable with respect to the Lebesgue measure.
