Statistics Point estimation Proposition
Bias–variance decomposition
Builds on Mean squared errorBias of an estimatorVarianceExpected valueIndependence of two random variables
Statement
Let be a fixed point and let , where is a real number and is a random variable with and . Let be a random variable with that is independent of . For example, is a prediction built from a training sample independent of the new observation. Then
Remarks
Proof: write . Expand the square and take expectations: the three cross terms vanish, because , , and is independent of . The remaining terms are , the squared bias and the variance of .
The case without noise is the decomposition of the mean squared error of an estimator of a parameter : with the bias .
Example: for i.i.d. with variance , the estimator has bias . For normal data its variance is , so its mean squared error is , which is smaller than the mean squared error of the unbiased sample variance. A small bias can thus buy a larger reduction of variance.
The irreducible term does not depend on ; no predictor can do better than it on average.
Going deeper
For a student
The decomposition is the basis of the bias–variance tradeoff in model selection: adding complexity lowers the bias but raises the variance, and the best expected error lies in between. Shrinkage methods such as ridge regression accept bias to reduce variance. In point estimation it explains why an unbiased estimator need not have the smallest mean squared error. Note that the decomposition holds at each fixed point ; averaging over gives the decomposition of the expected prediction error.
Reading path
To understand this page from the ground up, read these 59 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Integers object
- Ordered field definition
- Proposition concept
- Random experiment concept
- Rational numbers object
- Real numbers object
- Set definition
- Ring of integers statement
- Disjunction definition
- Implication definition
- Predicate definition
- Ordered pair definition
- Union definition
- Sample space definition
- The rationals form a field statement
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- The rationals form an ordered field statement
- Uniqueness quantifier definition
- Binary relation definition
- Universal set definition
- Order on the reals definition
- Power set definition
- Complement definition
- Function definition
- Interval definition
- Injective function definition
- Preimage of a set definition
- Sigma-algebra definition
- Countable set definition
- Event definition
- Borel sigma-algebra definition
- Probability axioms concept
- Probability measure definition
- Probability distribution definition
- Probability space definition
- Conditional probability definition
- Random variable definition
- Discrete random variable definition
- Law of a random variable definition
- Independence of two events definition
- Random variable with a density definition
- Identically distributed random variables definition
- Expected value definition
- Mutual independence of events definition
- Independence of two random variables definition
- Variance definition
- Independent sigma-algebras definition
- Independence of random variables definition
- Independent and identically distributed random variables definition
- Statistic definition
- Estimator definition
- Bias of an estimator definition
- Mean squared error definition
- Bias–variance decomposition statement
Further reading
About this page
| Tag | CJQ8D9FTQN |
|---|---|
| URI | m2://CJQ8D9FTQN |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 62F10, 62J05 |
| Status | This copy of the site has no build data. Run m2 status CJQ8D9FTQN. |
| About | Mean squared error |
| Uses | Mean squared error, Bias of an estimator, Variance, Expected value, Independence of two random variables |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.