Probability/Random Variables
Random Variables: Definitions
Formally, a random variable on a probability space is a measurable real function X defined on (the set of possible outcomes)
- ,
where the property of measurability means that for all real x the set
- , i.e. is an event in the probability space.
Discrete variables
If X can take a finite or countable number of different values, then we say that X is a discrete random variable and we define the mass function of X, p() = P(X = ), which has the following properties:
- p() 0
Any function which satisfies these properties can be a mass function.
Continuous variables
If X can take an uncountable number of values, and X is such that for all (measurable) A:
- ,
we say that X is a continuous variable. The function f is called the (probability) density of X. It satisfies:
Cumulative Distribution Function
The (cumulative) distribution function (c.d.f.) of the r.v. X, is defined for any real number x as:
The distribution function has a number of properties, including:
- and
- if x < y, then F(x) ≤ F(y) -- that is, F(x) is a non-decreasing function.
- F is right-continuous, meaning that F(x+h) approaches F(x) as h approaches zero from the right.