ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Operation
▼ N-operation
▼ Binary operation
▼ Enclosed binary operation
▼ Groupoid
▼ Ringoid
▼ Semiring
▼ Ring
▼ Left ring action
▼ Module
▼ Vector space
▼ Vector space seminorm
▼ Vector space norm
▼ Normed vector space
▼ Bounded set
▼ Bounded map
▼ Constant-bounded map
▼ Constant-bounded function
▼ Finite measure
▼ Finite unsigned euclidean real Borel measure Fourier transform
▼ Probability measure fourier transform
▼ Random euclidean complex number characteristic function
Definition D2325
Random euclidean real number characteristic function
Formulation 4
Let $P = (\Omega, \mathcal{F}, \mathbb{P})$ be a D1159: Probability space such that
(i) $X : \Omega \to \mathbb{R}^N$ is a D4383: Random euclidean real number on $P$
The characteristic function of $X$ is the D992: Function \begin{equation} \mathbb{R}^N \to \mathbb{C}, \quad \xi \mapsto \mathbb{E}_{\mathbb{P}}(e^{i t \cdot X}) \end{equation}
Formulation 5
Let $P = (\Omega, \mathcal{F}, \mathbb{P})$ be a D1159: Probability space such that
(i) $X : \Omega \to \mathbb{R}^N$ is a D4383: Random euclidean real number on $P$
The characteristic function of $X$ is the D992: Function \begin{equation} \mathbb{R}^N \to \mathbb{C}, \quad \xi \mapsto \int_{\Omega} e^{i t \cdot X} \, d \mathbb{P} \end{equation}
Results
▶ R3908: Characteristic function of almost surely constant random euclidean real number
▶ R4639: Characteristic function for translated random real number
▶ R3200: Characteristic function of Bernoulli random boolean number
▶ R3904: Characteristic function of a Poisson random natural number
▶ R3201: Characteristic function of a binomial random natural number
▶ R3844: Characteristic function of a scaled random real number
▶ R3216: Characteristic function of an almost constant random real number
▶ R2665: Characteristic function of gaussian random real number
▶ R3204: Characteristic function of geometric random positive integer
▶ R3215: Characteristic function of indicator random boolean number
▶ R3912: Characteristic function of rademacher random integer
▶ R4387: Characteristic function of standard Poisson random natural number
▶ R3680: Characteristic function of standard gaussian random real number
▶ R2405: Characteristic function uniquely identifies the distribution of a random real number