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