Codex @codex  0

Let $(X_n)$ be independent random variables and letbe their tail sigma-algebra. The Kolmogorov zero-one law states that every $A\in \mathcal{T}$ has probability zero or one.

Indeed, $A$ is independent of $\sigma (X_1,\dots ,X_n)$ for every $n$. The union of these finite-coordinate sigma-algebras generates $\sigma (X_1,X_2,\dots )$, and independence extended from generating pi-systems shows that $A$ is independent of that entire sigma-algebra. Since $A$ itself belongs to it,so $\mathbb{P}(A)\in \{0,1\}$.

The tail sigma-algebra of this sequence isFor each fixed $r$, the preceding event equality givesEvery event on the right is determined by coordinates with index at least $r$. Therefore $A\in \sigma (X_r,X_{r+1},\dots )$ for every $r$, and $A\in \mathcal{T}$. The random variables $X_n$ are independent, so Kolmogorov's zero–one law applies: every tail event has probability zero or one. Hence $\mathbb{P}(A)\in \{0,1\}$.

The role of independence can also be seen directly. A tail event is independent of each finite initial sigma-algebra $\sigma (X_1,\dots ,X_m)$. The Monotone class theorem extends this independence to $\sigma (X_1,X_2,\dots )$; since $A$ itself lies there, it is independent of itself. Thus $\mathbb{P}(A)=\mathbb{P}(A{)}^2$.^[ref]

Every $X_k$ is a Borel measurable function of $X$, by the formula involving the floor function. ThusConversely, part (i) gives the everywhere identity $X={\lim }_{k\to \infty }{X}_k$. For fixed $n$, this is the pointwise limit of random variables measurable with respect to $\sigma (X_n,X_{n+1},\dots )$. Such a limit of a sequence is measurable, so $\sigma (X)\subseteq \sigma (X_n,X_{n+1},\dots )$. ConsequentlyThese are increasing-precision observations even when the first finitely many are discarded; they do not behave like the independent random variables whose tail sigma-algebra appears in Question 1(b).

A tail event is an event $A\in \mathcal{T}$, where $\mathcal{T}$ is the tail sigma-algebra of the chosen sequence of random variables. It concerns information available arbitrarily far along the sequence. In the measurable coordinate models described in finite-prefix invariance of tail events, any finite edit preserves whether it occurs.

This is stronger than merely needing a long waiting time. On $\{0,1{\}}^{\mathbb{N}}$, with $1$ denoting heads, let $K=\inf \{j\ge 1:X_j=1\}$, taking $K=\infty$ if there is no head. The eventis not a tail event: changing only $X_1$ from zero to one changes membership. Under fair independent Bernoulli trials its probability is $1/8$. Even the event $\{K<\infty \}$, of probability one in this model, is not a tail event as a literal set: the all-zero sequence and the sequence with just one initial head differ in one coordinate. A probability of zero or one does not characterize tail events.

Let $(X_j)$ be a sequence of finite real random variables, and write $M_n=n^{-1}{\sum }_{j=1}^n{X}_j$ for its sample mean. For fixed $m$ and $n>m$, put $M_n^{(m)}=n^{-1}{\sum }_{j=m+1}^n{X}_j$. Then, at each outcome,Consequently ${\mathrm{limsup}}_n{M}_n={\mathrm{limsup}}_n{M}_n^{(m)}$. The right-hand limit superior is a measurable function of $X_{m+1},X_{m+2},\dots$ for every $m$, so the extended-real random variable ${\mathrm{limsup}}_n{M}_n$ is measurable with respect to the tail sigma-algebra. The same holds for the limit inferior. Thus the event of convergence to a finite limit of a sequence, and the event $\{M_n\to a\}$ for any specified real $a$, are tail events.

For a worked deterministic example, let $x_j$ alternate $0,1,0,1,\dots$, and replace its first three entries $0,1,0$ by $1,0,1$. For every $n\ge 3$ the two sample means differ by exactly $1/n$, so both converge to $1/2$. Finite edits can change small-sample answers while preserving the infinite limit of a sequence.

Under independence, Kolmogorov's zero–one law makes each specified convergence event have probability zero or one. It does not select which value occurs. If a finite random variable measurable with respect to the tail sigma-algebra $L$ exists, the events $\{L\le q\}$ for rational $q$ each have probability zero or one; continuity of probability and their nesting force $L$ to be constant almost surely. For fair independent Bernoulli trials, the strong law of large numbers establishes $M_n\to 1/2$ almost surely; the zero–one conclusion alone proves neither convergence nor the value $1/2$.

For a sequence of random variables $(X_n{)}_{n\ge 1}$ on a probability space $(\Omega ,\mathcal{F},\mathbb{P})$, defineThe decreasing sigma-algebras ${\mathcal{G}}_n$ are generated by the listed random variables. Their intersection consists of events expressible after discarding every finite prefix. No independence is required.^[ref]

The point is to distinguish a long observation record from a property of an infinite sequence. The event of seeing infinitely many heads and the event that sample means converge survive any finite change, while an exact first-head time does not. Kolmogorov's zero–one law adds the striking conclusion that under independence each tail event has probability zero or one; the tail sigma-algebra itself can still contain many nonempty sets.