By the union bound,
For an random variable, . Taking makes the right side tend to zero, proving in probability.
For a nonnegative random variable and , the pointwise inequality gives
The number of stops is . For each fixed ,
the mass function of a Poisson random variable of mean one.
The finite sigma-algebra is partitioned by the nonempty events
These are its atoms. Define the random variable
and give it any finite value on the union of the null atoms. It is -measurable and integrable. Every is a union of atoms, so
This constructs the requested variable directly, without invoking the general existence theorem for conditional expectation.
For an integrable real random variable , its cumulant-generating function is the extended-real convex function
where if the exponential moment diverges. Its Legendre transform of a cumulant-generating function is
For a centered random variable , being sub-Poisson in the right tail with variance parameter means
It is sub-Gamma in the right tail with variance parameter and scale parameter when
A centered random variable is sub-Gaussian with variance parameter when
The Chernoff bound, applied to and , yields
The tail integral formula for moments and the substitution now give
Probability generating function Created 2026-09-24 Updated 2026-10-07
For a nonnegative integer-valued random variable , its probability generating function is
The generating function of a sum of independent random variables is the product of their generating functions.
Probability mass function Created 2026-09-24 Updated 2026-09-24
For a discrete random variable , its probability mass function is
It is nonnegative and sums to one over the possible values of .
Pseudo-covariance 2026-10-06
For a centered complex random variable , the pseudo-covariance is . Together with it determines the real covariance matrix: , , and .
Random matrix 2026-10-07
A random matrix is a matrix whose entries are random variables. Its eigenvalues form a random configuration, and its empirical spectral measure records their distribution with equal mass on each eigenvalue. Entry assumptions and normalization determine the spectral regime.
Random measure 2026-10-05
A random measure assigns a measure to each outcome so that is a random variable for every measurable . A finite-variation process gives pathwise signed random measures through Lebesgue–Stieltjes integration.
Random vector Created 2026-09-24 Updated 2026-10-06
A random vector is a random variable whose values are vectors or, equivalently, an ordered tuple of scalar random variables on one probability space.
For positive mixture weights summing to one, set and choose when , where has a uniform distribution. Then has a uniform distribution independently of : for , . This permits exact finite mixture model sampling with a recycled continuous random variable.
A reparameterization gradient differentiates an expected value by representing the simulated random variable as a differentiable transformation of parameter-independent noise. For , the identity requires justified differentiation under the integral sign. For a normal distribution, use with drawn from the standard normal distribution.
Second moment Created 2026-10-05 Updated 2026-10-06
The second moment of a real random variable is . Its variance is when these quantities are finite.
Shape parameter Created 2026-09-24 Updated 2026-10-03
A shape parameter changes the form of a probability distribution without merely translating it or rescaling its random variable.
Sub-Gamma random variable in the right tail Created 2026-09-24 Updated 2026-09-24
A centered random variable is sub-Gamma in the right tail with variance parameter and scale parameter when
for .
Sub-Poisson random variable in the right tail Created 2026-09-24 Updated 2026-09-24
A centered random variable is sub-Poisson in the right tail with variance parameter when
for every .
Tail integral formula for moments Created 2026-09-24 Updated 2026-09-24
For and a random variable with finite absolute th moment, Tonelli theorem gives