Definition:Survival Function

Definition
Let $\struct {X, \Sigma, \mu}$ be a measure space.

Let $f: X \to \overline \R$ be a positive $\Sigma$-measurable function.

The survival function of $f$ is the mapping $F_f: \R \to \R$ defined by:


 * $\forall t \in \R: \map {F_f} t := \map \mu {\set {f \ge t} }$

where $\set {f > t}$ is the set $\set {x \in X: \map f x \ge t}$.

Also known as
Some sources refer to this as a distribution function, but it can then become confused with the concept of a distribution function in physics.

Also, this term could be confused with the cumulative distribution function, which is closely related.

Further alternatives include survivor function, reliability function and complementary cumulative distribution function.

All terms (including survival function itself) have their origin in probability theory.

Also see

 * Cumulative Distribution Function