HOME

TheInfoList



OR:

In
probability theory Probability theory or probability calculus is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expre ...
, the law (or formula) of total probability is a fundamental rule relating marginal probabilities to conditional probabilities. It expresses the total probability of an outcome which can be realized via several distinct events, hence the name.


Statement

The law of total probability isZwillinger, D., Kokoska, S. (2000) ''CRC Standard Probability and Statistics Tables and Formulae'', CRC Press. page 31. a
theorem In mathematics and formal logic, a theorem is a statement (logic), statement that has been Mathematical proof, proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to esta ...
that states, in its discrete case, if \left\ is a finite or
countably infinite In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbe ...
set of
mutually exclusive In logic and probability theory, two events (or propositions) are mutually exclusive or disjoint if they cannot both occur at the same time. A clear example is the set of outcomes of a single coin toss, which can result in either heads or tails ...
and
collectively exhaustive In probability theory and logic, a set of events is jointly or collectively exhaustive if at least one of the events must occur. For example, when rolling a six-sided die, the events 1, 2, 3, 4, 5, and 6 are collectively exhaustive, because th ...
events, then for any event A :P(A)=\sum_n P(A\cap B_n) or, alternatively, :P(A)=\sum_n P(A\mid B_n)P(B_n), where, for any n, if P(B_n) = 0 , then these terms are simply omitted from the summation since P(A\mid B_n) is finite. The summation can be interpreted as a
weighted average The weighted arithmetic mean is similar to an ordinary arithmetic mean (the most common type of average), except that instead of each of the data points contributing equally to the final average, some data points contribute more than others. The ...
, and consequently the marginal probability, P(A), is sometimes called "average probability"; "overall probability" is sometimes used in less formal writings. The law of total probability can also be stated for conditional probabilities: :P( ) = \frac = \frac = \frac = \sum\limits_n P ( )P( ) Taking the B_n as above, and assuming C is an event
independent Independent or Independents may refer to: Arts, entertainment, and media Artist groups * Independents (artist group), a group of modernist painters based in Pennsylvania, United States * Independentes (English: Independents), a Portuguese artist ...
of any of the B_n: :P(A \mid C) = \sum_n P(A \mid C,B_n) P(B_n)


Continuous case

The law of total probability extends to the case of conditioning on events generated by continuous random variables. Let (\Omega, \mathcal, P) be a
probability space In probability theory, a probability space or a probability triple (\Omega, \mathcal, P) is a mathematical construct that provides a formal model of a random process or "experiment". For example, one can define a probability space which models ...
. Suppose X is a random variable with distribution function F_X, and A an event on (\Omega, \mathcal, P) . Then the law of total probability states P(A) = \int_^\infty P(A , X = x) d F_X(x). If X admits a density function f_X, then the result is P(A) = \int_^\infty P(A , X = x) f_X(x) dx. Moreover, for the specific case where A = \, where B is a Borel set, then this yields P(Y \in B) = \int_^\infty P(Y \in B , X = x) f_X(x) dx.


Example

Suppose that two factories supply
light bulb Electric light is an artificial light source powered by electricity. Electric Light may also refer to: * Light fixture, a decorative enclosure for an electric light source * ''Electric Light'' (album), a 2018 album by James Bay * Electric Light ( ...
s to the market. Factory ''X'''s bulbs work for over 5000 hours in 99% of cases, whereas factory ''Y'''s bulbs work for over 5000 hours in 95% of cases. It is known that factory ''X'' supplies 60% of the total bulbs available and Y supplies 40% of the total bulbs available. What is the chance that a purchased bulb will work for longer than 5000 hours? Applying the law of total probability, we have: : \begin P(A) & = P(A\mid B_X) \cdot P(B_X) + P(A\mid B_Y) \cdot P(B_Y) \\ pt& = \cdot + \cdot = = \end where * P(B_X)= is the probability that the purchased bulb was manufactured by factory ''X''; * P(B_Y)= is the probability that the purchased bulb was manufactured by factory ''Y''; * P(A\mid B_X)= is the probability that a bulb manufactured by ''X'' will work for over 5000 hours; * P(A\mid B_Y)= is the probability that a bulb manufactured by ''Y'' will work for over 5000 hours. Thus each purchased light bulb has a 97.4% chance to work for more than 5000 hours.


Other names

The term ''law of total probability'' is sometimes taken to mean the law of alternatives, which is a special case of the law of total probability applying to
discrete random variable A random variable (also called random quantity, aleatory variable, or stochastic variable) is a mathematical formalization of a quantity or object which depends on random events. The term 'random variable' in its mathematical definition refers ...
s. One author uses the terminology of the "Rule of Average Conditional Probabilities", while another refers to it as the "continuous law of alternatives" in the continuous case. This result is given by Grimmett and Welsh''Probability: An Introduction'', by Geoffrey Grimmett and Dominic Welsh, Oxford Science Publications, 1986, Theorem 1B. as the partition theorem, a name that they also give to the related
law of total expectation The proposition in probability theory known as the law of total expectation, the law of iterated expectations (LIE), Adam's law, the tower rule, and the smoothing property of conditional expectation, among other names, states that if X is a random ...
.


See also

*
Law of large numbers In probability theory, the law of large numbers is a mathematical law that states that the average of the results obtained from a large number of independent random samples converges to the true value, if it exists. More formally, the law o ...
*
Law of total expectation The proposition in probability theory known as the law of total expectation, the law of iterated expectations (LIE), Adam's law, the tower rule, and the smoothing property of conditional expectation, among other names, states that if X is a random ...
* Law of total variance * Law of total covariance * Law of total cumulance *
Marginal distribution In probability theory and statistics, the marginal distribution of a subset of a collection of random variables is the probability distribution of the variables contained in the subset. It gives the probabilities of various values of the variable ...


Notes


References

* ''Introduction to Probability and Statistics'' by Robert J. Beaver, Barbara M. Beaver, Thomson Brooks/Cole, 2005, page 159. * ''Theory of Statistics'', by Mark J. Schervish, Springer, 1995. * ''Schaum's Outline of Probability, Second Edition'', by John J. Schiller, Seymour Lipschutz, McGraw–Hill Professional, 2010, page 89. * ''A First Course in Stochastic Models'', by H. C. Tijms, John Wiley and Sons, 2003, pages 431–432. * ''An Intermediate Course in Probability'', by Alan Gut, Springer, 1995, pages 5–6. {{DEFAULTSORT:Law Of Total Probability Theorems in probability theory Statistical laws