Degenerate distribution

In mathematics, a degenerate distribution (sometimes also Dirac distribution) is, according to some, a probability distribution in a space with support only on a manifold of lower dimension, and according to others a distribution with support only at a single point. By the latter definition, it is a deterministic distribution and takes only a single value. Examples include a two-headed coin and rolling a die whose sides all show the same number. This distribution satisfies the definition of "random variable" even though it does not appear random in the everyday sense of the word; hence it is considered degenerate.

Degenerate univariate

Cumulative distribution function CDF for k0=0. The horizontal axis is x.
Parameters	$k_{0}\in (-\infty ,\infty )\,$
Support	$x=k_{0}\,$
PMF	${\begin{matrix}1&{\mbox{for }}x=k_{0}\\0&{\mbox{elsewhere}}\end{matrix}}$
CDF	${\begin{matrix}0&{\mbox{for }}x<k_{0}\\1&{\mbox{for }}x\geq k_{0}\end{matrix}}$
Mean	$k_{0}\,$
Median	$k_{0}\,$
Mode	$k_{0}\,$
Variance	$0\,$
Skewness	undefined
Excess kurtosis	undefined
Entropy	$0\,$
MGF	$e^{k_{0}t}\,$
CF	$e^{ik_{0}t}\,$
PGF	$1\,$

In the case of a real-valued random variable, the degenerate distribution is a one-point distribution, localized at a point k₀ on the real line. The probability mass function equals 1 at this point and 0 elsewhere.

The degenerate univariate distribution can be viewed as the limiting case of a continuous distribution whose variance goes to 0 causing the probability density function to be a delta function at k₀, with infinite height there but area equal to 1.

The cumulative distribution function of the univariate degenerate distribution is:

$F_{k_{0}}(x)=\left\{{\begin{matrix}1,&{\mbox{if }}x\geq k_{0}\\0,&{\mbox{if }}x<k_{0}\end{matrix}}\right.$

Constant random variable

In probability theory, a constant random variable is a discrete random variable that takes a constant value, regardless of any event that occurs. This is technically different from an almost surely constant random variable, which may take other values, but only on events with probability zero. Constant and almost surely constant random variables, which have a degenerate distribution, provide a way to deal with constant values in a probabilistic framework.

Let  X: Ω → R  be a random variable defined on a probability space  (Ω, P). Then  X  is an almost surely constant random variable if there exists $k_{0}\in \mathbb {R}$ such that

$\Pr(X=k_{0})=1,$

and is furthermore a constant random variable if

$X(\omega )=k_{0},\quad \forall \omega \in \Omega .$

A constant random variable is almost surely constant, but not necessarily vice versa, since if  X  is almost surely constant then there may exist  γ ∈ Ω  such that  X(γ) ≠ k₀  (but then necessarily Pr({γ}) = 0, in fact Pr(X ≠ k₀) = 0).

For practical purposes, the distinction between  X  being constant or almost surely constant is unimportant, since the cumulative distribution function  F(x)  of  X  does not depend on whether  X  is constant or 'merely' almost surely constant. In either case,

$F(x)={\begin{cases}1,&x\geq k_{0},\\0,&x<k_{0}.\end{cases}}$

The function  F(x)  is a step function; in particular it is a translation of the Heaviside step function.

Higher dimensions

Degeneracy of a multivariate distribution in n random variables arises when the support lies in a space of dimension less than n. This occurs when at least one of the variables is a deterministic function of the others. For example, in the 2-variable case suppose that Y = aX + b for scalar random variables X and Y and scalar constants a ≠ 0 and b; here knowing the value of one of X or Y gives exact knowledge of the value of the other. All the possible points (x, y) fall on the one-dimensional line y = ax + b.

In general when one or more of n random variables are exactly linearly determined by the others, if the covariance matrix exists its rank is less than n and its determinant is 0, so it is positive semi-definite but not positive definite, and the joint probability distribution is degenerate.

Degeneracy can also occur even with non-zero covariance. For example, when scalar X is symmetrically distributed about 0 and Y is exactly given by Y = X², all possible points (x, y) fall on the parabola y = x², which is a one-dimensional subset of the two-dimensional space.