Let $(X_i)_{i\in I}$ be an independent family of random variables on $(\Omega,\mathcal F,\mathbb P)$. Let $I_1,\dots,I_m\subset I$ be pairwise disjoint, and set \begin{align*} \mathcal G_r=\sigma(X_i:i\in I_r), \qquad r\in\{1,\dots,m\}. \end{align*} Then $\mathcal G_1,\dots,\mathcal G_m$ are independent sigma-algebras.

Let $(\Omega,\mathcal F,\mathbb P)$ be a probability space with filtration $(\mathcal F_t)_{t\in T}$, and let $(X_t)_{t\in T}$ be an integrable adapted process. Then $(X_t)_{t\in T}$ is a martingale if and only if for every $s\le t$, \begin{align*} \mathbb E[X_t-X_s\mid\mathcal F_s]=0 \end{align*} $\mathbb P$-a.s.

Let $(X,Z)$ be a real-valued and $\mathbb R^n$-valued pair of random variables, so that $X:\Omega\to\mathbb R$ and $Z:\Omega\to\mathbb R^n$. Suppose $(X,Z)$ has joint density $f_{X,Z}$ with respect to $\mathcal L^{n+1}$, let $f_Z$ be the marginal density of $Z$, and suppose $X\in L^1(\Omega,\mathcal F,\mathbb P)$. Using the measurable joint density, define the conditional mean by taking the positive and negative part integrals and subtracting them where both are finite: \begin{align*} g:\mathbb R^n&\to\mathbb R \\ z&\mapsto \begin{cases} \int_{\mathbb R} x\, f_{X\mid Z}(x\mid z)\,d\mathcal L^1(x), & f_Z(z)>0 \text{ and the integral is finite},\\ 0, & \text{otherwise}. \end{cases} \end{align*} If the defining integral is finite for $f_Z(z)\,d\mathcal L^n(z)$-a.e. $z$, then $g(Z)\in L^1(\Omega,\mathcal F,\mathbb P)$…

Let $(\Omega,\mathcal F,\mathbb P)$ be a probability space, let $X\in L^1(\Omega,\mathcal F,\mathbb P)$, and let $(A_i)_{i=1}^n$ be a finite information partition. Let $\mathcal G=\sigma(A_1,\dots,A_n)$. If $\mathbb P(A_i)>0$ for each $i$, then \begin{align*} \mathbb E[X\mid\mathcal G] =\sum_{i=1}^n \left(\frac{1}{\mathbb P(A_i)}\int_{A_i} X\,d\mathbb P\right)\mathbb 1_{A_i}. \end{align*}

Let $H$ be a [Hilbert space](/page/Hilbert%20Space), let $E \subset H$ be an orthonormal set, and let $x \in H$. The set \begin{align*} \{e \in E : (x,e)_H \ne 0\} \end{align*} is countable.

Let $H$ be a [Hilbert space](/page/Hilbert%20Space) and let $E \subset H$ be an orthonormal set. The following conditions are equivalent. 1. $E$ is complete. 2. $\overline{\operatorname{span}}(E)=H$. 3. For every $x \in H$, \begin{align*} \|x\|_H^2 = \sup_{F \subset E,\ F \text{ finite}} \sum_{e \in F}|(x,e)_H|^2. \end{align*} 4. For every $x \in H$, the net of finite partial sums \begin{align*} \sum_{e \in F}(x,e)_H e, \end{align*} indexed by finite subsets $F \subset E$, converges to $x$ in $H$.

Let $H$ be a [Hilbert space](/page/Hilbert%20Space) with [orthonormal basis](/page/Orthonormal%20Basis) $E$, and let $(\lambda_e)_{e\in E}$ be a bounded family of scalars. The formula \begin{align*} Tx = \sum_{e\in E}\lambda_e (x,e)_H e \end{align*} defines a [bounded linear operator](/page/Bounded%20Linear%20Operator) $T\in\mathcal L(H)$, and \begin{align*} \|T\|_{\mathcal L(H)} = \sup_{e\in E}|\lambda_e|. \end{align*}

Let $H$ be a [Hilbert space](/page/Hilbert%20Space). If $E$ and $F$ are orthonormal bases of $H$, then $E$ and $F$ have the same cardinality.

Let $H$ and $K$ be Hilbert spaces, let $U:H\to K$ be unitary, and let $E\subset H$ be an [orthonormal basis](/page/Orthonormal%20Basis) of $H$. Then $U(E)=\{Ue:e\in E\}$ is an orthonormal basis of $K$.

Let $(X,d)$ be a [metric space](/page/Metric%20Space). The Borel sigma-algebra $\mathcal B(X)$ is generated by the open balls $B(x,r)$ with $x \in X$ and $r>0$. If $X$ is separable, then $\mathcal B(X)$ is generated by the balls $B(x,r)$ with $x$ in a fixed countable [dense subset](/page/Dense%20Subset) of $X$ and $r \in \mathbb Q$ with $r>0$.