Math 2.0

Statistics Definition

Exponential family

Builds on Parametric modelSigma-finite measureRadon–Nikodym derivativeBernoulli distribution

Definition

Let (𝒳,ℱ)(\mathcal{X}, \mathcal{F}) be a measurable space with a σ-finite measure μ\mu, and let {Pθ:θ∈Θ}\set{P_\theta : \theta \in \Theta} be a parametric family of probability measures on it. The family is a kk-parameter exponential family if there are

  1. a measurable function h ⁣:𝒳→[0,∞)h \colon \mathcal{X} \to [0, \infty),
  2. measurable functions T1,…,Tk ⁣:𝒳→ℝT_1, \dots, T_k \colon \mathcal{X} \to \R,
  3. functions η1,…,ηk,A ⁣:Θ→ℝ\eta_1, \dots, \eta_k, A \colon \Theta \to \R,

such that each PθP_\theta has a density with respect to μ\mu of the form pθ(x)=h(x)exp⁡(∑i=1kηi(θ)Ti(x)−A(θ)),x∈𝒳.p_\theta(x) = h(x) \exp\Big( \sum_{i=1}^{k} \eta_i(\theta) T_i(x) - A(\theta) \Big), \qquad x \in \mathcal{X}.

Remarks

The function AA is fixed by normalization: A(θ)=log⁡∫h(x)exp⁡(∑iηi(θ)Ti(x)) μ(dx)A(\theta) = \log \int h(x) \exp\big(\sum_i \eta_i(\theta) T_i(x)\big) \, \mu(dx). The numbers ηi=ηi(θ)\eta_i = \eta_i(\theta) are the natural parameters, and writing the density in terms of η\eta gives the canonical form.

Example: the Bernoulli distribution with parameter p∈(0,1)p \in (0, 1), with μ\mu the counting measure on {0,1}\set{0, 1}. Its density is px(1−p)1−x=exp⁡(xlog⁡p1−p+log⁡(1−p))p^x (1-p)^{1-x} = \exp\big(x \log \tfrac{p}{1-p} + \log(1-p)\big). So it is a 11-parameter exponential family with h=1h = 1, T(x)=xT(x) = x, η(p)=log⁡p1−p\eta(p) = \log \frac{p}{1-p} and A(p)=−log⁡(1−p)A(p) = -\log(1-p).

Non-example: the uniform distributions on [0,θ][0, \theta] for θ>0\theta > 0. In an exponential family the set {x:pθ(x)>0}={x:h(x)>0}\set{x : p_\theta(x) > 0} = \set{x : h(x) > 0} does not depend on θ\theta, up to a μ\mu-null set, because the exponential factor is positive. For the uniform family this set is [0,θ][0, \theta], which moves with θ\theta, so no choice of hh, TiT_i, ηi\eta_i, AA works.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Bernoulli distribution concept
  2. Parametric model concept
  3. Radon–Nikodym derivative concept
  4. Sigma-finite measure concept
  5. Exponential family definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Exponential_family
About this page
TagNE0BW8Q2PX
URIm2://NE0BW8Q2PX
Kinddefinition
WritingW0 stub
MSC62B05, 60E05
DefinesExponential family
UsesParametric model, Sigma-finite measure, Radon–Nikodym derivative, Bernoulli distribution

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.