User Tools
world:de-finetti
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
world:de-finetti [2026/02/07 08:19] rdouc |
world:de-finetti [2026/02/07 12:44] (current) rdouc |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | on{{page>:defs}} | + | {{page>:defs}} |
| Line 8: | Line 8: | ||
| <WRAP center round tip 80%> | <WRAP center round tip 80%> | ||
| **De Finetti's Theorem:** | **De Finetti's Theorem:** | ||
| - | Let $(X_i)_{i\in\mathbb{N}}$ be a family of **exchangeable random elements** taking balues on a measurable space $(\mathsf{X},\mathcal{X})$. Then, there exists a $\sigma$-field $\mathcal{G}_\infty$ such that, **conditionally on $\mathcal{G}_\infty$**, the random variables $(X_i)_{i\in\mathbb{N}}$ are **independent and identically distributed (i.i.d.)**. | + | Let $(X_i)_{i\in\mathbb{N}}$ be a family of **exchangeable random elements** taking values on a measurable space $(\mathsf{X},\mathcal{X})$. Then, there exists a $\sigma$-field $\mathcal{G}_\infty$ such that, **conditionally on $\mathcal{G}_\infty$**, the random variables $(X_i)_{i\in\mathbb{N}}$ are **independent and identically distributed (i.i.d.)**. |
| </WRAP> | </WRAP> | ||
| Line 63: | Line 63: | ||
| =\prod_{\ell=1}^k\mathbb{E}[f_\ell(X_1)\mid\mathcal{G}_\infty]. | =\prod_{\ell=1}^k\mathbb{E}[f_\ell(X_1)\mid\mathcal{G}_\infty]. | ||
| $$ | $$ | ||
| - | * Thus, conditionally on $\mathcal{G}_\infty$, $(X_i)$ are independent. | + | * Thus, conditionally on $\mathcal{G}_\infty$, $(X_i)$ are independent. $\blacksquare$ |
| - | ==== Comments: convergence of Empirical Averages for i.i.d. Random Variables ==== | + | <WRAP center round todo 80%> |
| + | If $(X_i)$ are real-valued random variables, then, since the distribution of any random variable $X$ is completely determined by the values $\mathbb{P}(X \le x)$ for $x \in \mathbb{Q}$, we can replace $\mathcal{G}_\infty$ with the $\sigma$-field generated by the countable family of random variables | ||
| + | \[ | ||
| + | \left\{ \mathbb{E}\big[\mathbf{1}_{\{X_1 \le x\}} \mid \mathcal{G}_\infty \big] : x \in \mathbb{Q} \right\}. | ||
| + | \] | ||
| + | It follows that there exists a random variable $S$ such that, conditional on $S$, the sequence $(X_i)$ is independent and identically distributed. | ||
| + | |||
| + | </WRAP> | ||
| + | |||
| + | |||
| + | ==== Comments: Another proof of the Law of Large Numbers for i.i.d. Random Variables ==== | ||
| The previous approach allows to prove the strong law of large numbers (for a proof of the LLN using only the dominated convergence theorem, [[world:lln| click here]]) | The previous approach allows to prove the strong law of large numbers (for a proof of the LLN using only the dominated convergence theorem, [[world:lln| click here]]) | ||
| Line 93: | Line 103: | ||
| \] | \] | ||
| - | {{backlinks}} | ||
world/de-finetti.1770448776.txt.gz · Last modified: 2026/02/07 08:19 by rdouc
Page Tools
