Complement rule of probability 2026-10-14
For an event in a sample space , the complementary event occurs exactly when does not occur. The complement rule of probability follows from the Kolmogorov axioms: and are disjoint, their union is , and their probabilities therefore add to .
This rule is useful when an event is easier to describe through its failure. For a nonnegative integer-valued random variable , turns an at-least-one calculation into a single value of the probability mass function. In sampling without replacement, the hypergeometric distribution gives the chance of missing all marked objects, so its complement gives the chance of finding at least one.
Failure-probability budget 2026-10-14
A failure-probability budget assigns nonnegative numbers to a finite or countable family of failure events in a common probability space, with verified bounds . The union bound guarantees that the probability of any failure is at most . By De Morgan's laws and the complement rule of probability, the probability that every requirement succeeds obeysThus guarantees simultaneous success with probability at least , even when all failure events depend on the same observations. The numbers are upper allowances; adding them is not a calculation of the exact failure probability.
For three requirements, give each a failure-probability budget . The total budget is , so simultaneous success has probability at least . On a sample space of twenty equally likely outcomes, let , , and . These disjoint events attain the budget and the success bound. If instead all three failure events equal , their individual probabilities are unchanged, but exact failure has probability and simultaneous success has probability . This second model shows how overlap can leave the guarantee conservative.
A shared failure-probability budget covers both separate failures and one common failure
. The two panels each have twenty equally likely numbered outcomes. The blue, orange, and purple marks identify membership in , , and , respectively. Their individual probabilities are in both panels. The union has three outcomes on the left and one on the right, while the union bound is in both. The event of simultaneous success is the complement of an event of any failure and contains seventeen or nineteen outcomes. These are illustrative probability models, not measured failure rates. Details.For requirements, an equal allocation is convenient; unequal allocations also work when some requirements are harder to satisfy. For infinitely many requirements indexed by , the allocation uses total budget by the geometric series. A fixed positive allowance for every requirement instead gives an infinite sum and no positive simultaneous-success guarantee from the union bound. The individual probability bounds must cover all the failure events being combined: omitting possible failure modes leaves the resulting guarantee about the listed requirements only. The same addition of error allowances underlies the Bonferroni correction in simultaneous hypothesis tests.
Hypergeometric distribution Created 2026-09-24 Updated 2026-10-14
The hypergeometric distribution counts marked objects in a uniformly chosen sample of fixed size from a finite population, using sampling without replacement. Let be the population size, let objects be marked, and sample distinct objects. If counts the marked objects selected, its probability mass function isThe bounds describe the support of a probability distribution and must be an integer; the mass is zero elsewhere. The denominator counts all size- subsets, while the numerator counts choices of marked and unmarked objects using binomial coefficients. This counting argument requires every size- sample to have the same probability.[ref]
https://web.mit.edu/14.380/www/handouts/hypergeometric.pdf. MIT 14.30, hypergeometric distribution handout, §§1–4
For a constructed example, a box contains ten labelled objects, four red and six blue. Select five without replacement. There are possible samples. The probabilities for areIn particular, . Five red objects are impossible because the box only contains four. The expected value is , and the variance is .
Five draws from four red and six blue objects: replacement preserves the mean but changes the spread
. Details. The count law also answers a detection question: what is the chance that five draws find at least one red object? By the complement rule of probability, it is , approximately . This can model inspecting five distinct objects from a known finite collection, with a mark indicating the property we want to detect. If repeated inspections can select the same object again, the replacement model instead gives . Equal expected values therefore do not imply equal chances of detecting a marked object.
The corresponding binomial distribution counts red draws when each selected object is put back before the next independent draw: . It has the same expected value , but variance , and it permits five red draws. Without replacement, a red first draw leaves red probability for the next draw; a blue first draw leaves . This statistical dependence pulls the total toward the fixed composition of the population, producing the finite population correction.
The useful modelling question is whether previously selected objects remain available. A fixed-size sample of distinct items calls for a hypergeometric distribution; fresh independent trials with constant success probability call for a binomial distribution. When the population grows with while stays fixed, the hypergeometric masses tend to the corresponding binomial distribution masses: removing finitely many objects has an increasingly small effect on the next draw's probability.
Kolmogorov axioms Created 2026-09-29 Updated 2026-10-03
The Kolmogorov axioms require a probability measure to be nonnegative, normalized by , and countably additive on pairwise disjoint events.
Tail probability Created 2026-10-03 Updated 2026-10-14
For a real random variable , an upper-tail probability has the form and a lower-tail probability has the form . Each is the probability of an event lying beyond a chosen threshold in one direction. A tail probability need not be small: the threshold determines how much of the probability distribution it includes. A concentration inequality bounds such probabilities, often for deviations from an expected value.
Endpoint conventions matter. Write for the cumulative distribution function and . The complement rule of probability gives four distinct formulas:The strict upper-tail convention is the survival function . Its value differs from the inclusive upper tail probability by exactly the probability mass at the threshold:A singleton with positive probability mass is an atom of a measure. Thus excludes an atom of a measure at , whereas includes it. These endpoint identities follow directly from the cumulative distribution function properties in Kyle Siegrist, Distribution and Quantile Functions: endpoint probabilities and right tails.
As the threshold increases, both upper tail probabilities are nonincreasing functions. The strict survival function is a right-continuous function; the inclusive upper tail probability takes the upper endpoint value at a downward jump, equal to the left limit of the survival function. Both tend to zero as for a real random variable, but the speed of that decay differs across probability distributions. The cumulative distribution function properties and their proof from continuity of probability measures are given in MIT 6.436J, Lecture 4: random variables and cumulative distribution function properties.
For a fair six-sided die , the discrete uniform distribution assigns probability mass to each of . At threshold four,Between four and five, both upper tail probabilities equal . At the largest possible outcome the distinction is especially visible: , but . The diagram shows exact probabilities for this mathematical model; its dots specify which endpoints belong to each step function.
If a probability distribution has a probability density function , then every singleton has zero probability mass andFor an exponential distribution of rate two, for and zero otherwise, so for and for . Hence . This tail probability is an integral of the probability density function, not its height . A mixed probability distribution retains endpoint jumps even with a smooth component: give zero probability mass and choose this exponential distribution with probability . Then , , and for .
A two-sided tail probability can measure the absolute value of displacement from a specified center . For , the two extreme events are disjoint events, soFor strict displacement , replace the last expression by . The condition prevents overlap; at adding inclusive tails double-counts any probability mass at . For a uniform distribution on , take and : the two tail probabilities are each and their sum is . Equal tails follow from this symmetric probability distribution, not from the phrase two-sided alone; for a uniform distribution on with , the two tail probabilities are zero and .
The tail-sum formula for expectation turns a whole curve of tail probabilities into an expected value. For any nonnegative random variable , without assuming a probability density function or a finite expected value,For a proof outline, write pointwise and exchange the expected value and Lebesgue integral using Tonelli theorem; is an indicator function. The inclusive version has the same Lebesgue integral: positive probability masses occur at only a countable set of thresholds, which has Lebesgue measure zero. For a nonnegative integer-valued random variable , the tail-sum formula instead gives . The integer hypothesis is essential for these sums. The integral identity, its indicator function proof, and the integer version appear in Kyle Siegrist, Additional Properties of Expected Value: integration and summation of right tails.
For the fair die, this tail-sum formula yields , equal to the direct weighted arithmetic mean . For the rate-two exponential distribution, the area under the survival function is , its expected value. The first panel below shades an integral of the probability density function for a single threshold; the second shades an integral of the survival function across all nonnegative thresholds. These are analytical illustrations, with the displayed curves truncated at three; their exact total areas use an infinite integration range.
Nonnegativity is essential to interpreting the upper tail probability area as : for a general real random variable that area equals the expected value of its positive part. An integrable random variable satisfies , subtracting the expected value of its negative part; infinite terms cannot be canceled. Even when is finite almost surely, its expected value can be infinite. For the shape-one Pareto distribution on , on and for , so the area is . The finite versus infinite expected value distinction is illustrated in Kyle Siegrist, Definitions and Basic Properties: exponential and Pareto expected values.
Why are tail probabilities useful? They answer threshold questions directly, and a concentration inequality can bound them without knowing the full probability distribution. For nonnegative with finite expected value, Markov inequality gives for : a large threshold relative to the expected value forces rarity. The quantile function reverses the question by choosing a threshold for a prescribed cumulative level. If with , then ; an atom of a measure may prevent equality. For the die, , with strict upper tail probability zero and inclusive upper tail probability .
A tail probability describes rarity under a specified probability distribution; it is not automatically a conditional probability after extra information. For with ,because the threshold events are nested. Thus the die has but . Conditioning changes the sample space and renormalizes its probability measure; the same extreme outcomes can become common in that restricted population.



