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.
Parametric survival and reliability models
Definition
Let be a nonnegative event time as in Event-time observation, censoring, and truncation schemes, with law . Its cumulative distribution function is (Cumulative distribution function of a real random variable). The survival function is Write for the pre-event survival. In particular, exactly when .
For a nonrepairable unit, meaning that a failed unit is permanently removed from the population, its reliability function is . This is a single first-failure lifetime model. A repairable system can fail repeatedly; its cumulative failure count and rate of occurrence of failures are not summarized by this one-lifetime survival function.
When the law of has a specified density relative to Lebesgue measure, meaning for each Borel set , and , its density hazard is the chosen-version function Values can change on a Lebesgue-null set when the density representative changes. Where this hazard is integrable, the cumulative hazard is For a law that may have an atom at , its jump hazard is when . The jump hazard is a conditional event probability, rather than a density per unit time.
For parameters , the exponential survival specification is for ; the family of laws is denoted . For shape and scale , the Weibull survival specification is for . Under Countable Choice, these are parameter-indexed families of sampling laws in the sense of Parametric statistical models; their existence and densities are established in Exponential and Weibull survival specifications define probability laws ↗.
The density-hazard identity for absolutely continuous event-time laws and the jump relation for atoms are separate results. An empirical pattern such as a decreasing-then-increasing “bathtub” hazard is not a consequence of these definitions or of either parametric family.
Depends on
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- Cumulative distribution function of a real random variable
- Event-time observation, censoring, and truncation schemes
- Lebesgue measurable sets, the family $\mathcal{L}(\mathbb{R}^n)$, and the restricted set function $\lambda_n$
- The measure with density $f$ relative to $\mu$
- Parametric statistical models
Used by
- Exponential and Weibull hazards with right-censored exposure Example
- Exponential and Weibull survival specifications define probability laws Theorem
- Right-censored exponential likelihood and its boundary maximum Theorem
- Survival jumps multiply by one minus the atomic hazard Theorem
- The continuous survival and cumulative-hazard identity Theorem
Dependency tree · two levels
22 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
- NIST/SEMATECH Engineering Statistics Handbook, Chapter 8, §§8.1.2.1–8.1.2.3, PDF pp. 12–17 (standard reference, not scraped)
- Lu Tian, STAT331 Unit 2: Likelihood Construction, Inference for Parametric Survival Distributions, §§2.1–2.2, PDF pp. 1–7 (standard reference, not scraped)
- Qiqing Yu, Survival Analysis (Lecture Notes), §§2.1–2.2, PDF pp. 10–11 (standard reference, not scraped)