PDF, CDF, and the Relationship Between Them
From Discrete to Continuous
In the discrete setting, every outcome carries a positive probability mass. For a continuous random variable, the probability of any single point is zero β and yet the random variable still has a well-defined distribution. The resolution of this apparent paradox is the probability density function: a non-negative function whose integral over any interval gives the probability of falling in that interval. The CDF, which we already defined for discrete RVs, remains valid and becomes the bridge between the discrete and continuous worlds.
Definition: Continuous Random Variable
Continuous Random Variable
A random variable is continuous if its CDF is a continuous function of . Equivalently, for every .
Continuity of the CDF is a stronger condition than merely having for all ; it requires that the CDF has no jumps anywhere.
Definition: Probability Density Function (PDF)
Probability Density Function (PDF)
Let be a continuous random variable with CDF . The probability density function (PDF) of is the function satisfying
Equivalently, for any interval :
The PDF is not a probability β it can exceed 1. The quantity represents the infinitesimal probability mass near : .
Theorem: Properties of the PDF
Let be the PDF of a continuous RV . Then:
- for all .
- .
- For any Borel set : .
Conversely, any non-negative function satisfying property 2 is a valid PDF.
Non-negativity
Since is non-decreasing and , we must have wherever the derivative exists.
Normalization
, since the CDF approaches 1 as .
Probability of a Borel set
This follows from the countable additivity of the probability measure and the representation of Borel sets as countable unions and intersections of intervals.
Theorem: Fundamental Theorem: Differentiating the CDF
If is differentiable at , then
This is the continuous analog of the relation for discrete RVs.
The CDF accumulates probability from to . Its rate of accumulation at is exactly the density at .
Direct application of the Fundamental Theorem of Calculus
Since and is assumed continuous at (or at least locally integrable), the Fundamental Theorem of Calculus gives .
Theorem: Properties of the CDF
The CDF of any random variable satisfies:
- and .
- is non-decreasing: .
- is right-continuous: .
Moreover, these three properties characterize CDFs: any function satisfying all three is the CDF of some random variable.
Boundary limits
Define . Then , so by continuity of probability, . Similarly for the limit at .
Monotonicity
If , then , so .
Right-continuity
Define . Then , so by continuity of probability from above.
Characterization (sketch)
Given a function satisfying the three properties, define a probability measure on via . The CarathΓ©odory extension theorem guarantees a unique probability measure on the Borel -algebra, and the identity random variable has CDF .
Example: Computing Probabilities from the CDF
Let have CDF
Compute and .
Interval probability
Tail probability
Identify the distribution
The CDF for is that of an random variable.
Example: Deriving the PDF from a Given CDF
A random variable has CDF
Find the PDF and compute .
Differentiate the CDF
for , and otherwise.
Verify normalization
.
Compute the probability
Example: The PDF Can Exceed 1
Let . Show that exceeds 1 for all in the support, and verify that is nonetheless a valid random variable.
Compute the PDF
for , and otherwise. So on the support.
Verify normalization
. The PDF integrates to 1, so this is a valid distribution. The density is a rate of probability per unit length, not a probability itself.
Common Mistake: Confusing PDF Values with Probabilities
Mistake:
Interpreting as meaning "the probability of is 3."
Correction:
For a continuous RV, for every . The PDF is a density: is the infinitesimal probability mass near . The density can be arbitrarily large; only its integral over any set must lie in .
Quick Check
If for (and for ), what is ?
, so .
Historical Note: The CDF: From Laplace to Kolmogorov
1812β1933The idea of describing a random variable through its cumulative distribution dates back to Laplace's work on the "generating function of errors" in the early 19th century. However, the modern axiomatic treatment β where the CDF is the primary object and the PDF is derived from it β was established by Kolmogorov in his 1933 Grundbegriffe der Wahrscheinlichkeitsrechnung. Kolmogorov's key insight was that the CDF, being defined through the probability measure alone, works for discrete, continuous, and mixed distributions alike, without any need to distinguish cases at the foundational level.
Probability Density Function (PDF)
A non-negative function such that for every Borel set . The PDF is the derivative of the CDF wherever it exists.
Cumulative Distribution Function (CDF)
The function . It is non-decreasing, right-continuous, with and .
Related: Probability Density Function (PDF)
Key Takeaway
The CDF is the universal descriptor of any random variable β discrete, continuous, or mixed. The PDF exists only for continuous RVs and is obtained by differentiating the CDF. For any interval, .
PDF and CDF Explorer
Visualize the PDF and CDF of a Gaussian distribution. Adjust and and observe how the area under the PDF curve corresponds to the CDF value.
Parameters
Point at which to evaluate the CDF
Why This Matters: CDF and Outage Probability in Wireless
In wireless communications, the CDF of the received signal-to-noise ratio (SNR) directly gives the outage probability: . Designing a system to meet a target outage probability is equivalent to ensuring that the CDF of the SNR falls below the required threshold at the target rate. This is why the CDF β and the PDF from which it derives β is the fundamental tool in fading channel analysis.