Stochastic Equicontinuity¶
Stochastic equicontinuity makes large local oscillations of indexed random functions unlikely as their arguments become close.
Core Idea¶
Stochastic equicontinuity says that a sequence of random functions is unlikely to change sharply between nearby inputs. It supplies the missing control when convergence at each fixed input is used to reason about a whole parameter space. Each indexed random-function carrier is a stochastic process; the condition is an asymptotic property of those carriers, not a process subtype.
Scope of Application¶
Newey studies both one-observation sample-average objectives and symmetric two-observation U-statistic criteria. The latter uses a compact parameter metric and an integrable pair envelope multiplying a distance modulus; his §4 Corollary 4.1 yields uniform convergence under its full hypotheses.[^ref-4ac60110c9a0] With compactness and a continuous limit, stochastic equicontinuity helps upgrade pointwise convergence, but estimator consistency still needs further conditions.
Boundary: Deterministic equicontinuity has no probability exception. Uniform convergence in probability is an outcome that needs additional premises.
Clarity¶
It distinguishes local oscillation control from pointwise convergence and from the final uniform-convergence conclusion.
Manages Complexity¶
A single stochastic modulus bounds infinitely many nearby comparisons. A finite grid can then cover a compact space without missing random excursions between grid points.
Abstract Reasoning¶
Check the index metric and probability quantifiers, prove pointwise behavior, establish a local oscillation bound, and only then invoke a suitable uniform theorem. Newey's original Assumption 3 uses local open sets; a displayed global modulus is a useful formulation but not a verbatim synonym for every version.[ref-4ac60110c9a0][ref-adbb4f744ced]
Knowledge Transfer¶
The same roles transfer from sample averages to pairwise U-statistics, although their envelope averages and data dependence differ. A global Lipschitz bound simplifies proof but can exclude families controlled only locally; Newey discusses this actual proof-strength versus assumption-strength tradeoff.[^ref-4ac60110c9a0]
For example, a sample-average objective with a random Lipschitz coefficient bounded in probability cannot develop large changes across sufficiently close parameter values with appreciable asymptotic probability.
[^ref-4ac60110c9a0]: Whitney K. Newey, “Uniform Convergence in Probability and Stochastic Equicontinuity”, Econometrica 59 (1991), §§2–4 and Corollary 4.1. [^ref-adbb4f744ced]: Whitney K. Newey and Daniel McFadden, “Large Sample Estimation and Hypothesis Testing”, Handbook of Econometrics IV (1994), chapter 36, §2.7.
Relationships to Other Abstractions¶
Current abstraction Stochastic Equicontinuity Domain-specific
Parents (1) — more general patterns this builds on
-
Stochastic Equicontinuity presupposes Stochastic Process Prime
The stochastic oscillation condition requires indexed random-function carriers.
Hierarchy path (1) — routes to 1 parentless root
- Stochastic Equicontinuity → Stochastic Process
Neighborhood in Abstraction Space¶
Stochastic Equicontinuity sits in a sparse region of the domain-specific corpus (87th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Foundations of Probability & Inference (29 abstractions)
Nearest neighbors
- Cramér's Theorem (Large Deviations) — 0.81
- Diffusion Process — 0.81
- Linnik distribution — 0.80
- Correlation Dimension — 0.80
- Empirical Measure — 0.80
Computed from structural-signature embeddings · 2026-10-08