“I’m still a bit lost on what the following equation is representing” — Anon
\[\Pi_n(\cdot) = \Pi_n(\cdot | X_1, X_2, \dots, X_n)\]
Fair question!!! Let us walk over what the notation means for a concrete problem we know well: beta binomial…
Context:
- Bayesian notion of consistency under \(\theta\)
- setup:
- assume the “exchangeable setup”

- let \(\Pi_n(\cdot) = \Pi_n(\cdot | X_1, X_2, \dots, X_n)\) denote the (random) posterior (why random: as for the frequentist case, composition of the observations random variable with the posterior update map)
- ask that \(\Pi_n(A) \to \delta_\theta(A)\) for any \(A\), under a suitable notion of convergence of random variables…
- Bayesians ask that the above holds \({\mathbb{P}}\) almost sure, i.e. for a set of “good” \(\theta\)’s, denoted G, such that this good set has probability one under the prior \(\pi_0(G) = 1\).
Theorem (Doob’s consistency): if an exchangeable model is identifiable, Bayesian consistency holds for this model.