1.3.6 · D5Probability & Statistics
Question bank — Probability mass and density functions
Two words worth re-anchoring before you start, because half these traps hinge on them:
True or false — justify
The value of a PMF can never exceed 1.
True — is a genuine probability, and every probability lives in by the axioms.
The value of a PDF can never exceed 1.
False — density is probability per unit length, so a narrow tall spike (e.g. Uniform on has ) legally exceeds 1; only the total area is capped at 1.
For a continuous , means the outcome is impossible.
False — zero probability is not impossibility; a single point has zero width so zero area, yet must land on some exact value each time.
For a continuous variable, .
True — the two endpoints each contribute zero area, so including or excluding them changes nothing.
For a discrete variable, always.
False — the endpoints carry positive mass when they are attainable values, e.g. for a die .
A PMF and a PDF are just the same object, one written with and one with .
False in meaning — is a probability you can read off directly; is a rate you must integrate. Conflating them is the root of most PDF mistakes.
If then no other constraint is needed for a valid PMF.
False — you also need every ; a list summing to 1 with a negative entry is not a probability model.
Because , the density must approach 0 at .
Mostly true for the usual cases but not required in general — integrability forces the tails' area to vanish, yet contrived densities can have non-vanishing thin spikes; for the standard distributions (Gaussian, exponential) it does tend to 0.
The CDF can decrease over some region if the density dips low.
False — accumulates non-negative density, so it is non-decreasing everywhere; a low density only means a gentle slope, never a drop.
holds for every random variable.
False — it holds where is differentiable, i.e. for continuous ; a discrete or mixed variable has jumps in where no ordinary derivative exists.
Spot the error
"For a fair die, because is in the range ."
Error: a die only outputs integers, so ; being inside the numeric range is irrelevant — only attainable values carry mass.
"Since is a probability, I can read straight off the curve."
Error: is a density value, not a probability; the probability at a single continuous point is , and you must integrate over an interval to get a number in .
"To normalise a PDF I just make sure its peak equals 1."
Error: normalisation constrains the area , not the peak height; the peak can be anything as long as the total area works out.
"The Bernoulli PMF works for any , so ."
Error: the compact form is only defined for ; outside that set , and plugging in is meaningless.
"A wider Gaussian (larger ) has a taller peak because it spreads more probability out."
Error: it's the opposite — a wider curve must be shorter, since the fixed total area of 1 spread over more width forces the peak down; the normaliser shrinks the height.
"."
Error: that subtracts densities, which is nonsense; the interval probability is — you subtract CDF values, not densities.
"For the exponential, higher means longer average waits because the curve is bigger near 0."
Error: higher means a steeper decay and shorter waits; the extra height near 0 reflects that arrivals happen sooner, not later.
Why questions
Why is a PMF called a "mass" function but a PDF a "density" function?
Because discrete probability sits as concentrated lumps ("mass") at specific points, while continuous probability is smeared out and you measure its concentration per unit length ("density"), exactly like physical mass vs. mass-density.
Why must we integrate a PDF instead of just evaluating it, when a PMF we simply read off?
A single continuous point has zero width and zero probability, so the density there tells you nothing usable alone; probability only emerges by summing density over a width, which the integral does.
Why does the CDF relate PMF and PDF under one roof?
is defined for any ; it sums a PMF up to and integrates a PDF up to , so the CDF is the common language where the discrete/continuous split dissolves.
Why does the derivative of the CDF recover the PDF?
accumulates probability, so its slope at is exactly how fast probability piles up there — that rate is the density , by the Fundamental Theorem of Calculus.
Why does the Bernoulli PMF appear in maximum likelihood estimation for classification?
The likelihood of observing a labelled outcome under a predicted probability is exactly ; maximising the product of these over data recovers the fitting objective for binary classifiers.
Why does softmax produce a PMF and not a PDF?
Softmax outputs one non-negative number per discrete class and they sum to 1 — that is precisely a PMF over a finite set of categories, since the outcome space is discrete labels, not a continuum.
Why can two different PDFs give identical interval probabilities?
If two densities differ only on a set of zero total width (measure zero) — say at isolated points — their integrals over every interval match, so they describe the same distribution despite differing values at those points.
Edge cases
What is at the boundary of a Uniform density?
It can be taken as or there; because a single point contributes zero area, the boundary value is a matter of convention and never affects any probability.
For the exponential density , what happens at ?
It equals (its maximum), and the density is only defined for ; for it is , marking the hard start of a waiting time that cannot be negative.
If a "random variable" always takes the single value , what is its distribution?
It is a degenerate discrete variable with PMF and elsewhere; there is no meaningful PDF because all probability is a single point mass, giving a CDF that jumps from 0 to 1 at .
Can a distribution be part-discrete and part-continuous?
Yes — a mixed distribution (e.g. rainfall: a lump of mass at exactly mm plus a continuous density for positive amounts) has a CDF with both a jump and a smooth rise, and needs neither a pure PMF nor a pure PDF alone.
What does require of an unbounded density like the Gaussian?
The tails must decay fast enough that their infinite extent still encloses finite area; the Gaussian's decays faster than any polynomial, guaranteeing convergence to a finite total that the normaliser scales to exactly 1.
What is for an exponential waiting-time variable?
It is — the exponential is supported only on , so no probability mass lies below ; the CDF is flat at for all negative .
Recall One-line self-test
Density above 1 is fine; probability above 1 never is ::: True — area, not height, is the quantity capped at 1.