Bias of an Estimator
Suppose a factory quality inspector wants to know the true fraction of defective bulbs. She can only test a sample. Any rule she uses to turn sample data into a guess is an estimator. A natural question arises: if she repeated this sampling procedure many times, would her guesses cluster around the true value? Or would they systematically miss it in one direction? This question — whether an estimator's average behavior over repeated sampling matches the truth — is exactly what the bias of an estimator measures. Bias matters because it separates two very different kinds of error. An estimator can be wildly variable from sample to sample yet still be unbiased. This means its long-run average is correct. Conversely, an estimator can be very stable yet systematically wrong. It may always overshoot or undershoot the parameter it targets. Understanding bias lets statisticians diagnose which of these failure modes is present. They can then choose or correct estimators accordingly. This theme recurs throughout statistical inference, from simple sample means to complex machine learning models. The big picture is this: an estimator is a random variable, since it depends on the random sample. So it has a sampling distribution with its own mean. Bias is simply the discrepancy between that mean and the parameter the estimator is trying to estimate. This is a pre-data, repeated-sampling notion. It says nothing about how close any single estimate is to the truth. It only describes the average tendency of the procedure across hypothetical repetitions. This article gives the precise definition of bias. It proves the classical facts distinguishing biased from unbiased estimators, including the notorious case of the sample variance. It also builds the intuition needed before moving on to Variance and Mean Squared Error and the deeper structural results such as The Rao-Blackwell Theorem.
- Bias measures the systematic, average error of an estimator over repeated sampling, not error in a single draw.
- An estimator is unbiased if for every possible value of .
- The sample mean is always an unbiased estimator of the population mean .
- The naive sample variance (dividing by ) is biased downward; dividing by fixes this.
- Unbiasedness is not automatically "good" — it says nothing about variance, and biased estimators can have smaller total error.
- Key idea: bias is the difference , a property of the estimator's whole sampling distribution, not of any one sample.
Where this lives today
Bias correction and awareness of systematic estimator error appear throughout applied quantitative work. In survey statistics and econometrics, sample weights and finite-population corrections are designed explicitly to remove bias from estimators of totals and means under complex sampling designs. In machine learning, the bias–variance decomposition of prediction error is a central diagnostic tool for choosing model complexity, regularization strength, and ensemble methods, generalizing the mean-squared-error decomposition seen here. In signal processing and control theory, biased estimators (like shrinkage or ridge estimators) are deliberately introduced to trade a small bias for a large reduction in variance, improving overall estimation accuracy — a strategy formalized later via the The Rao-Blackwell Theorem and related results on efficient estimation. In physics and metrology, calibration procedures for instruments are essentially bias-correction algorithms, ensuring that repeated measurements average to the true physical quantity. And in finance, unbiasedness of volatility or risk estimators (like sample variance of returns) directly affects the correctness of pricing and risk models, making the correction from this article a matter of real economic consequence.
:::quiz[If for all , what is the bias of ?]
- 0, since the estimator still moves correctly with θ
- 3, a constant bias for every θ ✓
- θ, because the bias depends on the parameter
- Undefined, because bias only applies to unbiased estimators
Ask the tutor: How does the bias of an estimator interact with its variance to determine overall estimator quality via mean squared error?
Let be a random sample from a distribution depending on an unknown parameter , and let
be an estimator of (a statistic, i.e. a measurable function of the data not depending on ). Assume exists (is finite) for every . The bias of at is
The estimator is called unbiased for if
that is, for every admissible value of the parameter. If for some , the estimator is called biased, and quantifies the systematic over- or under-estimation at that . More generally, if is some function of being estimated (not necessarily itself), an estimator is unbiased for if for all .
Intuition
Think of an estimator as an archer shooting at a target repeatedly, where the bullseye is the true parameter . Each sample gives one arrow; the sampling distribution of describes where arrows tend to land across many repetitions of "draw a fresh sample, compute ." Bias asks only about the center of mass of all those arrow positions: is it exactly on the bullseye, or offset to one side? An unbiased archer might still scatter arrows widely (high variance) but their average landing point is dead-center. A biased archer might group arrows tightly (low variance) but consistently to the upper-left of the bullseye. This is a subtle but crucial point: bias is a statement about , computed by averaging over the hypothetical repeated sampling, not a statement about how far a particular computed estimate is from . You never observe , so you can never directly check whether one estimate was "biased" — bias is a property of the estimation procedure, verified mathematically or via simulation, not of a single number.
The mean is unbiased, the naive variance is not
Let () be independent and identically distributed random variables with unknown finite mean and finite variance . Define the sample mean
and the sample variance
Then: 1. is an unbiased estimator of : . 2. is an unbiased estimator of : . 3. In contrast, the "naive" variance estimator is biased, with
so it systematically underestimates by a factor of .
We prove each part using direct expectation calculations, the technique of expanding sums of squares and using linearity of expectation together with independence.
Part 1. By linearity of expectation,
This uses only linearity, which requires no independence assumption at all — only that each has mean .
Preliminary identity. We first compute . Write . Then
Since , the middle term is , so the whole expression simplifies to
Taking expectations and using the definitions and ,
Now compute using independence of the (this is the only place independence is used):
where the middle equality holds because variance of a sum of independent random variables equals the sum of variances (cross-covariance terms vanish). Substituting back,
Part 2. Divide both sides by :
Hence is an unbiased estimator of , valid for every distribution with finite variance, regardless of .
Part 3. Since , we get directly
which is strictly less than whenever and is finite. So
proving is biased, with the bias vanishing only in the limit (asymptotic unbiasedness).
∎Worked examples
Example 1 (Estimating the maximum of a uniform distribution — an asymmetric, non-obvious case). Let be i.i.d. with unknown , and consider the natural estimator , the sample maximum. First find the density of . The CDF of is for . By independence, the CDF of the maximum is
Differentiating, the density is on . Then
So
and systematically underestimates — it can never exceed , so this is intuitively unsurprising, but the theorem quantifies exactly how much on average. To correct this, define
Then , so is unbiased. Concretely, with observations and observed maximum , the biased estimate is while the bias-corrected estimate is — a substantial correction reflecting that with only 4 draws, the maximum tends to fall well short of .
Example 2 (Estimating for a Bernoulli proportion — bias of a nonlinear function of an unbiased estimator). Let be i.i.d. , and suppose we want to estimate (e.g. the probability two independent components both work, if is the reliability of one component). The sample proportion is unbiased for : . A tempting estimator for is . Is it unbiased for ? Recall the identity , so
using for Bernoulli (since ). Thus
So overestimates on average — a concrete instance of the general fact that a nonlinear (here, convex) transformation of an unbiased estimator is typically biased (a consequence of Jensen's inequality, since is strictly convex). For example, with and : the true value is , while , a relative overestimation of about 23%. An unbiased estimator of instead is (the standard bias-corrected estimator), which can be verified to have expectation exactly .
The definition demands for all in the parameter space, not merely for some particular convenient value. Dropping this "for all " quantifier and replacing it with "for some " produces a vacuous and misleading notion. To see why this matters, consider estimating , the mean of a population, from a single observation , and let . Define the estimator
Then for every . Under the weakened ("for some ") reading, this estimator would qualify as "unbiased" simply because it satisfies at the single point . Yet this estimator is obviously useless: it returns no matter what the data show, completely ignoring the sample, and is wildly wrong whenever the true . This shows that unbiasedness is only a meaningful, non-vacuous property when required to hold uniformly over the whole parameter space . The correct definition — for all — correctly excludes , since for any , and this constant estimator is (correctly) classified as heavily biased everywhere except one point.
Scope, edge cases & common traps
| Situation | What to check |
|---|---|
| Estimator is a nonlinear function of an unbiased estimator (e.g. , from ) | Generally biased; use Jensen's inequality to predict the direction for convex/concave |
| Small sample size | Bias of estimators like or can be large relative to ; always check finite-sample bias, not just asymptotic behavior |
| fails to exist (e.g. Cauchy-type models) | Bias is undefined; the whole framework requires finite for all |
| Comparing two unbiased estimators | Bias alone cannot compare them — need Variance and Mean Squared Error to judge overall quality |
| Believing "unbiased implies good" | False in general: a biased estimator can have much smaller mean squared error, especially when its variance is small |
The mathematician behind it
Origins · 1 minRonald Aylmer Fisher and how this was discovered
Fisher developed much of the conceptual vocabulary of point estimation — including systematic study of bias, efficiency, sufficiency, and the method of maximum likelihood — while working on agricultural experiments at Rothamsted Experimental Station. His insistence on precisely quantifying the systematic and random components of estimation error laid the groundwork for the modern separation of bias from variance, a distinction that remains central to statistics and machine learning a century later.
What exactly does "bias" mean if I only ever collect one sample in real life?
Bias is a property of the estimation procedure, defined via its behavior across the hypothetical population of all samples you could have drawn, not a property of the one number you compute. Formally, averages over the sampling distribution of , which requires imagining (or simulating) repeated sampling under the same true . Even though you only see one estimate in practice, the mathematical guarantee "if this procedure were repeated indefinitely, it would average out correctly" is exactly what justifies trusting the single estimate you do get, especially when combined with knowledge of the estimator's variance.
Is an unbiased estimator always better than a biased one?
No — bias is only one component of total estimation error. The mean squared error decomposes as , so a biased estimator with much smaller variance can have strictly smaller total error than an unbiased one with large variance. This trade-off is the heart of the bias–variance framework studied in Variance and Mean Squared Error, and it motivates deliberately biased techniques such as ridge regression and shrinkage estimators, which sacrifice a small amount of bias for large reductions in variance.
Why do we divide by instead of in the sample variance formula?
Dividing by produces an estimator whose expectation is , strictly less than , because the sample mean is by construction the value that minimizes over choices of , making the observed spread around smaller than the spread around the true unknown . Dividing by exactly compensates for this "self-centering" effect, as proven in the central theorem above, yielding for every distribution with finite variance. This is known as Bessel's correction.
Can an estimator be biased for small but unbiased in the limit?
Yes — this is called asymptotic unbiasedness. The naive variance estimator has bias , which is nonzero for every finite but converges to as . Asymptotic unbiasedness is weaker than exact unbiasedness: it only guarantees the systematic error vanishes in the large-sample limit, and says nothing about how large the bias might be for the specific, finite sample size actually available, which is often the practically relevant regime.
Does bias depend on the true value of the parameter?
In general, yes. The quantity is a function of , and an estimator can be unbiased at some parameter values and biased at others. The formal definition of "unbiased estimator" requires the bias to be zero uniformly, i.e. for every in the parameter space , as illustrated by the counterexample of the constant estimator, which is "correct" only at one isolated point but is not called unbiased.
How is bias related to the Rao-Blackwell theorem?
The The Rao-Blackwell Theorem shows that, given any unbiased estimator, conditioning it on a sufficient statistic produces a new estimator that is still unbiased for the same parameter but has variance no larger than the original. This means bias itself is preserved (kept at zero) while variance can only improve, making Rao-Blackwellization a systematic way to refine unbiased estimators without reintroducing bias — a natural next step after understanding what bias means and why removing it, on its own, is not the whole story of a good estimator.
What is the difference between bias and estimation error?
Estimation error, , is a random variable that varies from sample to sample and can be positive or negative even for a perfectly unbiased estimator. Bias, , is the expected value of that error, a fixed (non-random) number for each that captures only the systematic component. An unbiased estimator can still produce large individual errors on any given sample; it only guarantees that these errors average to zero over repeated sampling, leaving variance to govern the typical magnitude of a single error.