A complementary event, in the context of probability theory and statistics, refers to the set of all outcomes in a sample space that are not included in a given event. If $E$ denotes an event within a sample space $S$, the complementary event is denoted by $E^{c}$ (or sometimes $\overline{E}$) and is defined as
$$ E^{c}= { \omega \in S \mid \omega otin E }. $$
The complementary event represents the logical negation of $E$; it occurs precisely when $E$ does not occur. The two events $E$ and $E^{c}$ are mutually exclusive (disjoint) and together exhaust the entire sample space, satisfying
$$ E \cup E^{c}=S \qquad\text{and}\qquad P(E)+P(E^{c})=1, $$
where $P(\cdot)$ denotes the probability measure on $S$. Consequently, the probability of the complementary event can be computed directly from the probability of the original event:
$$ P(E^{c}) = 1 - P(E). $$
Formal Properties
| Property | Description |
|---|---|
| Mutual exclusivity | $E \cap E^{c} = \varnothing$. |
| Collective exhaustiveness | $E \cup E^{c} = S$. |
| Probability complement rule | $P(E^{c}) = 1 - P(E)$. |
| Set-theoretic relationship | $E^{c} = S \setminus E$. |
Examples
- Coin toss: Let $E$ be the event “the toss results in heads.” The complementary event $E^{c}$ is “the toss results in tails.” If a fair coin is used, $P(E) = 0.5$, hence $P(E^{c}) = 1 - 0.5 = 0.5$.
- Dice roll: Let $E$ be the event “the die shows a 4.” Then $E^{c}$ comprises the outcomes {1, 2, 3, 5, 6}. With a fair six‑sided die, $P(E) = \frac{1}{6}$ and $P(E^{c}) = \frac{5}{6}$.
- Reliability testing: In a reliability context, $E$ might denote “a component fails within 1000 hours.” The complementary event $E^{c}$ is “the component operates without failure for at least 1000 hours.”
Applications
- Simplifying calculations: When directly evaluating $P(E)$ is complex, analysts often compute $P(E^{c})$ and use the complement rule.
- Statistical inference: Hypothesis testing frequently involves complement probabilities, e.g., calculating $p$-values as the probability of observing a test statistic at least as extreme as the observed value under the null hypothesis.
- Risk assessment: Complementary events model “non‑occurrence” scenarios, such as the probability that a hazardous event does not happen within a given timeframe.
Relation to Other Concepts
The notion of a complementary event is a specific instance of set complement in measure theory. It underlies the definition of logical negation in Boolean algebra and is analogous to the complement of an event in the context of sigma‑algebras, where the complement of any measurable set is also measurable.
Historical Note
The terminology “complementary event” and the complement rule have been standard in probability literature since the formalization of probability theory in the 18th and 19th centuries, notably in the works of Jacob Bernoulli, Pierre‑Simon Laplace, and later in Kolmogorov’s axiomatic framework (1933).
References
- Kolmogorov, A. N. (1933). Foundations of the Theory of Probability.
- Feller, W. (1968). An Introduction to Probability Theory and Its Applications (Vol. 1). Wiley.
- Ross, S. M. (2019). A First Course in Probability (10th ed.). Pearson.