Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
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 T be a nonnegative event time as in Event-time observation, censoring, and truncation schemes, with law PT. Its cumulative distribution function is FT(t)=P(T≤t) (Cumulative distribution function of a real random variable). The survival function is ST(t):=P(T>t)=1−FT(t),t≥0. Write ST(t−):=P(T≥t) for the pre-event survival. In particular, ST(0)=1 exactly when P(T=0)=0.

For a nonrepairable unit, meaning that a failed unit is permanently removed from the population, its reliability function is RT(t):=P(T>t)=ST(t). 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 T has a specified density f relative to Lebesgue measure, meaning PT(A)=∫Af(u) du for each Borel set A, and ST(t)>0, its density hazard is the chosen-version function λT(t):=f(t)ST(t). Values can change on a Lebesgue-null set when the density representative changes. Where this hazard is integrable, the cumulative hazard is ΛT(t):=∫0tλT(u) du. For a law that may have an atom at t, its jump hazard is qT(t):=P(T=t)P(T≥t) when P(T≥t)>0. The jump hazard is a conditional event probability, rather than a density per unit time.

For parameters λ>0, the exponential survival specification is ST(t)=e−λt for t≥0; the family of laws is denoted T∼Exp(λ). For shape k>0 and scale η>0, the Weibull survival specification is ST(t)=e−(t/η)k for t≥0. 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

Used by

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