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.
Detection and quantification limits
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Brownian Motion Construction and Continuity
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Conditional Distributions and Regular Conditional Probability
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Determinants of Matrices over a Commutative Ring
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Estimators and Randomized Procedures
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability and the Probabilistic Method
- Foundations of the Real Numbers for Analysis
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Loss, Risk and Decision Theory
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Probability Spaces Random Variables and Expectation
- Properties of the Integral and the Working FTC
- Reeb Stability and Global Foliation Constructions
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Statistical Experiments, Models and Identifiability
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tests, Neyman–Pearson and Valid P-values
- The Derivative and the Mean Value Theorems
- The Exponential Function
- The Inverse and Implicit Function Theorems
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Weak Convergence Tightness and Representation
2 · Summary
Objective
This page separates the blank decision threshold , the concentration meeting a specified false-negative target, and the concentration meeting a declared precision criterion. The exact normal formulas are proved for the known-blank, equal-variance model, with the normal quantile and location-scale moments established locally.
Scope and limitations
The formulas depend on the response law and calibration convention. An estimated blank changes the variance used for the calculation; concentration- dependent variance can change or eliminate a finite detection or quantification limit. The page makes no universal claim for estimated-blank, heteroscedastic, discrete, or empirically unvalidated procedures. A report that a value lies below a limit is a censored observation and requires its measurement likelihood.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Critical, detection, and quantification levels
Definition
Let be a concentration parameter set and let be a statistical experiment (Statistical experiments). The response is a real random variable (Random elements and real random variables) with law at concentration ; is the blank law. Since each is open, it is Borel (The Borel sigma-algebra of a topological space), so the indicator rule below is measurable. For a threshold , the positive-decision rule is . Its blank false-positive probability is , and its false-negative probability at is . These are the null rejection probability and one minus the power for the simple null and point alternative (Randomized tests, Test size and power, The expectation of an indicator is the probability of the event, Basic identities for a probability measure).
For a target , an exact critical level is a threshold satisfying A threshold with probability at most is an -level threshold; equality need not be attainable for a discrete response. For a target , a detection limit is the least satisfying when such a least concentration exists. Thus is measured in response units, whereas is measured in concentration units.
When and , the coefficient of variation is Expectation under is as in Expectation of a nonnegative or integrable random variable, and variance has the meaning in Moments, variance, and covariance on a probability space. For a declared tolerance , a quantification limit is the least satisfying , when such a least concentration exists. This definition does not make the three limits universal: each is tied to the response law and the stated error or precision criterion.
Remarks
The measurement procedure and its observation law must include any blank correction used in routine reporting. A below-threshold report is an event such as ; its likelihood contribution is determined by the declared measurement law, not by substituting as though it were an observed response.
The standard normal CDF has unique symmetric quantiles
Statement
Assume the Axiom of Choice. Let have the standard normal law and let be its cumulative distribution function. Then is continuous and strictly increasing, with limits and at and , and for every . For each there is a unique real with , and
Facts & Assumptions
Given: AC; the standard normal law ; its CDF ; and a probability when a quantile is considered.
The Axiom of Choice is assumed in the construction of the standard normal probability law. The Axiom of Choice Standard normal and normal laws
AC implies countable choice, which is the hypothesis needed for the zero-width-box measure result used to show singleton sets have zero normal probability. The Axiom of Choice implies countable choice The Axiom of Countable Choice ()
The standard normal law is a probability measure with density ; a probability measure is finitely additive on disjoint events. Standard normal and normal laws Probability measures and probability spaces
The density is positive and Borel measurable, with integral one. The standard normal density has total mass one
The CDF of a real random variable is . Cumulative distribution function of a real random variable
For increasing measurable sets, measure of the union is the limit of their measures. Continuity from below for measures
For decreasing measurable sets whose first member has finite measure, measure of the intersection is the limit of their measures. Continuity from above when one set has finite measure
A continuous function on a closed interval takes every value between its endpoint values. Intermediate value theorem, by bisection with a canonical left-half rule: a continuous function on takes every value between and
A monotone differentiable substitution with the stated local integrability hypotheses preserves a convergent improper integral, with orientation handled by the sign. Change of variable in an improper integral
A zero-width one-dimensional box has Lebesgue measure zero, under countable choice. A box in with parameters is Lebesgue measurable of measure , whichever of its faces are included
The integral of a nonnegative measurable function over a measurable null set is zero. A nonnegative integral over a null set vanishes
The real exponential is smooth, so the displayed density is continuous. The exponential function is smooth and
If , then ; in particular for a probability measure. Basic identities for a probability measure
Proof
Given: The hypotheses in the Statement.
For , the density formula in [F1] and set-difference identity [F11] give . The density is continuous by [F10] and positive by [F2]; continuity at gives a subinterval of positive length on which has a positive lower bound, so this integral is positive. Also , hence . Therefore is strictly increasing and continuous.
The density in [F1] is even. For any , substitution in [F7] gives . By [A2] and [F8], the singleton is Lebesgue null; [F9] then gives . Since [F2] gives total mass one, [F11] identifies the last tail integral as . Hence .
The sets increase to and the sets decrease to the empty set. The normal law has total mass one by [F2], so [F4] and [F5] give and . Given , choose with . Applying [F6] on gives with ; strict increase from step 1.1 makes this unique.
Set in step 1.2. Then . By the uniqueness in step 2.1, . In particular, gives , hence .
Source notes
The quantile existence, uniqueness, and symmetry are proved locally from the published standard normal density and measure definitions; the source references document the normal-law convention and its use in detection-limit calibration.
Location-scale normal laws have their stated mean and variance
Statement
Assume AC. For , , and a real random variable with law ,
Facts & Assumptions
Given: AC, a standard normal random variable , and with law for and .
AC is required by the standard normal probability-law definition and the Gaussian even-moment supplier. The Axiom of Choice Standard normal and normal laws Gaussian even moments for Brownian increments
is the law with density , and is the law of under . Standard normal and normal laws
For a standard normal , . Gaussian even moments for Brownian increments
Cauchy–Schwarz gives , so the standard normal is integrable. Cauchy-Schwarz for random variables
A nonnegative measurable function of a random element has expectation equal to its integral against the law, allowing infinity; the same identity holds for a signed function once its composite is integrable. Change of variables for expectation
Expectation is linear, and variance is for square-integrable . Linearity, monotonicity, and the modulus bound for expectation Moments, variance, and covariance on a probability space
A pointwise-convergent sequence dominated by one integrable function has convergent integrals. Dominated convergence
The substitution is valid in the proper integral of the continuous normal density on a compact interval. Substitution: if is differentiable on with integrable and is continuous on an interval containing , then
Proof
Given: The hypotheses in the Statement.
By [F2], . Since has a probability law by [F1], , and Cauchy–Schwarz [F3] gives ; hence is integrable. For each integer , is odd because is even; [F7] with therefore gives by [F4].
As the integer , pointwise and , which is integrable by step 1.1. Dominated convergence [F6] gives .
Put . Since , [F2] gives . The nonnegative clause of [F4] and the common law in [F1] give ; Cauchy–Schwarz [F3] with the constant then makes both and integrable. By [F1] and [F4], . Linearity [F5] and step 2.1 give . Applying the same change of variables to gives by [F2] and [F5]. When , the affine map is constant and the same equalities give variance zero.
Source notes
The moment calculation is supplied locally from the library's proved Gaussian even-moment result and the normal-law push-forward definition. The cited sources document the scale-as-standard-deviation convention used in the detection-limit model.
Exact limits in the known-blank equal-variance normal model
Statement
Assume AC, , , and . Consider the response-only experiment with concentration and under each . Reject the blank when . For the coefficient-of-variation criterion , the exact critical level, detection limit for false-negative target , and quantification limit are where is the unique standard normal -quantile from The standard normal CDF has unique symmetric quantiles. These formulas are conditional on the known-blank, equal-variance normal model.
Facts & Assumptions
Given: AC; ; ; ; and the experiment for each concentration .
AC is required by the standard normal-law construction. The Axiom of Choice Standard normal and normal laws
The response laws are location-scale images of the standard normal law: is the law of . Standard normal and normal laws
The standard normal CDF is continuous and strictly increasing, its -quantiles satisfy , and ; in particular . The standard normal CDF has unique symmetric quantiles
For a location-scale normal law, and . Location-scale normal laws have their stated mean and variance
For a simple null , the size is for the test function . Test size and power
Every measurable defines a randomized test under the binary-action convention. Every measurable rejection function defines a randomized test Randomized tests
The Borel sigma-algebra of is generated by its open sets. The Borel sigma-algebra of a topological space
Measurability means inverse images of measurable target sets are measurable. A measurable function between measurable spaces
An exact critical level and the least-concentration definitions of and are those of Critical, detection, and quantification levels.
A statistical experiment is a measurable data space with a parameter-indexed family of probability laws. Statistical experiments
For every measurable event , . The expectation of an indicator is the probability of the event
For a probability measure, . Basic identities for a probability measure
The CDF of a real random variable is . Cumulative distribution function of a real random variable
Proof
Given: The hypotheses in the Statement.
Set and . For every Borel , is one of ; these are Borel, so [F6] and [F7] make measurable. By [F5] it defines a test in the experiment [F9]. Under the blank, in law by [F1], hence by [F2] and [F11]. By [F4], the simple-null size is ; [F10] identifies it with . Thus is an exact critical level by [F8].
For any , the affine law in [F1] and CDF definition [F12] give . By strict increase and uniqueness in [F2], this equals exactly when . Hence the unique solution is , using the symmetry in [F2]. Since and is strictly increasing by [F2], while , both quantiles in the sum are positive. This solution is therefore the least positive concentration and is by [F8].
For , [F3] gives . Since , the inequality is equivalent to . Its least positive solution is therefore by [F8].
Source notes
The exact formulas are derived from the stated normal law and the local quantile and moment lemmas. NIST SP 958 reports rounded known-blank values under , constant , and 10% relative standard deviation; Eurachem's normal-tail discussion uses the corresponding approximate factor. Neither source is used in place of the local derivation.
5 · Examples, counterexamples and false statements
None yet.
Sources
- A Century of Excellence in Measurements, Standards, and Technology: A Chronicle of Selected NBS/NIST Publications 1901–2000, NIST SP 958, pp. 177–179 (printed pp. 164–166)
- H. Cantwell (ed.), Eurachem Guide: The Fitness for Purpose of Analytical Methods, 3rd ed. (2025), §5.3.1
- H. Cantwell (ed.), Eurachem Guide: The Fitness for Purpose of Analytical Methods, 3rd ed. (2025), Annex B
- H. Cantwell (ed.), Eurachem Guide: The Fitness for Purpose of Analytical Methods, 3rd ed. (2025), §5.3.4
- H. Cantwell (ed.), Eurachem Guide: The Fitness for Purpose of Analytical Methods, 3rd ed. (2025), §5.3.1 and Annex B