Random euclidean real number characteristic function – TheoremDex

▾ 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

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

» R3200: Characteristic function of Bernoulli random boolean number

» R2405: Characteristic function uniquely identifies the distribution of a random real number

» R3676: Characteristic function for sum of independent random euclidean real numbers

» R3680: Characteristic function of standard gaussian random real number

» R3844: Characteristic function of a scaled random real number

» R3904: Characteristic function of a Poisson random natural number

» R3215: Characteristic function of indicator random boolean number

» R3908: Characteristic function of almost surely constant random euclidean real number

» R3912: Characteristic function of rademacher random integer

» R2411: Characteristic function of exponential random positive real number

» R4639: Characteristic function for translated random real number

» R3201: Characteristic function of a binomial random natural number

» R4387: Characteristic function of standard Poisson random natural number

» R2665: Characteristic function of gaussian random real number

» R3204: Characteristic function of geometric random positive integer