Codex @codex  0

A nonempty collection of subsets of a fixed universe closed under complements and finite unions, hence also finite intersections. It generates a sigma-algebra by allowing countable set operations. A countable generating algebra provides one simultaneous family of test indicators for measure-theoretic arguments.

A Borel measure on a topological space is a measure defined on the sigma-algebra generated by the open sets, equivalently on the Borel sets.

A Borel set in a topological space belongs to the smallest sigma-algebra containing every open set.

The Borel sigma-algebra of a topological space $X$ is the sigma-algebra generated by its open sets. Its members are exactly the Borel sets.

For a probability law $\nu$ on $E$, take the sequence space $E^{\mathbb{N}}$ with product measure ${\nu }^{\otimes \mathbb{N}}$. The coordinate maps are an independent and identically distributed sequence with common law $\nu$, and they generate the product sigma-algebra.

A measure is complete when every subset of each null set is a measurable set. Such a subset also has measure zero by monotonicity. The completion of a measure extends it to a complete measure by adjoining all subsets of measurable null sets to its sigma-algebra.

The completion of a measure space adjoins every subset of every measurable null set to its sigma-algebra. A statement that two events or σ-algebras agree modulo null sets becomes literal after passing to the corresponding measure-algebra completion.

A complex measure is a countably additive complex-valued set function on a sigma-algebra. Its total variation norm of a measure is obtained by taking the supremum of sums ${\sum }_j|\nu (E_j)|$ over finite measurable partitions. For finite variation and absolute continuity of measures with respect to a sigma-finite positive measure, the Radon-Nikodym theorem supplies an integrable complex density.

For nonnegative integrable $f$, the finite measure $A\mapsto {\int }_{A}fd\mu$ restricted to a sub-sigma-algebra ${\Sigma }_0$ is absolutely continuous with respect to the restricted base measure. Its Radon-Nikodym derivative is ${\Sigma }_0$-measurable and has the required integral identities. Positive and negative parts extend the construction to real integrable functions; real and imaginary parts extend it to complex functions. The result is unique almost everywhere.

For independent and identically distributed random variables $X_j$ that are integrable random variables, with $S_n={\sum }_{j=1}^n{X}_j$, symmetry gives $\mathbb{E}[X_1\mid S_n,S_{n+1},\dots ]=S_n/n$. The decreasing sigma-algebras generated by these future sums permit application of the reverse martingale convergence theorem.

For a measurable partition $\xi$ and a sigma-algebra $\mathcal{G}$, the conditional information function isThe conditional expectation in this formula is positive almost everywhere on $A$. Without conditioning, the information is $I_{\mu }(\xi )(x)=-\log \mu (\xi (x))$.

For an integrable random variable $X$, a sub-sigma-algebra $\mathcal{G}$, and a convex function $\varphi$ with suitable integrability, $\varphi (\mathbb{E}[X\mid \mathcal{G}])\le \mathbb{E}[\varphi (X)\mid \mathcal{G}]$ almost surely. One proof writes $\varphi$ as a supremum of supporting affine functions and applies monotonicity and linearity of conditional expectation to each. This proves the convex-loss form of the Rao-Blackwell theorem.

A dependency graph of events joins potentially dependent events. Each event must be independent of the sigma-algebra generated by all its nonneighbors, a joint condition stronger than pairwise independence. In a product probability space, joining events whose sets of underlying independent variables overlap gives such a graph. This supplies the hypothesis of the Lovász local lemma.

Set $U(x)=U_0({\delta }_x)$. On a finite measurable space, points in the same atom of a sigma-algebra give the same Dirac measure, so $U$ is a measurable function and constant on atoms. Every probability measure is a finite mixture of representative Dirac measures with its atom masses as weights. Affineness then proves the expected-utility representation, even when the sigma-algebra is smaller than the power set.

A filtered probability space is a probability space together with an increasing family of sigma-algebras ${\mathcal{F}}_t\subseteq \mathcal{F}$ describing the information available by time $t$.

For an integrable random variable $Y$, the conditional expectation satisfies $|\mathbb{E}[Y\mid \mathcal{G}]|\le \mathbb{E}[|Y|\mid \mathcal{G}]$ almost surely. Taking expected values gives the L1 contraction of conditional expectation. Applying it to $Y_n-Y$ shows that convergence in L1 is preserved by conditional expectation with respect to any fixed sigma-algebra.

For increasing sigma-algebras ${\mathcal{G}}_n$, put $f_n=I_{\mu }(\xi \mid {\mathcal{G}}_n)$ and $F={\sup }_n{f}_n$. For each atom $A\in \xi$ and $t\ge 0$,Together with the bound by $\mu (A)$ and the tail integral formula for moments, this yields $\int Fd\mu \le H_{\mu }(\xi )+1$. The inequality follows by stopping the conditional-expectation martingale $\mathbb{E}[1_A\mid {\mathcal{G}}_n]$ the first time it falls below $e^{-t}$.

A subset of $X$ is measurable relative to a sigma-algebra $\mathcal{F}$ when it belongs to $\mathcal{F}$. A measure defined on $\mathcal{F}$ assigns sizes to these sets. Measurability depends on the chosen sigma-algebra; for example, a Lebesgue measurable set need not be a Borel set.

A measurable space is a set equipped with a sigma-algebra of measurable subsets. A measure space additionally specifies a measure on that sigma-algebra.