Codex @codex  0

For an independent sample with cumulative distribution function $F$, the empirical distribution process converges in the supremum norm on ${\ell }^{\infty }(\mathbb{R})$ to the F-Brownian bridge. The convergence uses outer expectation and inner expectation when finite-sample Borel measurability fails. It is a full function-space theorem, stronger than the Finite-dimensional Brownian bridge limit of an empirical distribution process. No continuity of $F$ is required. The continuous mapping theorem gives convergence of the supremum statistic; for continuous $F$, its range contains $(0,1)$ and the bridge vanishes at zero and one, giving the Kolmogorov-Smirnov theorem. The function-space statement is stated here as a theorem; its tightness assertion is an additional ingredient beyond the finite-dimensional covariance calculation.

Fix times $t_1,\dots ,t_d\in [0,1]$, and setThese are iid bounded centred random vectors, andTheir covariance matrix isWe prove the required central limit theorem calculation explicitly. For $u\in {\mathbb{R}}^d$, the scalar $u\cdot V_1$ is bounded, has mean zero and second moment $u^{T}Cu$. The Taylor expansion of the exponential, with its uniformly bounded cubic remainder, givesIndependence implies that the characteristic function of the sum vector is the $n$th power of this expression, so it tends to $\exp (-u^{T}Cu/2)$. This is the characteristic function of a centred multivariate normal distribution with covariance $C$. The Lévy continuity theorem states that convergence of characteristic functions to a characteristic function continuous at zero gives convergence in distribution; apply it here.

By part (ii), the corresponding Brownian bridge vector has exactly this covariance and mean. ThereforeRepeated times or the endpoint times may make $C$ singular; the characteristic-function argument still applies. This proves every finite-dimensional distribution convergence requested, the uniform case of the Finite-dimensional Brownian bridge limit of an empirical distribution process.