--- title: Extended Continuous Mapping Theorem url: https://www.emergentmind.com/topics/extended-continuous-mapping-theorem type: topic --- # Extended Continuous Mapping Theorem The extended continuous mapping theorem (CMT) generalizes the classical functional convergence principles to encompass sequences of piecewise continuous functions and random processes whose limit objects may exhibit discontinuities or partition-dependent jump behavior. The concept, as developed in [2511.08216], is characterized by the introduction of convergence "with restraint," which ensures robust convergence of suprema and maxima functionals even in absence of uniform convergence—a property crucial for contemporary statistical applications in spatial statistics, topological data analysis, and the study of excursion set uncertainty. The theorem provides two-sided probabilistic bounds for functionals of converging sequences and prescribes sufficient conditions for transformation maps (including maxima, unions, and more complex set functionals) to preserve asymptotic behaviors. ## 1. Motivation and Historical Limitations Classical limit theorems, including the original CMT, depend heavily on uniform convergence or pointwise convergence of continuous functions. Such frameworks break down when analyzing spatial processes, imaging data, or random fields with piecewise continuity—common in neuroimaging, climatology, and cosmology—where the limit exhibits jump discontinuities along a fixed partition of the domain. Traditional topologies (e.g., Skorokhod J1/M1, uniform topology on function spaces) cannot capture correct convergence behavior for suprema or level-set statistics when discontinuities are correlated with geometric structures. Pathological behaviors such as "overshoots" near jumps or non-convergent suprema motivate the need for the restrained-convergence formalism. ## 2. Definitions: Piecewise Continuity and Convergence with Restraint Let $S$ be a compact metric space decomposed into a locally finite partition $\{V_i\}_{i\in I}$, and denote by $P(\{V_i\})$ the space of functions $f:S\to\mathbb{R}$ admitting continuous extensions $f_i$ to the closure $\overline V_i$ of each partition cell. A sequence $\{f_n\}$ is said to converge to $f$ with upper restraint if: - $f_n(s)\to f(s)$ pointwise for all $s\in S$; - For each $i$ and $s\in V_i$, $$ \lim_{\delta\downarrow 0} \limsup_{n\to\infty} \sup_{s'\in B(s,\delta)\cap V_i} f_n(s') \leq \max\{f_i(s),f_i(s)\} $$ where $f_i(s)$ refers to the one-sided extension at a boundary point. If the corresponding condition holds for $-f_n$, we have lower restraint; if both, we write $f_n\to_r f$ (*Editor's term*: restrained convergence). Uniform convergence implies restrained convergence, but not conversely. ## 3. Supremum Bounds and Pointwise-Restrained Convergence A fundamental result establishes that under pointwise convergence, liminf of suprema over a sequence of sets $A_n$ is lower bounded by $\sup_{s\in A_\infty} f(s)$, with $A_\infty=\liminf_{n\to\infty}A_n$. Control of the limsup requires the restrained-bound property. Specifically, for functions $f_n\to_r f$ subordinate to partition $\{V_i\}$ and any sequence of sets $A_n\subset S$, $$ \limsup_{n\to\infty} \sup_{s\in A_n} f_n(s) \leq \max_{i\in I} \sup_{s\in A_\infty^+} f(s) $$ where $A_\infty^+=\bigcap_{k=1}^\infty\,\overline{\cup_{n\geq k}A_n\cap V_i}$ for each $i$. This integrative control is critical for the analysis of maxima, excursion sets, and union/intersection statistics of spatial processes when uniform convergence cannot hold. ## 4. Suprema-Preserving Maps and Extended CMT A map $H: F\to P(\{V_i\})$ is suprema-preserving if, given any uniformly convergent $f_n\to f$ in $F$, $H(f)$ is an upper restrained bound for $\{H(f_n)\}$. Sufficient conditions include: - There exists $\alpha>0$ such that $\|H(f_n)-H(f)\|_\infty = O(\|f_n-f\|_\infty^\alpha)$; - For each $i, s\in V_i$, $\lim_{\delta\downarrow 0}\limsup_{n\to\infty} \sup_{s'\in B(s,\delta)\cap V_i} [H(f_n)(s')-H(f)(s')] \leq \max\{0, H(f_i)(s)-H(f_i)(s)\}$. These criteria enable deterministic and probabilistic functionals such as maxima, unions, and intersections to inherit convergence properties via transformation, thus extending the continuous mapping theorem to restrained limits. ## 5. Extension to Random Processes and Probabilistic Suprema Bounds Given random processes $G_n: \Omega\to \ell^\infty(S)$ and $G=\lim G_n$, assume $G_n=H\circ X_n$ for some suprema-preserving $H$ and uniformly convergent $X_n$. Then for deterministic sets $A_n, B_n\subset S$, $$ \limsup_{n\to\infty} \mathbb{P}^*\left(\max\left\{\sup_{s\in A_n} G_n(s), \sup_{s\in B_n} G_n(s)\right\} \leq q\right) \leq \mathbb{P}\left( \max\left\{ \sup_{s\in A_\infty} G(s), \sup_{s\in B_\infty^+} G(s) \right\}\leq q \right) $$ and $$ \liminf_{n\to\infty} \mathbb{P}_*\left(\max\left\{\sup_{s\in A_n} G_n(s), \sup_{s\in B_n} G_n(s)\right\}