How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Total row variance and the Lindeberg condition
Definition
For a centered triangular array as in Row-wise independent centered triangular array, suppose every entry has finite second moment. Write Variance is defined in Moments, variance, and covariance on a probability space. Every term is finite and nonnegative, so the finite sum and its nonnegative square root s_n exist. Whenever , define The Lindeberg condition is for every fixed , with for all n under consideration. The event is measurable because absolute value is continuous and the entries are measurable; products are measurable by Arithmetic and lattice operations preserve measurability whenever they are defined. Its nonnegative integrand is bounded by , so its expectation exists and is finite by Monotonicity and nonnegative homogeneity of the nonnegative integral and Expectation of a nonnegative or integrable random variable. In particular .
For , scalar homogeneity gives . The equality gives Thus the normalized and unnormalized conditions are exactly equivalent, not merely asymptotic. The cutoff uses strict inequality; equality at the threshold is excluded. A zero-variance row is allowed in the initial variance definition, but its normalization and Lindeberg expression above are undefined. No independence or choice is needed to define these quantities.
Depends on
- Row-wise independent centered triangular array
- Moments, variance, and covariance on a probability space
- Expectation of a nonnegative or integrable random variable
- Arithmetic and lattice operations preserve measurability whenever they are defined
- Monotonicity and nonnegative homogeneity of the nonnegative integral
Used by
- Lyapunov central limit theorem Corollary
- Feller negligibility cannot be removed from the converse Counterexample
- A Lindeberg array with no identically distributed row Example
- The Lindeberg condition implies Feller negligibility Lemma
- Feller converse to Lindeberg-Feller Theorem
- Lindeberg-Feller central limit theorem: sufficiency Theorem
Dependency tree · two levels
14 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Durrett, Probability: Theory and Examples, Theorem 3.4.10 (standard reference, not scraped)
- Billingsley, Probability and Measure, Section 27 (standard reference, not scraped)