Jeffreys prior
Builds on Parametric modelPrior probabilityFisher informationDeterminant
Definition
Let be a parametric model with open, regular enough that its Fisher information matrix exists for every . The Jeffreys prior is the prior on with density with respect to Lebesgue measure where is the determinant. If , it is an improper prior, used only when the resulting posterior is proper.
Remarks
Example: for one Bernoulli observation with chance , . So the Jeffreys prior is proportional to , which is the proper distribution . For the mean of with known, is constant, so the Jeffreys prior is the improper flat prior on . For the scale of , , so the Jeffreys prior is proportional to . Invariance: let for a smooth bijection with smooth inverse. Then the Jeffreys prior computed in the parameter is the image of the Jeffreys prior in . The reason is that is multiplied by the square of the Jacobian determinant of the change of variables. Non-example: the flat prior on is not the Jeffreys prior of the Bernoulli model, since its density is not proportional to .
Reading path
To understand this page from the ground up, read these 52 pages in order. The foundations come first.
- Construction of the reals from Cauchy sequences concept
- Element definition
- Fisher information concept
- Identity matrix object
- Integers object
- Matrix definition
- Ordered field definition
- Proposition concept
- Random experiment concept
- Rational numbers object
- Vector space definition
- Set definition
- Ring of integers statement
- Square matrix definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Linear map definition
- Empty set object
- Family of sets definition
- Intersection definition
- Union definition
- Sample space definition
- The rationals form a field statement
- Existential quantifier definition
- Universal quantifier definition
- Multilinear map definition
- Disjoint sets definition
- Subset definition
- Union of a family of sets definition
- The rationals form an ordered field statement
- Alternating multilinear map definition
- Universal set definition
- Partition of a set definition
- Power set definition
- Order on the reals definition
- Determinant definition
- Complement definition
- Interval definition
- Sigma-algebra definition
- Event definition
- Probability axioms concept
- Probability measure definition
- Statistical model definition
- Probability space definition
- Parametric model definition
- Conditional probability definition
- Law of total probability statement
- Bayes' theorem statement
- Prior probability concept
- Jeffreys prior definition
Further reading
About this page
| Tag | NTKTY1A2TH |
|---|---|
| URI | m2://NTKTY1A2TH |
| Kind | definition |
| Writing | W0 stub |
| MSC | 62F15 |
| Defines | Jeffreys prior |
| Uses | Parametric model, Prior probability, Fisher information, Determinant |
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.