ThmDex – An index of mathematical definitions, results, and conjectures.
F8868
Formulation 0
Let $X \in \mathsf{Random}(\mathbb{R}^N)$ be a D4383: Random euclidean real number such that
(i) \begin{equation} \exists \, a \in \mathbb{R}^N : \mathbb{P}(X = a) = 1 \end{equation}
Let $t \in \mathbb{R}^N$ be a D4924: Euclidean real number.
Then \begin{equation} \mathbb{E}(e^{i t \cdot X}) = e^{i t \cdot a} \end{equation}