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.
Stratified sampling designs and the stratified total estimator
Definition
Let be a finite population as in Finite populations and sampling designs, and let be a finite partition of into nonempty strata. Write and . Choose integers . In stratum , draw by SRSWOR of size as in Simple random sampling without replacement, independently across strata. Thus the joint probability of a tuple is and its sample in is . This is the stratified SRSWOR design. The union map is one-to-one because the strata are disjoint; the support has elements, so the displayed mass function sums to one.
The fixed mean in stratum is For a noncertainty stratum (), necessarily , and its finite- population variance is For every noncertainty stratum write for its nonnegative population standard deviation. For a realized sample, set The quantity is the stratified total estimator. When , the stratum is a certainty stratum and its contribution is the fixed total ; no is needed for that term. The population values remain fixed: only the sample selections are random.
Depends on
Used by
- A zero-variance stratum is outside the positive-variance allocation formula Example
- Continuous Neyman allocation may require constrained rounding Example
- Proportional and disproportionate stratified allocations Example
- Continuous cost-optimal stratified allocation Theorem
- Continuous fixed-size Neyman allocation minimizes stratified variance Theorem
- Unbiasedness and variance of the stratified total estimator Theorem
Dependency tree · two levels
11 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
- Shalabh, Sampling Theory, MTH 417 lecture notes, Chapter 4: Stratified Sampling, Indian Institute of Technology Kanpur, complete 26-page chapter (standard reference, not scraped)
- Robin Arnold, STAT392 Sample Surveys, Chapter 8: Stratified Sampling, Victoria University of Wellington (standard reference, not scraped)