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.
Method agreement and limits of agreement
Definition
Let be the declared probability model for a pre-specified target population of measurement conditions. Let and be real random variables giving quantitative measurements of the same target under the same stated conditions. The choice of target population and the scientific applicability of its probability law are model assumptions; this definition does not verify them.
Assume the paired difference is square-integrable. It is measurable because measurable real functions are closed under finite sums and scalar multiples (Closure properties of measurable functions used by the integral). Since , we have . Monotonicity, homogeneity, and additivity of the nonnegative integral, together with , give (Monotonicity and nonnegative homogeneity of the nonnegative integral, Additivity of the nonnegative Lebesgue integral). Thus define the finite population bias . Put , which is measurable by the same closure result. Its square is measurable by Arithmetic and lattice operations preserve measurability whenever they are defined. Since monotonicity, homogeneity, and additivity of the nonnegative integral give (Monotonicity and nonnegative homogeneity of the nonnegative integral, Additivity of the nonnegative Lebesgue integral). Therefore is a finite real standard deviation, since by Moments, variance, and covariance on a probability space and every nonnegative real has a square root by Square roots exist: a unique with ; the positives are . The sign convention is , so positive bias means that reads larger than on average. The conventional rounded normal-reference limits of agreement are and .
For an iid sample of paired differences from the declared target population, with and observed values , define The sample plug-in limits are : they substitute the sample mean and sample standard deviation into the conventional population formula. They are point estimates; no unbiasedness, consistency, confidence coverage, or exact finite-sample coverage for either endpoint is asserted here.
Repeated measurements on one target are not iid merely because there are many recorded pairs. Their within-target dependence must be stated and modeled, for example with a covariance or random-effects model. When defined, correlation measures linear association and does not by itself establish agreement. Limits of agreement describe the distribution of differences; they do not decide whether those differences are acceptable for a particular use or whether either method is calibrated to a known truth.
Remarks
The exact central normal quantile formula is established by a separate result on this page. The customary display is a rounded normal quantile convention.
Depends on
- Random elements and real random variables
- Identical distribution and IID families
- Expectation of a nonnegative or integrable random variable
- Moments, variance, and covariance on a probability space
- Closure properties of measurable functions used by the integral
- Arithmetic and lattice operations preserve measurability whenever they are defined
- Monotonicity and nonnegative homogeneity of the nonnegative integral
- Additivity of the nonnegative Lebesgue integral
- Square roots exist: a unique $\sqrt{a} \ge 0$ with $(\sqrt{a})^2 = a$; the positives are $\{x^2 : x \neq 0\}$
Used by
Dependency tree · two levels
36 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
- J. M. Bland and D. G. Altman, Statistical methods for assessing agreement between two methods of clinical measurement, Lancet 1986; 327(8476):307–310, complete author-hosted reproduction (standard reference, not scraped)
- M. Bland, An Introduction to Medical Statistics, 4th ed., Oxford University Press 2015, §20.5 (standard reference, not scraped)