Section 5.3 Probability Functions
In the formulas below, we will presume that we have a random variable X which maps the sample space S onto some range of real numbers R. From this set, we then can define a probability function f(x) which acts on the numerical values in R and returns another real number. We attempt to do so to obtain (for discrete values) P(sample space value s)\(= f(X(s))\text{.}\) That is, the probability of a given outcome s is equal to the composition which takes s to a numerical value x which is then plugged into f to get the same final values.
For example, consider a random variable which assigns a 1 when you roll a 1 on a six-sided die and 0 otherwise. Presuming each side is equally likely,
Definition 5.3.2 Probability "Density" Function
Given a continuous random variable X on a space R, a probability density function on X is given by a function \(f:R \rightarrow \mathbb{R}\) such that:For the purposes of this book, we will use the term "Probability Function" to refer to either of these options.
Example 5.3.3 Discrete Probability Function
Consider \(f(x) = x/10\) over R = {1,2,3,4}. Then, f(x) is obviously positive for each of the values in R and certainly \(\sum_{x \in R} f(x) = f(1) + f(2) + f(3) + f(4) = 1/10 + 2/10 + 3/10 + 4/10 = 1\text{.}\) Therefore, f(x) is a probability mass function over the space R.
Example 5.3.4 Continuous Probability Function
Consider \(f(x) = x^2/c\) for some positive real number c and presume R = [-1,2]. Then f(x) is nonnegative (and only equals zero at one point). To make f(x) a probability density function, we must have
In this instance you get
Therefore, f(x) is a probability density function over R provided = 3.
Definition 5.3.5 Distribution Function
Given a random variable X on a space R, a probability distribution function on X is given by a function \(F:\mathbb{R} \rightarrow \mathbb{R}\) such that \(\displaystyle F(x)=P(X \le x)\)Example 5.3.6 Discrete Distribution Function
Using \(f(x) = x/10\) over R = {1,2,3,4} again, note that F(x) will only change at these four domain values. We get
X
F(x)
\(x \lt 1\)
0
\(1 \le x \lt 2\)
1/10
\(2 \le x \lt 3\)
3/10
\(3 \le x \lt 4\)
6/10
\(4 \le x \)
1
Example 5.3.8 Continuous Distribution Function
Consider \(f(x) = x^2/3\) over R = [-1,2]. Then, for \(-1 \le x \le 2\text{,}\)
Notice, F(-1) = 0 since nothing has yet been accumulated over values smaller than -1 and F(2)=1 since by that time everything has been accumulated. In summary:
X
F(x)
\(x \lt -1\)
0
\(-1 \le x \lt 2\)
\(x^3/9 + 1/9\)
\(2 \le x\)
1
Theorem 5.3.10
\(F(x)=0, \forall x \lt \inf(R)\)Proof
Let a = inf(R). Then, for \(x \lt a,\)
since none of the x-values in this range are in R.
Theorem 5.3.11
\(F(x)=1, \forall x \ge \sup(R)\)Proof
Let b = sup(R). Then, for
since all of the x-values in this range are in R and therefore will either sum over or integrate over all of R.
Theorem 5.3.12
F is non-decreasingProof
Case 1: R discrete
Case 2: R continuous
Theorem 5.3.13 Using Discrete Distribution Function to compute probabilities
for \(x \in R, f(x) = F(x) - F(x-1)\)Proof
Assume \(x \in R\) for some discrete R. Then,
Theorem 5.3.14 Using Continuous Distribution function to compute probabilities
for \(a \lt b, (a,b) \in R, P(a \lt X \le b) = F(b) - F(a)\)Proof
For a and b as noted, consider
Corollary 5.3.15
For continuous distributions, P(X = a) = 0Proof
We will assume that F(x) is a continuous function. With that assumption, note
Take the limit as \(\epsilon \rightarrow 0^+\) to get the result noting that
Theorem 5.3.16 F(x) vs f(x), for continuous distributions
If X is a continuous random variable, f the corresponding probability function, and F the associated distribution function, then
Proof
Assume X is continuous and f and F as above. Notice, by the definition of f, \(\lim_{x \rightarrow \pm \infty} f(x) = 0\) since otherwise the integral over the entire space could not be finite.
Now, let A(x) be any antiderivative of f(x). Then, by the Fundamental Theorem of Calculus,
Hence, \(F'(x) = A'(x) - \lim_{u \rightarrow -\infty} A'(u) = f(x)\) as desired.